结绳与泥板：数学的黎明

在非洲中部伊尚戈河畔的森林深处，1960年，一支地质勘探队意外发现了一块已灭绝野猪的腓骨，这就是后来震惊学界的伊尚戈骨（Ishango Bone）。这块仅10厘米长的骨头上，刻着三组排列整齐的划痕，最令人费解的是第二组：从左至右，划痕数依次为3, 6, 4, 8, 10, 2, 2。如果简单地视为计数，为何如此排列？考古学家马塞尔·德·萨格（Marcel de Saeger）提出，这些划痕可能记录了月相周期——3个新月、6个上弦月、4个满月、8个下弦月，恰好构成一个朔望月周期。更激进的假说认为，这些数字背后隐藏着质数序列（3, 6, 4, 8, 10, 2, 2中某些是质数），暗示人类早在两万年前便已触及数论边缘。无论真相如何，伊尚戈骨如同一把钥匙，开启了数学起源的迷宫：当人类第一次在骨头上刻下划痕时，他们并非在演算公式，而是在与混沌搏斗——用最原始的符号，将流逝的时间、狩猎的收获、祭祀的供品，驯服为可记录、可预测的秩序。这种符号化的冲动，并非天才的顿悟，而是生存压力下的必然：在资源匮乏的冰河时代，知道“昨天有五只羚羊，今天有三只”意味着能否分配食物、规划迁徙。数学，从诞生之初便是人类对抗无序的武器，是理性在混沌中竖起的第一面旗帜。

这种计数需求随着农业革命急剧膨胀。当人类在美索不达米亚（Mesopotamia，希腊语意为“河流之间”）的冲积平原上建立城邦， managing 粮食分配、税收记录、神庙库存，便催生了更复杂的符号系统。约公元前8000年，苏美尔人（Sumerians）在泥板上用楔形文字（cuneiform）记录谷物数量，起初是直观的重复符号：一道竖线代表1，一个钩子代表10，一个圆圈代表60。但很快，他们发明了位置制（positional notation）的雏形：同样的符号根据位置表示不同数值——这正是现代十进制的基础。更革命性的是六十进制（sexagesimal system）的采用：1小时=60分钟，1分钟=60秒，至今仍在影响我们。为什么是60？因为它可被2,3,4,5,6,10,12,15,20,30整除，便于分数计算。在泥板YBC 7289（约公元前1800年）上，巴比伦人（Babylonians）以惊人的精度给出了√2的近似值：1 24 51 10（六十进制），换算成十进制约为1.414213，精确到小数点后六位。他们如何得到？可能通过迭代算法：取初始值1.25，反复计算(1/2)(x + 2/x)，这比欧洲早了三千年。另一块著名泥板普林顿322（Plimpton 322，约公元前1800年）则列出了一组完整的勾股数（毕达哥拉斯三元组）：(119, 120, 169), (3367, 3456, 4825)等，最大可达四位数。这绝非偶然——它可能是一张“三角函数表”，用于建筑或天文计算。泥板上的问题以诗体形式呈现：“我求正方形边长，其对角线为多少？”巴比伦人没有代数符号，却用文字描述算法：已知长宽和S与面积P，求边长x和y。他们先计算((S/2)^2 - P)的平方根，再加减S/2。这实质上是解二次方程$x^2 - Sx + P = 0$的配方法，比印度早两千年，比欧洲早三千五百年。数学在这里不是抽象游戏，是官僚的日常：测量土地面积、计算灌溉渠道坡度、分配神庙祭品。一块泥板可能记录“一亩小麦产出多少蒲式耳”，另一块则计算“利息累积：本金1马纳（mina），月息1/60，一年后几何？”巴比伦数学是算法的摇篮，却缺乏证明传统——他们知道“是什么”，但不追问“为什么”。这种实用主义传统，如同尼罗河洪水般既滋养又局限：它催生了精密的计算，却未能孕育出逻辑的种子。

如果说美索不达米亚的数学写在泥板上，那么古埃及（Ancient Egypt）的数学则刻在纸草（papyrus）上，与尼罗河（Nile）的洪水周期生死相依。每年7月，天狼星（Sirius）升起时，尼罗河泛滥，淹没农田，退水后留下肥沃淤泥，但也抹去了边界标记。法老政府的测量员（rope stretchers）必须迅速重新丈量土地，以确定税收份额。这催生了世界上最早的几何学（geometry，希腊语geo-土地，-metron测量）。他们使用打结的测绳：将绳子分成12等份，围成3-4-5的三角形，便得到直角——这可能是毕达哥拉斯定理的实用先驱。最著名的文献是莱因德数学纸草书（Rhind Mathematical Papyrus，约公元前1550年），抄自更早的文献，内容如同时代数学教科书。其中一个问题：“圆形面积等于直径的多少？”解法是：取直径的8/9，再平方。即若直径d，面积A ≈ (8d/9)^2 = (64/81)d^2，相当于取π≈3.1605，虽不精确却实用。另一个问题：“一正方形面积等于100，求其边长。”答案给出√100=10，但更复杂时，他们用分数近似。

在美索不达米亚的泥板丛林中，巴比伦数学家并非在安静的书房，而是在 bustling 的寺庙仓库里工作。他们面对的是活生生的经济问题：一块长方形农田，长与宽之和为7库鲁（kuru），面积仅为3/4库鲁，求长和宽。现代人会列方程 $x(7-x) = \frac{3}{4}$，即 $x^2 - 7x + \frac{3}{4} = 0$。巴比伦人的解法写在泥板BM 13901上，步骤如下：先取长宽和的一半，即 $7/2 = 3.5$，平方得 $12.25$；再减去面积 $0.75$，得 $11.5$；然后开平方，得到约 $3.391$；最后，边长分别为 $3.5 + 3.391 = 6.891$ 和 $3.5 - 3.391 = 0.109$。这实质上是配方法：$(x - 3.5)^2 = 3.5^2 - 0.75$。他们用六十进制小数计算，过程精确。另一块泥板（YBC 6967）甚至涉及两个未知数的二次方程组：“我有两块田，一块产小麦，一块产大麦。小麦田面积加大麦田面积等于 $1800$ 平方布耳（gur），小麦田边长加大麦田边长等于 $60$ 布耳。求各自边长。”设小麦田边长 $x$，大麦田边长 $y$，则 $x^2 + y^2 = 1800$，$x + y = 60$。解法：先计算 $(x+y)^2 = 3600$，减去 $x^2+y^2$ 得 $2xy = 1800$，所以 $xy = 900$。然后利用 $(x-y)^2 = (x+y)^2 - 4xy = 3600 - 3600 = 0$，故 $x=y=30$。这显示他们已掌握对称多项式运算，虽无符号代数，却用文字描述算法，如同现代程序员写伪代码。更惊人的是，他们处理三次方程：泥板BM 85200上有一个问题：“一个长方体，长宽高分别为 $x, x, x-1$，体积为 $2$。”即 $x^2(x-1)=2$，整理为 $x^3 - x^2 - 2 = 0$。他们通过试值法找到近似解 $x \approx 1.6$（六十进制 $1;36$），过程类似迭代。巴比伦数学是算法的宝库，但他们从不证明公式为何成立——对他们而言，知道“如何做”足以解决税收和建筑问题。这种实用主义如同一把双刃剑：它催生了精密的计算工具，却未能点燃逻辑推理的火花。直到希腊人到来，数学才从“怎么做”转向“为什么”。

如果说巴比伦数学是官僚的记事本，那么古埃及数学则是工程师的蓝图。尼罗河洪水退去后，测量员（rope stretchers）手持打结的绳索，重新划定农田边界。绳索被分为12等份，围成3-4-5的三角形，便得到一个直角——这可能是人类最早的有意设计的直角，比毕达哥拉斯早一千多年。莱因德数学纸草书（Rhind Mathematical Papyrus，约公元前1550年）是古埃及数学的百科全书，抄写员阿赫斯（Ahmose）声称它源自更早的文献（约公元前2000年）。全书含85个问题，涵盖算术、几何、代数，甚至初等概率。问题50：“圆形面积等于直径的多少？”解法：取直径的 $8/9$，再平方。若直径 $d=9$，则 $8/9 \times 9 = 8$，面积 $8^2=64$。实际面积 $\pi \times (4.5)^2 \approx 63.62$，误差仅 $0.6\%$。这暗示他们取 $\pi \approx 3.1605$（因为 $(8/9)^2 = 64/81 \approx 0.790123$，乘以 $d^2$ 得面积，故 $\pi \approx 64/81 \times 4 = 256/81 \approx 3.1605$？注意：面积公式 $A = \pi r^2 = \pi (d/2)^2 = \pi d^2 /4$。埃及公式 $A = (8d/9)^2 = 64d^2/81$。比较得 $\pi/4 \approx 64/81$，故 $\pi \approx 256/81 \approx 3.1605$。是的。问题48则更神秘：画一个直径9的圆，其内接正方形边长为8，面积64。埃及人可能认为圆面积等于内接正方形面积，从而隐含 $\pi \approx 3.14$？但问题50明确用 $8/9$，所以可能问题48是近似演示。无论哪种，都显示他们通过经验归纳出实用公式。

古埃及的分数系统独树一帜：他们几乎只用单位分数（unit fraction），即分子为1的分数，如 $1/2, 1/3, 1/4$ 等。为何如此？可能因为分配实物（如面包、谷物）时，将整体分成 $1/n$ 份更易操作。例如，将5个面包分给8人，每人得 $1/2 + 1/8$ 个面包（因为 $5/8 = 1/2 + 1/8$）。莱因德纸草书问题3：将7个面包分给10人，每人得 $1/2 + 1/5 + 1/10$。这种表示法虽繁琐，却避免了分数相加的麻烦——因为所有分数分母不同，通分困难，但单位分数可以直接拼接。更深的数学原因可能是：他们只有乘法表，没有除法表，而除以一个整数 $n$ 等价于乘以其倒数 $1/n$。如果所有倒数都以单位分数形式存储（如 $2/3$ 写作 $1/2 + 1/6$），则计算更统一。实际上，埃及人发展了一套将任意分数 $m/n$ 分解为不同单位分数之和的算法，类似现代贪心算法：取小于 $m/n$ 的最大单位分数 $1/\lceil n/m \rceil$，然后递归处理余项。例如 $2/5$：小于 $2/5$ 的最大单位分数是 $1/3$，余 $2/5 - 1/3 = 1/15$，故 $2/5 = 1/3 + 1/15$。这种分解不唯一，但埃及人有固定表。这反映其数学的机械性：重程序轻理论。

几何方面，莫斯科纸草书（Moscow Mathematical Papyrus，约公元前1850年）展示了惊人成就。问题14：计算截头金字塔（棱台）体积。给定上底边长 $a$，下底边长 $b$，高 $h$，体积公式为 $V = \frac{h}{3} (a^2 + ab + b^2)$。这几乎就是现代公式 $V = \frac{h}{3}(A_1 + \sqrt{A_1 A_2} + A_2)$（其中 $A_1=a^2, A_2=b^2$）的离散版本。例如，上底 $2$，下底 $4$，高 $6$，则体积 $= \frac{6}{3}(4 + 8 + 16) = 2 \times 28 = 56$。而实际体积 $\frac{6}{3}(4 + \sqrt{4\times16} + 16)=2(4+8+16)=56$，完全一致。这表明埃及人可能通过实验或推导发现了这一公式，用于计算粮仓或金字塔核心部分的体积。金字塔建造本身是几何学的实践：大金字塔的底座边长约 $230$ 米，四边误差不超过 $58$ 毫米，角度约 $51.5^\circ$，显示测量技术的高超。他们使用的“塞克特”（seked）是金字塔坡度的度量，定义为水平距离每单位高度（即余切）。如金字塔高 $5$ 腕尺，底边长 $14$ 腕尺，则半底 $7$，塞克特 $=7/5=1\frac{1}{3}$ 腕尺每腕尺高度。这实质是三角函数思想的萌芽。

然而，埃及数学缺乏一般性：每个问题都是孤立的，没有抽象定理。莱因德纸草书问题61：将100个面包分给5人，成等差数列，公差为6，求每人所得。解法：设中间数为 $x$，则五人分别为 $x-12, x-6, x, x+6, x+12$，和 $5x=100$，故 $x=20$，得 $8,14,20,26,32$。这显示他们能处理等差数列，但未推广到一般公式。他们的几何定理也仅限于常见形状：圆形、三角形、梯形、矩形。没有证明三角形内角和为 $180^\circ$，也没有平行线性质。数学是工具，而非真理探索。

这种实用主义传统在希腊人手中发生了质变。大约在公元前6世纪，爱奥尼亚（Ionia）的商人将埃及和巴比伦的数学知识带回希腊。泰勒斯（Thales of Miletus，约公元前624–546）被认为是第一位希腊数学家，他访问埃及，学会了如何测量金字塔高度：当自己影子长度等于身高时，金字塔影子长度即为其高度（利用相似三角形）。他将这种测量方法提升为几何定理：任何半圆上的圆周角都是直角（泰勒斯定理）。证明可能基于等腰三角形性质：连接圆心与三点，得两个等腰三角形，顶角和为 $180^\circ$，故底角之和为 $90^\circ$。这是数学史上首次从直观观察跃升为逻辑证明——不再满足于“金字塔影子法有效”，而要追问“为何必然成立”。泰勒斯还证明了等腰三角形底角相等、直径所对圆周角为直角等。他的贡献不在于具体定理，而在于方法：从少数自明真理（公设）出发，通过演绎推理（deduction）建立体系。尽管他的著作失传，但后世亚里士多德称他为“演绎科学之父”。

真正将数学与哲学熔铸的是毕达哥拉斯（Pythagoras of Samos，约公元前570–495）。他出生于爱琴海萨摩斯岛，年轻时游历埃及，可能被法老任命为祭司，学习几何和天文；后又前往巴比伦，吸收六十进制计算和代数技巧。约公元前530年，他移居意大利南部克罗托内（Croton），创立了一个秘密社团——毕达哥拉斯学派（Pythagorean Brotherhood）。这不仅是学术团体，更是宗教共同体：成员宣誓保密，共财共食，信仰灵魂轮回（metempsychosis），认为数学是灵魂净化的途径。学派核心信条是“万物皆数”（All is number）。这里的“数”指正整数（自然数），他们相信宇宙的秩序源于整数比例。例如，音乐和谐源于弦长比：八度（octave）对应 $2:1$，五度（fifth）对应 $3:2$，四度（fourth）对应 $4:3$。毕达哥拉斯本人可能通过单弦琴（monochord）实验发现：当弦长减半，音高升高八度；当弦长比为 $3:2$，产生五度音程。这揭示听觉美感由简单整数比支配，从而推出“宇宙本身是一首由数构成的交响乐”（cosmos is a musical harmony）。这一思想深远影响了柏拉图（《蒂迈欧篇》中描述天体音乐）和开普勒（《世界的和谐》）。

毕达哥拉斯定理（Pythagorean theorem）虽更早在巴比伦和埃及已知（普林顿322上的勾股数早于毕达哥拉斯），但学派首次给出了普遍证明。传说发现后，他们宰杀百牛献祭，故称“百牛祭”（hecatomb）。最著名的证明是“弦图”（windmill proof）：作四个全等直角三角形，斜边向内拼成正方形，中间形成小正方形，面积 $c^2$；外围大正方形边长 $a+b$，面积 $(a+b)^2$，减去四个三角形面积 $4 \times \frac{1}{2}ab = 2ab$，得 $a^2 + b^2 = c^2$。这一证明优雅而直观，体现了希腊数学对视觉论证的重视。然而，更深刻的发现是无理数（irrational number）的冲击。考虑等腰直角三角形，若两直角边为 $1$，则斜边为 $\sqrt{2}$。毕达哥拉斯学派相信“万物皆数”，即所有量都可表示为两个整数之比（有理数）。但 $\sqrt{2}$ 无法写成 $m/n$（$m,n$ 整数）。证明（可能是几何的）：假设 $\sqrt{2} = m/n$ 为最简分数，则 $m^2 = 2n^2$，故 $m$ 为偶数，设 $m=2k$，代入得 $4k^2=2n^2$，即 $n^2=2k^2$，故 $n$ 也为偶数，与最简矛盾。这导致第一次数学危机：毕达哥拉斯学派的信条崩塌。为掩盖这一发现，传说成员希帕索斯（Hippasus）在船上演示时被同伴扔进大海。学派随后严格保密，仅内部传授。这一事件标志着数学从具体可感的“数”（整数）转向更抽象、更不可捉摸的“量”（连续统），迫使希腊人发展出全新的逻辑工具来处理不可公度量（incommensurable magnitudes）。欧几里得《几何原本》第五卷的比率理论（theory of proportion）正是对这一危机的回应：通过几何线段的比例定义，避开无理数的算术表达。

毕达哥拉斯学派还探索了数的神秘属性。完全数（perfect number）等于其真因子（proper divisors）之和，如 $6=1+2+3$，$28=1+2+4+7+14$。他们发现完全数都与梅森素数（Mersenne prime）相关：若 $2^p-1$ 是素数，则 $2^{p-1}(2^p-1)$ 是完全数。亲和数（amicable numbers）指一对数，各自真因子和等于对方，如 $220$ 和 $284$（$220$ 的真因子 $1,2,4,5,10,11,20,22,44,55,110$ 之和为 $284$；反之亦然）。这些概念超越了实用计算，进入数论的神秘领域。正多面体（regular polyhedra）的研究同样体现其哲学：仅存在五种正多面体——正四面体（4面）、正六面体（立方体，6面）、正八面体（8面）、正十二面体（12面）、正二十面体（20面）。毕达哥拉斯学派将其与四大元素（火=四面体、土=立方体、气=八面体、水=二十面体）及宇宙（十二面体代表以太或宇宙本身）对应，这种宇宙论影响了柏拉图。五角星形（pentagram）作为兄弟会标志，因其边长与对角线之比为黄金分割（$\phi \approx 1.618$），而黄金分割在正五边形中自然出现。他们可能最早注意到这一比例，并赋予其美学和神秘意义。

毕达哥拉斯学派将数学从技术提升为艺术，从工具转化为世界观。他们首次系统性地使用“数学”（mathematike）一词，意为“可学而知之的东西”，与“神学”（theologia， divine revelation）并列。在克罗托内的集会上，成员通过数论、几何、音乐、天文（quadrivium的四艺）的和谐，追求灵魂的净化。这种将抽象结构与宇宙秩序等同的思想，为柏拉图哲学铺路：在《理想国》中，柏拉图将数学教育作为哲学家训练的核心；在《蒂迈欧篇》中，他借蒂迈欧之口描述宇宙如何基于

在《蒂迈欧篇》中，他借蒂迈欧之口描述宇宙如何基于几何比例与数学和谐建构：世界灵魂由数列（1,2,4,8 和 1,3,9,27）按特定比例交织而成，四大元素（土、水、气、火）则对应五种正多面体中的四种——立方体代表土，正二十面体代表水，正八面体代表气，正四面体代表火，而正十二面体象征宇宙整体。柏拉图将毕达哥拉斯的神秘数论提