你看，要是你盯着那个对数符号 $sqrt{2}$ 看久了，眼确实会发酸。大量人第一反应是它是无理数，认定这像是一个只存有于数学幻想里的鬼魅，一辈子抓不住。但别急着给它定罪，把它当成一个需求被拆解的谜题来玩。 想象一下，你在数学实验室里蹲守了一个世纪，终于找到了一个完美的数 $x$，它的平方等于 2。

要是 $x$ 是个“完美”的数，那它要么是有理数，要么是无理数。我们彻底不需求去定义啥“完美”，只需求看看现有的有理数网能不能兜住它。有理数就是那些能写成两个整数比的数，分母和分子都是整数。

要是 $x$ 是有理数，那它一定能够写成 $p/q$ 的形式，其中 $p$ 和 $q$ 都是整数，并且 $q$ 不为 0。 要是 $x = sqrt{2}$ 成立，那么 $x^2 = 2$。把 $x = p/q$ 代入这个等式，我们拿到 $(p/q)^2 = 2$。通分一下，这就变成了 $p^2 = 2 times q^2$。

这一步看起来忒好办了，实际上藏着庞大的隐患。

这意味着 $p^2$ 务必是一个偶数，出于 $2q^2$ 肯定是偶数了。 要是 $p^2$ 是偶数，那 $p$ 自己也得是偶数啊，这就好比你穿双红色的鞋子，结局发现鞋子里面全是红袜子。设 $p = 2k$，其中 $k$ 是任意整数。代入上面的公式，$p^2 = 4k^2$。

那么 $4k^2 = 2q^2$，两边除以 2，拿到 $2k^2 = q^2$。 你看这里，$q^2$ 又务必是偶数，那 $q$ 也得是偶数。

这就怪了，我们之前设 $x = p/q = 2k/q$，这意味着既定的 $p$ 和 $q$ 都是 2 的倍数。

那我们能够把 $p$ 和 $q$ 与此同时变成 2 的倍数，比如都变成 $2m$ 和 $2n$。

这样 $x$ 就变成了 $(2m)/(2n) = m/n$。你把分子分母打了个招呼，约掉了所有的 2。 但这手功夫不对劲儿。出于要是 $x$ 还是 $sqrt{2}$，那它的平方还是 2。

要是 $x$ 能约分，那它就不是最简形式了。

可是，我们在推导过程中，从未转变过 $p$ 和 $q$ 的本质关系，只是把它们拆分了罢了。

这在逻辑上是不可能与此同时知足的。$p$ 和 $q$ 在约分之前，不仅不同奇也不同偶；但在约分之后，它们务必相等，否则 $p/q$ 就不是 1 了。 这就好比你在讲一个笑话，说“要是我说这句话，那它就在说谎”，结局你发现这句话本身就在撒谎，出于要是它是真话，你就不会这样说。$sqrt{2}$ 就在那里，它顽固地回绝被约分。 为了让你更直观地感受到这种“不可约分”的感觉，我们能够试着构造一个反例。

要是你非要硬凑一个平方等于 2 的数，那它一定得是无限不循环小数。

比如 $1.41421356...$，这个数到底是不是 $sqrt{2}$？ 你能够用科学计算器算一下，$sqrt{2}$ 的真值是 $1.4142135623730950488...$。

要是你删掉最终一位，变成 $1.4142135623730950488...$，这依然不等于 $sqrt{2}$。你不能随意删掉小数位，出于小数位里的每一个数字都锁住了它的身份。

要是你无限删下去，变成 $1.4142135623730950488...$ 且不再变化，那它就是一个无理数。 这里有一个贼有趣的数据片段，能帮你理解机器是如何逼近它的。

要是你用有限精度，比如小数点后 100 位，你算出的结局 $1.41421356237...$ 和 $sqrt{2}$ 的差值是 $0.0000000000000000002...$。

这个数字越小，说明你的计算越准，离“真值”越近。 但注意看，这个差值一辈子不为 0。$1.4142135623730950488$ 一辈子无法精确等于 $sqrt{2}$，出于它插错了小数位。甭管你加多少位小数，它一直会处于 "小于" 或 "大于" 某个真值之间的某个位置。 这就挺有意思了。大量人一启动会认定，既然 $sqrt{2}$ 是个无理数，那它应当在某个位置突然跳出，变成一个非有理数。但事实恰恰反之，它是在有理数的网里，通过无限接近的方式，一点点被挤出了网眼。就像一滴沙子掉进米袋里，那个“米袋”（有理数集合）一辈子装不满它，可是沙子（无理数）确实一直往里掉。 再试着用连分数法来好奇一下这个数，你可能会发现它不经过根号就正常展开。$sqrt{2} approx 1 + 1/(2) + 1/(8) + 1/(16) + ...$。

要是你把这个连分数展开成有限项，比如 $1 + 1/2 = 1.5$，那 $1.5$ 的平方是 $2.25$，已经大于 2 了。

要是你展开成 $1+1/2-1/8 = 1.875$，平方更是大了。你会发现，当你把根号去掉变成这个无限连分数时，它的各项符号在变换，但整体大小趋势却没变。 这就像是在玩一个一辈子有漏洞的琴键。你按下一个键，声音响；再按下一个，声音变调。

要是你试图把它变成一个纯理性的数，那它就得在“响”和“变调”之间跳来跳去，一辈子跳不出那个固定的音域。 回到根号 2 找茬。它是个整数 $sqrt{2}$，也是积分。它是个分母为 1 的分数，也是连分数。它是个无限小数，它也是无理数。但在这个特定的数里，唯独“无理”属性最顽固。 你难道没想过，要是有一天，人类确实能制造出一个 $sqrt{2}$ 的近似值，精度达到 $10^{100}$ 位，并且认定它“充足”接近，进而把它称为 $sqrt{2}$ 吗？就像我们目前把圆周率 $pi$ 的近似值 $frac{355}{113}$ 称为“圆周率”一样。 但这并不是 $pi$ 的本性，也不是 $sqrt{2}$ 的本性。它只是人类的一种便利。$sqrt{2}$ 作为一个概念，它从不转变。当你用尺子去量它，用眼去描摹它，你拿到的一辈子是那个无限延伸的小数点。 故此，当你再次遇到 $sqrt{2}$ 时，不要急着下定论。试着把它当作一个永恒的对手。它一直在逃跑，一辈子在逼近你，却一辈子抓不住你。它证明白，最完美的数，有时候是最狡猾的，它用最好办的形式，藏着最复杂的秘密。 $sqrt{2}$ 不是无理数，它是无理数集合里那个最倔强的成员。它回绝被定义，回绝被归类，回绝被证明。它只是存有，用着无限的小数点，冷冷地注视着你。

这就是数学的魅力，也是一种无法被彻底驯服的智慧。