穷竭法
維基百科,自由的 encyclopedia
穷竭法 (英語:Method of exhaustion; 拉丁語:methodus exhaustionibus),有时被误译为“穷举法”[1][2],是一种求图形面积的方法,其通过构造一个内接(英语:Inscribed figure)多边形序列,使这些多边形的面积收敛到所求图形面积。如果这个多边形序列构造得当,那么其第n项的面积与所求图形面积之差在n足够大时便可以小于任意给定正数。因为这个面积差可以任意小,是故该图形面积的可能值便系统性的被该多边形序列中的成员的面积所给出的一系列下界“穷竭”掉了。
穷竭法在应用时一般须诉诸归谬法,后者是反证法的一种形式。具体来说就是,为了求某图形面积,而将其与第二个图形(该图形可以作“穷竭”式的变形,而使其面积任意接近所求面积)来作比较。证明过程牵涉到先假定所求面积大于第二图形的面积,并证明其伪,接下来假定所求面积小于第二图形的面积,并将其也证伪。