数字的起源:古埃及与巴比伦的数学萌芽
每年夏天,当遥远的赤道地区吹来湿润的信风,尼罗河水便开始上涨。河水漫过堤岸,淹没了两岸的田野,留下一层肥沃的黑色淤泥。对于古埃及人而言,这既是大自然最慷慨的馈赠,也是最严峻的治理挑战。洪水过后,原有的田界 markers 被冲得无影无踪,农民们站在自家曾经的土地上,却无法确定哪一块属于谁。于是,一种被称为“塞克特”(*Sekhet*)的测量工具被发明出来——一根由绳索等距打结而成的测绳,配合 wooden stakes 和 sighting rods(照准杆),书吏们(*scribes*)开始重新划定边界。这看似简单的土地丈量,却催生了人类历史上最早的系统性数学之一:几何学(*Geometry*, literally “earth measurement”)。在尼罗河两岸,数学并非诞生于纯粹的哲学思辨,而是从解决实际问题的迫切需求中,如淤泥般自然沉积下来。
与尼罗河规律的泛滥形成鲜明对比的是两河流域(美索不达米亚)那难以预测的、时而狂暴的河流。幼发拉底河与底格里斯河不定期地改道、决堤,冲垮定居点,也冲毁了脆弱的泥砖建筑。这里的文明,从苏美尔到阿卡德,再到巴比伦,更像是在与一条桀骜不驯的河流进行持续不断的谈判。这种环境催生了截然不同的数学气质:如果说古埃及数学的核心是静态的、空间的、服务于永恒(为法老与神庙服务,确保死后世界秩序井然),那么巴比伦数学则是动态的、算术的、服务于现实(为神庙经济、贸易、借贷和天文预测服务)。两者都取得了惊人的成就,却走向了不同的抽象路径。本章将带领读者穿越四千年的历史尘埃,从莎草纸的碎片到楔形文字的泥板,探寻数字与形状最初是如何在人类文明的两大摇篮中萌芽,并已展现出超越时代的理性光芒。
---
一、 尼罗河的馈赠:古埃及的实用几何与分数系统
1.1 从“荷鲁斯之眼”到分数体系
古埃及人对“部分”(*parts*)的理解,首先与他们的神话和日常生活紧密相连。最著名的例子便是“荷鲁斯之眼”(*Eye of Horus*,*Wedjat*)的神话。传说中,鹰神荷鲁斯在与恶神赛特的战斗中失去了左眼,后被智慧之神托特治愈。这片失而复得的眼睛,便被赋予了强大的保护力量,其形象常被绘制在护身符上。而有趣的是,这个眼睛的图形被系统性地拆解为一系列分数:眼睑代表 $\frac{1}{2}$,眼白代表 $\frac{1}{4}$,眉毛代表 $\frac{1}{8}$,眼珠外轮廓代表 $\frac{1}{16}$,眼珠本身代表 $\frac{1}{32}$,虹膜代表 $\frac{1}{64}$。这些分数加起来恰好是 $\frac{63}{64}$,传说中“愈合后仍缺失的一小部分”,象征着不完美与神秘。
这不仅仅是神话,它反映了一种独特的单位分数(*unit fraction*)思维。在古埃及数学中,除了 $\frac{2}{3}$ 这个被特别尊崇的分数(可能与谷物分配有关)外,几乎所有分数都表示为若干个不同单位分数(即分子为1的分数,如 $\frac{1}{2}, \frac{1}{3}, \frac{1}{4}…$)之和。例如,现代人一目了然的 $\frac{3}{4}$,在埃及人笔下会写作 $\frac{1}{2} + \frac{1}{4}$。这种表示法并非他们“不会”写 $\frac{3}{4}$,而是一种根深蒂固的传统,可能与他们的分配习俗有关——将一条面包分成几份,每人得到一份或几份不同的“部分”。
现存最重要的古埃及数学文献是林德数学纸草书(*Rhind Mathematical Papyrus*,约公元前1650年,抄写于更早的文献)和莫斯科数学纸草书(*Moscow Mathematical Papyrus*,约公元前1850年)。这些莎草纸上写满了问题与解答,是书吏们的“习题集”。其中,分数运算占据了大量篇幅。为了将一般分数分解为单位分数之和,他们发展出了一套复杂的查表法或算法。例如,纸草书上有一个著名的“2/n 表”,列出了 $\frac{2}{3}$ 到 $\frac{2}{101}$ 这些分数分解为单位分数之和的方法。为什么是 $\frac{2}{n}$?因为除法运算(如将2个面包分给n个人)可以转化为乘以 $\frac{2}{n}$ 的倒数,而这个表提供了关键中间步骤。这种分解有时非常精妙,如 $\frac{2}{101}$ 被分解为 $\frac{1}{67} + \frac{1}{6160} + \frac{1}{808} + \frac{1}{101} \times 4$(注:原解更复杂,此为示意其思路),显示出高超的算术技巧,但也显得颇为繁琐。这种体系限制了代数表达的自由,却深深植根于他们的物质世界。
1.2 金字塔:石头的代数与几何的圣殿
如果说分数系统是古埃及数学的“算术之骨”,那么金字塔的建造则是其“几何之魂”。胡夫金字塔(*Great Pyramid of Khufu*)原高约146.6米,底边长约230米,由约230万块巨石砌成。其建造精度令人震惊:四个底边几乎完美的正方形,误差极小;金字塔的四个面几乎精确地对准正北、正南、正东、正西,误差仅约0.05度。这些成就绝非偶然,而是建立在扎实的几何知识之上。
坡度(seked)的计算是古埃及工程师的核心技能。他们不用“角度”这个概念,而是用水平距离与垂直高度的比来描述斜面。这个比被称为“塞克特”(*seked*),记作“水平距离每1腕尺(*cubit*),升高多少掌尺(*handbreadth*)”。例如,一个塞克特为“5掌尺”的坡度,意味着水平每走1腕尺(约52.3厘米),高度上升5掌尺(约1掌尺=4指宽,约7.5厘米)。这本质上就是余切(*cotangent*)的概念。金字塔的坡度约为5.5掌尺(约51.5度),这个精确值的确定,必然经过了反复的测量与计算。
金字塔的建造还涉及体积计算。莫斯科纸草书第14个问题,就是计算一个正方形金字塔( truncated pyramid,截头金字塔)的体积。其给出的公式是:$V = \frac{h}{3} (a^2 + ab + b^2)$,其中 $h$ 是高,$a$ 和 $b$ 分别是上下底面的边长。这正是现代棱锥(平截头体)体积公式!虽然古埃及人没有用字母表示变量,但他们的操作步骤清晰地展示了如何通过计算上下底面积、中间截面面积,再乘以高并除以3来得到答案。这个公式的发现,是几何学史上一个里程碑,表明他们已经掌握了处理复杂立体图形的方法。
更令人惊叹的是“3-4-5”三角形的应用。在金字塔地基的定位中,很可能使用了“毕达哥拉斯三元组”(*Pythagorean triple*)中最简单的一组:3, 4, 5。用打结的绳索(3+4+5=12个结),在平面上拉出一个直角三角形,可以确保90度角的精确。虽然毕达哥拉斯定理本身在埃及文献中未被明确表述,但这种实践表明,他们对直角三角形的边长关系已有朴素而实用的认识。金字塔,这些为永恒而建的巨石坟墓,本身就成了一个巨大的几何定理证明场,沉默地诉说着一个文明将数学应用于宏伟工程的非凡能力。
---
二、 泥板上的代数:巴比伦的算术天才与六十进制
2.1 六十进制:时间的遗产与计算的烦恼
如果让一个现代人尝试用六十进制(*sexagesimal*)数数,可能会感到头晕:1, 2, …, 59, 然后进位到1,0(即60)。然而,这个系统正是我们今天测量时间(60秒=1分,60分=1度)和角度(360度圆)的源头,完全拜巴比伦人所赐。他们选择60,很可能是因为60是一个高度合数(*highly composite number*),拥有1, 2, 3, 4, 5, 6, 10, 12, 15, 20, 30, 60这12个因数,使得分数分解(尤其是 $\frac{1}{2}, \frac{1}{3}, \frac{1}{4}, \frac{1}{5}…$)变得非常方便。这与古埃及的单位分数体系形成了鲜明对比。
巴比伦的数字系统是一种位值制(*positional notation*),但与我们今天习惯的十进制不同,它是六十进位的。他们用两个基本符号:一个尖顶楔形(`<`)表示1,一个宽楔形(>`)表示10。通过组合这些符号(最多九个1和五个10),他们可以表示1到59之间的任何数字。更大的数字则通过“位”来区分:右边第一位是60的0次方(1),第二位是60的1次方(60),第三位是60的2次方(3600),以此类推。例如,数字`< < < > >`(3个1和2个10,即23)如果在第二位,就代表 $23 \times 60 = 1380$。这和我们写数字“23”,2在十位、3在个位的原理完全一样,只是基数是60而非10。
然而,巴比伦系统有一个致命的缺陷:它没有明确的零的符号。在早期泥板上,数字23和23×60(即1380)看起来一模一样,只能依靠上下文来猜测。直到大约公元前3世纪,他们才开始使用一个特殊的占位符(两个对角楔形)来表示空位,但这个符号并非真正的“数字零”,它不参与运算,且通常只出现在数字中间而非末尾。这种不彻底性给现代学者解读泥板带来了巨大困难,但也从侧面反映出,零的概念——表示“空位”并具有算术意义——是人类数学思想中最深刻、最晚熟的成就之一。
2.2 泥板上的问题:从面积到二次方程
巴比伦的数学泥板(*clay tablets*)数量庞大,内容广泛,涵盖几何、代数、天文计算。其中最著名的包括普林顿322号泥板(*Plimpton 322*,约公元前1800年)和耶鲁泥板(*YBC 7289*)。这些泥板展示了巴比伦人如何将数学问题转化为算法,并通过列表、表格来求解。
案例一:一个经典的长方形问题 泥板上常见这样的问题:“一个长方形,其面积和周长之和为某个已知数,求边长。”这本质上是一个二次方程。巴比伦人没有符号代数,他们使用纯算术和几何方法,类似于“配方法”。例如,问题:“一个长方形,面积是60,半周长是12.5,求边长。”(*即:长+宽=12.5,长×宽=60*)巴比伦解法: 1. 取半周长(12.5)的一半,得6.25。 2. 计算其平方:$6.25^2 = 39.0625$。 3. 减去面积:$39.0625 - 60 = -20.9375$(这里应为加上面积?需核对。标准巴比伦配方法:设半周长S,面积A,则 $(S/2)^2 - A = (长-宽)^2/4$,开方得半差,再加半周长得长。更常见形式:已知长+宽=P,长×宽=A,求长、宽。则 $(P/2)^2 - A = ( (长-宽)/2 )^2$。开方后得两数之差的一半,再加P/2即得长。)。 让我们用一个标准巴比伦泥板问题(如BM 13901)来说明:已知长方形面积A=60,长+宽=17。求长、宽。 步骤: a. 取和的一半:$17/2 = 8.5$。 b. 平方:$8.5^2 = 72.25$。 c. 减去面积:$72.25 - 60 = 12.25$。 d. 开平方(巴比伦有开方算法):$\sqrt{12.25} = 3.5$。 e. 长 = $8.5 + 3.5 = 12$,宽 = $8.5 - 3.5 = 5$。 验证:$12 \times 5 = 60$,$12+5=17$。完美。 这个过程,用现代代数表达,就是解方程 $x(17-x)=60$,即 $x^2 - 17x + 60 = 0$。配方得 $(x - 8.5)^2 = 12.25$。巴比伦人用算术步骤实现了配方,但没有字母、没有等号、没有“平方”的抽象符号。他们每一步都在与具体数字打交道,却掌握了解决一般性二次方程的钥匙。这是一种“算法先于符号”的典范。
案例二:普林顿322号泥板与勾股数 这块泥板是一个表格,列出了15组数字,最引人注目的是它呈现了多组毕达哥拉斯三元组(*Pythagorean triples*),即满足 $a^2 + b^2 = c^2$ 的正整数解,如 (3, 4, 5), (5, 12, 13), 以及非常大的数如 (12741, 13500, 18541)。这些三元组并非随机出现,它们都满足一个特定的比例关系:$c^2 - a^2 = b^2$,且 $b$ 与 $c$ 的比值(即正弦值)被整齐地列出。主流学术观点认为,这块泥板可能是一个三角函数表的雏形,或者是用于计算某些特定角度(如15°、75°)的三角形边长。无论其确切用途如何,它无可辩驳地证明了巴比伦人对平方运算、平方差以及直角三角形的边长关系有深刻的理解,并且能够系统地生成这些三元组。其生成方法很可能基于参数公式:对于两个满足 $u > v$ 的正整数 $u, v$,则 $a = u^2 - v^2, b = 2uv, c = u^2 + v^2$ 便构成一组勾股数。泥板上的数字高度规律,暗示了这种参数化思想的存在,这比毕达哥拉斯学派晚了近千年。
2.3 方程思想的萌芽
巴比伦人虽然没有“方程”这个符号概念,但他们的问题陈述和解法,已经触及了等量关系的核心。一个问题通常这样开头:“一个数,它的 $\frac{1}{7}$ 加上它的 $\frac{1}{11}$ 等于某个值,求这个数。”这相当于现代方程:$\frac{1}{7}x + \frac{1}{11}x = A$。他们的解法是:先找到 $\frac{1}{7}$ 和 $\frac{1}{11}$ 的公分母(77),将问题转化为“一个数的 $\frac{18}{77}$ 等于A”,然后乘以 $\frac{77}{18}$ 得到原数。这实质上是在做线性方程的求解,且使用了通分和乘法逆元(倒数)的思想。
对于二次方程,如 $x^2 = A$(求面积的正边长)或 $x^2 + bx = A$(一个正方形的面积加上其边长的矩形面积等于A),他们有标准化的步骤。后一种情况,他们会先取 $b$ 的一半,平方,加到 $A$ 上,再开方,最后减去 $b/2$ 得到 $x$。这正是配方法。他们甚至能处理形如 $x^2 + bx = c$ 和 $x^2 - bx = c$ 的方程(注意符号差异,这需要理解“加法”与“减法”在几何意义上的不同)。这种对多种标准形式的熟练处理,表明他们已经将方程求解程序化、算法化,形成了一套可以机械操作的计算流程。这是从具体问题到抽象方法的关键一步,是代数思想最原始的曙光。
---
三、 对比与融合:两条路径,同一颗种子
将古埃及与巴比伦的数学并置,我们能清晰地看到人类理性探索的两条平行路径:
| 特征维度 | 古埃及 | 巴比伦 | | :--- | :--- | :--- | | 主要载体 | 莎草纸(Papyrus) | 泥板(Clay Tablet) | | 核心领域 | 几何(土地测量、建筑、体积) | 算术与代数(商业、借贷、天文) | | 数字系统 | 十进制,非位值制(象形文字数字,1=`|`, 10=`∩`,依数量叠加) | 六十进制位值制(楔形符号,依赖位置) | | 分数表示 | 严格的单位分数体系(除 $\frac{2}{3}$ 外,均为 $\frac{1}{n}$ 之和) | 位值制分数(与整数同系统,可表示任意分数,如 30,30 = $30 + \frac{30}{60} = 30.5$) | | 代数能力 | 弱,问题描述具体,无一般性解法 | 强,有标准化算法解线性、二次方程,处理未知数 | | 几何特点 | 实用性强,公式来自经验(如金字塔体积),无证明 | 以计算为主,擅长面积、体积公式应用,证明思想薄弱 | | 天文应用 | 历法(365天年),但几何为主 | 高度发达,用于预测行星运动、日月食,驱动算术发展 | | 哲学倾向 | 服务于永恒(来世)、国家(税收)、工程 | 服务于现实(贸易、法律、神庙经济)、预测 | | 关键局限 | 缺乏位值制与一般代数符号,计算繁琐 | 缺乏严格的逻辑证明体系、零的概念不完整 |
位值制的鸿沟:这是两者最根本的技术差异。埃及的数字系统是累加的(如数字3428写作8个|,4个∩,2个象形百,3个象形千),没有“空位”概念,大数字书写和计算都极不便。而巴比伦的六十进制位值制,虽然基数奇怪且缺零,但已经具备了现代位值制的核心骨架,使得复杂运算(尤其是乘除)可以通过查表、对位进行,效率远高于埃及。这为后世印度-阿拉伯数字系统的诞生埋下了伏笔。
抽象程度的不同:埃及数学是“问题导向”的,每个问题都有具体背景(分面包、分土地、建金字塔),解法也常常针对该特定数字,缺乏推广。而巴比伦泥板上,同一类问题(如解二次方程)会给出一般性的步骤,并用不同的数字反复练习,显示出算法抽象的萌芽。他们已经在处理“一个数”、“它的平方”、“它的乘积”这类未知量,尽管没有符号。
几何与代数的侧重:埃及人用“罗盘和测绳”塑造了空间,他们的几何公式是经验的、实用的。巴比伦人用“泥板和楔形”处理数字,他们的代数方法是算法的、程序化的。有趣的是,埃及的几何成就(如金字塔的精确角度)可能反过来要求更精密的计算,而巴比伦的天文计算(如追踪木星轨道)又需要复杂的几何模型。两条路径在后期(如希腊化时代)必然会发生碰撞与融合。
它们共同播下了种子:无论路径如何,两大文明都向世界证明了,人类可以通过观察自然规律(尼罗河周期、星体运行)、解决实际问题(划分土地、贸易结算)、并运用理性工具(测绳、泥板、算法)来掌握世界的秩序。他们已经触及了数学最核心的几个概念:比例(埃及的塞克特,巴比伦的分数)、位值(巴比伦)、方程(巴比伦的算法)、几何定理的近似应用(埃及)。这些萌芽,虽未形成严密的公理体系,却为后来希腊人的理性飞跃提供了不可或缺的土壤和养料。
---
四、 从具体到抽象:数学意识的最初觉醒
古埃及与巴比伦的数学,本质上是一种前演绎(*pre-deductive*)的数学。它们建立在归纳、类比和算法实践之上,而非从一组公理通过逻辑推导出定理。但这并不妨碍它们展现出惊人的“抽象能力”。这种抽象,并非指符号的抽象,而是思维模式的抽象。
巴比伦人在处理“一个数,它的 $\frac{1}{7}$ 加 $\frac{1}{11}$ 等于某值”时,他们心中已经有一个未知量(*unknown*)的概念,这个量可以被操作(被分割、被乘)。他们不需要知道这个数具体是多少,就能找到一种通用的操作步骤(通分、乘逆)来求出它。这就是变量思想的萌芽。同样,当他们列出“半周长的平方减去面积等于(半差)的平方”时,他们已经洞察了长方形边长和($P$)、面积($A