2.1 歐幾里得與《原本》：公理方法的誕生#
亞歷山大城：知識的帝國工程#
歐幾里得（Euclid，約前 330–前 275）活動於亞歷山大城，而這座城本身就是幾何的產物。西元前 331 年，亞歷山大大帝在尼羅河口親自選址建城；他死後，部將托勒密自立為王，把亞歷山大城建成希臘化世界的首都。托勒密一世與二世投入巨資興建博物館（Museum，字義為「謬斯女神的神殿」）與圖書館，重金網羅各地學者，據說藏書數十萬卷，是史上第一個由國家供養的大型科研機構。
這個制度安排意義重大。雅典的知識生活依附於學園與公民閒暇；亞歷山大城則把知識生產變成國家事業：有薪俸、有食堂、有整理全人類文獻的任務。希臘各邦三百年積累的幾何成果，就這樣被匯流到同一座圖書館裡——而歐幾里得的《原本》（Elements），正是這場大匯流的結晶。
《原本》：人類史上再版次數僅次於聖經的書#
《原本》十三卷、四百六十五個命題，從 5 條公設與 5 條公理出發，涵蓋平面幾何、比例論、數論、不可公度量與立體幾何。它幾乎沒有原創新定理——材料主要來自泰勒斯、畢達哥拉斯學派、歐多克索斯與西奧多羅斯——它的原創性在於結構：
一切命題都從極少數出發點邏輯地推出，沒有一個結論依賴圖形的「看起來像」。
開篇的出發點選擇極見分寸：
- 過兩點可作一直線。
- 直線可無限延長。
- 以任一點為心、任意距離可作一圓。
- 凡直角皆相等。
- （第五公設）同平面內一直線與兩直線相交，若同側內角和小于兩直角，則兩直線延長後在該側相交。
以及五條公理（適用於一切量的共同觀念）：等量加等量其和相等、等量減等量其差相等、可重合者相等、等等。而第 5 條公設行文冗長、內容複雜，與前四條「自明而簡潔」的氣質格格不入——這顆種子將在兩千年後長成非歐幾何（第 4 章詳述）。
《原本》的示範性證明至今仍被傳頌。第一卷命題 47 是畢氏定理的「風車圖」證明：在直角三角形三邊上作正方形，用面積拼接證出 \(a^2 + b^2 = c^2\)。而數論卷中證明「質數無窮多」的方式更是典範——設質數只有 \(p_1, \dots, p_n\)，考慮 \(N = p_1 p_2 \cdots p_n + 1\)，它除以任何已知質數都餘 1，故其質因數不在名單之中，矛盾。
為什麼公理方法誕生在希臘化世界#
把《原本》放回歷史脈絡，可以看到多股力量的匯聚：
| 因素 | 貢獻 |
|---|---|
| 城邦辯論文化 | 要求論證可公開檢驗（源自泰勒斯時代） |
| 不可公度危機 | 逼出嚴格基礎與歐多克索斯比例論 |
| 亞里士多德邏輯學 | 提供公理—演繹的理論框架 |
| 托勒密王朝的圖書館制度 | 匯集、整理、供養學者 |
換言之，《原本》不是天才的孤立靈光，而是思想傳統、基礎危機與帝國制度的合流產物。沒有亞歷山大城的圖書館，也許仍會有幾何學，但不會有「以一本書統攝全部幾何」這種範式。
兩千年的教科書與思維模板#
《原本》對後世的影響遠超數學。托勒密王朝用它教育王子；阿基米德、阿波羅尼奧斯在其框架內繼續推進；羅馬帝國、拜占庭、伊斯蘭世界（九世紀被譯為阿拉伯文，成為花剌子模等人的養分）、中世紀歐洲（十二世紀譯拉丁文）、印刷術問世後（1482 年威尼斯首印），《原本》一直是幾何教科書。二十世紀初，英國中小學還在教「歐幾里得」——書名成了科目名。
更深遠的是它提供的思維模板：從定義與公理出發、逐步演繹。牛頓《原理》用幾何公理方式寫力學；斯賓諾莎《倫理學》模仿《原本》以「命題—證明—繫理」寫哲學；美國《獨立宣言》開篇「我們認為這些真理是不言自明的」，正是公理方法的修辭。林肯自傳裡說他自學《原本》以訓練論證能力。
這也解釋了為什麼挑戰《原本》如此艱難：非歐幾何的誕生，不只推翻一條公設，更是推翻兩千年「歐氏空間即唯一空間」的制度化信仰。
歐幾里得的身影#
關於歐幾里得本人，可信的傳記幾乎不存在，流傳的是兩則軼事。托勒密王問他有沒有學幾何的捷徑，他答：「幾何學中沒有王者之路。」有學生學了第一個命題便問學這個能得到什麼，歐幾里得叫奴隸給他一枚錢幣：「因為他想在學習中撈取實利。」兩則軼事未必屬實，卻精準傳達了亞歷山大學派的精神：知識以論證為本，不以權位或實利為準。