热门问题
时间线
聊天
视角
窮竭法
来自维基百科,自由的百科全书
Remove ads
窮竭法 (英語:Method of exhaustion; 拉丁語:methodus exhaustionibus),有時被誤譯為「窮舉法」[1][2],是一種求圖形面積的方法,其通過構造一個內接多邊形序列,使這些多邊形的面積收斂到所求圖形面積。如果這個多邊形序列構造得當,那麼其第n項的面積與所求圖形面積之差在n足夠大時便可以小於任意給定正數。因為這個面積差可以任意小,是故該圖形面積的可能值便系統性的被該多邊形序列中的成員的面積所給出的一系列下界「窮竭」掉了。
窮竭法在應用時一般須訴諸歸謬法,後者是反證法的一種形式。具體來說就是,為了求某圖形面積,而將其與第二個圖形(該圖形可以作「窮竭」式的變形,而使其面積任意接近所求面積)來作比較。證明過程牽涉到先假定所求面積大於第二圖形的面積,並證明其偽,接下來假定所求面積小於第二圖形的面積,並將其也證偽。
Remove ads
歷史

此法思想始自公元前5世紀的安提豐,雖然不很清楚他對此法理解到什麼程度[3]。數十年後,這個理論由歐多克索斯加以嚴格化,用以計算面積和體積。此法於公元3世紀被中國的劉徽重新發明,用以計算圓面積[4]。「窮竭法」這個名稱是由Grégoire de Saint-Vincent於1647年在其著作《求圓與圓錐曲線的面積》(Opus geometricum quadraturae circuli et sectionum coni)中首次使用。
窮竭法被看作微積分方法的先導。解析幾何與積分學在17世紀至19世紀的發展涵蓋了窮竭法,所以此法不再被顯式的運用。另一個重要的發展是Cavalieri原理,亦稱作「不可分量法」,再進一步便引至Roberval, 托里拆利, Wallis, 萊布尼茨等人的無窮小量演算(infinitesimal calculus),即標準微積分學的前身。
Remove ads

阿基米德使用窮竭法來計算圓周所圍住的面積,具體說來就是用一個面積越來越大,邊數越來越多的多邊形來填充這個圓。當多邊形的邊數越來越多時,其面積與圓半徑的平方之商可以任意接近π,由此證明半徑為r的圓周所圍面積為πr2,其中π定義為圓的周徑之比(C/d)或圓面積與半徑平方之比(A/r²).
他還通過比較圓內接和外切正96邊形的周長而給出上下界估計 3 + 10/71 < π < 3 + 10/70 (此區間之寬度為 1/497).
他用窮竭法獲得的其它結果包括:[11]
參見
- The Method of Mechanical Theorems
- The Quadrature of the Parabola
- 梯形公式
參考文獻
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads