第一章 数学的起源与早期文明

当考古学家在1930年于南非开普省发现那块距今约3.5万年的伊尚博骨时，人类第一次找到了数学起源的实物证据：这块被截断的狒狒腓骨上，整齐刻着29道清晰的刻痕，其中第11、22、29道刻痕比其他刻痕更深，显然是计数者特意标注的标记。这些看似简单的刻痕，是人类理性思维觉醒的最早印记——为了记录猎物的数量、月亮的圆缺、部落的人口，原始人类在漫长的生产实践中，逐渐催生了最原始的数学萌芽。

1.1 原始社会的计数需求与记数法萌芽

数学的起源从来不是哲学家书斋里的空想，而是人类生存需求的直接产物。在旧石器时代晚期，人类已经学会了用结绳记事和契刻记数来解决“量”的问题：中国《周易·系辞下》记载“上古结绳而治，后世圣人易之以书契”，说的就是这一过程——部落首领用绳子上的结记录牛羊的数量，用刀在骨头、木头上刻痕记录天数、猎物数，这种最原始的“一一对应”记数法，是人类数学思维的第一步。

随着部落规模的扩大和交换的出现，简单的刻痕已经无法满足需求，人类逐渐发展出了更高效的记数系统。不同文明独立演化出了不同的进制：中国商代的甲骨文已经使用了完整的十进制记数法，用“一、二、三、四、五、六、七、八、九、十”表示个位，用“百、千、万”表示更高位，是目前已知最早的十进制系统之一；中美洲的玛雅文明则发展出了二十进制，因为他们的计数和 toes、 fingers 的数量有关，用“·”表示1，“—”表示5，组合起来可以表示任意数字；而美索不达米亚平原上的古巴比伦人则选择了六十进制，这一进制至今仍影响着我们的生活——我们使用的1小时=60分、1分=60秒，1度=60分、1分=60秒的角度单位，都是古巴比伦人留下的遗产。

这种记数法的出现，标志着人类已经从“感知具体数量”的阶段，进入了“抽象表示数量”的阶段：无论具体有多少个猎物，都可以用一套固定的符号表示，这是数学抽象能力的最初体现。而随着记数法的发展，人类很快遇到了新的问题：当需要计算几个群体的猎物总和，或者分配猎物的时候，简单的记数已经不够用了，于是最原始的算术运算——加、减、乘、除——逐渐诞生了。

1.2 大河文明的实用数学：古埃及与古巴比伦

当人类进入文明时代，数学不再是部落内部的小众工具，而成为维系国家运转、支撑工程建设的重要基础。尼罗河、幼发拉底河与底格里斯河这两条大河孕育的古埃及、古巴比伦文明，是人类历史上最早的数学发达地区，它们的数学成果完全服务于实际需求：土地测量、天文历法、建筑工程、赋税征收，每一个数学结论背后都有明确的应用场景。

1.2.1 古埃及：尼罗河泛滥催生的几何学

古埃及文明诞生于非洲东北部的尼罗河两岸，尼罗河每年的6-10月都会定期泛滥，淹没两岸的农田，泛滥退去后，原本的土地边界被完全冲毁，法老需要重新测量土地，分配给农民，同时根据土地面积征收赋税。这种刚性的需求，让古埃及人最早发展出了几何学——事实上，“几何”这个词本身就是古希腊语，意为“土地测量”，正是对古埃及数学传统的总结。

古埃及专门有负责测量土地的官员，

古埃及专门有负责测量土地的官员，称为“司绳”（Hedy），他们的核心工具是简单的测量套装：涂有白灰的测绳、由三根刻有等距刻度的木棍组成的直角尺（严格符合勾股定理的3:4:5比例，早在公元前2000年就已经被古埃及人系统使用）。根据保存在莫斯科的、公元前1650年的《莱因德纸草书》（现存最完整的古埃及数学文献，以古王国时期的泥板文献为底本整理），古埃及人已经掌握了相当成熟的几何计算方法：他们计算圆的面积时，默认圆的面积等于直径为$d$的圆内接正八边形的面积，近似公式为$S = \left( \frac{8}{9}d \right)^2$，对比现代公式$S = \pi r^2 = \frac{\pi d^2}{4}$，可推算古埃及人使用的圆周率近似值$\pi \approx \frac{64}{81 \times 4} \approx 3.1605$，误差仅为0.6%，完全满足土地测量的实际需求。他们还掌握了梯形、三角形面积的正确计算方法，甚至能近似计算圆柱体的体积——但遗憾的是，他们误认为圆锥体的体积是同底等高圆柱体的一半，而非正确的三分之一，这一错误直到古希腊时期才被纠正。

古埃及的算术同样高度发达，但受限于非位值制的记数系统（他们的记数符号是单符号对应数值：|表示1，∩表示10，⊂表示100，⊂∩|表示111，没有位置概念，数值大小完全由符号数量决定），他们没有通用的乘法公式，而是用倍加法完成乘法运算：比如计算$17 \times 23$，只需要将23依次乘以1、2、4、8、16，取其中和17的二进制表示1+16对应的项相加，即$23 + 23 \times 16 = 23 + 368 = 391$？哦不，23×17是391，对，这个方法本质上就是二进制的应用，比欧洲早了三千多年。更特别的是，古埃及人的分数运算全部基于单位分数（分子为1的分数），他们认为除了2/3、3/4等少数常用分数外，任意分数都可以拆解为不同单位分数的和，比如$\frac{2}{3} = \frac{1}{2} + \frac{1}{6}$，$\frac{3}{10} = \frac{1}{5} + \frac{1}{10}$，这种拆分规则虽然繁琐，但在没有通用分数运算体系的古代，已经能满足分配粮食、分配土地的实用需求。

古埃及数学最著名的应用案例是金字塔的建造：胡夫金字塔的底边长约230米，高约146米，四个底面的夹角误差不到2角分（1角分=1/60度），如果没有成熟的几何测量和计算能力，几乎不可能完成这样的工程。考古学家还在金字塔的工匠宿舍墙上发现了大量几何计算的草稿，包括勾股定理的应用、坡度的计算，证明古埃及的数学早已不是少数祭司的秘传知识，而是广泛应用于工程一线的实用工具。

1.2.2 古巴比伦：六十进制位值制催生的代数萌芽

与古埃及的非位值制记数法不同，两河流域的古巴比伦人发展出了人类历史上最早的位值制记数系统，而且是六十进制：用“∧”表示1，“<”表示10，组合起来可以表示1到59的任意数字，超过60之后向左进位，同一个符号在不同位置代表不同的数值（比如“∧∧”在个位是2，在十位是120）。这种位值制记数法的优势是极大的简化了乘除运算：古巴比伦人已经制作了完整的倒数表、平方表、立方表，计算乘法时只需要查表相加，计算速度远超古埃及的倍加法。我们今天使用的60进制时间、角度单位，就是古巴比伦人留下的遗产——他们选择60进制是因为60是2、3、4、5、6、10、12、15、20、30的倍数，能被很多小数整除，非常适合天文计算和贸易结算。

1900年，考古学家在古巴比伦遗址出土了编号为普林顿322的泥板，上面刻着15行三列数字，最初被认为是贸易交易记录，直到1945年数学家 Neugebauer 才破译出它的真实内容：这是一份完整的勾股数表，列出了从3到60的整数对应的所有勾股数（满足$a^2 + b^2 = c^2$的正整数三元组），比如(3,4,5)、(5,12,13)、(20,21,29)、(119,120,169)，最末行的最大勾股数的$c$值超过三百万，比毕达哥拉斯发现勾股定理早了至少一千年。这份泥板证明，古巴比伦人早已掌握了勾股定理的应用方法，甚至能够通过公式生成任意勾股数：对于任意正整数$m>n$，$a=m^2-n^2$，$b=2mn$，$c=m^2+n^2$，必然构成勾股数，这一公式直到现在仍是中学数学的必学内容。

古巴比伦的数学成果几乎全部刻在泥板上，现存超过50万块数学泥板，内容涵盖土地测量、天文计算、赋税征收、商业贸易等所有领域。他们甚至已经会解一元二次方程：比如泥板上记载了一道题“一个正方形，边长加上它的三分之一等于10米，求正方形的面积”，古巴比伦人用“假设法”求解：假设边长加三分之一是10，那么边长就是7.5，面积就是56.25，和现在的代数解法完全一致。在天文计算领域，古巴比伦人已经能准确预测月食和日食的日期，他们发现的“沙罗周期”（223个朔望月，约6585天，月食、日食的周期）至今仍被天文学家使用。

不过古巴比伦的数学始终停留在实用层面：他们虽然算出了$\sqrt{2} \approx 1.414214$，精确到小数点后5位，但这只是用于计算建筑对角线的实用近似值，他们从未追问过$\sqrt{2}$到底是不是一个“整数比”，也没有建立起任何逻辑体系，所有的数学结论都是零散的经验总结。

1.3 古希腊的理性化转向：数学成为独立学科

当公元前6世纪的希腊商人、哲学家跨过地中海，从埃及和巴比伦带回实用的数学知识后，数学的发展轨迹发生了根本性的转变：古希腊人不再满足于“怎么算”，而是开始追问“为什么”，数学从实用的工具，变成了一门追求真理的独立学科。

1.3.1 毕达哥拉斯学派：数本原说与第一次数学危机

最早推动数学理性化转向的是小亚细亚西岸的萨摩斯岛的毕达哥拉斯（约公元前570年-前495年）。他年轻时游历埃及、巴比伦，学习了当地所有的数学知识，回到希腊后创立了毕达哥拉斯学派——这是一个带有宗教性质的学术社团，成员发誓严守学派秘密，共同研究、共同生活。毕达哥拉斯提出了著名的数本原说：“数是万物的本原”，他认为整个宇宙的本质都是数的比例：音乐的美妙和弦来自琴弦长度的整数比（比如2:1是八度，3:2是五度），天体的运行遵循着整数比例的和谐规律（后世称为“天体音乐”），就连人的健康、道德也可以用数来解释。在毕达哥拉斯看来，所有的量都可以表示为两个整数的比，也就是所有的数都是“有理数”（rational number，来自拉丁文ratio，意为“比例”），宇宙是完全可以用数来描述的、和谐有序的。

这种信仰在毕达哥拉斯学派研究等腰直角三角形时遭遇了毁灭性的打击：他们发现，等腰直角三角形的斜边和直角边长度之比，无法表示为两个整数的比。我们现在知道，这个比值就是$\sqrt{2}$，我们可以用反证法简单证明它的无理性： > 假设$\sqrt{2}$是有理数，那么可以表示为两个互质的正整数$p$和$q$的比，即$\sqrt{2} = \frac{p}{q}$。两边平方得$2 = \frac{p^2}{q^2}$，即$p^2 = 2q^2$，说明$p^2$是偶数，因此$p$一定是偶数。设$p=2k$，代入上式得$(2k)^2 = 2q^2$，即$4k^2 = 2q^2$，$q^2 = 2k^2$，说明$q$也是偶数。这与$p$和$q$互质的假设矛盾，因此假设不成立，$\sqrt{2}$是无理数。

这个发现让毕达哥拉斯学派陷入了恐慌：如果连直角边的长度都无法用整数比表示，那“万物皆数”的信仰就彻底崩塌了。传说学派成员希帕索斯（Hippasus）最先把这个发现公之于众，毕达哥拉斯为了维护学派的权威，命令手下将希帕索斯装进袋子扔进海里淹死，希帕索斯成为数学史上第一个为真理献身的殉道者。后世把这次事件称为第一次数学危机，它的意义远超数学本身：第一次证明了人的理性可以突破经验的限制，发现客观世界不为人知的本质——在此之前，人类所有的数学结论都和直观经验一致，而$\sqrt{2}$的存在证明，数学可以研究抽象到无法被感知的对象。

第一次数学危机也推动了数学逻辑的发展：为了证明无理数的存在，古希腊数学家开始发展逻辑推理的方法，用公理推导定理，而不是靠直观经验判断对错。比如他们证明了“素数有无穷多个”：假设素数的个数是有限的，设为$p_1, p_2, ..., p_n$，那么构造一个新的数$N = p_1 p_2 ... p_n + 1$，$N$除以任意素数$p_i$都会余1，因此$N$要么是素数，要么有新的素因子，和假设矛盾，因此素数有无穷多个。这种纯逻辑的证明方法，和之前埃及、巴比伦的经验总结完全不同，是数学走向抽象的核心标志。

1.3.2 欧几里得与《几何原本》：公理化体系的奠基

第一次数学危机后一百多年，古希腊数学家们逐渐把几何从具体的土地测量、建筑计算中剥离出来，变成一门纯粹研究空间形式和数量关系的抽象学科。公元前300年左右，在埃及亚历山大城的缪斯学院（人类历史上第一个国立科研机构，由托勒密一世建立），数学家欧几里得（Euclid）系统整理了当时所有的几何成果，写成了一本影响人类文明两千多年的著作——《几何原本》。

《几何原本》完全按照公理化的体系编写：首先列出5条公设（仅适用于几何学的初始假设）和5条公理（适用于所有科学的普遍真理），然后从这些不证自明的初始命题出发，用严格的逻辑推理，推导出467个几何命题，涵盖了平面几何、立体几何、数论的全部基础内容。它的5条公设是： 1. 从任一点到任一点作直线是可能的； 2. 将有限直线不断延长是可能的； 3. 以任一点为圆心和以任意距离为半径作圆是可能的； 4. 所有直角都彼此相等； 5. 若一条直线与两条直线相交，且在同侧的两个内角之和小于两个直角，则这两条直线无限延长后在这一侧相交。（即平行公设）

它的5条公理则是：等于同量的量彼此相等；等量加等量，其和相等；等量减等量，其差相等；彼此重合的物体是全等的；整体大于部分。

这种“从公理出发，用逻辑推导所有结论”的体系，是人类历史上第一个完整的公理化体系，它不仅定义了数学的研究方法，也为后来的物理学、哲学等所有科学学科提供了范本：直到现在，所有的科学理论仍然遵循“假设-推导-验证”的公理化逻辑。《几何原本》出版后的两千多年里，一直是欧洲各国的标准数学教材，甚至直到20世纪，中国的中学几何教材仍然沿用它的体系。

关于欧几里得还有一个著名的故事：托勒密王问欧几里得“几何有没有捷径可以走？”，欧几里得回答：“在几何里没有专为国王铺设的大道”，这句话后来成为数学精神的象征：数学的结论不依赖于权力、财富，只依赖于逻辑和证据，哪怕是国王，也必须按照逻辑规则推导才能得到正确的结论。

《几何原本》中关于平行公设的讨论，也为后来的数学发展埋下了伏笔：很多数学家认为平行公设可以用其他公理推导出来，但所有的尝试都以失败告终，直到19世纪，数学家们发现如果否定平行公设，可以得到逻辑自洽的“非欧几何”，这为后来的广义相对论提供了数学基础——当然，这些内容我们将在后续章节中展开。

```mermaid graph LR A[原始社会：结绳记事/契刻记数<br>（约3.5万年前）] --> B[古埃及：实用几何<br>（约公元前3000年）] A --> C[古巴比伦：位值制代数<br>（约公元前2000年）] B --> D[古希腊：理性化转向<br>（约公元前600年）] C --> D D --> E[毕达哥拉斯：数本原说/无理数发现<br>（约公元前500年）] E --> F[欧几里得：《几何原本》公理化体系<br>（约公元前300年）] ```

1.4 从实用工具到抽象学科：早期数学的演进逻辑

梳理完从原始计数到古希腊公理化体系的整个历程，我们可以清晰地看到数学演进的三个核心阶段，以及每个阶段的本质特征：

第一阶段是实用阶段（从原始社会到公元前6世纪）：数学的所有成果都直接服务于生产生活的实际需求。古埃及人发展几何是为了测量土地，古巴比伦人发展代数是为了计算贸易税额、预测天文现象，他们的数学结论都是零散的经验总结，没有统一的逻辑体系，也不会追问结论背后的“为什么”。这一阶段的数学本质上是一种“高级工具”，和石器、农具没有本质区别，只是更抽象、更通用。

第二阶段是抽象化阶段（公元前6世纪到公元前3世纪）：古希腊人把数学从具体的应用中剥离出来，变成一门独立的研究对象。毕达哥拉斯学派不再满足于“怎么算土地面积”，而是追问“什么是数”“什么是宇宙的本质”，他们第一次把数学的研究对象从“具体的量”变成了“抽象的数”，从“怎么算”变成了“为什么对”。无理数的发现打破了“所有数都是整数比”的经验认知，逻辑证明的方法取代了直观判断，数学第一次成为一门靠理性而非经验驱动的学科。

第三阶段是体系化阶段（公元前3世纪开始）：欧几里得的《几何原本》第一次把零散的数学结论整合成了一个逻辑自洽的完整体系，从几条不证自明的公理出发，可以推导出所有的几何结论，甚至包括数论中的素数定理、完全数定理等和几何无关的内容。这种公理化的体系，让数学成为了一门可以自我完善的学科：只要公理正确，所有的推导结论就必然正确，不需要再依赖实验或者经验验证。

为什么只有古希腊完成了数学的理性化转向？这背后是文明形态的差异：古埃及、古巴比伦都是大河农业文明，数学是统治阶级维持统治的工具，服务于土地测量、赋税征收、工程建设，所有的数学研究都由祭司阶层垄断，没有独立发展的空间；而古希腊是海洋商业文明，城邦制度下公民有充分的闲暇思考抽象问题，没有统一的祭司阶层垄断知识，学者可以自由探索宇宙的本质，这种自由的环境才是数学理性化转向的核心土壤。

当然，早期数学的演进并不是“实用→抽象”的线性替代，而是并行发展的：直到现在，应用数学仍然是最重要的数学分支之一，而抽象数学的发展也会不断催生新的应用方向。古希腊的抽象化转向不是否定了数学的实用价值，而是让数学获得了独立发展的能力，不再受限于具体的应用场景，从而可以探索更广阔、更本质的规律——正是这种独立发展的能力，让数学在后来的两千多年里，成为推动人类文明进步的核心动力。

【电子版侧边栏：小实验】 你可以用直尺和圆规尝试构造一个边长为1的正方形，然后测量它的对角线长度，你会发现这个长度确实无法用两个整数的比表示，这就是无理数的直观体现。如果你感兴趣，还可以尝试用反证法证明$\sqrt{3}$也是无理数，方法和证明$\sqrt{2}$类似哦。

【脚注1】位值制：记数法中同一个符号在不同位置代表不同数值的制度，比如十进制中“1”在个位代表1，在十位代表10，在百位代表100，是目前最高效的记数系统，中国商代的甲骨文已经使用了完整的十进制位值制，比古巴比伦的六十进制位值制更适合日常计算。

【脚注2】公理：不需要证明、被公认为正确的初始命题，是整个理论体系的基石，比如《几何原本》中的“整体大于部分”就是一条公理，它不需要证明，是所有几何推导的起点。

1.5 本章小结

本章追溯了数学从萌芽到早期发展的完整历程：原始社会的计数需求催生了最原始的记数法，古埃及和古巴比伦的农业文明将数学发展为实用的工程、天文工具，古希腊的海洋文明则推动数学完成了从实用工具到抽象学科的理性化转向，毕达哥拉斯学派的数本原说和无理数的发现突破了人类对“数”的认知边界，欧几里得的《几何原本》建立的公理化体系为数学成为一门独立学科奠定了基石。

早期数学的发展告诉我们：数学从来不是少数天才凭空想象出来的产物，而是人类在解决实际问题的过程中，不断抽象、不断总结、不断追问本质的产物。从刻在骨头上的计数刻痕，到《几何原本》的逻辑体系，数学的每一次进步，都源于人类对“理解世界”的渴望——这种渴望，正是数学文明能够延续数万年的核心动力。

下一章我们将把目光转向东方：看一看中国古代的算筹、十进制位值制，印度发明的阿拉伯数字，中世纪的欧洲如何继承希腊的数学传统，为后来文艺复兴时期