安蒂豐是希臘的數(shù)學(xué)家、辯論家、政治家．約生于公元前480年，卒于公元前411年．有關(guān)安蒂豐的生平歷來爭論不一，至今沒有確切的定論．安蒂豐是雅典“智人學(xué)派”（有時又稱“哲人學(xué)派”或“詭辯學(xué)派”）的代表人物．智人學(xué)派以教授學(xué)生修辭學(xué)、雄辯術(shù)、文法、邏輯、數(shù)學(xué)、天文等為業(yè)。他們經(jīng)常出入人群眾集會場所，發(fā)表應(yīng)時演說。智人學(xué)派研究的主要目標(biāo)之一是“用數(shù)學(xué)來了解宇宙是怎樣運轉(zhuǎn)的”。
主要研究課題
所謂三大作圖問題：
（1）倍立方——求作一個立方體的邊，使該立方體的體積為給定立方體的兩倍；
（2）三等分任意角——分一個給定的任意角為三個相等的部分；
（3）化圓為方——作以正方形，使其面積與給定圓的面積相等．
成就
安蒂豐在數(shù)學(xué)方面的突出成就是用窮竭法討論化圓為方問題．據(jù)辛普利體斯(Simplicius)記載：安蒂豐先作圓內(nèi)接正四邊形，將其邊數(shù)加倍，得到圓內(nèi)接正八邊形，依次類推，直到正多邊形的邊長小到恰與它們所在的圓周部分重合，就可以完成化圓為方問題．另一學(xué)者瑟米斯蒂厄斯(Themistius)的記載稍有不同，他認(rèn)為安蒂豐是從圓內(nèi)接正三角形開始的，然后連數(shù)依次加倍，最后與圓周重合．該方法的前提條件是注意正多邊形都可化為正方形．這可用畢達哥拉斯(Pythagoras)發(fā)現(xiàn)的面積貼合法來完成．一般認(rèn)為，安蒂豐是發(fā)現(xiàn)窮竭法的鼻祖，經(jīng)過歐多克索斯(歐多克索斯，(C))的修補和擴充，建立了完善的窮竭法原理，即“對于任意兩不等量，若從較大量中減去大于其半的量，再從所余量中減去大于其半的量，重復(fù)這一過程，則所余之量必小于原來較小的量”．事實上，窮竭法已包含近代極限論思想的雛形，故安蒂豐也被認(rèn)為是近代極限論的先驅(qū)．安蒂豐才藝雙全，著作頗豐，流傳下來的將近15部，主要有：《四部曲》、《論真理》、《論和諧》、《政治家》、《夢的解釋》、《避痛術(shù)》等．在宇宙學(xué)方面，曾研究過宇宙的物理結(jié)構(gòu)和天體性質(zhì)．
參考資料 >