无理数的发现：为什么根号 2 不能用分数表示

故事

史实 毕达哥拉斯学派有一个信条：万物都可以用整数或整数之比来描述。用今天的话说，他们认为一切量都是有理数。

史实 麻烦从一个正方形开始。边长为 $1$ 的正方形，对角线长度是 $\sqrt{2}$。人们发现：找不到一把尺子，能同时把边长和对角线都量尽——两者不可公度。也就是说，$\sqrt{2}$ 不能写成两个整数的比。

史实 这个结论是被证明出来的，不是猜出来的。证明用的是反证法：假设 $\sqrt{2}=\frac{p}{q}$ 且 $p$、$q$ 互质，两边平方得 $p^2=2q^2$，于是 $p$ 是偶数；设 $p=2k$，代回得 $q$ 也是偶数——这与「互质」矛盾。所以假设不成立。

传说 流传最广的版本说，学派成员希帕索斯因为泄露了这个发现而被投入大海。这个说法只见于成书较晚的古代文献，可靠性不足，讲课时可以作为故事，但不能当作史料。

有争议 「第一次数学危机」是后人对这段历史的归纳：信条被推翻，数学基础需要重建。至于当时究竟造成了多大冲击，史料并不能给出细节，数学史家有不同评价。

时间线怎么看

时间线里给了两个节点，都指向「不可公度量在希腊数学中已被系统讨论」，而不是指某一个人的发现时刻。数学史里很少有「某年某人发现某定理」的干净节点，更多时候是先有零散的认识，再有系统的处理，最后才有严格的表述。

与数学的关系

这段历史在课本上的落点是实数的扩充：有理数不够用，所以要引入无理数，两者合起来才是实数。它解释了为什么实数这一章要花力气讲「$\sqrt{2}$ 不是有理数」——这不是一个冷门结论，而是数系必须扩充的理由。

它还解释了一个常被忽略的细节：$\sqrt{2}=1.4142\dots$ 永远写不完。任何写出来的有限小数都是有理数，都是近似值；把近似值当成精确等式，做题时就会出现「明明相等却对不上」的情况。

顺带一提，证明本身也是课本里的常客：反证法的经典教材案例就是这一条。它把一个「说不清有多大」的问题，转化成「假设它能写成分数，然后推出矛盾」。

还能往哪里读

顺着它往下走是实数与数轴（每个实数对应数轴上的一个点），往回看是有理数与平方根。如果想知道「无理数到底有多少」，可以继续了解：实数轴上无理数的数量远多于有理数——这是高中才会仔细讲的事。

说法与史实