圆周率=4?居然还有方的圆?

万恶之源

在数学课的群里偶然看到这么一张图

看完一遍感觉好有道理啊,逻辑严谨条理清晰, 就是可惜$\pi$它不等于4…

那么这张图到底错哪了…

曲线周长的定义

学过《高等数学》的同学应该知道, 在欧几里得空间内, 周长的定义是沿着曲线$l$的一个曲线积分
$${\int }_{l}ds$$

那么我们根据此来计算一下一个标准圆$x^2+y^2=1$的周长如下:

$$\begin{gathered} {\int }_{l}ds \\ ={\int }_l\sqrt{(dx{)}^2+(dy{)}^2} \\ =2{\int }_0^1\sqrt{1^2+(y^{\prime }{)}^2}dx \\ =2arcsin{|}_0^1 \\ =2arcsin1 \end{gathered}$$
也就是说$\pi =2arcsin1$, 利用泰勒展开等数值分析法就可以对其进行一个比较精确的计算, 结果肯定不是4

周长微分ds

图里面的思路方向是对的, 利用了微分的思想, 化曲线为直线, 但是可惜对周长微分$ds$的建模是错误的.

对于欧几里得空间内的任意直线$l$, 正确的微分$ds=\sqrt{(dx{)}^2+(dy{)}^2}$, 而图中取的是$ds=|dx|+|dy|$, 这两个无穷小不是等价的, 两者之差相当于三角形两边之和减去第三边(见下图), 肯定存在一个更高阶的无穷小的误差, 而正是这个更高阶的无穷小, 再经历积分之后,变成了宏观上的误差.而这就是错误的根本所在

线性空间

讲到这里, 我们开始加速一下. 前面我特地给欧几里得空间几个字做了加粗强调, 说明上述的一切,都只在我们熟知的这个欧氏空间内成立.

那么有没有哪一个空间, 在这个空间里的圆周率$\pi =4$呢? 答案是有的.

学过线性代数或者赋范线性空间相关内容的同学可能比较容易能理解

空间里的范数

在欧几里得空间内, 对任意一个向量$X$, 我们定义了一个p-范数为:
$$||X|{|}_p=(\sum |x{|}^p{)}^{1/p}$$
而我们所谓的距离, 正是$p=2$的一个特例, 称为2-范数

定义了范数的线性空间, 就称为赋范线性空间, 定义了2-范数的线性空间就是欧几里得空间

曼哈顿范数和曼哈顿空间

在上式中, 我们取$p=1$, 就得到了1-范数, 也称作曼哈顿范数. 显然曼哈顿空间内的距离符合一开始给出的图中的思路.

因此在曼哈顿空间的平面内, 圆的圆周率确实是4. 但是这个圆它的方程也要改, 它是这样的:
$$|x|+|y|=1$$
这不就是一个斜着的正方形?

但是要注意, 别以为这个“圆”的周长是$4\sqrt{2}$, 它的周长是$8$,因为这是按曼哈顿范数算的周长

有趣的是，曼哈顿距离和我们直观所认知的欧氏距离差别很大，勾股定理在曼哈顿空间内也是不成立的，因此会得到一些很反常的结论，比如，两根曲线的曼哈顿距离可能相等，但是他们的欧氏距离不一定相等