Name: 数海漫游：从欧拉公式到千禧年难题
Author: step-3.5-flash

《最初的计数：从结绳记事到“万物皆数”》 / The First Count: From Knot-Tying to “All Is Number”

> 引言：数学从来不是书本上冰冷的公式和定理，它诞生于人类最原始的需求——数清楚今天的猎物有多少，分清楚部落的面包够不够吃。从非洲草原上的结绳记事，到古希腊海岸边的哲学思辨，数学的每一步发展，都刻着人类文明的脚印。本章我们就从最开始的“数数”开始，看看数学是怎么从实用的工具，变成探索世界本质的学问。

1.1 原始人的计数困境：从掰手指到结绳记事

公元前12000年的某个傍晚，非洲南部的卡拉哈里沙漠边缘，一名布须曼人猎手拖着3只羚羊回到部落营地。他把猎物摆在地上，挨个数：1、2、3。今天运气不错，比昨天多了1只。可要是他明天猎到了7只，后猎到了12只，加在一起是多少？他掰着手指头数到10，发现手指不够用了，挠着头看着满地乱跑的羚羊，第一次觉得“数数”这件事，好像没那么简单。

这种“数不过3就懵”的困境，几乎是人类文明的共同起点。据考古学家考证，最早的人类计数只能区分“1、2、3、很多”，超过3的数量就被归为“一堆”“一群”，没有精确的概念。直到距今约1万年前的新石器时代，人类开始定居、驯养牲畜、储存粮食，才迫切需要更精确的计数方式，结绳记事（knot-tying record） 应运而生。

最早的结绳记事非常简单：在一根绳子上打结，1个结代表1只猎物，10个结系成一小捆代表10只，100个结系成一大捆代表100只。这种方法的优势很明显：不会像口头数数那样忘记，也不会像掰手指那样有数量上限。中国古籍《易经》里记载的“上古结绳而治，后世圣人易之以书契”，说的就是这段历史。而在南美洲的安第斯山脉，印加人发展出了更复杂的结绳系统——奇普（Quipu），他们用不同颜色的绳子代表不同的物品：红色代表牲畜，黄色代表黄金，绿色代表粮食；绳结的位置代表位数：离主绳最近的结是个位，往远依次是十位、百位、千位；结的类型也有区别：单结代表1，双结代表2，三结代表3，以此类推。甚至还有学者认为，奇普不仅能记数字，还能记录历史事件、税收情况，是印加人没有文字却能管理庞大帝国的秘密武器。

除了结绳，人类还发明了其他原始计数工具：非洲的有些部落会在石头上画道道，每猎到1只动物就画1道；美索不达米亚的早期居民会在泥板上按出指印，1个指印代表1单位货物。这些看起来简陋的工具，其实是人类数学思维的萌芽：我们开始意识到，“数量”是可以被独立出来、和具体物品分开的——3只羚羊里的“3”，和3块石头里的“3”，本质上是同一个“数”。

> 📌 电子版侧边栏：小知识——为什么人类一开始只认整数？ > 这和人类的生存需求直接相关：早期人类只需要数猎物、数人、数粮食，都是可以一个一个数的离散量，不存在“半个猎物”“半个人”的需求，所以最初的“数”只有正整数。直到后来人类开始分食物、分土地，才慢慢出现了分数的概念。

1.2 大河文明的实用数学：从量土地到算天体

公元前3500年左右，幼发拉底河和底格里斯河之间的美索不达米亚平原，以及尼罗河沿岸的古埃及，先后进入了文明社会。这两个地方降水稀少，河流是农业的生命线：巴比伦人要靠两河的水灌溉农田，古埃及人要等尼罗河定期泛滥后重新播种。这种特殊的自然环境，催生了人类最早的实用数学体系。

1.2.1 古埃及：为了测土地而生的几何学

“几何学（geometry）”这个词， originally 来自古希腊语，意思是“测地术”，它的诞生直接和古埃及人的土地测量需求有关。尼罗河每年7月会泛滥，淹没两岸的农田，等洪水退去，原本的田界、地标全被冲没了， Pharaoh 需要重新划分土地，避免农民因为地界纠纷造反。于是，古埃及人慢慢总结出了计算面积、体积的方法，他们的数学成就大多记录在《兰德纸草书》和《莫斯科纸草书》里，这两份纸草书是公元前2000年左右写的，是现存最早的数学文献之一。

古埃及人的数学非常务实，几乎全是用来解决实际问题的。比如建金字塔的时候，他们需要计算需要多少石头、坡度是多少、体积有多大。胡夫金字塔是古埃及最大的金字塔，建于公元前2580年左右，底边边长约230米，高约146米，总共用了约230万块石头，每块平均重2.5吨。在没有测量仪器的情况下，古埃及人是通过什么方法把金字塔建得这么精确的？考古学家发现，他们用的是简单的直角三角形测坡法：拿一根绳子，等分成12段，然后拉成3-4-5的三角形，因为$3^2 + 4^2 = 5^2$，正好是直角三角形，这样就可以准确测出垂直方向和水平方向，保证金字塔的四个面都朝向正南、正北、正东、正西，误差不到0.05度。

古埃及人在算术上的最大特点是只用单位分数，也就是分子为1的分数（比如1/2、1/3、1/5），不会直接写2/3、3/4这样的分数，所有的分数都要拆成若干个单位分数的和。比如要把5个面包分给3个人，他们不会写$\frac{5}{3}$，而是拆成$\frac{1}{2} + \frac{1}{10}$：每个人先拿半个面包（也就是2.5个），剩下的0.5个面包再平均分成5份，每人拿1份，正好是3个面包。这种拆分方法看起来麻烦，但对于只会用分数表记的古埃及人来说，已经足够解决大部分生活问题了。

古埃及人在圆的计算上也有成就，他们发现圆的面积和直径的平方成正比，近似公式是： $$A = \left( \frac{8}{9}d \right)^2$$ 其中$A$是面积，$d$是直径。这个公式相当于把圆周率$\pi$近似为$\frac{256}{81} \approx 3.16$，和我们现在的$\pi \approx 3.14$已经非常接近了。他们还会计算圆柱的体积，比如计算粮仓的储粮量，用的公式是$V = \left( \frac{16}{9} \right)^2 h$，其中$h$是粮仓的高度，这个公式其实就是把圆柱的底面当成圆来算的。

1.2.2 古巴比伦：60进制的智慧

和古埃及人专注于几何不同，位于两河流域的古巴比伦人更擅长算术。他们生活在贸易频繁的十字路口，需要算利息、算商品重量、算天文周期，所以发展出了非常先进的算术体系，其中最著名的就是60进制（sexagesimal system）。

为什么选择60进制？因为60是一个非常“好拆分”的数：它的因数有12个（1、2、3、4、5、6、10、12、15、20、30、60），也就是说，60可以被绝大多数小于它的整数整除，拆分分数的时候不会出现无限循环小数。比如1小时的1/2是30分钟，1/3是20分钟，1/4是15分钟，1/5是12分钟，1/6是10分钟，全是整数，非常好算。而我们现在用的10进制，1/3小时就是0.333…小时，是无限循环小数，古代人没有小数表示法，算起来非常麻烦。直到现在，我们还在用巴比伦人传下来的60进制：时间的“小时、分钟、秒”，角度的“度、分、秒”，经纬度的表示，都是60进制的。

巴比伦人的数学成就还记录在大量的泥板上，其中最著名的是普林顿322号泥板（Plimpton 322），这是哥伦比亚大学的普林顿教授在1922年收购的，所以以此命名。这块泥板制作于公元前1800年左右，比毕达哥拉斯早了近一千年，上面整齐地列出了15组勾股数：也就是满足$a^2 + b^2 = c^2$的三个正整数，比如最经典的（3,4,5）、（5,12,13），甚至还有非常大的数（12709,12710,18041）。这说明巴比伦人早就发现了勾股定理的规律，只是没有像古希腊人那样给出严格的逻辑证明。

巴比伦人还能算平方根和立方根，比如他们对$\sqrt{2}$的近似值是1.41421296，和我们现在的近似值1.41421356…几乎完全一致，误差只有不到0.000001，这个精度放在公元前1800年，简直是不可思议的。他们还会算复利，比如泥板上记载了这样一个问题：“如果贷出1银币，月利率是2%，一年后本息是多少？”巴比伦人给出了答案：1银币一年后变成1.266银币，和我们现在用公式$1\times(1+0.02)^{12}\approx1.266$算出来的结果完全一致。

> 📌 电子版侧边栏：思考题 > 我们现在常用的10进制，是因为人类有10根手指，那如果人类只有8根手指，我们的计数系统会变成什么样？会不会8进制更流行？

1.3 毕达哥拉斯学派：“万物皆数”的信仰

公元前6世纪，古希腊的殖民城市克罗顿（现在意大利南部）来了一位特殊的客人——毕达哥拉斯（Pythagoras）。他出生在爱琴海的萨摩斯岛，年轻时走遍了埃及、巴比伦，学习了当地所有的数学和天文学知识，回到古希腊后，他在克罗顿创办了一个特殊的学派：这个学派既是宗教团体，也是学术团体，成员要遵守严格的戒律：不能吃豆子，不能说谎，不能随便暴露学派的发现，所有的研究成果都属于学派集体，不能私自外传。这个学派的核心思想，就是那句流传了2500年的名言：“万物皆数（All is Number）”。

这里的“数”，不是我们现在说的所有数，而是特指正整数和正整数的比（也就是分数）。毕达哥拉斯认为，整个世界的本质都是数：天体的运动遵循数的比例，音乐的和谐来自数的比例，甚至人的性格、道德、命运，都可以用数来解释。比如他们认为1代表“理性”，是万物的起源；2代表“意见”，是变化和不确定；3代表“正义”，是完美的开始；4代表“复仇”，是稳定的对立；5代表“婚姻”，因为2（女性）+3（男性）=5；10代表“完美”，因为1+2+3+4=10，是第一个完整的“三角形数”（可以排成三角形的数：1、1+2=3、1+2+3=6、1+2+3+4=10）。

毕达哥拉斯学派对“数”的信仰，不是凭空想出来的，而是来自他们对现实世界的观察。他们最早发现了音乐和数的比例的关系：拨动一根琴弦，如果长度是原来的1/2，音调会高八度；如果

长度是原来的2/3，音调会高五度；如果缩短到原来的3/4，音调会高四度。他们把这些比例对应到天体运行上：认为太阳、月亮、行星到地球的距离正好是1、2、3、4这样的整数比，所以天体的运动才会发出和谐的“天球音乐（harmony of the spheres）”——这种理论后来影响了西方天文学近两千年，甚至到了开普勒时代，人们还在试图从行星运行的轨道里找出整数比例。

毕达哥拉斯学派对“数”的信仰，最著名的成果就是那个流传了两千多年的勾股定理（Pythagorean theorem）。很多人以为这个定理是毕达哥拉斯第一个发现的，其实早在毕达哥拉斯出生前近1200年，古巴比伦的[普林顿322号泥板](https://en.wikipedia.org/wiki/Plimpton_322)上就已经记录了15组满足$a^2 + b^2 = c^2$的整数组合，古埃及人建金字塔的时候也用3-4-5的直角三角形测坡。但毕达哥拉斯学派的贡献是第一个用逻辑证明了“任意直角三角形的两条直角边的平方和都等于斜边的平方”，而不是只停留在几个特例上。关于这个发现，还有一个流传很广的故事：毕达哥拉斯为了庆祝这个成果，杀了一百头牛祭祀神灵，所以这个定理也被叫做“百牛定理（hecatomb theorem）”——当然这个故事的真实性有待考证，毕竟杀一百头牛在当时是一笔巨大的开销，更像是后人的附会。

这个证明的过程并不复杂，哪怕没有学过几何也能看懂：拿四个全等的直角三角形，把它们拼成一个大正方形，直角边分别贴着大正方形的边，中间会空出一个小正方形。大正方形的边长是直角三角形的斜边$c$，面积就是$c^2$；四个直角三角形的面积加起来是$4\times\frac{1}{2}ab = 2ab$，中间小正方形的边长是$a-b$，面积是$(a-b)^2$。把四个三角形和中间小正方形的面积加起来，正好等于大正方形的面积： $$2ab + (a-b)^2 = c^2$$ 展开左边得到$2ab + a^2 - 2ab + b^2 = a^2 + b^2$，正好等于$c^2$。这个证明不需要任何具体的数值，适用于所有直角三角形，是人类数学史上第一个严格证明的普遍定理，标志着数学从“解决具体问题的实用工具”，开始向“探索普遍规律的抽象理论”转变，这也是古希腊数学和之前所有文明数学的最大区别。

> 📌 小知识：勾股定理有多少种证明方法？ > 据说勾股定理的证明方法有超过500种，包括美国总统加菲尔德的梯形证明法、中国古代数学书《周髀算经》里的“弦图”证明法，甚至还有用乐高积木、折纸、甚至烤饼干来证明的方法，你也能想出一种吗？

就在毕达哥拉斯学派为“万物皆数”的信仰沾沾自喜的时候，一个叫希帕索斯（Hippasus）的学派成员，发现了一个让整个学派崩溃的问题：正方形的对角线和边长之比，根本不能用两个整数的比来表示。

希帕索斯最早是在研究正五边形的时候发现这个问题的：正五边形的对角线和边长的比，正好是黄金分割比$\varphi = \frac{1+\sqrt{5}}{2} \approx 1.618$，而$\sqrt{5}$是一个无法用整数比表示的数。更简单的例子是边长为1的正方形，用勾股定理算出它的对角线长度是$\sqrt{1^2 + 1^2} = \sqrt{2}$，现在问题来了：$\sqrt{2}$能不能写成一个分数$\frac{a}{b}$，其中$a$和$b$都是正整数？

要证明$\sqrt{2}$不能写成这样的分数，数学家用了一种叫“反证法（proof by contradiction）”的逻辑方法：你先假设它“可以写成最简分数”，然后推导出一个和“最简”矛盾的结论，就说明最初的假设是错的。这个过程有点像逻辑上的“套娃”：你假设它是对的，结果推导出它自己推翻自己，所以它一定是错的。

具体的推导过程是这样的： 1. 假设$\sqrt{2} = \frac{a}{b}$，其中$a$和$b$都是正整数，而且已经约分到了最简，也就是说$a$和$b$没有除了1之外的公约数。 2. 两边平方得到$2 = \frac{a^2}{b^2}$，也就是$a^2 = 2b^2$。这个等式说明$a^2$是偶数，而只有偶数的平方才是偶数，所以$a$一定是偶数，我们可以把$a$写成$2k$，其中$k$是正整数。 3. 把$a=2k$代入$a^2=2b^2$，得到$(2k)^2 = 2b^2$，化简后是$2k^2 = b^2$，说明$b^2$也是偶数，所以$b$也一定是偶数。 4. 哎？$a$和$b$都是偶数，那它们肯定有公约数2，和我们最开始说的“$a$和$b$已经约分到最简”完全矛盾了！ 5. 所以最初的假设不成立，$\sqrt{2}$根本不能写成两个正整数的比，它是一个无理数（irrational number）。

这个发现对毕达哥拉斯学派的打击是毁灭性的。他们的核心信仰是“万物皆数（All is Number）”，但这里的“数”只能是有理数（也就是整数和整数比），现在突然冒出来一个$\sqrt{2}$，既不是整数，也不能写成两个整数的比，那它是什么？如果连正方形的对角线这种最基础的几何量都不能被“数”解释，那“万物皆数”的信仰不就彻底破产了吗？

这就是数学史上的第一次数学危机（First Mathematical Crisis），也叫“无理数危机”。毕达哥拉斯学派为了维护自己的信仰，选择了封锁这个消息：希帕索斯因为把这个发现泄露给了学派外的人，据说被其他成员扔进了地中海淹死（当然也有说法说他是因为泄露了学派的秘密被处死，不一定是因为无理数的事）。学派成员甚至把无理数称为“无理的数（arrhthon）”，也就是“不能被说出来的数”，试图把这个问题压下去。

但纸包不住火，越来越多的几何问题需要用到无理数：计算圆的周长和直径之比$\pi$，计算正五边形的边长，计算黄金分割比，这些都会出现无理数。后来古希腊的数学家欧多克索斯（Eudoxus）提出了穷竭法（method of exhaustion），用无限逼近的方式处理无理数：比如计算圆的面积，就用内接正多边形不断逼近，边数越多，多边形的面积越接近圆的面积，暂时解决了无理数带来的计算问题。但他也没有给出无理数的严格定义，直到19世纪末，德国数学家戴德金（Dedekind）才用“戴德金分割（Dedekind cut）”严格定义了无理数：他把实数分成两部分，所有小于$\sqrt{2}$的有理数是一组，所有大于等于$\sqrt{2}$的有理数是另一组，这个“分割点”就是$\sqrt{2}$，不管这个点是不是有理数，它都是真实存在的。第一次数学危机才算真正从逻辑上彻底解决。

> 📌 小知识：为什么无理数叫“无理数”？ > 不是因为它“没有道理”，而是因为古希腊人认为“数”只能是两个整数的比（ratio），而irrational的词根就是ratio（比），加否定前缀ir-，本意是“不能表示为两个整数比的数”，翻译成“无理数”其实有点歧义，更准确的翻译应该是“不可比数”。

第一次数学危机虽然让毕达哥拉斯学派的信仰破产了，但它带来的好处是巨大的：它让数学家意识到，“数”的概念不是一成不变的，之前以为的“所有数”其实只是“有理数”，还有更多的数等待被发现。这种“扩展数系”的思路，后来贯穿了整个数学史：从有理数扩展到实数，从实数扩展到复数，每一次扩展都是为了解决之前体系解决不了的问题。

毕达哥拉斯学派虽然因为无理数的发现信仰崩塌，但他们提出的“万物皆数”的思想，却成了整个西方数学的源头。他们最早把数学和哲学结合起来，认为数学不是用来算账的工具，而是探索世界本质的学问，这种思想直接影响了后来的柏拉图、亚里士多德，甚至整个西方的科学传统。

柏拉图在雅典创办的学园门口，挂着一块牌子：“不懂几何者不得入内（Let no one ignorant of geometry enter）”，背后的逻辑就是毕达哥拉斯学派的“万物皆数”：只有掌握了数的规律，才能理解世界的本质。而亚里士多德的逻辑学，也深受毕达哥拉斯学派“用逻辑证明定理”的方法影响。