正文
正如希腊神话中许多英雄一样, 哲学家希帕索斯(Hippasus)被传说要接受神的惩罚.
但他错在哪儿了呢? 是他杀人了. 还是他破坏了神圣的仪式. 都不是! 希帕索斯的罪源于一个数学证明 - 无理数的发现.
希帕索是毕达哥拉斯学派中的一员, 他们对于数字有着宗教般的崇敬.
他们的格言"万物皆数"(All is Number): 暗示着他们认为数字是宇宙建立的基石, 而且他们也相信任何事物从宇宙研究到音乐发展, 从形而上学到道德观念归, 根到底都是数字比例的问题.
因此，任何数字都可以被写成一个比例形式（分数）.
5就是5/1, 0.5就是1/2等等, 甚至一个可以被无限延伸的十进制数字, 也可以被准确表示成34/45.
这些数字都被称为有理数(Rational ), 而希帕索斯却发现了一个背离这种和谐规律的数字 - 一个本不该存在的数字.
这个问题起源于一个非常简单的图形一个四边长度均为单位 1 的正方形.
根据毕达哥拉斯的理论这个正方形的对角线长度应该为根号二, 但是无论希帕索斯如何尝试都不能将根号二变为两个整数的比例形式. 他并没有选择放弃而是决定证明这个数字确实无法被比例表示出来.
希帕索斯首先假设毕达哥拉斯的"万物皆数"的观点是正确的, 根号二是可以被表示成两个整数之比.
他假设这两个整数分别为 p 和 q, 并假定这个比例已经被最简化. 因此，p 和 q 应该没有相同公约数, 要证明根号二并不是有理数, 希帕索斯只需要证明 p/q 并不存在即可.
他将等号两侧均乘以 q , 然后两侧均计算平方, 这样得到了一个等式.
任何数字乘以 2 的结果都是偶数, 所以 p 的平方是偶数如果 p 是奇数，则 p 的平方不可能为偶数因为奇数乘以本身，得到的还是奇数, 所以 p 也应该是一个偶数. 因此，p 可以表示为 2a, 其中 a 也是一个整数. 把这个等式带入原来的方程，并简化得到：q^2 = 2a^2. 再一次，任何数字乘以 2 得到的结果为偶数, 所以 q 的平方一定是偶数, 那么q也一定是偶数, 这就得到 p 和 q 都是偶数的结果.
但如果这是正确的话 p 和 q 就有一个共同的因子 2, 这就跟最初的题设矛盾!!
至此，希帕索斯得以证明, 这样的比例是不存在的, 这被称为矛盾证明法. 而根据传说上帝并不喜欢矛盾的存在.
有趣的是，即便我们无法将无理数表示成为整数的比例形式, 我们却可以将它准确表现在图形之中, 以根号二为例. 我们需要做的就是准确的画出一个两条直角边均为单位一的三角形, 他的的斜边的长度就是单位根号二.
这同时也可以被延伸下去, 我们可以继续画另外一个直角三角形, 其中一条边以刚才的斜边为基础，另一条边长度为单位1, 这个三角形的斜边程度就是单位根号三,
它同时还可以继续被延展下去, 关键问题是小数和分数都只是表现数字的方法之一, 根号二只是一个边长为单位一的直角三角形的斜边长度罢了相似的.
著名的无理数 π 也是与它描述的图形关系, 一样代表者圆周长和半径的比例, 近似值 22/7 或者 355/133 是永远无法准确的表达出 π 值的.
我们永远也无法知道在希帕索斯身上到底发生过什么, 但是我们知道他的发现引发了第一次数学危机并激励更多数学家继续前行, 所以无论神话里面怎么说, 永远不要害怕去探索不可能.
根据有关 TED Ed 视频: The Infinite Hotel Paradox 及维基百科编写. 完整视频与字幕, 微信后台回复关键字 [TED] 得到国内云盘下载地址. 更多 TED Ed 视频见下图或未来继续推出的文章.
