窮竭法檢視原始碼討論檢視歷史
| 窮竭法 |
窮竭法的嚴格性是無可挑剔的。這對希臘數學家來說尤為可貴。事實上， 嚴格正是希臘幾何學的精神。窮竭法所完成的證明一般可分為兩個步驟： 首先是一個可稱之為「窮竭」 的逼近程序， 然後用「雙重歸謬法」(double reduetio ad absurdum)完成證明。
簡介
有說布里松(Bryson或Bryso，450 B．C．前後)曾用過「窮竭」一詞 ，但沒有確切的證據，沒有一部古代可靠的權威典籍曾將他的名字與該方法聯繫起來。辛普利休斯(simplicJus，公元6世紀前半葉)曾描述過智人學派的安蒂豐(Antiphon，約430 B．C．)化圓為方的努力， 說他在圓內作一內接正多邊形，然後將邊數加倍得另一正多邊形。繼續此程序， 則圓與正多邊形之間的面積就越來越小， 當面積被窮竭時，他說他就用這種方法在圓內內接了一個正多邊形， 其邊與圓弧相合一致(因為他們很小)， 由於我們可以作與任何正多邊形相等的正方形，因為多邊形已經作得相合於圓，我們將也能得到一個與圓相等的正方形」(SimpEcius語)。安蒂豐就這樣認為自己解決了希臘幾何作圖的三大問題之一一化圓為方。當然，安蒂豐沒有成功是明顯的，可我們從這裡得到的信息卻是模糊的，推測他是受了德謨克利特原子論學派的影響。另外， 所謂「相合一致」 是極為素樸的直覺觀念。事實上， 在此過程中， 多邊形永遠不能與圓相合。無論如何， 這種不斷作內接正多邊形的方式無疑成為後來窮竭法的濫觴。一般認為是歐多克索斯在前人工作的基礎上創造了窮竭法，首次用於數學證明，並取得了最初的成果。歐多克索斯被他的同時代人譽為神明似的人。他的著作沒有流傳下來，所幸歐幾里得將其成果收入了「幾何原本 中。《幾何原本》 第Ⅻ篇中的一些命題是屬於歐多克索斯的。歐多克索斯一掃安蒂豐對割圓的補素模糊甚至是錯誤的觀念， 而將窮竭法建立在無限分割潛在可能性的基礎上。他並沒有使用諸如「無限」 、「(圓與正多邊形) 相合」之類的字眼。正由於此，有的數學史家認為「窮竭法避開了無限這個陷阱」。應該指出，窮竭法所避用的只是實無限罷了，這不僅因為當時缺少處理實無限的手段， 還由於亞里士多德在評述當時數學家的觀點時所說；事實上，他們不需要無限(按指實無限)，也不使用無限。他們只是假定有限的直線能隨意延長而巳。因此， 從證明的需要來說， 只要有這種無限(按指潛無限)也就夠了。歐多克索斯的這種潛無窮觀有其哲學淵源。在希臘哲學中，潛無窮觀念的初次表白是智人學派的安納薩戈拉斯(Anaxagoras，約499 B．C．～427 B．C．)作出的。安氏認為萬物都可以無限地分割，他以抽象的形式分析分割過程，而不管施行此過程的實際上的可能掛，將無限分割看作是潛在地可能宴現的過程。歐多克索斯正是吸收了安氏思想的合理內涵。
評價
如所周知，將積分定義為和的極限是柯西給出的。一般認為他的定義是受到教學上用矩形逼近直線形面積啟發的。至於他是否受到希臘數學家的影響、影響多大我們不得而知。但無論如何， 儘管窮竭法的推證是幾何的而非算術的。但是，窮竭法中並沒有顯示出積分的法則，它只是積分的一種簡單情形。這裡的懸殊是觀念性的，而不僅僅廷詞彙與相對難易的問題 雖然知道一種技巧與將此技巧一般化之間差別不是太大， 但是積分法則是依賴於整套極限理論的， 這是窮竭法所不能企及的。但我們仍然可以說，窮竭法含有原始的積分思想，它的思想巳深深地滲透到了其後的數學中對每個n，都可以算出相應的Sn的值，一方面，隨着n的增大Sn的值，來越接近S。但另一方面，所得的Sn始終都是S的近似值，為了得到S的精確值，使n無限制的增大，從幾何上看，面積Sn的那個多邊形越來越貼近曲邊三角形，即阿基米德所說的窮竭曲邊三角形，從數值上看，Sn無限接近一個確定的數，這個數就是曲邊三角形的面積S，這個數等於1/3,當年，阿基米德就是通過這個方法求得結果。[1]