4.1 第五公設：一條平行線折磨數學界兩千年#
混在公理裡的疑點#
歐幾里得《原本》的出發點中，前四條公設簡潔自明：過兩點作直線、線可延長、作圓、直角全等。第五條卻完全不同：
同一平面內，一直線與兩直線相交，若某一側的內角和小於兩直角，則兩直線經無限延長後在該側相交。
它冗長、否定式、涉及「無限延長」這個不可完成的操作。連歐幾里得自己似乎都對它存疑：《原本》第一卷的前 28 個命題——所有不需平行線的定理——刻意繞開了它，直到命題 29（同位內角互補則兩線平行）才第一次動用。第五公設像家裡被刻意少提的一位長輩，所有人心知肚明它不夠體面。
另一條被視為等價替代的表述出自《原本》第一卷第 31 題的證明，後經蘇格蘭編輯普萊費爾（John Playfair, 1795）定型為教科書標準版：
過直線外一點，至多有一直線與原直線平行。
「至多」若改為「恰有一條」，就是歐氏幾何；若允許「沒有」或「不止一條」，就通向球面幾何與雙曲幾何。兩千年的戰場，就藏在一個詞裡。
兩千年的證明史#
從古希臘到近代，幾乎每個一流數學家都嘗試過「清理」第五公設——把它從其他公理證出來，讓它降格為定理。
| 時代 | 人物 | 貢獻與局限 |
|---|---|---|
| 前 3 世紀 | 托勒密 | 試圖證明，暗中假設了等價命題 |
| 2 世紀 | 普羅克洛斯 | 注釋中指出托勒密循環論證，自己也用了等價假設 |
| 9–13 世紀 | 伊本·海賽姆、奧馬爾·海亞姆、納西爾丁·圖西 | 伊斯蘭數學家系統研究，海亞姆引入薩開里四邊形原型 |
| 1733 | 薩開里《歐幾里得無懈可擊》 | 反證法先驅：否定第五公設推出尖角/直角/鈍角假說，證明時暗中求助於直觀 |
| 1766 | 蘭伯特《平行線理論》 | 走得更遠：發現否定第五公設下三角角和小於 180°，且與面積成正比——已摸到非歐幾何門檻 |
| 1794 | 勒讓德 | 多年嘗試，屢屢在關鍵處引入等價假設 |
這段歷史的模式高度一致：每個證明者都在某處不自覺地使用了與第五公設等價的斷言（如「過線外一點只能作一條垂線」「相似而不全等的三角形存在」）。等價命題像九頭蛇，砍掉一個又冒出來。
為什麼這麼難？哲學的枷鎖#
技術困難之外，還有一層思想枷鎖。從亞里士多德到康德，主流哲學把歐氏空間視為唯一的、必然的空間。康德在《純粹理性批判》（1781）中把歐氏幾何定位為「先驗綜合判斷」——人類感知形式先於一切經驗地決定了空間必是歐氏的。這不是哲學家的偏見，而是當時的常識：物理空間「看起來就是」歐氏的，測量、建築、航海無一例外。
在這種氛圍下，「另一種幾何」不只是數學錯誤，而是語無倫次——是對直觀本身的背叛。薩開里在導出許多「怪異」結論後宣告它們「與直線的本性相牴觸」，收工。他不是缺乏能力，而是缺乏許可：時代的哲學沒有給「兩種幾何同樣自洽」留出概念空間。
值得注意的是知識社會學的轉折：十八世紀末，數學的權威重心從哲學移向可操作的數學結構本身。高斯這一代人已習慣於「定義一個系統，檢查其自洽性」的思考方式——這正是畫法幾何、射影幾何等「人造幾何」在工程教育中合法化後帶來的習慣。觀念的土壤翻鬆了，種子才能發芽。
圍城將破#
到 1800 年，第五公設問題已積累了大量半成品：等價命題清單、薩開里的三假說、蘭伯特的面積—角和公式、勒讓德的失敗筆記。距離答案只差最後一步的心理跨越——不再問「它能否被證明」，而問「如果它不被證明，會得到什麼樣的幾何」。
歷史將把這一步同時交給三個人：一位德國王子（不敢發表）、一位俄國中學校長（被冷落至死）、一位匈牙利軍官（被父親警告別碰這個無底洞）。下一節講他們的故事。