歐幾里得多想證出來的那一條公設
到現在，你已經完成了前四篇的硬功夫。你看著歐幾里得的 《幾何原本》 冒出一個個小漏洞，你在 希爾伯特公設 上重建了幾何，你弄懂了 一致性 與 獨立性 真正的意思，還花了整整一篇待在 中性幾何 裡——也就是在你對平行下任何承諾之前所能證明的每一條定理。這一篇要談的，正是你刻意留在外面的那一句：平行公設，歐幾里得那條惡名昭彰的第五公設。
歐幾里得自己的措辭笨拙，你甚至能從中感覺到他的不安。大致是：若一條 截線 跨過兩條直線，使得同一側的兩個內角加起來小於 180 度，那麼這兩條線延長得夠遠後，會在那一側相交。它很長，它談的是某件發生在任意遠處的事，而且讀起來更像一條定理、而非不證自明的真理。歐幾里得顯然也有同感——他能不用就不用，硬是在不靠它的情況下證出了前二十八個命題。
普萊費爾：你真正被教過的那個版本
幾乎沒有人會照歐幾里得的方式陳述這條公設。那個乾淨的版本——每本學校課本裡的那個——是 普萊費爾公設：給定一條直線與線外一點，過該點恰好有一條直線與給定直線平行。慢慢念，注意它一次做了兩個主張——這樣的平行線至少有一條存在，而且至多只有一條。這種雙重性質是整篇的關鍵。
接下來這一點會讓人意外。平行線的存在——至少一條——是中性幾何的一條定理；你不需要平行公設就能得到它。從該點對直線作一條 垂線，再在該點作一條垂直於那條垂線的直線，「兩條垂直於同一直線的線」這個作法就給了你一條永不與原線相交的直線。所以無論身處平坦或彎曲，大家都同意平行線存在。平行公設真正替你買到的是後半句：唯一性，那個字——恰好。整場非歐幾何的爭吵，就活在這一個字裡。
若你保留中性幾何並加上普萊費爾，你得到普通的平坦歐氏幾何。若你保留中性幾何，卻改為主張：過該點有無窮多條直線與給定直線不相交，你得到 雙曲幾何——每條定理依舊嚴謹，只是換了一個世界。而若你把中性幾何稍作更動，使得沒有任何直線會與給定直線不相交（任兩線必相交），你得到 橢圓幾何，也就是球面的那一族表親。一條公設，換三種方式，三套完整的幾何。
偽裝：十幾句命題，一個祕密
讓這個主題美麗的地方在於：這條公設披著許多戲服。許多你絕不會把它跟平行扯上關係的熟悉事實，竟然與它恰好等價——意思是：先承認中性幾何，那麼每一句都能推出這條公設，而這條公設也能推出每一句。它們同生共死。下面是同一條隱藏公設最著名的幾張臉。
All equivalent (assuming neutral geometry): Playfair through P, exactly one line parallel to a given line Triangle sum the angles of every triangle add to exactly 180 deg Rectangle exists there is a quadrilateral with four right angles Similar != congruent two triangles can be same-shape, different-size Pythagoras a^2 + b^2 = c^2 holds in every right triangle Equidistant lines points of one line stay a fixed distance from another Three-point circle any three non-collinear points lie on one circle
拿最熟悉的那一句來看。你從很早的階梯就知道 三角形內角和為 180 度。在中性幾何裡，你能證明這個和至多是 180——永遠不會超過——但沒有平行公設，你證不出它等於 180。事實證明，只要假設哪怕一個三角形的內角和恰好是 180，就會逼出普萊費爾公設、進而逼出整個歐氏世界。你背下來的那個溫馨小事實，其實是個喬裝的重量級選手。
連 畢氏定理 都在名單上。我們慣於把 a^2 + b^2 = c^2 當作基石，但它恰好只在平行公設成立的幾何裡成立——在球面或雙曲平面上它根本不成立，被另一條關係式取代。同樣地，「你可以把一個圖形放大成更大、同形狀的複本」這個日常觀察——也就是 相似三角形不必全等——也暗暗依賴平行。在雙曲幾何裡，形狀決定大小：若兩個三角形的角全部相等，它們就已經全等，真正的縮放是不可能的。
薩凱里的擦身而過：想用反證法證明它
對這條公設最精巧的進攻來自 1733 年的薩凱里（Giovanni Saccheri），它也最鮮明地刻畫出真正的關鍵所在。他造了一個我們如今稱為 薩凱里四邊形 的圖形：取一條底邊，在兩端各立起等長的垂線，再連接它們的頂端。由作法可知，兩個底角是直角。一切都繫於頂端那兩個頂角——而光靠中性幾何，你能證明這兩個頂角彼此相等，卻無法確定它們的大小。
於是恰好有三種可能，薩凱里替它們命了名。頂角不是直角、就是鈍角、就是銳角。直角假設說它們是 90 度——這讓四邊形成為一個真正的矩形，並且與平行公設等價。鈍角假設通向橢圓幾何，那裡三角形內角和超過 180。銳角假設通向雙曲幾何，那裡三角形內角和不足 180。薩凱里希望用矛盾殺掉後兩種，只留矩形這一個倖存者——藉此證明這條公設。
為什麼證明永遠不可能：造一個它失效的世界
薩凱里找不到矛盾，是因為根本沒有矛盾可找——而我們之所以能斬釘截鐵地知道這一點，靠的不是更努力地搜尋，而是造出一個 模型。回想這一階梯第三篇裡，模型如何了結獨立性問題：只要你能建構一個誠實的對象，它滿足所有中性幾何公設、卻不滿足平行公設，那麼這條公設就不可能是那些公設的邏輯後果——因為這裡就有一個讓它們成立、而它失效的世界。
最鮮明的這種世界是 龐加萊圓盤。取一個圓的內部。把它的內點當作你的「點」，把與邊界正交的圓弧（以及直徑）當作你的「線」。距離被扭曲，使得邊界落在無限遠處——你永遠到不了。在這個圓盤裡，中性幾何中關於結合、順序、全等的每一條公設都成立。但選一條線與線外一點，你能過該點畫出無窮多條與邊界正交、卻永不碰到原線的弧。普萊費爾公開而具體地失效了。那就是你的雙曲世界，安坐在一個普通的圓裡。
而這套邏輯是雙向的，這正是最深刻的一點。由於龐加萊圓盤是用普通的歐氏圓與圓弧造出來的，若歐氏幾何一致，則雙曲幾何也一致——它的 一致性 搭著歐幾里得的便車。所以兩套幾何誰也無法證明對方為假。這就是為什麼我們說非歐幾何並沒有推翻歐幾里得：它揭示了幾何擁有一個真正的選擇。平行公設不是一條等待被證明的真理，也不是一條等著被揭穿的謬誤——它是一個岔路口，而每一條岔路都是一套忠於自身公設的、貨真價實的幾何。
站在岔路口
退一步，看看你得到了什麼。平行公設並不是一句關於直線在遠方相交的怪異句子；它是一個會在一切之中蕩漾開來的單一決定——三角形是否內角和 180、矩形是否存在、畢氏定理是否成立、你能否在不變形的情況下放大一個圖形。這一切之所以同生共死，是因為在中性幾何之下，它們是同一句命題的許多戲服。
誠實交代範圍是值得的。我們已用具體的模型，說明了如何相信這條公設是獨立的、雙曲幾何是一致的。完整的機器——證明 圓盤 確實滿足每一條全等公設，或那些屬於超越數風格、用以排除某些作圖的論證——屬於後面以座標、射影與微分幾何為主的階梯，到那時你會用微積分去丈量這些被扭曲的距離。我們忠實地把想法交給了你；我們沒有假裝完整的證明能塞進一篇入門指南。
該歸功的就歸功，因為那個工整的傳說說錯了。雙曲幾何是由高斯（Carl Friedrich Gauss，他因怕被嘲笑而祕而不宣）、波利亞（Janos Bolyai）與羅巴切夫斯基（Nikolai Lobachevsky）在 1820 與 1830 年代各自獨立、幾乎同時發現的。沒有誰「勝出」；這個想法時機成熟，同時降臨在三個頭腦裡。這就是整個階梯溫暖的收尾：把幾何做對，並不會塞給你一個被迫接受的唯一世界。它交給你公設，指給你看哪一條才是真正的選擇，然後讓你走上你所挑的那一條路——而你現在，清清楚楚地知道自己在選什麼。