摘要：在数学发展史上，"穷竭法"(Method of Exhaustion)占据着特殊地位——它是微积分诞生之前最接近"极限思想"的系统方法，也是古代数学家解决面积与体积计算问题的重要工具。

在数学发展史上，"穷竭法"(Method of Exhaustion)占据着特殊地位——它是微积分诞生之前最接近"极限思想"的系统方法，也是古代数学家解决面积与体积计算问题的重要工具。

穷竭法最早由公元前 5 世纪的古希腊学者安提丰（Antiphon）提出，但真正使之成为严谨方法的是古希腊数学家欧多克索斯（Eudoxus），他利用严密的逻辑推理，将一系列更简单的多边形不断地逼近更复杂的图形。

欧多克索斯证明，如果多边形的边数无限增加，那么多边形的面积与目标图形的面积之差就会变得小到任意程度，也就是说，可以“穷竭”图形的面积。这一方法后来被欧几里得（Euclid）写进了举世闻名的著作《几何原本》中，成为古希腊数学的重要基石。

欧几里得在《几何原本》第 12 卷中就使用穷竭法证明了六个重要命题。

尽管欧多克索斯的穷竭法已经十分严谨，但真正让这一方法大放光彩的，是古希腊的阿基米德（Archimedes）。

阿基米德用穷竭法取得了一系列令人惊叹的成果。他通过在圆内外分别作正多边形，逐渐增加其边数，从而给出了圆周率的精确上下界：

这个结果在那个年代无疑是惊人准确的。更为重要的是，他通过这种方法证明了圆的面积公式：圆的面积等于半径的平方乘以圆周率，即耳熟能详的公式 πr²。除此之外，他还用类似的方法研究了抛物线、椭圆、球体等曲线和立体的面积和体积，展现了穷竭法的巨大威力。

阿基米德的穷竭法本质上是一种“反证法”：假设待求的面积比多边形的面积大一点或小一点，然后证明这种假设会导致矛盾。通过排除所有不可能的情况，便能得出唯一正确的结论。

公元 263 年，我国三国时期数学家刘徽也独立地提出了类似穷竭法的想法，称之为“割圆术”，他巧妙地利用多边形逼近圆形，逐渐增加边数，成功计算出精度更高的圆周率值。

这种东西方数学思想的相似性，体现出人类文明在面对相似问题时所展现出的共通智慧。

1647 年，圣文森特·格列高利在 《Opus geometricum quadraturae circuli et sectionum》一书中首次使用了「穷竭法」这一术语。

尽管穷竭法取得了辉煌的成果，但它也暴露出明显的局限性：每次运用穷竭法，都需要繁琐的几何作图和复杂的逻辑推理。更关键的是，穷竭法本身并没有提供一个通用的计算工具，而仅仅是一种间接证明的方法。

到了 17 世纪，随着笛卡尔创立了解析几何和牛顿、莱布尼茨创立了微积分，人类终于找到了更为强大的工具。这些新工具使数学家不必再通过复杂的几何推理，而可以通过数学语言——函数与极限，来解决过去只能用穷竭法解决的难题。

事实上，微积分的极限概念，正是对穷竭法思想的延续与深化。当我们用微积分计算圆的面积时，实际上就是将图形无限细分成无数个无限小的“元”，再将它们的面积相加。这种思想正是穷竭法的现代形式。可以说，穷竭法是微积分理论诞生之前一个必不可少的阶梯。

最后，附上一张网络上流传的趣图，考虑这种方法下看起来越来越“像圆”，结果 π=4？欢迎评论区留言你对这个问题的看法！

来源：遇见数学