泥板与绳结：数学的黎明

泥板与绳结：数学的黎明

Mud Tablets and Knotted Strings: The Dawn of Mathematics

1869 年，当 Duke 大学的第一批考古文物到达 Plimpton 收藏时，没有人意识到，一块表面字迹斑驳的巴比伦泥板会重写人类数学史的起点。一百多年之后，这块编号为 Plimpton 322 的泥板，已经成为回答"数学是发现的，还是发明的"这一古老哲学问题最有力的实证之一。它所刻下的 15 行数字——`119, 120, 169` 起步，一直延伸至 `12709, 13500, 18541`——既非天书，也非装饰，而是一组精心挑选的勾股三元组（Pythagorean triples）。它们表明：在希腊文明尚未登场、欧几里得（Euclid）还需千年才会出生之前，尼罗河与幼发拉底河畔的"书记员"（scribe）们，已经掌握了一套不需要"证明"的概念却能系统化产出数学结论的算法体系。本章的核心问题是：在没有'proof'范畴的时代，早期文明如何积累可被传承的数学知识？ 我们将以三块地理坐标的并置——美索不达米亚的 Nippur 与 Larsa、埃及底比斯的 Thebes、印度北部的吠陀祭祀场——来回答这个问题。

1.1 巴比伦的 60 进制：从手指到宇宙

The Sexagesimal System: From Fingers to the Heavens

理解早期数学的第一步，是理解他们的记数系统。与今日全球通用的十进制（decimal, base-10）不同，巴比伦人几乎统一地使用了 sexagesimal system（base-60）记数。这是怎样一个选择？为什么它的影响持续四千余年？

1.1.1 60 从哪里来：肩膀与拇指的合成

60 并不是人类最直觉的基底（base）。古埃及在民间贸易中用过 7、10、14、20、60 等多种基数并存，巴比伦农人则在泥板上同时记下了十进与六十进两套刻度。学界较广接受的一种假设是：60 是 10 与 12 的最小公倍数。10 取自于人类手指的天然计数单位，12 则来自单只手的四节除拇指外的每指三段——这种"屈指可数"的方法在阿拉伯、波斯、印度北部至 20 世纪依然存在。

60 这一基底有几项难以替代的优势：

1. 高度可整除（highly composite）：$60 = 2^2 \cdot 3 \cdot 5$，它可被 1, 2, 3, 4, 5, 6, 10, 12, 15, 20, 30 整除，远比 10 灵活。这意味着在分数表达中，1/2, 1/3, 1/4, 1/5, 1/6, 1/10, 1/12, 1/15, 1/20, 1/30 都能被写成有限位的 sexagesimal 数，极大简化了计算。 2. 可拆分为子单元：60 既是角度分的 60 倍（`° → ′ → ″`），也是小时的 60 倍。在没有电子计算器的世界里，这意味着任何角度或时间除法都能在不引入无限小数的前提下完成。

1.1.2 楔形文字中的算术：符号、位值与"空位"

巴比伦记数系统与我们今日的十进阿拉伯数字系统有结构上的本质差异：它采用楔形笔触，混合位值制与六十进位制。

我们用一个例子说明。例如 `1, 50`（即 1 卡 + 50 单位 = $1 \times 60 + 50 = 110_{10}$）在 cuneiform（楔形文字）符号系统中写作：

``` Y（一卡楔） <<<（十楔 × 5 = 50 个楔形） ```

注意，位值（positional value）原则已被巴比伦人娴熟使用：在"个位"和"六十位"之间没有显式的分隔符，靠空格（space）隔开两个位——这正是我们今天十进制中"位值"抽象化的源头。但是，他们没有"零"的独立符号：位值间的空缺靠"位置空隙"暗示。这种"无零"缺陷在计算中会造成巨大歧义：`1, 0` 与 `60` 在没有上下文时是无法区分的，这正是 19 世纪考古学家在解读 YBC 7289 等泥板时面临的难题之一（直到 20 世纪 Asger Aaboe 等人才系统性地重建这些记数规则）。

1.1.3 天文动机：1 度角与 1 小时的诞生

60 进制的实用选择并非偶然。巴比伦天文学家——特别是在公元前 8 到 5 世纪的新巴比伦与亚述时期——把天球等分为 360°，每度再分 60 角分。这样：

$$ 6^\circ = 0; 6 \text{ (sexagesimal)} $$

$$ 1 \text{ 日} = 12 \text{ 时} = 720 \text{ 分} = 43200 \text{ 秒} $$

这就是今天仍然使用的"60 角分 = 60 角秒"、"1 小时 = 60 分 = 3600 秒"的双层时间单位制的直接源头。从行星表（planetary tablets）到 eclipse 预报，sexagesimal 不仅是"记数工具"，而是让天文计算成为可工程化产出的微观协议。

1.2 Plimpton 322：刻在泥板上的勾股定理

The Most Famous Pythagorean Tablet

1900 年代，Edgar Banks（又是 Hiram Bingham 1911 年发现 Machu Picchu 之前就已经活跃的小亚细亚文物中介）在伊拉克南部的 Senkereh（Larsa 的古巴比伦时期名称）发掘到这块泥板。它后归 George Plimpton 私人收藏，1936 年连同 Plimpton 整个收藏归入哥伦比亚大学图书馆。1945 年，奥地利数学史家 Otto Neugebauer 与 Abraham Sachs 发表《Mathematical Cuneiform Texts》一书，正式将这块编号为 Plimpton 322 的泥板引入数学史主流。

1.2.1 十五行神秘表格

泥板上的 15 行（部分残缺，例如第 16、17 行已丢失）数据按现代转写可表为下表（行号顺序按原始排列，部分行做规范化使三方均为正整数）：

| Plimpton 322 行 | 短边 $a$ | 长边 $b$ | 斜边 $c$ | 注释 | |:---:|:---:|:---:|:---:|:---| | 1 | 119 | 120 | 169 | $119^2 + 120^2 = 14161 + 14400 = 28561 = 169^2$ | | 2 | 3367 | 3456 | 4825 | 用 1° 起始角构造的大三元组 | | 3 | 4601 | 4800 | 6649 | 几近"完美"——长边非常接近 $c$ | | 4 | 12709 | 13500 | 18541 | 泥板上最大的一组三元组 | | 5 | 65 | 72 | 97 | $65 = 5 \cdot 13$，原始的 primitive 关系 | | … | … | … | … | … | | 11 | 45 | 60 | 75 | 非原始（gcd = 15） | | 15 | 56 | 90 | 106 | 三元组的尺寸已小，序列尾 |

> 观察：行 11 的三元组 $(45, 60, 75)$ 不是 primitive（原始的，本原的）——三数共享公因子 15，约分后为 $(3, 4, 5)$。这说明巴比伦泥板的"勾股三元组系统"并不要求 primitive，而是接纳各种缩放后的组合。

一种现代的解读（Eleanor Robson 2001；Mansfield & Wildberger 1997）将第四列解释为：

$$ \left(\tfrac{a}{b}\right)^2 - 1 = \left(\tfrac{c}{b}\right)^2 - 2 \left(\tfrac{a}{b}\right) \cdot \left(\tfrac{c}{b}\right) $$

但更广为流传、且具有数学意义的解读是：泥板实际上是一张反三角函数表（inverse trigonometric table）。

1.2.2 "反向"生成法：给定比值，反推三元组

今日我们熟悉的勾股数生成方法由欧几里得在《几何原本》Book X Lemma 1 中给出：

> 欧几里得公式：取互质的 $m, n$，且 $m, n$ 奇偶相异，则 > $$ a = m^2 - n^2, \quad b = 2mn, \quad c = m^2 + n^2 $$ > 给出一组 primitive Pythagorean triple。

而 Plimpton 322 的生成规则，是"反向"的——不是给定 $m, n$ 生成三元组，而是：

> 巴比伦规则（重构于 Robson, 2001）：给定角 $\theta$，构造 > $$ u = \cot(\theta) = \tfrac{p}{q} $$ > 其中 $p, q$ 互质、奇偶相异。然后 > $$ \text{（短边）}= \tfrac{p^2 - q^2}{2}, \quad \text{（斜边）}= \tfrac{p^2 + q^2}{2}, \quad \text{（长边）}= pq $$

这一规则与欧几里得公式实质上是同一参数化（在 $(m, n) \leftrightarrow (u, v)$ 的意义下），只是几何切入角度不同：巴比伦人从角出发（给定倾角，找合适的斜率和边长），而欧几里得从整数出发（给定 $m, n$，找具体的边）。巴比伦版本的关键优势是：当 $p/q$ 接近一个等分圆（如 $1°$）时，我们可以构造该角对应的三元组；当两个角互补（$1°$ + $89°$）时，对应的三元组可以用同一组 $(p, q)$ 的"镜像"得到——这正是 Plimpton 322 的几何构造逻辑。

1.2.3 物理直觉：绳结与勾股

比 Plimpton 322 早一千多年（公元前 2000 年的 Nippur 学院），苏美尔人已经在泥板上写入如何用"绳结"（stretched cord）划分三角形边长。这与古埃及的"绳拉人"（harpedonaptai，"rope-stretchers"，希罗多德称他们为"法老之绳拉人"）是同一文化圈的传统。给定长度为 $3k, 4k, 5k$ 的三段绳结，可形成完美直角——这不需要"证明"，只需要可重复的物理构造。

这种"hands-on"数学（实践技术层面的数学）正是远古数学的特征：结论的合法性不在于逻辑链条，而在于构造的可重复性。一旦一组勾股边长公式能够在绳结上"自然出现"，它就被视为"已验证"，可以进入书记员的工具箱。

1.3 莱茵德纸草书：尼罗河畔的分数艺术

The Rhind Papyrus: Fractions on the Nile

如果说 Plimpton 322 代表"几何直觉的算法化"，那么大约同时期的埃及数学则以算术为核心。1858 年由苏格兰律师 Henry Rhind 在 Luxor 市场上购得的 Rhind Mathematical Papyrus（编号 BM 10057-10058，藏于大英博物馆）抄写于公元前约 1650 年，是现存最完整的古埃及数学文献。它连同更早的 Moscow Mathematical Papyrus（莫斯科 4116，约公元前 1890 年）一起，构成了我们对"埃及数学"的主要认知。

1.3.1 单位分数：没有 3/4 的算术

莱茵德纸草书的核心方法论特征是 unit fraction decomposition（单位分数分解）——任何分数 $\tfrac{p}{q}$ 必须表达为若干互不相同的单位分数之和： $$ \tfrac{p}{q} = \tfrac{1}{n_1} + \tfrac{1}{n_2} + \cdots + \tfrac{1}{n_k}, \quad n_i \text{ 各不相同} $$

这种表达方式的一个副作用是：$\tfrac{3}{4}$ 必须写成 $\tfrac{1}{2} + \tfrac{1}{4}$；$\tfrac{2}{7}$ 必须写成 $\tfrac{1}{4} + \tfrac{1}{28}$。没有"小数点"，没有"保留分数"，没有 $\tfrac{p}{q}$ 的任意形式。

1.3.2 2/n 表：第一个算法引擎

莱茵德纸草书第 1 至 22 题给出的 2/n table 是整个古代数学中最精巧的预计算表之一。它对所有 $n \in \{3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41, 43, 45, 47, 49, 51\}$，给出 $\tfrac{2}{n}$ 的单位分数展开。例如：

| $n$ | $\frac{2}{n}$ | 展开 | |:---:|:---:|:---| | 3 | 2/3 | $\tfrac{1}{2} + \tfrac{1}{6}$ | | 5 | 2/5 | $\tfrac{1}{3} + \tfrac{1}{15}$ | | 7 | 2/7 | $\tfrac{1}{4} + \tfrac{1}{28}$ | | 9 | 2/9 | $\tfrac{1}{6} + \tfrac{1}{18}$ | | 11 | 2/11 | $\tfrac{1}{6} + \tfrac{1}{66}$ | | 13 | 2/13 | $\tfrac{1}{8} + \tfrac{1}{52} + \tfrac{1}{104}$ | | 15 | 2/15 | $\tfrac{1}{10} + \tfrac{1}{30}$ | | 17 | 2/17 | $\tfrac{1}{12} + \tfrac{1}{51} + \tfrac{1}{68}$ | | 19 | 2/19 | $\tfrac{1}{12} + \tfrac{1}{76} + \tfrac{1}{114}$ |

> 关键问题：书记员如何系统性地生成这些分解？幸运的是，20 世纪的数学史家（Gillings 1972；Hultsch；Knorr）从若干个文本证据中复现了一个相当聪明的 greedy algorithm（贪心算法）：

算法（部分重构）：对 $\tfrac{2}{n}$（$n$ 为奇数，$n \neq 1$），寻找最小整数 $m$ 使得 $\tfrac{1}{m} \leq \tfrac{2}{n}$，即 $m = \lceil n/2 \rceil$。更新分数为 $\tfrac{2}{n} - \tfrac{1}{m}$，并继续。

注意：对 $n$ 为奇数时取 $m = (n+1)/2$，有： $$ \tfrac{2}{n} - \tfrac{1}{(n+1)/2} = \tfrac{2}{n} - \tfrac{2}{n+1} = \tfrac{2(n+1) - 2n}{n(n+1)} = \tfrac{2}{n(n+1)} $$

这正是对奇 $n$ 的核心分解：$\tfrac{2}{n}$ 不一定就是 $\tfrac{1}{(n+1)/2} + \tfrac{2}{n(n+1)}$——后项往往是更复杂的单位分数。完整算法需要对 $n$ 在不同算术类（$n \equiv 1 \pmod{3}$、$n \equiv 2 \pmod{3}$ 等）中分情形处理。

1.3.3 案例拆解：$\tfrac{2}{7}$ 是如何展开的

让我们手算一遍莱茵德表的第一项典型例子：

目标：$\tfrac{2}{7} = ?$

步骤 1：找最大单位分数 $\tfrac{1}{m} \leq \tfrac{2}{7}$。 $1/3 \approx 0.333 > 2/7 \approx 0.286$； $1/4 = 0.25 \leq 0.286$。

步骤 2：计算余数：$\tfrac{2}{7} - \tfrac{1}{4} = \tfrac{8 - 7}{28} = \tfrac{1}{28}$。

步骤 3：检验已终止——余数 $\tfrac{1}{28}$ 已经是单位分数。所以： $$ \tfrac{2}{7} = \tfrac{1}{4} + \tfrac{1}{28} $$

判定：这条规则只有当余项是单位分数时终止——而对偶数 $n$，余项总是单位分数；对奇数 $n$，则需继续分解；这就是为什么莱茵德表对 $n$ 为奇数的情况特别繁难，而现代数学家直到 21 世纪才发现这张表的完整生成算法（参见 Imhausen 2013 的工作）。

这一"贪心"分解在计算复杂度上并不最优（Fibonacci-Sylvester 算法在某些情形下给出更短的分解），但它在手工计算中是可行的——这正是为什么书记员愿意用它：算法作为"认知支架"，把繁琐工作压缩为可记忆、可传授的步骤。

1.4 从算法到证明：希腊化之前的认知地形

Before "Proof": The Cognitive Landscape

至此我们已经看到，巴比伦和埃及的数学是算法规程（algorithmic procedures）的集合体——不是被证明的定理体系，而是被反复校核的工序。本节将引入第三个但相对薄弱的传统：吠陀数学（Vedic Mathematics），并用它来展示"印度次大陆早期数学中的算法性思维"如何与现代认知心理学、计算机科学形成惊人对照。

1.4.1 计算性传统的统一特征

将三地数学传统并列考察，可见一个惊人的共性：

| 维度 | 巴比伦 | 埃及 | 吠陀印度 | |:---|:---|:---|:---| | 记数 | sexagesimal，位值制 | 重复符号，无位值 | brahmi 数字系统（varga-khanda） | | 几何输入 | 勾股三元组 | $\tfrac{4}{3} \pi$ 的近似法 | 祭坛几何（Śulba Sūtras） | | 传统载体 | 泥板、学院抄写 | 纸草书（再抄录） | 口诵 sūtra | | 核心动作 | 表格化（lists） | 算法步骤（procedures） | 速算口诀（mental tricks） | | 合法性来源 | 构造可重复 | 抄本与教师传承 | sūtra 的"命令式权威" |

这三类传统的汇合处在公元前