数从哪里来：从结绳记事到毕达哥拉斯的万物皆数 / Chapter 1: Where Numbers Come From: From Knotted Ropes to Pythagoras' "All Is Number"

你口袋里的手机锁屏密码、超市购物小票上的总价、甚至你刷短视频时看到的播放量，所有和“数”有关的东西，看起来理所当然得像是空气一样存在，但你有没有想过，人类花了整整几万年，才把这些看不见摸不着的“数”，从绳结、泥板、刻痕里一点点“抠”出来？数字从来不是上帝扔给人类的礼物，是人类在生存、劳作、思考里，一步步攒出来的最古老的“发明”。

<!-- 纸书格式：此处可配旧石器时代人类在兽骨上刻痕记数的考古复原图 --> <!-- 电子版：可点击查看全球早期计数方式的交互地图 --> <!-- Markdown标签：数字起源、人类文明史、计数实践 -->

最早的计数需求，其实比文字的出现早了至少三万年。南非的布隆伯斯洞穴里，考古学家发现了距今约3万年的赭石片，上面刻着一道道清晰的刻痕，一共29道——这大概是人类目前已知最早的“计数记录”：当时的猎人可能每打一只猎物，就在石头上划一道，到月底就能知道自己这个月打了多少只兔子、多少只羚羊。后来人们发现，刻石头太麻烦，随身带着也不方便，就发明了更轻便的计数工具：绳子。

这就是几乎所有文明都出现过的“结绳记事（knotted rope tallying）”：每猎到一只动物、每收获一袋谷物、每过一天，就在绳子上打一个结。我国古籍《易经》里就有“上古结绳而治，后世圣人易之以书契”的记载，说的就是上古时期人们用结绳管理事务的历史。直到现在，我国西南的一些少数民族还会用结绳记工分：给谁家打了三天工，就在绳子上打三个结，年底凭结算钱。远在秘鲁的安第斯山区，古印加人发明了更高级的“基普（quipu）”：用不同颜色的绳子代表不同的事物，红色代表牛，白色代表羊，黄色代表玉米，结的位置代表数位（个位、十位、百位），结的数量就是具体的数值。有的基普甚至能记录历史事件和税收情况，相当于没有文字的“活史书”。

当然，结绳记事有个致命的缺点：绳子会烂，结会松，一旦绳子断了，数就全没了。所以当人类开始定居、有了剩余财产之后，就需要更耐用的计数工具——刻在泥板、石头、骨头上的数字。

1.1 古埃及的“绳距”：数是为了算地 / Ancient Egypt's "Remen": Numbers Were for Measuring Land

最早把计数从“记数”变成“数学”的，是尼罗河边的古埃及人。和所有大河文明一样，古埃及的农业完全依赖尼罗河：每年7月，尼罗河上游的暴雨会引发洪水，淹没两岸的农田，等10月洪水退去之后，肥沃的淤泥会覆盖整个河谷，正是播种的好时候。但问题也随之而来：洪水会把各家田地之间的界桩、界沟全部冲平，征税的时候，税务官根本不知道哪块地是谁的，每家有多少亩地。

于是，古埃及诞生了一个专门的职业：“拉绳人（harpedonaptai）”，字面意思是“拉绳子的人”。他们用浸过油的麻绳拉出标准的直角，再测量土地的长和宽，算出面积。古埃及人发明的长度单位“腕尺（cubit）”，就是从小臂的肘部到中指尖的长度，后来甚至把“腕尺”做成了标准的金属棒，全国统一，保证测量的准确性。而他们用来拉直绳子的方法，其实就是我们后来知道的勾股定理（Pythagorean theorem）的朴素应用：用3个单位、4个单位、5个单位的绳子，刚好能拉出一个标准的直角，因为$3^2 + 4^2 = 5^2$，也就是两条短边的平方和等于长边的平方。

<!-- 纸书格式：此处可配古埃及拉绳人测量土地的壁画复原图，标注3-4-5直角三角形的应用 --> <!-- 电子版：可点击观看古埃及土地测量的3D动画演示 --> <!-- Markdown标签：实用数学、勾股定理、古埃及文明 -->

古埃及人的数学几乎全部是为实用服务的：算土地面积、算粮食产量、算税收、算金字塔的建造需要的砖块数量。他们甚至已经会用分数了，但有个很奇怪的规定：只能写“单位分数”，也就是分子是1的分数，比如$\frac{1}{2}$、$\frac{1}{3}$、$\frac{1}{4}$，不能写$\frac{2}{3}$、$\frac{3}{4}$这样的分数。如果你是个古埃及面包师，遇到“5个面包分给8个人”的难题，不用抓狂，按古埃及的方法，你只需要把每个面包先切成两半，每人拿半块（也就是$\frac{1}{2}$），剩下的3个面包再每个切成8块，每人拿3块（也就是$\frac{3}{8}$？不，古埃及人会写成$\frac{1}{2} + \frac{1}{8} + \frac{1}{8} + \frac{1}{8}$，也就是三个$\frac{1}{8}$加起来），刚好分完。这种看似麻烦的方法，其实是当时最方便的计算方式：因为没有通用的分数写法，把所有分数都拆成单位分数相加，就能用加法完成所有的除法运算。

古埃及人甚至已经算出了圆的面积：他们用“直径减去直径的$\frac{1}{9}$，再乘以直径的平方”，得到的面积和现在的$\pi r^2$非常接近，误差只有不到1%。但他们永远不会知道$\pi$是什么，因为他们的数学从来没有跳出“实用”的范畴：能算出金字塔要多少块砖、能算出地有多大、能算出税要交多少就够了，至于“为什么圆的面积公式是这样的”，没人会去多想。

1.2 古巴比伦的泥板：60进制的遗产 / Babylonian Clay Tablets: The Legacy of Sexagesimal

和古埃及人刻在纸草上不同，两河流域的古巴比伦人把数字刻在泥板上。他们用芦苇杆在软泥板上压出一个个小楔子一样的痕迹，晒干之后就会变得非常坚硬，几千年前的泥板到现在还能保存完好。现在大英博物馆里藏着的几十万块古巴比伦泥板，就是人类最早的数学“教材”和“计算器”。

<!-- 纸书格式：此处可配古巴比伦楔形数字泥板的实拍图，标注数字的写法 --> <!-- 电子版：可点击查看普林顿322号泥板的3D扫描图，放大查看勾股数 --> <!-- Markdown标签：楔形数字、古巴比伦文明、数学考古 -->

其中最著名的一块，是1902年在伊朗苏萨古城遗址里发现的“普林顿322号泥板（Plimpton 322 clay tablet）”，上面刻着15组数字，分别是三个数的组合：$(119, 120, 169)$、$(3367, 3456, 4825)$、$(12709, 13500, 18541)$……乍一看没什么规律，但数学家很快就发现：这些都是“勾股数”——也就是满足$a^2 + b^2 = c^2$的三个整数，比如$119^2 + 120^2 = 14161 = 169^2$，完全符合勾股定理。这块泥板的年代是公元前1800年左右，比毕达哥拉斯出生早了整整一千年。

没错，勾股定理根本不是毕达哥拉斯发明的，他只是第一个给出了严格证明的人。古巴比伦人早就掌握了勾股数的规律，甚至能算出非常大的勾股数，用来计算建筑的坡度、天文观测的角度。他们甚至已经会用“开平方”的方法计算面积：比如给你一块正方形的地，算出边长就是开平方，给你一个圆的面积，算出直径就是开平方除以$\pi$的近似值。

古巴比伦人最伟大的遗产，是他们的60进制（sexagesimal）计数系统。我们现在用的“1小时=60分钟、1分钟=60秒、一个圆是360度”，全都是从古巴比伦人那里传下来的。为什么他们要用60进制？因为60有很多约数：1、2、3、4、5、6、10、12、15、20、30、60，做除法的时候特别方便，比如$\frac{1}{3}$小时就是20分钟，$\frac{1}{4}$小时就是15分钟，比10进制的$\frac{1}{3}$小时是20分钟？哦对，10进制的话$\frac{1}{3}$是0.333…，除不尽，60进制的话很多常见的分数都能除尽，非常适合做天文计算和贸易记账。

你看，不管是古埃及还是古巴比伦，他们的数学都是“工具”：用来算地、算粮、算税、建金字塔、修神庙。数字在他们眼里，就是数东西、算东西的工具，没有任何“哲学高度”。直到公元前6世纪，在爱琴海边的古希腊，一个叫毕达哥拉斯的人，第一次把数学从泥瓦匠的手里，拉到了哲学的高度。

1.3 毕达哥拉斯的“万物皆数” / Pythagoras' "All Is Number"

毕达哥拉斯出生于希腊萨摩斯岛，小时候跟着当宝石雕刻匠的父亲谋生，据说他小时候跟着父亲去埃及、巴比伦游学，学到了两河流域和尼罗河两岸的数学知识，后来回到希腊，在意大利南部的克罗顿城建立了一个半宗教半学术的团体，就是后来有名的“毕达哥拉斯学派（Pythagorean school）”。

这个学派非常神秘：成员有共同的财产，共同居住，一起研究数学、哲学和宗教，对外不透露学派的内部研究成果，甚至有个奇怪的规矩：不能吃豆子，不能碰白色的公鸡，不能随便说话，要经常沉默反思。他们的信仰是“灵魂轮回”：人的灵魂是不死的，死后会进入另一个身体里轮回，而研究数学是净化灵魂的最好方式——因为数学是永恒的、不变的、纯粹的，能让人摆脱肉体的欲望，回到天上的“理型世界”。

<!-- 纸书格式：此处可配毕达哥拉斯学派讨论数学的古希腊陶瓶画复原图 --> <!-- 电子版：可点击观看毕达哥拉斯生平的动画短片 --> <!-- Markdown标签：毕达哥拉斯、古希腊数学、哲学与数学 -->

正是在这种“不为实用，只为追求真理”的氛围里，毕达哥拉斯提出了那个著名的命题：“万物皆数（All is number）”。不过这里的“数”，最开始并不是我们现在说的“所有数”，而是指“正整数（positive integer）”，后来才加上了“分数（fraction）”，也就是我们现在说的“有理数（rational number）”——这个词的英文rational来自拉丁语的“比值（ratio）”，不是“理性”的意思，因为它就是两个整数的比。

为什么毕达哥拉斯会觉得“万物皆数”？不是他瞎编的，是他真的观察到了数的规律：比如他研究音乐的时候发现，拨动一根琴弦，发出声音的高低和弦的长度有关：如果弦的长度是原来的$\frac{1}{2}$，发出的声音就是高八度，刚好是和谐的；如果弦的长度是原来的$\frac{2}{3}$，就是五度音，也是和谐的；如果是$\frac{3}{4}$，就是四度音，同样和谐。他把这些和谐的比例叫做“音乐的数”，觉得音乐的美本质上就是数的比例的美。

他又观察天体：月亮、太阳、行星的运行轨迹都是圆，

毕达哥拉斯把目光从地面的土地、泥板上的数字，移向了头顶的星空。他观察天体的运行，发现月亮绕地球的周期和太阳绕地球的周期之比是1:12，行星的运行轨道都是完美的圆形，而圆的周长和直径的比是固定的，音程的和谐比例和天体运行的轨道比例居然是同构的——他把这种跨领域的规律总结成一句话：“万物皆数（All is number）”。不过这里的“数”，最开始并不是我们现在理解的包含正负数、无理数、复数的广义数系，而是特指正整数（positive integer），后来才逐步扩展到了有理数（rational number）——这个词的英文词根来自拉丁语的“比值（ratio）”，而非“理性”，因为它本质上就是两个整数的比。

在毕达哥拉斯学派看来，“数”是宇宙最本质的构成：数是永恒的、不变的、纯粹的，不会因为人的意志而改变，1就是1，2就是2，不会像人的感情一样忽高忽低。而世界上所有的事物，不管是音乐的和谐、天体的运行、建筑的稳定，还是人的身体比例、道德的高低，本质上都是不同数的比例关系。比如他们认为人的身体美就是身体各部分的长度比例符合整数比，道德的高下也是灵魂中不同“数的比例”是否和谐，甚至国家的治理也需要按照数的比例来分配资源，才能达到和谐。

<!-- 纸书格式：此处可配毕达哥拉斯用琴弦实验演示音程比例的插图 --> <!-- 电子版：可点击交互演示“弦长比例与音程的关系”：拖动滑块改变弦长，实时听到对应的音高 --> <!-- Markdown标签：毕达哥拉斯、音乐与数学、万物皆数、古希腊哲学 -->

这种“数就是宇宙的本质”的信念，让毕达哥拉斯学派从“用数学算地、算粮”的实用主义，一下子跳到了“用数学解释整个世界”的哲学高度。他们开始系统性地研究“数本身的规律”，而不是“数怎么用来算东西”，这大概是人类历史上第一个把“数”本身当成研究对象的学派，也是数论（number theory）这门学科的最早雏形。他们发现了我们现在还在玩的“完全数（perfect number）”：就是等于自身所有真因数之和的数，比如6=1+2+3，28=1+2+4+7+14，496=1+2+4+8+16+31+62+124+248，这些数在毕达哥拉斯学派眼里是“神的数”，因为它们的结构完全自洽，不需要依赖其他数。他们还发现了“亲和数（amicable number）”：两个数，每个数的真因数之和都等于另一个数，最著名的就是220和284：220的真因数是1、2、4、5、10、11、20、22、44、55、110，加起来刚好是284；284的真因数是1、2、4、71、142，加起来刚好是220。据说毕达哥拉斯学派的人会把这两个数刻在牌子上，分别挂在朋友的身上，象征友谊长存。

不过，毕达哥拉斯学派对“数”的定义，始终有一个默认的前提：所有的数都可以表示为两个整数的比，也就是所有数都是有理数。这个前提对他们来说是不证自明的：你数苹果，1个、2个、3个，都是整数；你分面包，$\frac{1}{2}$个、$\frac{1}{3}$个，都是两个整数的比；你量长度，1米、$\frac{1}{2}$米，也都是有理数。他们甚至把“数”和“直线上的点”做了对应：任意一条线段，总能找到一个有理数对应它的长度，反过来，任意一个有理数，也总能在直线上找到一个点对应它。换句话说，他们相信有理数和直线上的点是一一对应的，直线上所有的点，都是“数”，没有例外。

这个信念支撑了他们的整个哲学体系：既然万物都是数的比例，那所有可测量的长度、可听见的音程、可观测的天体距离，都应该是两个整数的比，宇宙是完全有序、完全可解释的，没有未知，没有混沌。但很快，他们自己亲手打破了这个信念。

1.4 第一次数学危机：\sqrt{2}掀翻了“万物皆数”的桌子 / The First Mathematical Crisis: √2 Knocked Over the Table of "All Is Number"

危机的导火索，是毕达哥拉斯学派最引以为傲的勾股定理（Pythagorean theorem）——也就是我们小学学过的“直角三角形两条直角边的平方和等于斜边的平方”。这个定理现在已经是小学数学的必学内容，公式$a^2 + b^2 = c^2$连小学生都能背下来，但在2500多年前，这可是毕达哥拉斯学派花了大量精力才严格证明的“宇宙最高真理”，是他们“万物皆数”信念最坚实的支撑：既然所有几何长度都是有理数，那勾股定理算出来的斜边长度，肯定也是有理数。

但问题出在了一个最简单的图形上：边长为1的正方形。根据勾股定理，这个正方形的对角线长度$c$满足$1^2 + 1^2 = c^2$，也就是$c^2=2$，所以$c=\sqrt{2}$。现在问题来了：$\sqrt{2}$能不能表示为两个整数的比？

毕达哥拉斯学派的一个成员，名叫希帕索斯（Hippasus of Metapontum），大概是公元前5世纪的人，他花了很多时间研究这个问题，最后得出了一个让他自己都害怕的结论：$\sqrt{2}$不能表示为两个整数的比，它不是有理数。

这个结论的证明其实并不复杂，现在小学高年级的学生都能看懂，我们不用复杂的符号，用大白话就能讲清楚： > 假设$\sqrt{2}$可以表示为两个整数的比，也就是$\sqrt{2} = \frac{a}{b}$，这里$a$和$b$是没有公因数的整数（也就是我们已经把分数约分到了最简，没法再约了，就像$\frac{3}{4}$是最简分数，$\frac{6}{8}$还能约成$\frac{3}{4}$）。 > 我们把等式两边平方，得到$2 = \frac{a^2}{b^2}$，也就是$a^2 = 2b^2$。这意味着$a^2$是偶数，而只有偶数的平方才是偶数，所以$a$本身一定是偶数。 > 既然$a$是偶数，那我们可以把$a$写成$2k$，其中$k$是整数。把这个代入$a^2=2b^2$，得到$(2k)^2 = 2b^2$，也就是$4k^2=2b^2$，两边除以2，得到$b^2=2k^2$。同样的道理，$b^2$是偶数，所以$b$也一定是偶数。 > 现在问题来了：我们一开始假设$a$和$b$是没有公因数的，但现在$a$和$b$都是偶数，都有公因数2，这和我们的假设矛盾。所以我们的假设“$\sqrt{2}$可以表示为两个整数的比”是错的，$\sqrt{2}$不是有理数。

这个证明的逻辑非常严密，没有任何漏洞，就像你本来以为所有的天鹅都是白色的，结果突然发现了一只黑天鹅，你的“所有天鹅都是白的”的信念瞬间就崩塌了。希帕索斯发现这个结论之后，非常兴奋，他觉得这是了不起的发现，就把这个结果告诉了学派里的其他人。但毕达哥拉斯却吓坏了：如果$\sqrt{2}$不是有理数，那“万物皆数”的信念就是错的，整个学派的哲学基础就塌了。他下令让所有学派成员保守这个秘密，绝对不能对外说。

但希帕索斯已经说出去了，据说毕达哥拉斯为了灭口，把希帕索斯装进一个木桶，扔到爱琴海里淹死了。这个故事在数学史上传了一千多年，被称为“数学史上第一起学术谋杀案”，但现在也有学者质疑这个说法的真实性：因为最早记载这个故事的文献是公元1世纪才出现的，距离希帕索斯生活的年代已经过去了600多年，没有任何同时期的史料支持。不过不管这个故事是真是假，它都反映了当时无理数的发现给整个毕达哥拉斯学派带来的冲击有多大——这相当于你辛辛苦苦搭建了一辈子的积木城堡，突然发现最底下的积木是空的，整个城堡随时会塌。

<!-- 纸书格式：此处可配希帕索斯被扔海里的古希腊陶瓶画复原图，旁边附无理数证明的简化版 --> <!-- 电子版：可点击查看无理数证明的交互动画，一步步跟着推导 --> <!-- Markdown标签：第一次数学危机、无理数、希帕索斯、数学史 -->

这个事件后来被叫做第一次数学危机（First Mathematical Crisis），它是人类历史上第一次发现“直觉是不可靠的”：你明明能在纸上画出一个边长为1的正方形，量出它的对角线长度是1.414…，这个长度明明存在，却不是一个“数”，这完全打破了之前“所有可测量的长度都是数”的直观认知。更可怕的是，如果$\sqrt{2}$不是有理数，那之前的很多数学结论是不是都错了？比如之前用勾股定理算出来的所有长度，是不是都有可能是“不存在的数”？“万物皆数”的信仰一旦崩塌，整个古希腊的数学体系都面临着重新洗牌的风险。

当时的数学家们想了很多办法应对这场危机，最常见的办法就是“回避”：你既然说$\sqrt{2}$不是数，那我就不提“数”这个概念，我只说“线段”“比例”。比如后来的欧几里得写《几何原本》的时候，干脆完全避开了“数”的定义，所有的定理都是从“点”“线”“面”这些几何概念出发，用逻辑推导