Chapter 1: 泥板与几何：数学的黎明 / Tablets and Geometry: The Dawn of Mathematics

当我们在现代教科书中看到整洁的代数公式和几何定理时，很难想象，这些抽象概念的胚胎，竟孕育于五千年前两河流域的泥板之上，或尼罗河畔的纸草书中。数学的黎明并非始于纯粹的哲学思辨，而是深深扎根于人类最原始的实用需求：丈量被洪水冲毁的田地、计算谷物收成、规划神庙与金字塔的宏伟基石。在这一章中，我们将穿越时空，深入美索不达米亚的泥板（如著名的普林顿322）和古埃及的纸草书（如莱因德数学纸草书），剖析早期实用数学如何悄然孕育了代数与几何的雏形。这些古老文明虽未建立公理体系，却以惊人的直觉与算法智慧，解决了当时最紧迫的问题，其方法论不仅塑造了自身文化的命运，更通过贸易、战争与知识传播，为后世——尤其是古希腊数学的爆发——埋下了不可或缺的种子。本章将不仅复原这些古代问题的求解过程，更将追问：在没有符号抽象与形式证明的时代，数学思维如何运作？其“实用理性”与后世“演绎理性”之间，究竟存在怎样的断裂与传承？

美索不达米亚：泥板上的数字王国

文明背景：苏美尔与巴比伦的遗产

美索不达米亚（今伊拉克一带）被誉为“文明的摇篮”，公元前4000年左右，苏美尔人(Sumerians)在此建立了城邦，发明了人类最早的书写系统——楔形文字(cuneiform)。最初，文字用于记录经济交易，但很快，书吏(scribes)开始将数学问题刻于湿泥板上，烘干后保存。这些泥板(clay tablets)多数为手掌大小，一面用于实际记录，另一面可能用于练习或教学。约公元前1800年，巴比伦人(Babylonians)继承了苏美尔传统，并将数学推向高峰。他们的社会高度依赖贸易、天文观测（为制定历法）和大型工程建设（如灌溉运河、神庙），这催生了高度发达的实用数学。

美索不达米亚数学最革命性的特征是其六十进制(sexagesimal) numeral system。与我们熟悉的十进制不同，他们的数字以60为基数：1-59用两个符号组合（个位<十位），60写作“1 0”，即1个60和0个1。这一系统看似繁琐，却拥有惊人的灵活性：60有12个因数（1,2,3,4,5,6,10,12,15,20,30,60），使得1/2,1/3,1/4,1/5,1/6,1/10,1/12,1/15,1/20,1/30等分数都能表示为有限小数（在六十进制下）。这对分数运算、天文角度划分（1度=60分，1分=60秒）影响深远，甚至 Today 我们仍在使用60分钟一小时、360度一圆圈的遗存。

普林顿322：泥板中的勾股数之谜

在所有巴比伦数学泥板中，普林顿322(Plimpton 322) 无疑是最著名的。这块泥板约制作于公元前1900-1600年（古巴比伦时期），1816年由考古学家在伊拉克南部发现，现藏于哥伦比亚大学。泥板残缺，但现存15行数字，排列成四列。第一列是行号（1-15），第二、三、四列各有一组三个数字，例如第一行：(1, 59, 1)，第二行：(56, 1, 1)等。1934年，数学史家奥托·诺伊格鲍尔(Otto Neugebauer)首次提出，这些数字是勾股数(Pythagorean triples)——满足 $a^2 + b^2 = c^2$ 的正整数解。例如，第三行数字（119, 120, 169）满足 $119^2 + 120^2 = 14161 + 14400 = 28561 = 169^2$。整块泥板列出了15组勾股数，其中 $c$ 值从125到约10000不等，且都是本原勾股数(primitive triples)，即 $a,b,c$ 互质。

普林顿322的惊人之处在于其精确性与可能的生成方法。诺伊格鲍尔认为，巴比伦人可能使用公式：设 $p$ 和 $q$ 为满足 $p>q$ 的整数，则 $a = p^2 - q^2$, $b = 2pq$, $c = p^2 + q^2$ 给出勾股数。例如，取 $p=2, q=1$，得(3,4,5)；取 $p=3, q=2$，得(5,12,13)。但普林顿322中的数字巨大（如第15行：$a=12709, b=13500, c=18541$），若用此公式反推，$p$ 和 $q$ 可能很大。更令人费解的是，第二列数字（如第一行59）被解释为 $(c/a)^2$ 或 $(c/b)^2$ 的近似值。这引发了持续数十年的争论：普林顿322是一张三角学表吗？一些学者（如Duncan Melville）认为，第二列数字对应某个锐角的正割(secant)或余割(cosecant)的平方，即若直角三角形中斜边 $c$，对边 $a$，则 $\sec^2(\theta) = (c/a)^2$。按此解读，泥板可能用于求解角度，比希腊的三角学早了一千多年！然而，反对者指出，巴比伦人没有角度概念，且数字排列不符合标准三角表。目前主流观点仍视其为勾股数表，但不可否认，它展现了巴比伦人对平方关系的深刻直觉。

> 侧边栏提示：普林顿322的残缺部分可能原本有更多行，且数字排列暗示了系统性生成。2018年，澳大利亚数学家Daniel Mansfield和Norman Wildberger提出，泥板可能基于平方补数(complements to squares)的表格，用于土地测量或建筑放样。无论用途为何，它都证明巴比伦人已能处理大数，并掌握了 $a^2+b^2=c^2$ 的整数解规律。

代数萌芽：解方程的算法化

巴比伦数学的核心力量在于代数——尽管是“算法代数”，而非符号代数。他们没有 $x$、$+$、$=$ 等符号，所有问题用自然语言（苏美尔语或阿卡德语）描述，解法以步骤形式给出。现存泥板（如YBC 6967, BM 13901）包含大量二次方程问题。典型形式为：“一个面积，加上其一边等于给定数，求边长。” 用现代符号，即 $x^2 + bx = c$ 或 $x^2 + c = bx$。巴比伦解法本质是配方法(completing the square)，但以几何直观操作。

例如，一个经典问题（来自泥板BM 13901）：“一个正方形，其边长加上其面积等于3/2。求边长。” 即 $x^2 + x = \frac{3}{2}$。巴比伦解法步骤： 1. 取 $b=1$ 的一半，得 $1/2$。 2. 平方：$(1/2)^2 = 1/4$。 3. 将 $c=3/2$ 加上 $1/4$：$3/2 + 1/4 = 7/4$。 4. 开平方：$\sqrt{7/4} = \sqrt{7}/2$（巴比伦人用近似值，见下文）。 5. 减去 $1/2$：$\sqrt{7}/2 - 1/2$ 得解。

这等价于公式 $x = \frac{-b + \sqrt{b^2 + 4c}}{2}$。他们还能处理双二次方程（如 $x^4 = c$）和联立方程。更惊人的是，他们能解缺项二次方程 $ax^2 + c = bx$，其中 $a,b,c$ 为正。步骤类似，但需先除以 $a$ 化为标准形式。

巴比伦人如何处理无理数？他们没有根号符号，但给出了高精度近似值。最著名的例子是泥板YBC 7289（约公元前1600年），一块正方形泥板，一面刻有正方形及其对角线。标注数字：边长=30（三十进制），对角线=42 25 35（即 $42 + 25/60 + 35/3600$）。计算得对角线/边长 = $1 + 24/60 + 51/3600 + 10/216000 \approx 1.41421296$，而 $\sqrt{2} \approx 1.41421356$，误差仅约 $0.0000006$！这精度令人叹服。他们如何得到此值？可能通过迭代法或几何构造。

巴比伦代数本质是算法化和数值化：每个问题类型对应一套固定步骤，书吏只需代入数字即可。这像一套“数学食谱”，无需理解原理，只需熟练操作。这种传统贯穿古代，直至文艺复兴。

几何：面积、体积与实用测量

巴比伦几何同样服务于实用：土地划分、建筑、灌溉渠计算。他们掌握了矩形、三角形、梯形、圆形（近似）的面积公式，以及长方体、圆柱体的体积公式。但几何推导往往缺乏证明，而是基于经验或代数类比。

例如，矩形面积=长×宽，三角形面积=底×高/2（他们写作“底乘以高，除以2”）。梯形面积公式为 $(a+b)h/2$，其中 $a,b$ 为两平行边。圆形面积，巴比伦人取 $\pi \approx 3$（有时用 $25/8 = 3.125$），但不如古埃及精确。

一个有趣的泥板（如BM 85194）涉及相似图形：给定一个矩形，求其按比例缩放后的尺寸。这暗示了比例概念。此外，他们能计算楔形体积（如粮仓），使用公式 $V = \frac{1}{2} (a+b) h \cdot d$，其中 $a,b$ 为上下底边长，$h$ 为高，$d$ 为宽。这相当于将楔形视为棱柱体。

巴比伦几何常与代数结合。例如，已知矩形面积和周长，求边长。设面积 $A$，周长 $P$，则 $x+y=P/2$, $xy=A$。这转化为二次方程 $t^2 - (P/2)t + A = 0$，其中 $t$ 为边长。巴比伦人直接给出数值解法。

方法论：表格、近似与算法思维

巴比伦数学的核心方法论可概括为三点： 1. 表格化：他们大量制作数学表，如平方表、倒数表、乘法表。例如，一块泥板可能列出 $1^2, 2^2, \dots, 60^2$，甚至更大数的平方。这极大加速了计算，因为任何乘法可转化为加法（利用平方差公式）。倒数表尤其重要，因为除法转化为乘倒数。 2. 近似计算：对于无理数或复杂分数，他们给出足够精度的近似值（如 $\sqrt{2}$ 到6位六十进制小数）。近似原则是“足够用于实际”，而非无限精度。 3. 算法步骤：问题以“如果……那么……”形式呈现，步骤固定。书吏教育即背诵和练习这些步骤。这体现了程序化思维，与现代计算机算法惊人相似。

这种方法的优势在于高效解决日常问题，但局限也很明显：缺乏一般性证明，每个问题独立；没有符号语言，难以表达抽象关系；几何与代数未严格分离。然而，正是这种“务实”的传统，让数学在帝国官僚体系中得以传承和发展。

古埃及：纸草书中的实用几何

文明背景：尼罗河与书吏学校

与美索不达米亚的泥板不同，古埃及数学主要记录在纸草(papyrus)上。纸草由尼罗河三角洲的纸草植物制成，书写后卷起保存。由于气候干燥，一些纸草得以幸存，其中最著名的是莱因德数学纸草书(Rhind Mathematical Papyrus, RPM) 和莫斯科数学纸草书(Moscow Mathematical Papyrus)。莱因德纸草书约公元前1650年，由书吏阿梅斯(Ahmes)抄写，声称内容源于更早的文献（约公元前2000年）。它长约5米，包含87个问题，涵盖算术、几何、代数、分数，甚至简单线性方程组。莫斯科纸草书稍晚，包含25个问题，侧重几何体积计算。

古埃及数学同样服务于国家管理：尼罗河定期泛滥，淹没农田，泛滥后退水需重新丈量土地，这催生了几何(geometria)——字面意为“土地丈量”。此外，金字塔、神庙的建造需要精确计算面积、体积和坡度。书吏在“书吏学校”接受训练，数学是核心课程。

莱因德纸草书：一部古代数学手册

莱因德纸草书以问题-解法形式组织，问题常以故事背景包装，如“分配面包”、“计算谷仓容积”。其数学内容可分为：

算术与分数：埃及人使用十进制，但分数系统特殊：他们几乎只使用单位分数(unit fractions)，即分子为1的分数（1/2, 1/3, 1/4, …）。任何非单位分数（如2/5）必须分解为单位分数之和，且通常要求分母互异。例如，2/3 = 1/2 + 1/6；3/4 = 1/2 + 1/4；2/5 = 1/3

单位分数：埃及人的“分数艺术”与计算瓶颈

古埃及人对分数的处理方式堪称数学史上的一朵“奇葩”。他们几乎 exclusively 使用单位分数（unit fractions），即形如 $1/n$（$n$ 为正整数）的分数。任何非单位分数（如 $2/5$、$3/7$）都必须分解为若干互异单位分数之和。这一传统在莱因德纸草书开篇即给出著名的 “2/n 表” ，列出了 $n$ 从 5 到 101 的奇数时，$2/n$ 的单位分数分解。例如：

• $2/5 = 1/3 + 1/15$
• $2/7 = 1/4 + 1/28$
• $2/101 = 1/67 + 1/6701 + 1/101 \cdot 6701$（此例显示其分解可能非常冗长）

为何如此执着？学者们提出几种假说： 1. 宗教/神秘主义：单位分数被视为“纯净”，避免“部分整体”的哲学困扰。 2. 实用简化：在分配粮食、面包时，将 $2/5$ 个面包切为 $1/3$ 和 $1/15$ 可能更易操作（尽管直观上 $1/5+1/5$ 更简单）。 3. 计算习惯：埃及算术基于倍法（doubling） 和加法，单位分数便于用“2/n 表”快速查表。

运算实例：假设需计算 $3/5 \times 10$（如分配 10 袋谷物）。埃及人步骤： 1. 先分解 $3/5$：$3/5 = 1/2 + 1/10$（通过 $2/5=1/3+1/15$ 推导？或直接经验）。 2. 计算 $1/2 \times 10 = 5$。 3. 计算 $1/10 \times 10 = 1$。 4. 相加得 6。故 $3/5 \times 10 = 6$。

但若分数复杂，分解可能极其繁琐。例如 $4/7$ 的分解：莱因德纸草书未直接给出，但通过算法可得 $4/7 = 1/2 + 1/14$（因 $2/7=1/4+1/28$，故 $4/7=2 \times (2/7)=1/2+1/14$）。这种“倍法分解”是常见技巧：先求 $2/n$ 分解，再乘系数。

> 侧边栏：埃及单位分数系统在文艺复兴时期仍被欧洲数学家使用（如丢番图），因其避免无限循环小数。但现代视角看，它严重阻碍了代数发展——缺乏通分简便性，使分数运算成为“组合游戏”而非系统操作。

几何：土地测量与金字塔的数学

埃及几何的核心驱动力是尼罗河泛滥后的土地重划。每年洪水淹没农田，退水后边界消失，书吏需用测锤（rope stretchers） 和木桩重新丈量。他们掌握了：

• 矩形面积：$A = l \times w$（直接相乘）
• 三角形面积：$A = \frac{1}{2} b h$（通过将三角形拼为矩形）
• 梯形面积：$A = \frac{(a+b)}{2} h$，其中 $a,b$ 为平行边。
• 圆形面积：取 $\pi \approx 3.125$（即 $256/81 \approx 3.1605$，更接近 $3.1416$？实际公式为 $A = \left(\frac{8}{9}d\right)^2$，其中 $d$ 为直径，等价于 $\pi \approx 3.1605$）。这一公式在 RPM 问题 50 给出：“圆形面积等于直径为 9 的八分之九的平方。” 计算：$8/9 \times 9 = 8$，平方得 64。而 $\pi \times (9/2)^2 \approx 3.1605 \times 20.25 \approx 64$。

金字塔坡度计算：RPM 问题 56 涉及金字塔的塞德克（seked）——即水平距离与垂直高度之比（类似余切）。例如：“一座金字塔高 93 + 1/3 腕尺，塞德克为 5 掌（1掌=4指宽）。求其底边边长？” 解法：先算每肘（7掌）的塞德克，再求总底边。这实质是相似三角形应用，显示埃及人已掌握比例。

体积计算：莫斯科纸草书问题 14 计算截头圆锥体（frustum of a cone） 体积，公式为 $V = \frac{1}{3} h (a^2 + ab + b^2)$，其中 $a,b$ 为上下底半径。此公式与现代公式一致，证明埃及人通过实验或几何推导得到。RPM 则给出圆柱体、长方体体积公式，但均无证明过程。

代数：线性方程组与“消元法”

尽管埃及代数不如巴比伦发达，但莱因德纸草书包含线性方程组问题。典型如 RPM 问题 24-29，称为“ahmes问题”，形式为： > “有 $x$ 个量，其 $1/2$、$1/4$、$1/8$、$1/10$ 之和等于 10。求 $x$。”

用现代符号：$x \left( \frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \frac{1}{10} \right) = 10$。 埃及解法： 1. 先计算系数和：取公分母 40，则 $\frac{20+10+5+4}{40} = \frac{39}{40}$。 2. 于是 $x \cdot \frac{39}{40} = 10$。 3. 两边同乘 $40/39$：$x = 10 \times \frac{40}{39} = \frac{400}{39} = 10 + \frac{10}{39}$。 4. 将 $10/39$ 分解为单位分数：$10/39 = 1/4 + 1/52 + 1/156$（通过查表或计算）。 5. 故 $x = 10 + 1/4 + 1/52 + 1/156$。

此解法显示埃及人已能处理复合分数和单位分数分解，但步骤冗长，且无符号表示。

另一个经典问题（RPM 问题 26）：“一个量，其 $1/3$、$1/4$、$1/5$ 之和等于 1，求该量。” 即 $x(\frac{1}{3}+\frac{1}{4}+\frac{1}{5})=1$。系数和 $\frac{20+15+12}{60}=\frac{47}{60}$，故 $x = \frac{60}{47} = 1 + \frac{13}{47} = 1 + \frac{1}{4} + \frac{1}{236}$（分解 $13/47$）。这进一步证明其代数能力局限于单变量线性方程。

方法论对比：巴比伦的“算法代数” vs 埃及的“程序算术”

| 特征 | 美索不达米亚（巴比伦） | 古埃及 | |------|----------------------|--------| | 书写材料 | 泥板（耐久，易存） | 纸草（易腐，幸存少） | | 数字系统 | 六十进制（位值制，无零符号） | 十进制（非位值，用符号重复） | | 分数 | 六十进制分数（可精确表示分母为 2,3,5 的幂的分数） | 单位分数（仅 $1/n$） | | 代数 | 二次方程、联立方程、缺项方程；算法化步骤 | 主要线性方程；依赖单位分数分解 | | 几何 | 实用公式，无证明；与代数结合 | 土地测量为主；有体积公式（莫斯科纸草） | | 方法论 | 表格驱动（平方表、倒数表）；近