数学的黎明：从古代文明到文艺复兴

数学的起源可以追溯到人类文明的黎明时期，它并非诞生于抽象的理论思辨，而是根植于生存与发展的实际需求——丈量土地、计算收成、预测天象、建造居所。在美索不达米亚平原（Mesopotamia）的淤泥中，在尼罗河（Nile） annual 泛滥后的沃土上，在黄河（Yellow River）沿岸的粟田里，在印度河（Indus）流域的城市废墟中，人类最初的数学思想如同种子般悄然萌发。这些早期文明独立地发展出了各具特色的数学体系，它们或许形式粗糙，却蕴含着人类对数量、形状和秩序最原始的探索。本章将穿越数千年的时光迷雾，审视这些古老智慧的残片，追溯从具体算筹到抽象证明的艰难演进，揭示数学如何从实用的技艺升华为严谨的科学，并为后续的黄金时代埋下伏笔。

一、泥板上的智慧：巴比伦与埃及的数学萌芽

两河流域（Fertile Crescent）的冲积平原为农业提供了肥沃土壤，也催生了人类最早的城市与国家。公元前3000年左右，苏美尔人（Sumerians）在这里建立了城邦，并发明了楔形文字（cuneiform）和六十进制（sexagesimal）计数系统。这种以60为基数的系统因其高度可分解性（60 = 2²×3×5）而独具优势，其遗产一直延续至今：我们将一小时分为60分钟，一分钟分为60秒；一个圆周角被划分为360度（6×60），这些正是巴比伦人留给现代文明的无声印记。

巴比伦数学的核心载体是黏土泥板（clay tablets）。这些被烘干或烧制的泥板保存了大量数学问题，内容涵盖面积计算、体积求解、代数方程甚至简单的概率问题。最著名的例子是普林顿322号泥板（Plimpton 322），约制作于公元前1800年，上面列出了一组满足 $a^2 + b^2 = c^2$ 的整数三元组（即毕达哥拉斯三元组），其精度之高令人惊叹。巴比伦人并不具备现代代数符号，他们处理问题的方式是高度算法的（algorithmic）：通过一系列标准步骤来解决特定类型的问题。例如，对于形如 $x^2 + bx = c$ 的二次方程，他们会使用等价于求根公式的步骤，尽管其推导基于几何类比而非符号运算。

实践案例：巴比伦人的二次方程求解 假设一个巴比伦学生面临这样的问题：“一块正方形的面积加上其边长的十分之一等于0;45（以六十进制表示，即45/60 = 3/4）。求边长。” 在现代记法中，即 $x^2 + \frac{1}{10}x = \frac{3}{4}$。巴比伦解法如下： 1. 取系数1/10的倒数，得10。 2. 将10乘以方程右边3/4，得7;30（即7.5）。 3. 将结果一分为二，得3;45（即3.75）。 4. 平方该数，得14;03;45（约14.0625）。 5. 减去原方程右边3/4（即0;45），得13;18;45（约13.3125）。 6. 开平方，得3;45（即3.75）。 7. 减去步骤3的结果3;45，得0——这显然有误，实际应减去步骤3的结果得边长0? 正确步骤应更复杂。实际上，巴比伦人使用配方法：将方程乘以60消去分数，但核心思想是通过几何操作完成配方。他们可能将问题转化为求一个矩形面积，其一边为边长，另一边为固定值。这种算法化思维是代数的先声，尽管缺乏一般性证明。

在尼罗河畔，古埃及（Ancient Egypt）的数学发展与水利工程、天文历法和死后世界观念紧密相连。现存最重要的数学文献是莱因德纸草书（Rhind Mathematical Papyrus，约公元前1550年）和莫斯科纸草书（Moscow Mathematical Papyrus，约公元前1850年）。这些文件显示，埃及数学以实用算术和几何为主，代数能力有限但几何计算相当精确。

埃及人使用十进制但非位值制，他们有不同符号表示个位、十位、百位等。分数处理是其一大特色：除2/3外，他们仅使用单位分数（即分子为1的分数，如1/2, 1/3, 1/4...）来表示任何有理数。例如，将2/5分解为单位分数之和：$2/5 = 1/3 + 1/15$。这种分解遵循特定的“2/n表”（table of 2/n），纸草书中列出了将2/3到2/101的偶数分母分解为单位分数的规则，其推导方法至今仍是学者争论的课题。可能基于等式 $2/n = 1/(n+1) + (n+1)/(n(n+1))$ 并递归分解，或经验性试错。

技术细节：古埃及分数分解算法 以2/5为例，埃及人可能如此操作：

• 寻找一个大于2/5的单位分数：1/3 ≈ 0.333 > 0.4? 不，1/3 < 0.4，所以取1/2? 1/2=0.5>0.4，但2/5=0.4，1/2太大。正确：取小于2/5的最大单位分数：1/3≈0.333，余数2/5 - 1/3 = 6/15 - 5/15 = 1/15，恰好是单位分数。故2/5 = 1/3 + 1/15。

对于更复杂的如2/7：取1/4=0.25，余数2/7 - 1/4 = 8/28 - 7/28 = 1/28，故2/7 = 1/4 + 1/28。这种“贪婪算法”（greedy algorithm）——每次取不超过余数的最大单位分数——对许多分数有效，但并非总是最优（如2/5若取1/2则余负，故取1/3）。纸草书中的分解往往简洁，表明他们掌握了更优技巧。

几何方面，埃及人知道如何计算矩形、三角形、梯形甚至圆的面积。他们近似取π为 $256/81 \approx 3.1605$（由直径8/9的平方得到），虽然粗糙，但足以满足工程需求。最著名的实践是金字塔（pyramid）建造。吉萨大金字塔（Great Pyramid of Giza）底边原长约230米，高度约146米，坡度（底面与侧面夹角）约为51.5度。埃及人如何实现如此精确的直角和坡度？考古证据表明他们使用“3-4-5”三角形（毕达哥拉斯三元组）来确保直角：用12结的绳子（3-4-5单位）拉出直角。此外，他们可能利用星象定位（如北极星）和水平仪（用水槽检平）来保证基座水平。金字塔的坡底与高度之比约为11:7，对应角度约51.5度，这可能与埃及人对“ Seked ”（斜率的度量，即水平距离与垂直高度之比）的掌握有关。例如，若 seked 为5;15（5.25掌，即水平每升高1掌，水平退后5.25掌），则对应角度正切为1/5.25 ≈ 0.1905，角度约10.8度？不对，金字塔坡度是侧面与底面夹角，其正切为高度/(底边一半) = 146/115 ≈ 1.27，角度约51.8度。Seked 是水平距离与垂直高度之比，对于大金字塔，半底约115米，高146米，故 seked = 115/146 ≈ 0.788，即约7.5掌（埃及掌长≈0.523米），纸草书提到 seked 为5;25对应角度约53度？需要查证。实际上，大金字塔的 seked 约为5.5掌（即水平每升高1掌，后退5.5掌），对应角度约50度左右。总之，埃及几何是经验性的，但足以支撑宏伟建筑。

二、东方的曙光：中国与印度的数学成就

在东亚，中华文明独立发展出独特的数学体系，其核心特征是以算筹（counting rods）为工具的十进制位值制（positional decimal system）。早在商朝（Shang dynasty，公元前1600-1046年），中国人已使用十进制计数，并理解“满十进一”的原则。算筹是一套用小棍（竹、木或骨）表示数字的方法：横竖交替排列，通过位置表示位值，这实际上是一种早期的位值制记数法，比印度-阿拉伯数字系统早得多。例如，数字123用算筹表示为：个位横三，十位竖二，百位横一。这种系统便于进行加减乘除运算，甚至能表示负数（用不同颜色或斜放表示）和小数（在个位后空位）。

中国数学的经典著作是《九章算术》（The Nine Chapters on the Mathematical Art），成书于汉朝（Han dynasty，约公元前2世纪至公元1世纪），但内容汇集了更早的成果。该书分为九章，每章解决一类实际问题： 1. 方田（Land Surveying）：面积计算，包括矩形、三角形、梯形、圆、弓形等。给出了π的近似值3，但更精确的“周三径一”（直径1，周长3）用于日常计算，另有“弧田”（弓形面积）公式。 2. 粟米（Millet and Grain）：比例与比例分配，包括分数的四则运算。著名的“粟米之法”是粮食交换的比例问题，如“今有粟一斗，欲为米？问得几何？”涉及比率换算。 3. 衰分（Distribution by Proportion）：更复杂的比例分配，包括差分方程。 4. 少广（Too Little and Too Much）：已知面积或体积求边长或径长，包含开平方、开立方术。例如，“今有圆田，周一百八十二丈，径几何？”即已知圆周长求直径。 5. 商功（Earth Works）：体积计算，涉及堑（沟）、堤（坝）、渠（渠）等工程体积，包含棱柱、棱台、圆锥、圆台公式。例如，计算长方体体积为“广×袤×高”，与今同。 6. 均输（Equal Transport）：均输问题，涉及赋税、运输的公平分配，本质是线性方程组。 7. 盈不足（Surplus and Deficiency）：盈亏问题，即线性插值法，相当于现代方程组的解法。例如，“今有共买物，人出八，盈三；人出七，不足四。问人数、物价各几何？”设人数x，物价y，则8x - y = 3, 7x - y = -4，解得x=7, y=53。这实际上是一种线性方程组解法。 8. 方程（Rectangular Arrays）：线性方程组，使用算筹布置成“方程”（即矩阵形式），通过“遍乘直除”进行消元，相当于高斯消元法。例如，解三元一次方程组，将系数和常数摆在算筹上，进行行变换。 9. 勾股（Gou-Gu）：即勾股定理（毕达哥拉斯定理）及其应用。中国最早明确表述并证明勾股定理的是三国时期的赵爽（约公元3世纪），他在注释《周髀算经》时给出“赵爽弦图”证明：将四个全等的直角三角形放入一个边长为c的正方形中，中间形成一个小正方形，通过面积相等证明 $a^2 + b^2 = c^2$。这比欧几里得的证明更直观。

深入例子：赵爽弦图与勾股定理的证明 赵爽的“弦图”构造如下：作四个全等的直角三角形，两直角边长为a、b，斜边长为c。将它们如图摆放，使斜边朝外，构成一个大正方形，中间形成一个以(a-b)为边的小正方形（若a≠b）。大正方形面积为 $c^2$，也可表示为四个三角形面积加小正方形面积：$4 \times \frac{1}{2}ab + (a-b)^2 = 2ab + a^2 - 2ab + b^2 = a^2 + b^2$。故 $c^2 = a^2 + b^2$。这个证明完全基于几何拼接，无需相似三角形理论，体现了中国数学的构造性特色。此外，《九章》中给出了勾股定理的通用公式：“勾股各自乘，并，而开方除之，得弦。”即 $c = \sqrt{a^2 + b^2}$，并提供了大量应用问题，如测量高度、宽度、距离。

在印度次大陆，数学思想同样在宗教与天文需求中绽放。吠陀时期（Vedic period，约公元前1500-500年）的《绳法经》（Sulba Sutras，约公元前800-500年）记录了祭祀坛（altar）建造的几何规则，其中包含了对勾股定理的认识（如“毕达哥拉斯三元组” 3-4-5, 5-12-13 的使用），以及对√2的近似值 $1 + \frac{1}{3} + \frac{1}{3\times4} - \frac{1}{3\times4\times34} \approx 1.4142157$，极为精确。印度数学的里程碑是零（śūnya）的概念和十进制位值制的完善。早在《吠陀》文献中，已有表示空位的词汇，但 Brahmagupta（公元598-668年）在其《 Brahmasphuṭasiddhānta 》中首次系统定义了零的算术运算规则：任何数加零不变，任何数减零不变，任何数乘零得零，但除以零未定义（他称“零作除数，其商为无穷”）。这一思想革命性地将零从“占位符”提升为“数”，为代数方程求解打开了大门。印度数学家还发展出负数概念（用于表示债务），并给出了二次方程 $ax^2 + bx = c$ 的求根公式（与巴比伦类似，但用文字表述）。

技术细节：印度二次方程求解 Brahmagupta 处理形如 $ax^2 + bx = c$ 的方程（其中a、b、c为正）。他给出步骤：“将方程两边乘以a的倒数（即除以a），然后取b的一半平方，加上c/a，再开平方，减去b的一半，除以a，得根。” 这实际上等价于 $x = \frac{-b + \sqrt{b^2 + 4ac}}{2a}$（只取正根）。例如，方程 $2x^2 + 5x = 3$，他先除以2得 $x^2 + \frac{5}{2}x = \frac{3}{2}$，然后取5/2的一半5/4，平方得25/16，加3/2=24/16得49/16，开方得7/4，减去5/4得2/4=1/2，再除以1（因为已除以2？需仔细）。实际上，他可能直接操作：将方程乘以a得 $a^2 x^2 + abx = ac$，配方 $(ax + b/2)^2 = b^2/4 + ac$，开方得 $ax + b/2 = \sqrt{b^2/4 + ac}$，故 $x = \frac{-b/2 + \sqrt{b^2/4 + ac}}{a}$。由于只考虑正根，他取正号。这比巴比伦的算法更接近现代公式。

三、希腊的黄金时代：从泰勒斯到欧几里得

当东方文明在独立轨道上运行时，地中海沿岸的希腊世界（Classical Greece）在公元前6世纪至前3世纪爆发了一场思想革命，数学从实用技艺转变为以证明（proof）为核心的演绎科学。这一转变的催化剂是哲学对“真理”和“理性”的追求。早期哲学家如泰勒斯（Thales，约公元前624-546年）从埃及游学归来，引入了几何证明的思想——不再依赖经验测量，而是从自明的前提通过逻辑推导出必然结论。传说他证明了“直径平分圆周”、“等腰三角形底角相等”、“半圆的圆周角是直角”等命题，尽管原始证明已失传，但这一传统被后继者发扬光大。

毕达哥拉斯（Pythagoras，约公元前570-495年）学派将数学提升到神秘与科学的结合体。他们相信“万物皆数”（number），这里的数指正整数及其比例。毕达哥拉斯定理（Pythagorean theorem）虽在巴比伦和中国早已发现，但希腊人首次给出了普遍证明（可能不止一种）。传说毕达哥拉斯为庆祝这一发现献祭了百牛，这反映了他们对数学真理的宗教式崇敬。更重要的是，他们发现了不可公度（incommensurability）——即√2不能表示为两个整数之比。这一发现动摇了“万物皆数”（整数比）的信念，引发了第一次数学危机，但也催生了更严谨的几何学，因为几何量（如长度、面积）可以独立于数系存在。

希腊数学的集大成者是欧几里得（Euclid，约公元前300年），其《几何原本》（Elements）是历史上最成功的教科书，没有之一。这部著作共13卷，以公理化方法构建了整个平面几何、数论乃至立体几何的大厦。其结构堪称典范：

• **定义**（Definitions）：阐明基本概念，如“点是无部分”、“线是无宽度而长度”、“面是只有长度和宽度”。
• **公设**（Postulates）：5条几何公设，最著名的是第5公设（平行公设）：“若一条直线与两条直线相交，在某一侧的内角和小于两直角，则这两条直线在该侧延长后必相交。”
• **公理**（Common Notions）：5条普遍逻辑公理，如“等于同量的事物彼此相等”。
• **命题**（Propositions）：逐一证明的定理，每个命题包含“设”（given）、“求证”（to prove）和“证”（proof）三部分。

深入分析：欧几里得证明的逻辑力量 以命题1为例：“在一条给定线段上作等边三角形。” 证明过程： 1. 设给定线段AB。 2. 以A为圆心、AB为半径画圆；以B为圆心、BA为半径画圆。两圆交于C点。 3. 连接AC、BC。 4. 由于A为圆心、AB=AC（半径）；B为圆心、BA=BC（半径）。 5. 故AB=AC=BC，三角形ABC为等边。 此证明仅依赖公设3（可画任意半径的圆）和公理1（等于同量的事物彼此相等），完全基于构造和逻辑，不依赖具体测量。这种“从自明前提出发，通过逻辑推导得出新结论”的方法，成为后世科学的范式。

欧几里得《几何原本》的影响远超几何本身。其演绎结构启发了牛顿《自然哲学的数学原理》和斯宾诺莎《伦理学》等著作。然而，其弱点也显而易见：平行公设的复杂性长期引发争议，最终导致非欧几何的诞生。此外，欧几里得的数论卷（VII-IX）将算术建立在几何基础之上（如用线段长度表示数），限制了算术的独立发展。

在亚历山大里亚（Alexandria）时期，阿基米德（Archimedes，约公元前287-212年）将数学的严谨性与物理世界的探索完美结合，被誉为“古代最伟大的数学家”。他的工作涵盖几何、力学、流体静力学和数论。在几何方面，他发展了“穷竭法”（method of exhaustion），这是积分学的雏形。例如，在《抛物线求积法》（On the Quadrature of the Parabola）中，他证明了抛物线弓形面积是其外接三角形面积的4/3。他的方法是：将弓形分割为无穷多个三角形，利用级数求和。他实际使用了“ mechanically ”的方法（想象平衡杠杆）发现结论，再用几何穷竭法严格证明。

技术细节：阿基米德的穷竭法证明 阿基米德证明抛物线弓形面积步骤（简化）： 1. 设抛物线弓形ABC，外接三角形为ABC（顶点为A，底边BC）。 2. 将弓形分割：从A作平行于BC的弦，将剩余两部分再作类似分割，得到一系列三角形，其面积依次为T, T/4, T/16, ...（公比1/4）。 3. 总和为 $T + T/4 + T/16 + \cdots = \frac{T}{1 - 1/4} = \frac{4}{3}T$。 4. 严格证明：假设总面积S ≠ 4T/3。若S > 4T/3，则存在某个N使得部分和超过4T/3，矛盾；若S < 4T/3，则可用穷竭法构造内接多边形面积大于S但小于4T/3，矛盾。故S = 4T/3。 这一方法本质上是几何级数求和与极限思想的结合，比牛顿、莱布尼茨早两千年。

阿基米德在《论球与圆柱》（On the Sphere and Cylinder）中计算了球体积与表面积，得到球体积为 $\frac{4}{3}\pi r^3$，表面积为 $4\pi r^2$。他的推导基于将球视为由无数平行圆盘叠加，并利用杠杆平衡原理（一个思想实验）比较球与圆柱的体积。他要求将他的球体积公式刻在墓碑上，这后来得以实现。

在力学方面，阿基米德提出了杠杆原理：“给以一个支点，我能撬动地球。”（Give me a place to stand, and I shall move the Earth.）他证明了杠杆