第95頁
除了
2的平方根之外,其他的無理數在特殊的例子裡也曾被與蘇格拉底同時代的狄奧多羅斯研究過,並且曾以更為普遍的方式被與柏拉圖大致同時而稍早的泰阿泰德研究過。德謨克里特寫過一片關於無理數的論文,但是文章的內容我們已不大知道了。柏拉圖對這個題目是深感興趣的;他在以「;泰阿泰德」命名的那篇對話裡提過了狄奧多羅斯和泰阿泰德的作品。在《法律篇》中,他說過一般人對這個題目的愚昧無知是很不光彩的,並且還暗示着他自己之開始知道它也是很晚的事情。它當然對於畢達哥拉斯派的哲學有着重要的關係。
發見了無理數的最重要的後果之一就是攸多克索(約當公元前
408-
355年)之發明關於比例的幾何理論。在他以前,只有關於比例的算數理論。按照這種理論,如果a乘d等於b乘c,則a比b就等於c比d。這種界說,在還沒有有關無理數的幾何理論時,就只能應用於有理數。然而攸多克索提出了一個不受這種限制的新界說,其構造的方式暗示了近代的分析方法。這一理論在歐幾里德的書裡得到了發展,並具有極大的邏輯美。
攸多克索還發明了或者是完成了「窮盡法」,它後來被阿幾米德運用得非常成功。這種方法是對積分學的一種預見。譬如,我們可以舉圓的面積問題為例。你可以內接于一個圓而作出一個正六邊形,或一個正十二邊形,或者一個正一千邊或一百萬邊的多邊形。這樣一個多邊形,無論它有多少邊,其面積是與圓的直徑的平方成比例的。這個多邊形的邊越多,則它也就越接近於與圓相等。你可以證明,只要你能使這一多邊形有足夠多的邊,就可以使它的面積與圓面積之差小於任何預先指定的面積,無論這一預先指定的面積是多麼地小。為了這個目的,就引用了「阿幾米德公理」。這一公理(多少加以簡化之後)是說:假設有兩個數量,把較大的一個平分為兩半,把一半再平分為兩半,如此繼續下去,則最後就會得到一個數量要小於原來的兩個數量中較小的那一個。換句話說,如果a大於b,則必有某一個整數n可以使
2n乘b大於a。
窮盡法有時候可以得出精確的結果,例如阿幾米德所做的求拋物線形的面積;有時候則只能得出不斷的近似,例如當我們試圖求圓的面積的時候。求圓的面積的問題也就是決定圓周與直徑的比率問題,這個比率叫作pi;。阿幾米德在計算中使用了
22/
7的近似值,他做了內接的與外切的正
96邊形,從而證明了pi;小於
3又
1/
7並大於
3又
10/
71。這種方法可以繼續進行到任何所需要的近似程度,並且這就是任何方法在這個問題上所能盡的一切能事了。使用內接的與外切多邊形以求pi;的近似值,應該上溯到蘇格拉底同時代的人安提豐。
歐幾里德——當我年青的時候,它還是唯一被公認的學童幾何學教科書——約當公元前
300年,即當亞歷山大和亞里士多德死後不久的幾年,生活于亞歷山大港。他的《幾何原本》絶大部分並不是他的創見,但是命題的次序與邏輯的結構則絶大部分是他的。一個人越是研究幾何學,就越能看出它們是多麼值得讚歎。他用有名的品行定理以處理品行綫的辦法,具有着雙重的優點;演繹既是有力的,而又並不隱飾原始假設的可疑性。比例的理論是繼承攸多克索的,其運用的方法本質上類似於魏爾斯特拉斯所介紹給十九世紀的分析數學的方法,於是就避免了有關無理數的種種困難。然後歐幾里德就過渡到一種幾何代數學,並在第十捲中探討了無理數這個題目。在這以後他就接着討論立體幾何,並以求作正多面體的問題而告結束,這個問題是被泰阿泰德所完成的並曾在柏拉圖的《蒂邁歐篇》裡被提到過。
歐幾里德的《幾何原本》毫無疑義是古往今來最偉大的著作之一,是希臘理智最完美的紀念碑之一。當然他也具有典型的希臘侷限性:他的方法純粹是演繹的,並且其中也沒有任何可以驗證基本假設的方法。這些假設被他認為是毫無問題的,但是到了十九世紀,非歐幾何學便指明了它們有些部分是可.以
0錯誤的,並且只有憑觀察才能決定它們是不是錯誤。
歐幾里德幾何學是鄙視實用價值的,這一點早就被柏拉圖所諄諄教誨過。據說有一個學生聽了一段證明之後便問,學幾何學能夠有什麼好處,於是歐幾里德就叫進來一個奴隷說:「去拿三分錢給這個青年,因為他一定要從他所學的東西里得到好處。」然而鄙視實用卻實用主義地被證明了是有道理的。在希臘時代沒有一個人會想象到圓錐曲綫是有任何用處的;最後到了十七世紀伽利略才發現拋射體是沿著拋物綫而運動的,而開普勒則發現行星是以橢圓而運動的。於是,希臘人由於純粹愛好理論所做的工作,就一下子變成瞭解決戰術學與天文學的一把鑰匙了。
羅馬人的頭腦太過于實際而不能欣賞歐幾里德;第一個提到歐幾里德的羅馬人是西賽羅,在他那時候歐幾里德或許還沒有拉丁文的譯本;並且在鮑依修斯(約當公元
480年)以前,確乎是並沒有任何關於拉丁文譯本的記.載.。阿拉伯人卻更能欣賞歐幾里德;大約在公元
760年,拜占庭皇帝曾送給過回教哈里發一部歐幾里德;大約在公元
800年,當哈倫.阿爾.拉西德在位的時候,歐幾里德就有了阿拉伯文的譯文了。現在最早的拉丁文譯本是巴斯的阿戴拉德于公元
1120年從阿拉伯文譯過來的。從這時以後,對幾何學的研究就逐漸在西方復活起來;但是一直要到文藝復興的晚期才做出了重要的進步。