1.2 泰勒斯與證明的誕生：從「知道」到「為什麼」#
一位商人改寫了知識的性格#
泰勒斯（Thales，約前 624–前 546）並不是職業數學家。他是米利都——小亞細亞愛奧尼亞海岸最繁榮的希臘城邦——的商人，據說靠預測橄欖豐收囤積榨油機賺過大錢，也因航海經商到過埃及。希羅多德記載他曾準確預報西元前 585 年 5 月 28 日的日食，並因此阻止了呂底亞與米底的一場戰爭（雙方見日食而罷兵議和）。
這個背景很重要：泰勒斯的世界是商業的世界。商人面對的是陌生人市場、契約糾紛與對手競爭——論證必須讓對方心服，而不是訴諸身分或傳統。希臘城邦的公民大會與法庭，把「當眾論證並接受質疑」變成了日常政治技能。當這種文化撞上埃及與巴比倫的現成數學成果，一件新事情發生了：人們開始要求，每一條幾何法則都必須講出理由。
這就是「證明」的誕生。傳統上歸給泰勒斯的，是一批「被證明」的幾何命題：
- 等腰三角形兩底角相等。
- 對頂角相等。
- 直徑平分圓。
- 直徑所對的圓周角是直角。
- 角邊角判定：兩角與夾邊對應相等的兩個三角形全等。
這些結論巴比倫人與埃及人都「知道」，泰勒斯的貢獻在於把它們從操作變成命題——可以被陳述、被論證、被普遍化。
一個標誌性的證明#
以「直徑所對的圓周角是直角」為例。設圓心為 \(O\)，直徑 \(AB\)，圓上任一點 \(C\)，連 \(OC\)。因為 \(OC = OB = OA\)（皆為半徑），三角形 \(OAC\) 與 \(OCB\) 都是等腰三角形，故
三角形 \(ABC\) 的內角和為
所以 \(\angle A + \angle B = 90^\circ\)，即 \(\angle ACB = 90^\circ\)。
注意這個證明的結構：它從「半徑相等」這個顯而易見的事實出發，一步步邏輯地逼出結論。這是「證明」相對於「驗證」的根本差別——驗證只對量過的圓成立，證明對一切圓成立，包括畫不出來的、無窮多個圓。
graph LR
A[經驗法則<br>巴比倫・埃及] -->|泰勒斯：要求理由| B[幾何命題<br>可論證]
B -->|畢達哥拉斯學派| C[演繹體系<br>命題互相支持]
C -->|歐幾里得| D[公理系統<br>少數出發點推一切]「無用」的哲學姿態#
後世流傳著一則關於泰勒斯的故事：他在夜裡走路抬頭觀星，失足掉進坑裡，被女僕嘲笑「急於知道天上的事，卻看不見腳下」。柏拉圖在《泰阿泰德篇》裡記下這則笑話，用意是替哲學辯護——真正的知識追求恰恰不問當下實用。
亞里士多德《政治學》裡則記載了另一則：有人譏諷哲學無用，泰勒斯便觀天象預知來年橄欖大豐，低價租下所有榨油機，等到收穫季高價轉租，大賺一筆。亞里士多德的結論是：「哲學家不難致富，只是他們的志業不在於此。」
這兩則故事共同勾勒出希臘數學的社會生態：數學開始與「生計」脫鉤，依附於一個新的階層——有閒暇、有公民身分、以論證為榮的知識群體。沒有這個階層，就沒有人有動機去證明一件量地時早已夠用的規則。
思想的後果#
泰勒斯還做了一件哲學上影響深遠的事：他提出「萬物本源是水」，完全不用神話解釋世界。這是第一次，宇宙被當成一個可以用理性理解的秩序。
幾何證明正是這種世界觀的數學化身：表面紛雜的圖形背後，藏著必然的關聯。當畢達哥拉斯接過這條線索、當柏拉圖學園門口寫下「不懂幾何者不得入內」、當歐幾里得把幾何整理成公理系統，他們都在延續泰勒斯開創的信念：
知識的合法性來自論證，而非權威。
四千年來，從法庭到科學期刊，從同行審查到憲政辯論，這個信念塑造了整個現代知識制度。而它的起點，只是幾個關於三角形與圓的、看似平淡的命題。