all_lessons/数学的逻辑/03第 4 课 / 共 44 课

第一部分 · 数从哪里来

对角线的危机：√2 不是分数，实数登场

上一课我们用分数把除法补全，有理数密密麻麻地铺满了数轴，看起来再也没有缝隙。可一个边长为 1 的正方形，它的对角线长度，竟然不在这张"填满"的网里。这一课，我们要为这个漏网之鱼，造出一类全新的数。

线性回顾
上一课：我们补上分数，造出有理数 ℚ（读作"Q"，即所有 a/b 形式的数），除法终于畅通；而且有理数处处稠密——任意两个分数之间还塞得下无穷多个分数，数轴看上去被填满了。
留下的问题：边长为 1 的正方形，对角线长度由勾股定理给出，是一个平方等于 2 的数，记作 √2（读作"根号二"）。它是一条真实存在的长度——可它偏偏不是任何分数。稠密的有理数，居然漏掉了它。
本课新增：无理数；实数 ℝ（读作"R"，即全体实数）；以及数轴的完备性——把所有缝隙填到一条没有空洞的连续线。
本课路线
(1) 勾股定理先把 √2 这条长度逼出来，证明它真实存在。(2) 用一个两千多年前的经典反证，证明它不可能是分数——这就是毕达哥拉斯危机。(3) 看清"稠密"并不等于"没有缝"：有理数千疮百孔。(4) 把缝隙全部填平，造出实数 ℝ，理解什么叫"完备"。(5) 留下新危机：实数填满了整条数轴，可 x² = −1 在实数里仍然无解。

一条画得出、却写不下的长度

先做一件最朴素的事：在纸上画一个边长为 1 的正方形，然后画出它的对角线。这条对角线明明白白地躺在那里，你能用尺把它量个大概。它有多长？

勾股定理（直角三角形两条直角边的平方和等于斜边的平方）说话了：对角线把正方形切成两个直角三角形，两条直角边都是 1，于是对角线长度 d 满足

d² = 1² + 1² = 2

也就是说，d 是"平方等于 2 的那个正数"，我们记作 √2（读作"根号二"）。请注意这件事的分量：√2 不是某个抽象的符号游戏，它是一条画得出来、量得出来的真实长度。它必须是一个数——否则那条对角线就没有长度了，这显然荒唐。

用计算器按一下，你会得到 √2 ≈ 1.41421356…（约等于一点四一四二一三五六）。小数点后看不到头，也看不出规律。上一课我们刚学过：所有分数化成小数，要么有限、要么循环。那 √2 是哪一个分数？毕达哥拉斯学派当年坚信"万物皆数"——这里的"数"，指的就是整数和整数的比（也就是分数）。他们相信，宇宙里任何一条长度，都该能写成两个整数的比。这条对角线，当然也不例外。

于是他们去找这个分数。找了很久，没找到。问题不在于他们不够努力——而在于这个分数根本不存在。

毕达哥拉斯危机：一个两千年的反证

怎么证明"某个东西不存在"？你没法把所有分数挨个试一遍（分数有无穷多个）。数学家用的是一记漂亮的杀招——反证法：先假设它存在，然后顺着推下去，逼出一个不可能的矛盾，从而宣告假设错误。这正是上一部分播下的"证明"种子，第一次大显身手。

假设 √2 是一个分数，而且我们已经把它约到了最简（分子分母没有公因数，比如 6/4 要先约成 3/2）。写成

√2 = p/q，且 p、q 已无公因数

两边平方，并整理：

2 = p²/q²　⇒　p² = 2q²

第一步追问：p² 等于 2 乘以某个整数，所以 p² 是偶数。而一个数的平方是偶数，这个数本身就必须是偶数（奇数的平方一定是奇数）。所以 p 是偶数，可以写成 p = 2m（m 是某个整数）。

把 p = 2m 代回去：

(2m)² = 2q²　⇒　4m² = 2q²　⇒　q² = 2m²

第二步追问：现在轮到 q² 等于 2 乘以某个整数了，所以 q² 也是偶数，于是 q 也是偶数。

抓到矛盾了：p 和 q 都是偶数，都能被 2 整除——可我们一开始明明假设它们没有公因数！一个数不可能既"最简"又"还能再约"。假设崩了。

这一步的分量
因此，不存在任何分数等于 √2。这不是"还没找到"，而是被一行行逻辑证明永远找不到。一条肉眼可见的长度，被严密地踢出了"所有分数"的王国。

传说毕达哥拉斯学派把这个发现当成不可外泄的丑闻——它击碎了"万物皆数"的信仰。据说门徒希帕索斯因为泄露了"有些长度不是任何分数"的秘密，被同门扔进了海里。真假难辨，但这个传说本身说明了一件事：这道裂缝在当时有多么动摇人心。

"稠密"不等于"没有缝"

这里藏着一个特别反直觉的地方，值得停下来想清楚。上一课我们刚证明有理数是稠密的：任意两个分数之间，永远还塞得下无穷多个分数。既然处处稠密，数轴不就应该被填满了吗？怎么还会"漏"掉 √2？

关键在于：稠密 ≠ 没有缝。这两件事听起来一样，其实完全不同。想象把数轴上所有的有理数都点亮——确实密得无处不黑，可在 √2 ≈ 1.41421356… 这个精确位置上，偏偏没有任何一个有理数。你可以从左边用 1.4、1.41、1.414… 一路逼近它，也可以从右边用 1.5、1.42、1.415… 逼近它，两边的分数越挤越近，却永远跨不过那个点——因为那个点上空无一物。

所以有理数虽然稠密，却是千疮百孔的：它布满了无穷多个像 √2 这样的针孔。更惊人的是，这种"漏掉的数"——我们马上要给它起名叫无理数——其实比有理数还要多得多。这话现在听起来匪夷所思（无穷怎么还分多少？），但它是真的，我们会在第 13 课《无穷有多大：康托尔与对角线》里把这笔账算清楚。

下面这个小实验，让你亲手追猎 √2，亲眼看着分数越逼越近、却永远差那么一点。

√2 追猎：用分数逼近它，看它永远差一点
下面是一串越来越好的分数近似（取自 √2 的"连分数渐近分数"，是用分母 q 能造出的最佳逼近）。点"下一个更好的分数"，看 p/q 怎样越来越接近 √2，而 (p/q)² 怎样越来越接近 2——却永远不等于 2。点题：越逼越近，但永远差一点，因为它根本不是分数。
当前分数 p / q
1 / 1
化成小数 ≈
1.000000000
(p / q)²
1.000000000
与 2 的误差
1.000000000

给缝隙取个名字：无理数与实数 ℝ

面对这条裂缝，人类的应对方式和前几课一模一样——把漏掉的数补进来。我们把"不能写成任何分数的数"叫做无理数（"无理"不是"不讲理"，而是"不是整数比"，ratio 的否定）。√2 是无理数，√3、√5 是无理数，圆周率 π（读作"派"）、自然常数 e 也是无理数。它们的小数无限不循环，写到天荒地老也写不完、也找不出周期。

把有理数和无理数合在一起，就得到了这一课的主角——实数，记作 ℝ（读作"R"）：

ℝ = 有理数 ℚ ∪ 无理数（∪ 读作"并起来"）

怎么理解"补进来"这个动作？有两种直觉，都不必形式化：

无论哪种视角，结论一样：ℝ 把数轴上每一个针孔都填实了。现在的数轴，是一条真正连续、没有任何空洞的线。

完备性：这条线再也没有缝

"把缝全填上"这件事，数学有一个郑重的名字——完备性。它是实数区别于有理数的本质特征，也是后面整个微积分（极限、连续、收敛）能够站稳的地基。完备性想说的，用大白话讲就一句：

完备性的直觉
在实数里，只要一串数越挤越近、被夹得越来越紧，它们就一定逼近到某个真实存在的实数上——不会像在有理数里那样，挤到半路发现目的地是个空位。换句话说：实数没有缝。

回到刚才的追猎实验：1.4、1.41、1.414、1.4142… 这串分数被夹得越来越紧。在有理数里，它们没有归宿（目的地 √2 是个空位）；可在实数里，它们稳稳地收敛到 √2 这个实实在在的数。这种"挤近就必有归宿"的保证，就是完备性。它的严格版本（确界、收敛的精确定义）要等到第 09 课才上锁，这里点到为止——你先记住那个画面就够了：实数是一条焊得严丝合缝的连续线。

常见误解

一句话带走
一条画得出来的对角线 √2，被反证法证明不是任何分数；稠密的有理数其实千疮百孔。我们把所有漏掉的"无理数"补进来，造出完备的实数 ℝ——一条焊得严丝合缝、再无空洞的连续数轴。
下一步
实数填满了整条数轴，看起来该是数的终点了。可只要写下一个最简单的方程 x² = −1（x 的平方等于负一），实数就又撞墙了：任何实数的平方都 ≥ 0（大于等于零），所以它在实数里根本无解。更尴尬的是，连解三次方程时，人们都被迫中途借用"√−1"这个看似荒唐的东西。数轴填满了，数却还不够用——这要逼出最后一类、也是最奇妙的数。→ 第 04 课《不可能的数：x² = −1 与复数》。