阿基米德（Ἀρχιμήδης / Archimedes of Syracuse）

古典时代最伟大的数学家与力学家——用穷竭法丈量曲边形、用平衡法窥见积分、用几何公理奠基静力学，其严谨与巧思在古代无出其右。

一、生平与时代背景

阿基米德于公元前 287 年生于西西里岛东南的希腊城邦叙拉古（Syracuse）。我们对其家世的唯一可靠信息来自他自己：在《数沙者》（The Sandreckoner）中，他提到父亲菲狄亚斯（Phidias）是一位天文学家，除此之外家世无载。友人赫拉克利德斯（Heracleides）曾为他写过传记，可惜全书散佚，否则我们对他生平的了解将大为改观。

青年时期，阿基米德极可能赴亚历山大城，在欧几里得的后继者门下学习——这一推断虽无直接传记佐证，但有两个强证据：其一，他对亚历山大城发展出的数学极为熟稔；其二，他与当地数学家有私人交往，并把自己的成果附亲笔信寄往亚历山大。他尤其推崇萨摩斯的科农（Conon of Samos），视其为密友与一流数学家。在《论螺线》的序言里，他讲述了一则趣事：他习惯把最新定理的命题（不给证明）寄给亚历山大的朋友，结果有人冒认这些成果为己出，于是他在最后一次寄去的定理里故意掺了两条假命题，好让"声称无所发现、却拿不出证明的人"现形。

据普鲁塔克（Plutarch）记载，阿基米德与叙拉古国王希伦二世（Hieron II）有亲缘或至少是挚友关系，《数沙者》即题献给希伦之子革隆（Gelon）。他的大部分生涯在叙拉古度过，沉浸于纯几何。他生前的名声却主要不来自数学，而来自各种机械发明——尤其是罗马将领马塞卢斯（Marcellus）于公元前 213—前 212 年围攻叙拉古时，他设计的守城机械（投石机、抓船"铁爪"等）给罗马人造成惨重损失。普鲁塔克转述，这些机械本是应国王之请、把"几何思辨"付诸实用的"游戏之作"，阿基米德本人却鄙视工程，认为唯有纯粹数学值得追求。

公元前 212 年叙拉古城破，阿基米德被一名罗马士兵杀死，尽管马塞卢斯曾下令保全他。关于他临终的细节（"不要动我的圆"——Noli turbare circulos meos）出自数百年后的罗马作家瓦勒里乌斯·马克西穆斯（Valerius Maximus），属后世附会，存疑。他的墓碑上据其遗愿刻了"球与其外接圆柱"的图形，以纪念他最珍视的结果；西塞罗（Cicero）于公元前 75 年在西西里做财政官时，曾在荆棘中找到并修葺这座被遗忘的墓。

二、学术生涯年表

阿基米德著作的绝对写作年份多不可考，下表顺序大体依据希思（T. L. Heath）的考证重建，不确定处标「约」。

三、核心成果（逐条技术解析）

1. 穷竭法求抛物线弓形面积

问题背景：如何求一条抛物线与任意弦所围"弓形"的面积？这是古希腊"求积"（quadrature，即把曲边形化为等积正方形/直边形）的核心难题之一。

关键思想：阿基米德在《抛物线求积法》中给出了两种证明。先在弓形内作一个以弦为底、顶点在抛物线上的内接三角形（其顶点取与弦平行的切线的切点），然后在两个小弓形内再作内接三角形，如此无限分割。每个新三角形的总面积是前一级的 $1/4$，于是总面积构成等比级数。

精确表述：抛物线弓形的面积等于与它同底等高的三角形面积的 $4/3$。用现代记号，若内接三角形面积为 $T$，则弓形面积 $$A = T + \frac{1}{4}T + \frac{1}{4^2}T + \cdots = T\sum_{n=0}^{\infty}\frac{1}{4^n} = \frac{4}{3}T.$$ 阿基米德并未真正取无穷和（希腊数学回避实无穷），而是用穷竭法：假定 $A \neq \frac{4}{3}T$，取足够多项使余项小于 $|A-\frac{4}{3}T|$，导出矛盾——这是严格的双重归谬（reductio ad absurdum）。

与前人关系：穷竭法由欧多克索斯（Eudoxus）创立、欧几里得在《几何原本》第 12 卷使用；阿基米德把它推到前所未有的精度与广度。

局限性：此法依赖具体几何图形，每次都要为新图形重新构造逼近与归谬，没有形成通用算法（这要等到积分学）。

2. 球的体积与表面积（他最珍视的结果）

问题背景：球的体积/表面积与简单几何体（圆柱、圆）的定量关系。

关键思想：在《论球与圆柱》第一卷中，他把球与外接圆柱比较。

精确表述： - 球的表面积等于其大圆面积的 4 倍：$S = 4\pi r^2$（"任何球的表面积是其上最大圆的四倍"）。 - 球的体积等于其外接圆柱体积的 $2/3$；外接圆柱高为 $2r$、底半径 $r$，故 $$V_{\text{球}} = \frac{2}{3}\cdot \pi r^2 \cdot 2r = \frac{4}{3}\pi r^3.$$ - 球的表面积（含两个底面的）外接圆柱表面积也成 $2/3$ 之比。

与前人关系：德谟克利特曾给出锥体体积为等底等高柱体的 $1/3$（未证明），欧多克索斯证明了它；阿基米德把这套思想用于球，是其穷竭法的巅峰。

局限性：严格证明极其繁复，依赖巧妙的几何不等式；他在《方法论》中其实先用"平衡法"猜出了 $2/3$ 这个比例，再用穷竭法补出严格证明（见下）。

3. 圆周率 $\pi$ 的上下界

问题背景：求圆周长与直径之比的精确范围。

关键思想：在《圆的度量》中，用圆的内接与外切正多边形逼近圆周。从正 6 边形出发，反复倍边到正 96 边形，并需精确估计每步出现的平方根。

精确表述： $$\frac{223}{71} < \pi < \frac{22}{7},$$ 即 $3.1408 < \pi < 3.1429$。其中 $22/7$ 成为沿用两千年的"约率"，$223/71$ 是一个被低估的紧下界。他还顺便给出 $\sqrt{3}$ 的近似：$\frac{1351}{780} > \sqrt{3} > \frac{265}{153}$（这两个分数的来由至今是数学史上的小谜）。

与前人关系：此前只有粗略估值（巴比伦 $3\frac{1}{8}$、埃及、中国"周三径一"），阿基米德首次给出可证明的严格区间。

局限性：本质是线性逼近，收敛慢；但方法论上首创"上下界夹逼"，对后世数值分析影响深远。

4. 阿基米德螺线

问题背景：一条射线绕端点匀速旋转、同时一点沿射线匀速外移所描出的曲线。

关键思想：在《论螺线》中定义并研究其切线与面积。螺线极坐标方程为 $r = a\theta$（现代形式）。

精确表述： - 螺线第一圈与初始线所围的面积，等于以第一圈终点的极径为半径的圆面积的 $1/3$。 - 他给出了螺线切线的作法（等价于求导 $dr/d\theta = a$ 的几何版本），是古代少数触及"变化率/切线"问题的工作之一。

与前人关系：此曲线通常认为由阿基米德本人或其友人科农引入（科农先研究，阿基米德系统发展），发现者归属存疑，但系统理论出自阿基米德无疑。

5. 杠杆原理与重心——静力学的公理化

问题背景：把力学建立为与几何同样严格的演绎科学。

关键思想：在《论平面图形的平衡》中，他从几条公理（如"等重物在等臂距上平衡"）出发，演绎证明杠杆定律，并发展出"重心"概念。

精确表述： - 杠杆平衡条件（现代形式）：$F_1 \cdot L_1 = F_2 \cdot L_2$。 - 求出了平行四边形、三角形、梯形以及抛物线弓形的重心位置（后者在第二卷）。

与前人关系：杠杆的经验知识古已有之，但把它公理化、并引入可计算的"重心"，是阿基米德的创举。据传他对希伦二世说"给我一个支点，我能撬动地球"——此语出自普鲁塔克转述，真伪存疑，但准确传达了他的力学精神。

6. 浮力定律——流体静力学奠基

问题背景：浮体的平衡条件。

关键思想：在《论浮体》（两卷）中，他把流体内任一点的压强视为由上方液体柱产生，从而推导浮体受力。

精确表述（阿基米德原理）：浸在液体中的物体受到向上的浮力，其大小等于它所排开液体的重量。他据此研究了不同比重、不同形状物体（尤其是抛物面旋转体一段）的浮态稳定性，判定其在液体中的姿态。

与前人关系：流体静力学在此之前基本是空白；阿基米德是这门学科的创立者。"尤里卡（Eureka，我找到了）！裸奔叙拉古街头"的传说出自罗马工程师维特鲁威（Vitruvius），讲他据此检验希伦王的金冠是否掺银——属后世传说，无更早史料佐证，但其原理本身可靠。

7. 《方法论》：平衡法——积分思想的远古先声

问题背景：阿基米德是如何"猜"出那些复杂结果（如球体积 $2/3$）的？

关键思想：1906 年发现的《方法论》揭开谜底——他先用"机械法"（平衡法）发现结果：把图形切成无数平行薄片，在想象的天平上把一片对一片地称量，与已知图形比较，从而猜出面积/体积之比；然后再用穷竭法给出严格证明。他自己明确说：机械法"不能算真正的证明"，但"先有了这种知识，再补证明就容易得多"。

精确表述：例如求球体积时，他把球、圆锥、圆柱的薄片放在杠杆两端，证明若把球和圆锥的薄片都移到某一固定点，则与圆柱在原位置平衡，从而推出 $V_{\text{球}} : V_{\text{外接圆柱}} = 2:3$。这已经是"分割—求和—取极限"的积分学雏形，其中甚至隐现了对无穷小量的操作。

与前人关系：这是古希腊与近代微积分之间最近的一次接触。17 世纪的开普勒、卡瓦列里、费马、莱布尼茨、牛顿正是沿着这条"不可分/无穷小"路线前进的——沙勒（Chasles）说阿基米德的积分工作"孕育了后来由开普勒、卡瓦列里、费马、莱布尼茨和牛顿发展完善的无穷演算"。

局限性：阿基米德本人把平衡法仅当作启发工具，从未承认它是严格证明；这一自我设限使他（及希腊数学）未真正跨进微积分。

8. 大数表示法（《数沙者》）

问题背景：希腊记数字面难以表达极大数；当时甚至有人认为沙粒数是不可数的无穷。

关键思想：在《数沙者》中，阿基米德构造了以"阶（order）"与"周期（period）"为基础的进位系统：第一阶到 $10^8$，所有第一阶的数构成第一周期……理论上可表至 $(10^8)^{10^8} = 10^{8\times 10^8}$ 量级。

精确表述：他估计填满"整个宇宙"（采用阿里斯塔克的日心模型估算宇宙半径）所需沙粒不超过 $10^{63}$ 量级，从而证明即便是宇宙沙粒数也是有限可数的。

额外价值：书中顺带记录了阿里斯塔克（Aristarchus）的日心说、欧多克索斯与父亲菲狄亚斯的天文参数，是重要的天文学史料。

四、代表著作与文献

以下均以希腊文传世（除注明），现代权威英译本为希思（T. L. Heath）编订本：

• 《论平面图形的平衡》（On the Equilibrium of Planes，两卷）：静力学公理、杠杆定律、重心。
• 《抛物线求积法》（Quadrature of the Parabola）：弓形面积的机械证明与穷竭证明。
• 《论球与圆柱》（On the Sphere and Cylinder，两卷）：球体积/表面积、球的比例分割；作者自许的代表作。
• 《论螺线》（On Spirals）：阿基米德螺线的切线与面积。
• 《论锥型体与球型体》（On Conoids and Spheroids）：旋转体体积，部分严谨性曾被质疑（现代研究认为是后人重构的问题）。
• 《论浮体》（On Floating Bodies，两卷）：浮力定律与浮体稳定性，希腊文大部散佚，主要靠中世纪拉丁译本传世。
• 《圆的度量》（Measurement of a Circle）：$\pi$ 的上下界，仅余残卷。
• 《数沙者》（The Sandreckoner）：大数系统与宇宙沙粒估计。
• 《方法论》（The Method of Mechanical Theorems）：本已失传，1906 年由海贝尔在君士坦丁堡的 10 世纪重写本（阿基米德重写本）中重新发现；揭示其发现定理的机械法。1998 年重写本入藏美国沃尔特斯艺术博物馆，经多光谱/X 射线荧光成像后又释读出《方法论》命题 14 等新内容。
• 失传著作（仅存书目/引文）：论半正多面体（"阿基米德多面体"，帕普斯引）、《论天平与杠杆》（帕普斯引）、论镜子（塞翁引）等。

五、师承、学派与同时代交往

• 师承：无明确名师记录，但极可能是欧几里得后继者的学生（亚历山大城），精通欧几里得几何与欧多克索斯的穷竭法。此为学界主流推断，非确证。
• 学派归属：不属于任何哲学学派（不是柏拉图学园、不是斯多亚），是独立的"亚历山大数学传统"代表，与叙拉古宫廷关系密切。
• 同时代交往：
• 萨摩斯的科农：最敬重的朋友与数学家，成果多寄给他；科农去世后，他改寄给亚历山大的多西修斯（Dositheus）和佩尔格的阿波罗尼奥斯。
• 叙拉古国王希伦二世、王子革隆：题献对象与赞助人。
• 阿波罗尼奥斯：略晚辈，通信同行；阿基米德去世时（前 212）阿波罗尼奥斯约 50 岁。
• 同时代学者：埃拉托色尼（任亚历山大图书馆馆长，长其约 11 岁）、阿里斯塔克（日心说）、欧几里得（前一代，其《原本》是阿基米德的知识起点）。

六、争议、公案与历史评价

• "尤里卡"裸奔与金冠案：见于维特鲁威《建筑十书》（约前 1 世纪末），是最著名的阿基米德传说，但无更早一手史料，属"有原理、无确证"的典故。
• "撬动地球"名言：见于普鲁塔克，真伪存疑，但符合其力学思想。
• 临终"不要动我的圆"：见于瓦勒里乌斯·马克西姆斯（公元 1 世纪），后世附会。
• 《方法论》的发现与归属：1906 年海贝尔的发现改写了数学史；但重写本的所有权曾引发希腊东正教会与佳士得的诉讼（1998—1999），最终裁定归私人买家所有、寄存于博物馆。
• 严谨性质疑：《论锥型体与球型体》个别步骤曾被认为不够严谨，现代研究（如 Dijksterhuis）倾向认为是文本重构问题而非阿基米德本人的疏漏。
• 历史评价：大多数数学史家把他与牛顿、高斯并列为史上最伟大的三位数学家。希尔伯特称赞其"在数学史上独占鳌头"；希思称其著作"无例外都是数学论述的丰碑"。罗马时代的人却更看重他的机械发明——这本身是一则关于理论与应用之张力的古代注脚。

七、身后影响与学术谱系

• 对微积分：穷竭法与平衡法直接启发了 17 世纪的"不可分法"（卡瓦列里）、求积术（费马、沃利斯），最终汇入牛顿—莱布尼茨的微积分。微积分基本定理的远古先驱地位，阿基米德当仁不让。
• 对静力学/流体静力学：其著作在伊斯兰世界与文艺复兴被反复注释（塔塔利亚、圭多、蒙特等翻译出版），直接催生近代力学。
• 对数值计算：$\pi$ 的夹逼法成为后世两千年算 $\pi$ 的基本范式（刘徽、祖冲之的割圆术与之异曲同工）。
• 对工程：阿基米德螺旋泵（提水装置）至今在世界各地使用；复合滑轮原理沿用至今。
• 文化符号："阿基米德"成了"天才顿悟"的代名词；月球有阿基米德环形山；国际数学联盟颁发的数学领域最高奖之一莱布尼茨奖/阿贝尔奖之外，亦有以他命名的"阿基米德奖"等。

八、延伸阅读与权威来源

• MacTutor 数学史档案：Archimedes of Syracuse：圣安德鲁斯大学权威传记，本档案主要史实出处。
• Dictionary of Scientific Biography — Archimedes (PDF)：科学史权威传记条目（MacTutor 托管）。
• Wikipedia: Archimedes：交叉核对生平与著作流传。
• The Walters Art Museum — Archimedes Palimpsest：重写本的发现、拍卖与现代成像研究（含《方法论》命题 14 新释读）。
• Wikipedia: Archimedes Palimpsest：重写本流传、所有权诉讼与研究史。
• Britannica: Archimedes：百科条目交叉核对。
• T. L. Heath, The Works of Archimedes (Cambridge, 1897; Dover 重印本)：标准现代英译本与评注。
• E. J. Dijksterhuis, Archimedes (Princeton, 1987)：现代经典研究专著，技术细节最详。