数学的黎明：古代文明的数学智慧
当第一缕晨光照亮尼罗河畔，古埃及的农民正准备迎接一年一度的洪水。洪水退去后，肥沃的淤泥覆盖了田地，但也抹去了田地的边界标记。如何重新划分土地？这不仅是生存问题，更催生了人类最早的系统性数学——几何学 (geometry)，意为“土地测量”。与此同时，在两河流域的泥板前，巴比伦人用六十进制计算着谷物分配和星辰轨迹；而在地中海的岛屿上，希腊智者开始追问几何图形背后的永恒真理。数学，这一人类理性最璀璨的结晶，其黎明并非一脉单传，而是多条河流汇入浩瀚海洋。本章将穿越时空，探索古埃及、巴比伦与古希腊的数学智慧，揭示数学如何从实用工具升华为逻辑科学，并聚焦欧几里得 (Euclid) 的《几何原本》(Elements) 如何奠定公理化体系，为后世一切科学提供方法论基石。
古埃及：尼罗河的馈赠
古埃及文明沿着尼罗河诞生，每年一次的洪水既带来肥沃淤泥，也淹没土地边界。为了重建秩序，埃及人发展出“绳测术” (rope stretching)，用打结的绳子测量和划分矩形田地。这不仅是技术，更是宗教仪式：洪水退去后，法老与祭司主持“绳标仪式”，象征宇宙秩序 (Maat) 的恢复。数学因此与神权政治紧密相连。埃及人使用十进制，但分数以单位分数 (unit fractions) 为主，即分子为1的分数，如 $1/2, 1/3, 1/4$ 等，所有其他分数都表示为不同单位分数的和。例如，$2/3$ 写作 $1/2 + 1/6$。这种表示法在纸草书问题中无处不在，反映了其算术的实用导向。
最重要的考古发现是莱因德数学纸草书 (Rhind Mathematical Papyrus)，约公元前1650年，由抄写员阿赫摩斯 (Ahmes) 抄录，声称内容更古老于第十三王朝。它长5米，宽约33厘米，含87个问题，涵盖分数运算、面积体积计算、比例分配等。另一个关键文献是莫斯科数学纸草书 (Moscow Mathematical Papyrus)，含25个问题，最著名的是计算金字塔坡度的第14题。这些纸草书不是理论著作，而是“问题集”，旨在训练抄写员解决实际工程与商业问题。
以莱因德纸草书问题50为例：计算直径为9腕尺 (cubit) 的圆形田地面积。埃及人使用公式：面积 = (直径 - 直径/9)^2。代入得：直径9腕尺，直径/9=1腕尺，故直径减1得8腕尺，平方为64平方腕尺。这隐含取圆周率 $\pi \approx \frac{256}{81} \approx 3.1605$，虽不精确但实用。
分数系统的奥秘：单位分数的艺术
埃及人将绝大多数分数表示为不同单位分数（分子为1的分数）之和，这一看似繁琐的系统实则蕴含精妙的实用智慧。以莱因德纸草书问题2为例：如何将5个面包公平分给8个人？现代算术直接给出 $5/8$，但埃及人将其分解为 $1/2 + 1/8$。因为 $1/2$ 面包可切半分配，剩余 $1/8$ 面包进一步细分，这种分法在实物操作中远比处理 $5/8$ 个整体更直观。更复杂如问题31：将100德本（体积单位）谷物分给5人，使后四人所得成等差数列。答案要求每人所得均以单位分数表示，如第一人得 $10 + 1/2 + 1/8$ 德本，这迫使解题者掌握复杂的分数拆分技巧。
埃及人发展出一套基于“2/n 表”的标准化分解方法，纸草书后部列有14个 $2/n$ 型分数的展开式（如 $2/3 = 1/2 + 1/6$，$2/5 = 1/3 + 1/15$）。对于任意分数 $m/n$（$m>1$），他们先乘以适当的单位分数凑成 $2/n$ 型，再利用 $2/n$ 表拆解。例如 $3/7$：注意到 $3/7 = 2/7 + 1/7$，而 $2/7$ 未在表中，但 $2/7 = 1/4 + 1/28$（通过试凑或公式），故 $3/7 = 1/4 + 1/28 + 1/7$。这种算法虽无现代代数符号，却体现了对分数运算规律的深刻直觉。
单位分数系统与埃及的度量衡密切相关。长度单位以腕尺（约52.3厘米）为基础，1腕尺=7掌尺=28指宽，因此 $1/7, 1/14, 1/28$ 等分数自然出现。体积单位“德本”约4.8升，谷物分配常用 $1/2, 1/4, 1/8$ 等二分、四分法。这种分数设计使分割实物（如面包、谷物）无需复杂计算，只需按固定比例切割，反映了数学与日常生活的无缝融合。
金字塔的坡度：莫斯科数学纸草书与塞克德
莫斯科数学纸草书问题14是古代工程数学的典范。它要求计算金字塔的“塞克德”（seked），即金字塔侧面与水平面的夹角正切值，定义为“每升高1腕尺，水平后退多少掌尺”。问题给出：金字塔高10腕尺，底边14腕尺，求塞克德。
解题步骤：先求半底边（因金字塔为锥体，坡度基于三角形剖面）。半底边 = $14/2 = 7$ 腕尺。然后计算“每腕尺高度对应的水平距离”：$7 \div 10 = 0.7$ 腕尺。但塞克德单位是掌尺，1腕尺=7掌尺，故 $0.7 \times 7 = 4.9$ 掌尺。埃及人将结果表示为“$4 \frac{1}{2}$ 掌尺”，即 $4.5$ 掌尺，对应 $\tan\theta = 4.5/7 \approx 0.6429$，角度约 $32.7^\circ$。实际大金字塔（胡夫金字塔）的塞克德约 $5\frac{1}{2}$ 掌尺（$\tan\theta \approx 0.785$，角度 $38.2^\circ$），显示问题14可能模拟较小金字塔。
塞克德概念将立体坡度转化为平面比例，体现了埃及人将三维问题二维化的能力。他们未使用角度概念，而用线性比例，这与绳测术传统一致——用绳子拉出直角三角形，确保墙角 $90^\circ$。金字塔建造中，塞克德可能通过固定坡度的木架或水渠水平仪控制，数学纸草书则记录了标准计算方法。
体积与立体几何：截头金字塔公式
莱因德纸草书问题41-43揭示了埃及人惊人的立体几何知识。问题41：计算截头金字塔（平截头体）的体积。给定：上底边长2腕尺，下底边长4腕尺，高6腕尺。埃及公式为： $$ V = \frac{h}{3} \left( a^2 + ab + b^2 \right) $$ 其中 $a$ 为上底边长，$b$ 为下底边长，$h$ 为高。代入得： $$ V = \frac{6}{3} (2^2 + 2\times4 + 4^2) = 2 \times (4 + 8 + 16) = 2 \times 28 = 56 \text{ 立方腕尺} $$ 这与现代公式完全一致。问题42和43类似，但将底边改为矩形，公式变为： $$ V = \frac{h}{3} (a_1 b_1 + a_1 b_2 + a_2 b_1 + a_2 b_2) $$ 其中 $a_1,b_1$ 为上底面边长，$a_2,b_2$ 为下底面边长。这实际上是棱柱体积的推广，显示埃及人已掌握二次齐次式的求和。
这一公式的发现途径尚无定论。一种观点认为通过实验：比较满装与半装谷物的截头漏斗，发现体积与平均截面积成正比，但系数 $1/3$ 难以直观得出。另一种观点基于组合思想：截头金字塔可分解为棱锥与四棱台，但埃及人可能未意识到此几何关系，而是通过大量数据归纳出经验公式。无论起源如何，该公式在公元前17世纪已精确应用，比希腊阿基米德早约两千年。
数学的社会角色：抄写员与神庙学校
埃及数学并非孤立的知识，而是行政与宗教体系的核心。抄写员（scribes）是少数掌握读写与计算的精英，他们在“抄写员学校”接受训练，课程包括宗教文本、行政文书和数学问题。纸草书本身就是练习册，问题常以“一个方法”开头，给出标准解法，再设变式题。例如问题1：如何将10德本谷物分给10人，每人得 $1 + 1/2 + 1/4$ 德本？这实际是等比数列求和，但表述为分配问题。
数学与神权政治交织。法老被视为神在人间的代表，维护宇宙秩序Maat。洪水后的土地测量是法老权威的体现：重新划定边界需官方绳测员（“绳持者”）主持，仪式中绳子沾石灰划线，同时诵读祷文。几何学因此带有神圣色彩——创造有序世界是神性行为，数学是模仿此创造的工具。金字塔建造更是国家工程，需精确计算石料体积、运输距离和劳动力分配，数学为神庙与陵墓的宏伟提供技术保障。
然而，埃及数学缺乏抽象理论。纸草书问题均以“如果某人说…”开头，设定具体场景（如谷仓、斜坡、工人分工），答案也是具体数字。从未出现“一般三角形”或“任意分数”的讨论。数学是工具而非哲学，实用主义压倒逻辑追求。这种传统延续至托勒密时期，但始终未产生欧几里得式的公理体系。
局限与遗产：未完成的阶梯
埃及数学的成就与其局限同样显著。优势在于：十进制计数系统简洁；单位分数适应实物分割；几何公式在工程中可靠。但弱点明显：无通用代数符号，复杂问题需冗长描述；无负数、零的概念；计算依赖心算与表格，无算法化。例如，解线性方程 $x + \frac{1}{4}x = 15$，他们需将 $x$ 转换为 $4/4x$，得 $5/4x=15$，再求 $x=12$，但无“系数”概念，全凭比例直觉。
尽管如此，埃及数学为后世留下关键遗产：几何学名词“geometry”即源于埃及；绳测术可能影响希腊早期几何；单位分数在文艺复兴前欧洲仍在使用（如将 $1/3$ 写作 $0.333$ 前，常用 $1/3 + 1/9 + 1/27 + \cdots$ 近似）。更重要的是，它证明了数学如何从生存需求中自然涌现——洪水、税收、建筑催生了系统化计算，为人类理性提供了最初工具。
---
巴比伦：两河流域的代数天才
六十进制：时间的遗产
巴比伦数学建立在六十进制（sexagesimal）基础上，这一选择源于苏美尔时期，后被阿卡德、巴比伦继承。为什么是60？60是1至6中2、3、4、5、6的最小公倍数，有12个正因数（1,2,3,4,5,6,10,12,15,20,30,60），便于将1小时分为60分钟、1分钟分为60秒，或1腕尺分为60掌尺。这种系统在分数表示上极具优势：$1/2=30/60$，$1/3=20/60$，$1/4=15/60$，$1/5=12/60$，$1/6=10/60$，均得整数。现代角度制（360度=60×6）与时间制即其遗存。
六十进制使用位置记数法，但无零的符号（早期仅留空位），后期（约公元前300年）引入双楔形符号作为占位零。数字表示：1至59用竖楔（|）与横楔（〈）组合，如〈〈〈|| = 3×10 + 2 = 32。位置值：同一符号在不同列代表60的不同幂次，如〈|| 在个位为32，在六十位为32×60=1920。这使大数运算简便，例如 $1,0$ 表示60（因 $1×60 + 0 = 60$），而 $0,1$ 表示 $1/60$。
巴比伦人处理小数六十进制分数同样熟练。例如，圆周率近似为 $3\frac{8}{60} + \frac{30}{60^2} \approx 3.125$（来自某泥板），或更精确的 $3\frac{8}{60} + \frac{30}{60^2} + \frac{0}{60^3} + \frac{20}{60^4} \approx 3.125$。这种表示法为天文计算带来极大便利，可精确记录行星位置。
泥板上的代数：从配方到方程
巴比伦数学主要载体是楔形文字泥板，现存数千块，内容多为数学问题与表格。最著名的包括：
- **普林顿322**（Plimpton 322，约公元前1800年）：包含15组毕达哥拉斯三元数（满足 $a^2 + b^2 = c^2$ 的整数解），如 $(3,4,5)$、$(5,12,13)$、$(8,15,17)$ 等。表格列有斜边 $c$ 与短边 $a$，长边 $b$ 隐含。这些数可能用于建筑放样或天文计算。有趣的是，所有 $c$ 均为“regular numbers”（仅含2、3、5质因子的数），便于六十进制除法。学者认为，巴比伦人通过公式 $a = 2uv$，$b = u^2 - v^2$，$c = u^2 + v^2$（$u>v$）生成三元数，这实为参数化解法，比希腊早千年。
- **YBC 7289**（约公元前1700年）：一块小泥板，画有正方形及其对角线。标注边长1，对角线给出近似值 $1.41421296$，而 $\sqrt{2} \approx 1.41421356$，误差仅 $0.0000006$！这精度令人惊叹。巴比伦人可能通过迭代法（如巴比伦平方根算法：从猜测 $x_0$ 开始，迭代 $x_{n+1} = \frac{1}{2}(x_n + \frac{S}{x_n})$，其中 $S=2$）得到。此算法本质是牛顿法，显示其数值分析能力。
- **BM 13901** 等代数泥板：包含完整二次方程解法。以标准形式：“我乘以我的长度，加7，得到42。求长度。”即 $x^2 + 7x = 42$。解法：
1. 取系数一半：$7/2 = 3.5$。 2. 平方：$3.5^2 = 12.25$。 3. 加至常数：$42 + 12.25 = 54.25$。 4. 开方：$\sqrt{54.25} \approx 7.366$（巴比伦用近似值）。 5. 减半系数：$7.366 - 3.5 \approx 3.866$，即 $x$。 但实际泥板中，他们用六十进制分数，且常将方程变形为缺项形式（如 $x^2 + bx = c$ 或 $x^2 = bx + c$），避免负系数。对于无实数解的问题（如 $x^2 = 2x + 1$），他们可能忽略或给出正解。
巴比伦人甚至解三次方程，但限于特殊形式。例如，已知体积 $V$ 与边长关系 $V = a^2 (a+b)$，求 $a$ 和 $b$。他们通过试值或表格解决，未发展一般公式。
天文计算：数学服务于神谕
巴比伦数学与天文密不可分。祭司通过观测星辰预测月食、行星运动，发展出高度数学化的天文学。最著名的是金星表（Venus Tablet of Ammisaduqa，约公元前1600年），记录金星升起时间间隔，使用线性插值法。例如，某月金星首次可见于第1天，末次见于第59天，则第30天可见性通过比例计算：$1 + \frac{30-1}{59-1} \times (0-1)$ 等。这种插值需解线性方程，显示代数应用。
他们还计算月球和太阳的周期，如沙马什（Shamash）泥板给出1826天=55 lunar months，用于历法修正。三角学虽未系统化，但使用“正割”表（类似正弦倒数）计算高度角，如从阴影长度求太阳仰角。
与埃及的对比：两条路径
埃及与巴比伦数学代表两种范式：
- **埃及**：几何主导，算术辅助。问题多涉及面积、体积、比例，公式基于经验归纳（如圆面积公式）。分数用单位分数，强调分割实物。无符号代数，问题以故事叙述。社会功能：行政、建筑、宗教仪式。
- **巴比伦**：代数主导，几何为辅。问题多涉及方程求解、数列、平方根。六十进制小数使计算灵活，有占位零雏形。使用表格（平方表、倒数表、乘法表）加速计算。社会功能：天文、贸易、土地管理（但几何不如埃及精确）。
两者均未证明定理，重算法轻逻辑。但巴比伦的代数抽象程度更高，能处理未知量关系；埃及的几何更系统化，有明确公式。希腊数学将吸收二者精华：几何证明受埃及启发，代数符号受巴比伦影响，但加入逻辑演绎，实现质的飞跃。
---
古希腊：理性的曙光
前苏格拉底时代：从神话到证明
古希腊数学兴起于爱琴海沿岸，约公元前6世纪。早期思想家如泰勒斯（Thales，约公元前624-546）从埃及旅行归来，引入几何证明。传说他证明“半圆上的圆周角是直角”（泰勒斯定理），并测量金字塔高度（利用影子比例）。尽管无直接著作传世，他被亚里士多德称为“科学推理之父”，标志数学从经验技巧转向逻辑证明。
毕达哥拉斯（Pythagoras，约公元前570-495）学派贡献更大。他们发现毕达哥拉斯定理（直角三角形斜边平方等于两直角边平方和），可能受巴比伦启发，但首次给出证明（或至少系统化）。传说学派发现无理数：边长为1的正方形对角线长度 $\sqrt{2}$ 不能表示为整数比，这动摇了“万物皆数”（整数）的信念，引发第一次数学危机。为保密，传说他们将此发现沉入海底。无理数的存在迫使希腊人发展更严谨的几何表示，避免算术矛盾。
柏拉图（Plato，公元前427-347）在学院门口悬“不懂几何者不得入内”招牌，强调数学是通向理念世界的桥梁。他认为几何对象（点、线、圆）是永恒理念，物理世界仅是 imperfect copy。他的对话录《美诺篇》记载苏格拉底引导奴隶男孩“回忆”出几何定理，体现数学真理的先天性。柏拉图学派研究圆锥曲线、正多面体，但未留下系统著作。
欧几里得与《几何原本》：公理化的丰碑
历史背景与成书
欧几里得（Euclid，约公元前300年）在亚历山大博物馆工作，托勒密一世赞助下撰写《几何原本》（Στοιχεῖα，意为“要素”）。此前已有几何知识积累：欧多克索斯（Eudoxus）提出比例论，解决不可公度量；希帕索斯（Hippasus）发现无理数；但缺乏系统整合。欧几里得综合前人成果，以公理化结构呈现，成为历史上最成功的教科书，仅次于《圣经》的出版量。
《几何原本》共13卷，结构如下：
- 卷1-6：平面几何（三角形、平行线、圆、相似、面积）
- 卷7-9：数论（整除、素数、最大公约数、比例）
- 卷10：无理量分类（最复杂卷，处理 $\sqrt{a \pm \sqrt{b}}$ 等）
- 卷11-13：立体几何（平面与立体角度、正多面体、棱柱、锥、球）
每卷含定义（Definitions）、公设（Postulates）、公理（Common Notions）、命题（Propositions）。命题包括“构造”（如何画图）与“证明”（为何成立），形成“已知-求证-证明-得证”范式。
核心公设与公理
5个公设（专为几何）： 1. 从任意点到任意点可引直线。 2. 有限直线可连续延长。 3. 以任意点和任意距离可画圆。 4. 所有直角都相等。 5. 平行公设：若一直线与两直线相交，且同侧内角之和小于两直角，则两直线延长后相交于该侧。
5个公理（通用逻辑）： 1. 等于同量的量彼此相等。 2. 等量加等量，总量相等。 3. 等量减等量，余量相等。 4. 彼此重合的图形全等。 5. 整体大于部分。
公设5（平行公设）争议最大。后世无数人试图证明它，最终导致非欧几何诞生。但欧几里得巧妙将其用于卷1命题27-32，建立平行线理论。
命题的严谨证明：以命题1和命题5为例
命题1：在给定直线上作等边三角形。
- 已知：线段 $AB$。
- 求作：等边三角形 $ABC$。
- 证明：
1. 以 $A$ 为圆心，$AB$ 为半径画圆（公设3）。 2. 以 $B$ 为圆心，$BA$ 为半径画圆（公设3）。 3. 设两圆交于 $C$（两圆相交公设隐含）。 4. 连接 $AC