数学史与哲学 · 第一次数学危机

第一次数学危机：用几何击碎“万物皆数”的 \(\sqrt{2}\)

1. 万物皆数与“公度单位”

在古希腊的毕达哥拉斯时代，数学家们坚信“万物皆数”。但他们眼中的“数”并非我们今天熟悉的代数公式或分数，而是极其直观的几何线段。

        当时的人们理所当然地认为，宇宙中任意两条线段（比如正方形的对角线与边长），一定存在一个极小的“基础尺子”。只要用这把尺子去测量，这两条线段都能被毫无误差地量完（即都是这把尺子的整数倍）。在数学上，这被称为存在“公度单位”。
    

然而，学者希帕索斯（Hippasus）在研究正方形的对角线与边长时，画出了一张打破常识的几何图。

他发现在正方形的对角线和边长之间执行这种“辗转相减”时，会在原图形的角落里切出一个更小的等腰直角三角形。如果对这个更小三角形的边长继续相减，又会切出更更小的三角形……

这个几何截取操作会陷入死循环，无穷无尽地进行下去！

永远截不完，就意味着这两条线段之间永远找不到那个共同的“公度单位”。这就从纯几何逻辑上严密地证明了：正方形的对角线与边长根本不可公度。用现代数学的语言来说，\(\sqrt{2}\) 绝不可能表示为两个整数之比，它是一个真真正正的无理数。

这一发现彻底摧毁了毕达哥拉斯学派“所有数皆为有理数”的哲学大厦，直接引发了历史上的“第一次数学危机”。

但也正是这张打破认知的几何图，让人类对数字的认知从有限的算术迈向了真正的无限，开启了数学发展的新纪元。