你可能从小就认识√2这个数，计算器一按就是1.4142……后面跟一串没完没了的小数。
但你有没有想过，两千多年前，有个哥们因为把这个数的秘密说出去，被自己人扔进海里淹死了。
听着挺扯的对吧？一个数字而已，至于吗？
还真至于。
因为这个数一冒出来，直接把当时那帮人整个世界观给掀翻了。
说白了，这帮人叫毕达哥拉斯学派，他们有个信条：万物皆数。
啥意思呢？
就是说世界上所有东西，不管是线段还是音乐还是星座，全都能用整数或者整数之比表示出来。1、2、3、4……
这些数在他们眼里就是宇宙的真理，是神设计世界的图纸。
结果√2这东西往那儿一站，告诉你：正方形的对角线，你不管怎么找整数比，都表示不出来。
这就好比你跟人拍胸脯说"世界上所有事都能用钱解决"，结果转头发现有件事就是死活解决不了，那种崩溃感。
先别急着讲√2是怎么被发现的。
先聊聊这帮人有多奇葩。
毕达哥拉斯这个人，本身就是个特别神秘的人物。
他在意大利南部的克罗顿创立的那个学派，与其说是个数学团体，不如说是个宗教教派。入教有规矩，规矩还特别多，多到你听了觉得这人是不是有点毛病。
最出名的一条：不许吃豆子。
对，就是豆子。煮的、炒的、烤的都不行。
为啥？说法多了去了。
一种说法是毕达哥拉斯去过埃及，埃及人那时候就不吃豆子，他学回来了。另一种说法更接地气：豆子吃多了放屁。
你别笑，古希腊人对放屁这事特别认真。
在他们的语言里，"灵魂"这个词，跟"风"是同一个意思。他们相信人死后灵魂不会消失，会像气一样跑出来散到空气里。但豆子这种东西，能把灵魂吸住，存到自己的豆荚里。说白了就是把灵魂囤在豆子里。
你吃了豆子，肚子胀气，那股气就不是一般的气了，那是被你吃下去的灵魂在里头哭，在挣扎着想跑出来。
灵魂渴望自由，它总得往外跑。
你说这迷信不迷信？但人家是认真的。
除此之外的清规戒律还有一堆：不许吃肉、不许把整根面包掰开吃、不许捡掉在地上的东西、不许走大路正中间、不许碰白色的公鸡……
毕达哥拉斯这种思想，很大程度上是受了希腊北方流行的奥尔弗斯教的影响。那个教相信灵魂轮回，相信万物有灵。所以他们吃素，不是出于慈悲，而是怕吃到前世熟人。
但有意思的事来了。
毕达哥拉斯不是发现了勾股定理吗？传说他开心坏了，杀了一头牛献祭给神。还有更夸张的版本说杀了一百头。
你看，嘴上说吃素、说不杀生，下起手来真不是"吃素的"。
那问题来了。
他们既然这么信奉"万物皆数"，怎么会跑到正方形对角线这个问题上来呢？
这得从一个五角星说起。
毕达哥拉斯学派特别崇拜正五边形和五角星。五角星几乎就是他们教派的专属徽章，相当于会员证。
为啥这么崇拜？
因为正五边形里藏着一个特别邪门的比例。
你在正五边形里画五条对角线，这五条线交叉就成了个五角星，五角星肚子里还套着一个小正五边形。
你在小正五边形里再画对角线，又出来个更小的五角星……
这个图案好像能无限重复下去，像套娃一样，特别神奇。
更神奇的是比例。
五条对角线交叉之后，被切成好几段，这些线段之间的长度比，满足一个特别对称的关系：a:b = (a+b):a。
正五边形的边长和对角线长度之比，也正好满足这个关系。
这个比例美到什么程度呢？两千年后人们给它起了个名字，叫黄金分割。
约等于1.618:1。
古希腊的帕台农神庙，外观比例就差不多是这个数。这个比例后来跟斐波那契数列、跟向日葵的种子排列、跟鹦鹉螺的螺旋，全都能扯上关系。它好像就是宇宙的一个审美密码。
他们当时当然不叫黄金分割，就简单叫"分割"。但他们心里明白，这个比例是真的漂亮，真的优越。
现在问题来了。
这个漂亮的比例，到底是个什么数？
你拿尺子量一下，正五边形的对角线除以边长，大概是1.6多一点。
但具体是多少？
你找两个整数比一下试试。2除以1是2，太大。3除以2是1.5，太小。5除以3？1.666，又大了。8除以5？1.6，还差一点。13除以8？1.625，又超了。21除以13？1.615……
你越算越觉得这玩意儿好像永远找不到一个正好的整数比。
但毕达哥拉斯学派的人不愿意接受这个。
他们觉得，一定是我们还没找到那个数而已，不可能不存在。神设计的东西，怎么可能没有整数比？
据说把这个秘密捅出来的人，叫希帕索斯，是毕达哥拉斯的学生。
他不光研究了正五边形，还顺手研究了个更简单的东西：正方形。
正方形的对角线和边长，能不能共度？
啥叫共度？
就是说你能不能找到一个特别短的小线段，让边长和对角线都能用这个小线段的整数倍正好量出来。如果能，那对角线除以边长就是个有理数，就是个分数。
如果不能，那就是说存在一种线段，它跟任何已知的整数比例都不搭界。
这一下就捅了马蜂窝了。
你可能会说，这不就是个数学题吗，至于这么紧张？
至于。真至于。
因为毕达哥拉斯学派整个理论大厦，就是建立在"万物皆数"上面的。
他们研究音乐，发现琴弦长度的整数比能产生和谐的音程，八度、五度、四度，全是简单的整数比。
研究天文，发现天体运行轨道之间的距离也有整数比例。整个宇宙在他们看来就是一部整数关系的交响乐，是神用数字写出来的乐谱。
结果你现在告诉他，正方形的对角线连个整数比都找不到。
那这部乐谱不是有一页是杂音吗？
更要命的是，这不是个别现象。
柏拉图后来记载过，古希腊有个叫狄奥多鲁斯的数学家，已经推到了√2、√3、√5一直到√17，发现非平方数的平方根全都不可共度。
也就是说，这不是一个怪物，这是一群怪物。
黄金分割比本身就是(1+√5)/2，里头就带着个√5。他们天天当图腾拜的那个五角星，肚子里藏着的就是无理数。
你说这叫什么事？
据说希帕索斯是用一种特别笨但特别直观的方法，意识到这件事的。
他们那时候没有代数，喜欢在棋盘上摆石头子。
你回忆一下，4个石头子能摆成一个2×2的正方形，9个能摆成3×3，16个4×4，这些数叫平方数。
那√2是什么意思？就是说有没有一个整数的平方数，正好是另一个整数平方数的两倍。也就是m²=2n²。如果有，那√2=m/n，就是个分数，一切太平。
他们就在那儿摆石头。
摆成3×3，一共9个，你怎么平分成两堆正方形？9是奇数，没法平分。摆成2×2，一共4个，分成两堆每堆2个。2个石头子能摆成正方形吗？不能，得4个才行。
那大点的呢？
他们试了7×7，49个。扣掉一个5×5（25个），剩下24个。24离25就差1个，差一点点就平分成两个正方形了。但24个石头子能摆成正方形吗？16个是4×4，25个是5×5，24卡在中间，不行。
这就是拆东墙补西墙。
你把7×7的阵列拆成5×5加一个拐角，那个拐角怎么都摆不成正方形。你得把拐角上两端的那些石头子搬到中间去凑，但越凑越不对。
而且你越摆越发现一个让人绝望的规律：这个问题可以不断缩小。7×7摆不成，归根结底是3×3摆不成的翻版；再缩小，就是2×2摆不成。
不管你用多大的数、多大的阵列，最后都会掉回那个最小的死循环里。
说白了，你永远找不到那个m和n。
这个过程就跟用尺子量对角线一样。
你拿个短尺子量边长，量完了去量对角线，量到最后发现剩一截零头。换个更短的尺子再量，量到最后还是剩一截零头。
永远量不完，永远有零头。
古希腊人看到"无限"这个事就头大。
但他们这次不得不面对一个现实：如果真存在整数比，那这个量的过程应该是有限的才对。既然永远量不完，那就说明根本没有这个整数比。
当然，还有更干净利落的证法。
假设√2=a/b，而且a和b已经是最简比了，不能再约。
那平方一下：a²=2b²。
这说明a²是个偶数。偶数的平方是偶数，奇数的平方是奇数，这个他们早就知道。所以a必然是偶数。
a是偶数，那就令a=2c。代回去：4c²=2b²，也就是2c²=b²。
这说明b²也是偶数，那b也是偶数。
问题来了：你刚才假设a和b是最简比，结果俩都是偶数，还能再约个2。这跟你的假设矛盾了。
所以假设不成立，√2根本不是个分数。
这个证法现在看挺简单的，初中生都能看懂。
欧几里得《几何原本》里就记载着这个方法。
但在当年，这就是一道晴天霹雳。
毕达哥拉斯学派的人当时是什么反应？
他们的第一反应不是"哦，原来如此，那我们完善一下理论"。
而是"这事不能让外人知道"。
因为这个秘密一旦泄露，整个学派的威信就垮了。
你想啊，他们天天跟人吹"万物皆数"，结果自己人发现了一个数根本不是数（在他们的定义里）。
那之前杀牛献祭庆祝勾股定理，那头牛不是白死了吗？
再说了，给神仙许的愿，哪有往回要的？
那怎么办？
封锁消息。
但纸包不住火，希帕索斯自己把这事说出去了。
至于希帕索斯的下场，传说就比较黑暗了。
有的说他违反教规被活埋，有的说他泄密之后被淹死在海里。还有种说法是他因为泄露了正十二面体的秘密才被杀的，不一定跟√2有关。
历史久远，这些事真假难辨。你就当故事听。
但有一点是确定的：这件事在当时绝对是个爆炸性新闻，是整个古希腊数学圈的一颗炸弹。
你回头想想，一个√2，怎么就能逼得一个教派动了杀心？
说白了，因为这不是一个数学问题，是一个信仰问题。
你承认了√2存在，就等于承认"万物皆数"是错的。那他们这帮人一辈子研究的东西算什么？那些音乐比例、那些天体和谐，难道都是自欺欺人？
更要命的是，这个数还不能简单地说成"不是整数"。它连分数都不是。
当时的人能理解的数就是整数和分数。分数是什么？就是两个整数相除，小数点后面要么有限，要么无限但循环。
1/3是0.3333……，循环的，这个他们能接受。
但√2是1.41421356……后面不循环。这就麻烦了。
你怎么表达一个永远写不完、还不循环的数？
古希腊人对"无限"这俩字有本能的恐惧。
在他们的数学里，是不允许出现"无限"这个操作的。证明必须在有限步骤内完成。你要是跟他说√2是个无限不循环小数，他直接就懵了。
这玩意儿你连写都写不下来，怎么能算个数？
所以他们面临两条路。
第一条：接受无理数的存在，把数的概念扩大。这样所有问题就解决了。
第二条：不承认这是个数，但承认线段确实存在这种不可公度的情况。几何归几何，数归数，井水不犯河水。
第一条路他们走不了。
因为"无限不循环小数"这个概念，在当时完全没有工具能处理。古希腊人连小数点都还没发明呢，你让他怎么接受无理数？
那就只能走第二条路。
但第二条路也不好走。
以前毕达哥拉斯那套理论，是用数来定义几何的。比如说，相似三角形的比例、面积公式、勾股定理的证明，背后都藏着一个假设：所有线段都是可公度的，都能用整数比表示。
现在这个假设崩了，那些证明是不是也都跟着崩了？
你怎么向人证明"两个圆的面积比等于半径平方比"？万一这两个圆的半径不可公度呢？以前的证明还成立吗？
这坑怎么填？
出来收拾烂摊子的人，叫欧多克索斯，是柏拉图的学生。
他干了两件大事：一个叫比例论，一个叫穷竭法。
比例论这个东西，说起来挺反直觉的。
他不直接说两个线段的比是多少，而是给了一个判断两个比相等的标准。
如果a:b等于c:d，那意思就是，不管你拿什么整数m和n去乘，只要ma大于nb，那mc就大于nd；ma等于nb，mc就等于nd；ma小于nb，mc就小于nd。
你听着是不是觉得这不是废话吗？
但这就是关键。
因为他根本不要求a、b、c、d是整数，也不要求它们可公度。它们就是线段，纯粹的几何对象。你不用管它们能不能写成数，只要满足这个大小关系，比例就成立。
说白了，他把"数"和"线段"这俩概念彻底分家了。
线段可不可公度，你肉眼也能看见，正方形的对角线就是跟边长对不上，那你就别管它，按比例算就行。
几何的归几何，数的归数。
而且欧多克索斯还严防死守，不管你怎么取m和n，都不允许它们是无穷大或者无穷小。谁把"无穷"这个概念掺进来，谁就是不讲武德。
这么一来，面积公式、相似三角形、勾股定理，全都救回来了。
两个圆的面积比=(R₁/R₂)²
因为这些东西用比例论重新一解释，根本不需要假设线段可公度。
那穷竭法是干嘛的？
举个例子。
怎么证明圆的面积比等于半径平方比？
古希腊人的思路是：圆你不会算，但正多边形你会算啊。你在圆里画个内接正方形，再切一刀变成正八边形，再切变成正十六边形……边数越多，这个正多边形就越接近圆。
正多边形的面积可以拆成一堆等腰三角形，两个相似三角形面积比是边长平方比。所以两个大小不同的圆，只要你内接同样边数的正多边形，面积比就是半径平方比。
然后你推：既然正多边形可以无限逼近圆，那这个关系对圆也成立。
注意，他这里用了"无限"这个概念，但他不真的去算那个无限。他是通过逻辑推导，让你相信结论成立。
这就叫穷竭法。
欧多克索斯这套东西，实际上已经摸到了实数理论和极限的边儿上了。
但他就是不碰"无限"本身，全给绕过去了。
为啥绕？因为古希腊人怕这个。
经此一役，古希腊人学乖了。
他们不再相信数是宇宙的根本了。几何才是。
从那以后，几何学成了古希腊数学的绝对核心。
欧几里得写《几何原本》，把整个公理化体系搭起来，根子上就是这次危机之后的补救措施。几何学成了古希腊"七艺"之一，是一切学问的基础。
说白了，√2这个妖魔被释放出来之后，他们没有正面降服它，而是绕着它走了两千年。
一直到十九世纪，戴德金、康托尔那帮数学家，才真正把无理数严格定义下来。
无理数才算有了合法身份，才算被人类真正驯服。
你回头看这件事，会发现一个挺讽刺的事。
毕达哥拉斯学派当初崇拜的那个黄金分割，本身就是个无理数。(1+√5)/2，里头就带着个√5。
他们把这个数当图腾，天天画五角星，结果图腾肚子里藏着个炸弹。
这就好比你供了个财神，财神爷怀里揣着个账本，上面记着你一辈子还不清的债。
再说说那个摆石头子的事。
其实这个方法挺朴素的，但它揭示了一个你平时不太注意的事：整数和分数，在数轴上看起来密密麻麻，几乎把每个地方都填满了，但其实中间有空隙。
√2就在那个空隙里。
你在数轴上随便指一个点，用尺子量，你能说它一定是个分数吗？不能。分数虽然多，但它们之间是有空隙的。
无理数才是填满数轴的主力军。
这个事放到今天好像没什么。
我们早就接受了无理数，初中课本上就讲了。
但在古希腊人那儿，这就是世界观的崩塌。
因为他们相信数是离散的，是一个一个的原子拼出来的。线段也应该能拆成这样的原子。结果√2告诉你，线段是连续的，连续的东西根本不能用离散的整数来完全表示。
"连续"和"离散"的矛盾，从那个时候开始，一直纠缠到今天。
微积分要处理的、量子力学要处理的、无穷大到底是什么、点怎么拼成线、线怎么拼成面，这些问题的根子上，都有这个影子。
所以你看，一个√2，看着不起眼，背后是整整一场数学危机。
后来人们管这个叫"第一次数学危机"。
当然，你现在回头看，会觉得这有什么大不了的？不就是多了一类数吗？
但历史上每次这种"多了一类东西"的时刻，都意味着旧的认知框架装不下新东西了。
就像后来人们发现光不只是波也不只是粒子，就像发现时间不是绝对的、空间不是绝对的，就像发现观测行为本身会影响实验结果。
每一次，旧框架里的人第一反应都是抗拒。因为那是他们安身立命的东西，是他们解释世界的整套语言。
毕达哥拉斯学派的人也不是天生的暴徒。他们只是太爱自己建立的那套东西了。你突然告诉他"万物皆数"是错的，等于否定了他一辈子的意义。
所以希帕索斯的下场，与其说是他个人的悲剧，不如说是那个时代的局限。
话说回来，如果你是当年的毕达哥拉斯，你会怎么选？
是承认自己一辈子研究的东西有个洞，然后花两千年去填它，还是把那个发现秘密的人处理掉，假装什么都没发生？
这个问题没有标准答案。
但人类文明能走到今天，靠的不是把发现秘密的人都淹死在海里，而是承认那个洞，然后想办法把它填上。
欧多克索斯填了第一步。两千年后的数学家们接着填。
而√2那个数，现在就安安静静待在数轴上1.414那个位置，不声不响。
它已经在那儿站了两千多年了。
谁也赶不走它。
热门跟贴