生平
阿基米德(Archimedes,约前287—前212)是古希腊最伟大的数学家、物理学家和工程师,被誉为"古代最伟大的天才"。他出生于西西里岛的叙拉古城,父亲菲迪亚斯是一位天文学家。阿基米德曾在亚历山大城求学,师从欧几里得的弟子,此后回到叙拉古城度过了一生。阿基米德的成就跨越数学、物理学和工程学三大领域。在数学方面,他用穷竭法求出了球体积公式和抛物线面积,预见了积分学的思想;在物理学方面,他发现了浮力原理和杠杆原理;在工程方面,他发明了阿基米德螺旋泵和多种军事器械。
阿基米德最著名的轶事是他的"尤里卡"(Eureka)时刻。叙拉古国王怀疑金匠在制作王冠时掺了银子,但又不能破坏王冠来检验。阿基米德在洗澡时发现了浮力原理——物体浸入流体中所受的浮力等于它排开流体的重量。他兴奋地跳出浴缸,赤身裸体地跑上街头,高喊"尤里卡!尤里卡!"(我发现了!)
阿基米德之死同样富有戏剧性,但需要说明:相关情节主要来自后世记载,细节多为传说。公元前212年罗马军队攻陷叙拉古时,他正在沙盘前研究几何图形,被闯入的罗马士兵杀害。流传最广的临终遗言"不要碰我的圆!"(拉丁文 Noli turbare circulos meos!)其实并不见于任何古代史料——普鲁塔克的记载里没有这句话,最早的相关版本来自瓦勒里乌斯·马克西穆斯,只是简单的"我求你,别弄乱这些(沙图)"。"Noli turbare circulos meos"是更晚才润色出来的拉丁名句。可以确定的是:罗马将军马塞勒斯事先下令不得伤害阿基米德,得知其死讯后深感痛惜,并按其遗愿(见下文)为他立了刻有球内切于圆柱图案的墓碑——这一点有西塞罗后来寻访墓碑的记载佐证。
核心贡献
球体积公式
阿基米德最伟大的数学成就之一是推导出球的体积公式:
他使用穷竭法(method of exhaustion)来证明这一公式。穷竭法是积分学的前身——通过内接和外切多边形(或多面体)来逼近曲线围成的面积(或曲面围成的体积)。
阿基米德的证明思路是将球与圆锥和圆柱进行比较。他发现: - 以球的大圆为底、球的直径为高的圆柱,其体积是球体积的 倍 - 球的体积等于以球的大圆为底、球的半径为高的圆锥体积的4倍
用现代积分语言表示:
阿基米德对这一发现极为自豪,遗嘱要求在他的墓碑上刻上球内切于圆柱的图案。
抛物线求积
在《抛物线求积》中,阿基米德证明了抛物线弓形的面积等于同底等高三角形面积的 :
他的证明方法是将弓形分割为无穷多个三角形,然后求几何级数的和:
这是人类历史上第一次用严格的数学方法求出一个曲线围成的面积,比牛顿和莱布尼茨发明微积分早了近两千年。
圆周率的逼近
阿基米德用正多边形逼近法计算圆周率 的值。他用内接和外切正96边形来逼近圆,得到了著名的阿基米德不等式:
即 用现代符号表示:,精确到小数点后两位。
阿基米德的方法是: 1. 从正六边形开始,内接和外切于圆 2. 每次将边数加倍(6→12→24→48→96) 3. 计算每个多边形的周长,得到 的上下界
这个方法的核心思想——用多边形逼近曲线——成为后世计算 的基础,直到微积分的发明才有了更高效的方法。
浮力原理
阿基米德原理:浸入流体中的物体受到向上的浮力,浮力的大小等于物体排开流体的重量。
用数学语言表示:
其中 $\rho{流体}$ 是流体密度,$V{排开}$ 是物体排开流体的体积,$g$ 是重力加速度。这一原理不仅解决了王冠鉴别的问题,还成为流体静力学的基础。现代船舶设计、潜水器原理和密度测量都基于阿基米德原理。
杠杆原理
阿基米德从数学上证明了杠杆原理:在平衡状态下,作用在杠杆两端的力与力臂的乘积相等。
其中 是作用力, 是力臂长度。阿基米德的名言"给我一个支点,我就能撬动地球"体现了他对杠杆原理的深刻理解。虽然这在物理上不可实现(需要一个极其长的力臂),但从数学原理上是完全正确的。
阿基米德螺旋线
阿基米德研究了阿基米德螺旋线——一个点以匀速沿射线运动,同时射线以匀角速度旋转所形成的曲线。其极坐标方程为:
其中 $a$ 是初始半径,$b$ 是螺距。阿基米德用螺旋线来三等分任意角——这是尺规作图无法完成的任务。螺旋线在现代工程中有广泛应用,如螺旋弹簧、唱片纹道和螺旋输送机。
数学方法论
阿基米德的数学方法具有以下特点:
- 力学方法与数学证明的结合:阿基米德常先用力学直觉(如杠杆原理)发现结果,再用穷竭法给出严格证明
- 逼近思想:用已知的简单图形逼近未知的复杂图形
- 反证法:假设结论不成立,构造矛盾
- 无穷过程的有限处理:将无穷级数的求和转化为有限的几何关系
这些方法深刻影响了后世的数学发展,尤其是微积分的发明。
历史背景
阿基米德生活在希腊化时代的黄金时期。亚历山大城是当时的学术中心,但阿基米德选择留在叙拉古城——一个相对较小但富裕的城邦。这种选择使他能够专注于纯粹的数学研究,而不受宫廷政治的干扰。叙拉古城位于西西里岛东海岸,是希腊在西方的重要殖民地。阿基米德的时代正值罗马与迦太基的布匿战争,叙拉古城夹在两大强国之间。阿基米德的军事发明(抛石机、聚光镜、铁爪起重机)帮助叙拉古抵御罗马军队长达三年,但最终未能阻止城破的命运。
思想遗产
阿基米德的遗产体现在多个层面:
- 数学层面:穷竭法是积分学的直接前身,球体积公式和抛物线面积的计算展示了无穷过程的威力
- 物理层面:浮力原理和杠杆原理成为经典力学的基石
- 工程层面:阿基米德螺旋泵至今仍在使用,体现了数学在实际应用中的价值
- 哲学层面:阿基米德证明了数学可以精确描述自然现象,这一信念驱动了整个科学革命
牛顿和莱布尼茨在发明微积分时,明确承认阿基米德是他们的先驱。莱布尼茨说:"凡是深入研究阿基米德工作的人,对于后代天才人物的成就就不会那么惊叹不已了。"
与其他数学家的关系
- 欧几里得:阿基米德在亚历山大城求学时学习了《几何原本》,继承了其严格的证明传统
- 牛顿:牛顿的流数法是阿基米德穷竭法的现代发展
- 莱布尼茨:莱布尼茨的积分符号 源自拉丁语"summa"(求和),与阿基米德的求和思想一脉相承
- 开普勒:开普勒用阿基米德的逼近方法计算葡萄酒桶的体积
- 费马:费马用阿基米德的方法求抛物线和双曲线的面积
跨域连接
- 积分:穷竭法用内接与外切双侧夹逼,因此每一步都同时给出上界与下界。推论是:它自带误差上限,结论可以写成严格不等式而不是"约等于"——这也是为什么古代结果能被后世原样接受,不必推倒重来。代价是每加密一次都得同时算两套多边形,工作量翻倍——严格性在这里是用算力换来的。
- 流体力学:浮力等于排开流体的重量,根源是压强随深度线性增加,上下表面的压力差正比于排开体积。推论是:浮力与物体材质无关,只取决于排开体积与流体密度——判断沉浮要比的是平均密度,而不是"重不重"。
- 滴定分析:滴定用先粗后细的逐步逼近确定终点,并靠空白实验界定系统偏差,思路与双侧夹逼同构。推论是:终点与等当点之间总有一个固定偏差,因此精度上限由指示剂的变色区间决定,而不是由滴定管刻度的细密程度决定。
- 近似算法:近似算法的要害不是"给个差不多的答案",而是给出可证明的比值界。推论是:没有界的启发式不算近似算法,因为无法排除存在任意糟糕的输入——有界与无界的差别,正是夹逼与试凑的差别。
- 宇宙距离阶梯:用近处已标定的尺子去标定更远的尺子,逐级外推,这与用已知多边形逼近未知曲线是同一思路。推论是:任何一级的系统偏差都会整体平移最终结果,所以不同路径给出的数值若不一致,争论必定发生在某一级的标定上。
参考文献
- Archimedes, The Works of Archimedes, T.L. Heath 英译本 (1897)
- E.J. Dijksterhuis, Archimedes (1987)
- Reviel Netz, The Works of Archimedes: Translation and Commentary (2004)
- Sherman Stein, Archimedes: What Did He Do Besides Cry Eureka? (1999)
延伸阅读
- 梁宗巨, 《数学历史典故》, 辽宁教育出版社, 1992
「给我一个支点,我就能撬动地球。」——阿基米德