首页 . 理学 . 科学技术史 . 数学史 . 〔术语和基本概念条目〕

穷竭法

/method of exhaustion/
条目作者程钊

程钊

最后更新 2024-12-05
浏览 503
最后更新 2024-12-05
浏览 503
0 意见反馈 条目引用

古希腊数学家发明的一种用于确定具有弯曲边界的几何图形面积和体积的方法,但“穷竭法”这一名称直到17世纪才出现。

英文名称
method of exhaustion
所属学科
科学技术史

穷竭法的起源可以追溯到安提丰(Antiphon,前480~前411),据一些希腊评论家记载,他在讨论化圆为方问题时曾考虑通过不断增加圆内接正多边形的边数来“穷竭”圆的面积。他进一步认为圆可以看作具有无穷多边的正多边形。安提丰的思想被欧多克索斯(Eudoxus,前408~前355)继承和发展,其结果便是后来常以他的名字命名的穷竭法。虽然欧多克索斯的著作都已失传,但欧几里得的《几何原本》保存了他的主要数学工作,其中的第12卷专门涉及穷竭法的应用。

欧多克索斯的穷竭法实际上包括两方面:先是一系列的“穷竭”步骤,再用“双重归谬法”完成证明。其逻辑依据是《几何原本》第10卷命题1:“设给定两个不相等的量,如果从其中较大的量减去比它的一半大的量,再从所余的量减去比这余量的一半大的量,继续重复这一过程,必有某个余量将小于给定的较小的量。”这个结果现在被称为欧多克索斯原理。以现代的标准来衡量,穷竭法也不失为一种严格的证明方法。

在欧多克索斯之后,对穷竭法作出重要贡献的是阿基米德。他利用穷竭法求出了圆、抛物弓形、椭圆和螺线所围图形的面积,以及球和圆柱的体积。直到积分学产生之前,穷竭法在处理类似问题中一直发挥着重要作用。穷竭法可以视为积分学的先兆。

相关条目

阅读历史

    意见反馈

    提 交

    感谢您的反馈

    我们会尽快处理您的反馈!
    您可以进入个人中心的反馈栏目查看反馈详情。
    谢谢!