标签：#5th century BC in Greece

穷竭法

穷竭法 (; )，有时被误译为“穷举法”，是一种求图形面积的方法，其通过构造一个多边形序列，使这些多边形的面积收敛到所求图形面积。如果这个多边形序列构造得当，那么其第n项的面积与所求图形面积之差在n足够大时便可以小于任意给定正数。因为这个面积差可以任意小，是故该图形面积的可能值便系统性的被该多边形序列中的成员的面积所给出的一系列下界“穷竭”掉了。 穷竭法在应用时一般须诉诸归谬法，后者是反证法的一种形式。具体来说就是，为了求某图形面积，而…