三個人，一道禁忌的問題
在上一篇你看著 平行公設 熬過了二十個世紀的證明嘗試，每一次嘗試都悄悄地偷渡了它本想確立的那件事。誠實的教訓緩緩沉澱下來：也許這條公設無法被證明，正因為它是一個真正的選擇，而非一條隱藏的定理。最先依這個念頭行動的，是三個了不起的人——他們素未謀面，卻幾乎同時動手：私下默默思索的高斯（Carl Friedrich Gauss）、年輕的匈牙利人波約（János Bolyai），以及俄國的羅巴切夫斯基（Nikolai Lobachevsky）。
他們的這一步驚人地簡單。把幾何的其餘每一條公理都原封不動地保留——也就是你會在下一篇以 中性幾何 之名再度遇見的那整個共同核心——只替換掉平行公理這一條。 普萊費爾公理 堅持「過直線外一點恰有一條平行線」，他們卻改寫成：「過這樣的一點，至少有兩條」。接著他們以冷靜的紀律一路追蹤其後果，滿心期待會撞上一個矛盾，好終於把歐幾里得釘死。但那個矛盾始終沒有出現。
取而代之的是，一條又一條定理紛紛各就各位——奇異、優美、內部天衣無縫。羅巴切夫斯基於 1829 年率先發表；波約於 1832 年獨立發表，刊於他父親教科書那著名的 24 頁附錄裡；而高斯——後來從他的信件中才浮現——數十年前就已得到相同結果，卻一字未發表，唯恐招來「那群外行人的喧囂」。這份功勞誠實地、分別地屬於三人。他們所發現的，是第二片全然合法的平面——雙曲平面——也就是 雙曲幾何 這門學問。
「太多平行線」究竟長什麼樣子
取一條線，稱它為 line AB，再取一個不在其上的點 P。在平坦平面裡，過 P 恰有唯一一條永不與 line AB 相交的直線——這就是普萊費爾，你從小生長於其中的那個世界。把那條過 P 的線只要傾斜一根頭髮的角度，它終究會在遠處某處越過 line AB。雙曲幾何的主張是：這太僵硬了——過 P 有一整把扇形的直線，一整塊角度的楔形，全都根本不與 line AB 相交。不是一條平行線，而是無窮多條。
這裡有一幅該牢記在腦中的圖像。從 P 向 line AB 垂直落下，垂足記為 Q，於是 PQ _|_ line AB。現在從 P 慢慢旋轉一條射線，起始方向沿著 PQ 延長線，再向外掃。一開始這條射線會打中 line AB。繼續旋轉：到了某個臨界角度，射線恰好不再打中 line AB，從此完全錯過它。這兩條臨界射線——一左一右——就是那把扇子的邊界。介於它們之間、朝外那一側的每一條射線，都是不相交的直線；這樣的直線有無窮多條。
那兩條邊界射線贏得了一個特殊的名字：它們是 極限平行線（也稱漸近平行線）。它們是刀鋒——「恰恰好」沒能與 line AB 相交的那些最後的方向，是相交射線所趨近、卻永遠到不了的方向。扇形裡嚴格落在內部的那些尋常平行線，稱為超平行線，行為又不同：它們共有一條公垂線，並向兩側漸漸分開。這種三分法——相交、極限、超平行——在平坦平面裡完全沒有對應物，那裡「相交或平行」就是故事的全部。
平行角：尺寸終於有了意義
再看一次那條垂線 PQ 與一側的極限射線。PQ 與那條極限射線之間的夾角有個名字——平行角——它是整個雙曲平面裡最能透露玄機的一個數。在平坦幾何裡這個角永遠恰為 90 度：過 P 的平行線與 PQ 垂直、筆直不偏，無論 P 離那條線多遠都一樣。那把扇子的張角為零，因為兩條極限射線都與唯一的普萊費爾平行線重合。
在雙曲平面裡，平行角小於 90 度——而且令人震驚的是，它取決於距離 |PQ|。把 P 推得離 line AB 很遠，這個角便朝零縮小，於是那把平行線扇子大大張開。把 P 移近，這個角便朝 90 度攀升，於是扇子收窄，世界開始看起來幾乎是平的。羅巴切夫斯基用一條精確公式捕捉了這件事，但這裡要緊的是定性的事實：距離與角度不再互相獨立。這一份糾纏，正是與歐幾里得最深刻的決裂。
加不滿的三角形
這把內建的尺，在三角形上最清楚地攤牌，也正好替下一篇鋪好了路。在平坦平面裡，任何三角形的三個角恰好加到 180 度——你很久以前就用一條滑過頂點的 平行 線證過。但那個證明完全倚賴「恰有一條平行線」。把平行公理抽走，證明也隨之垮台。在雙曲平面裡，每一個三角形的內角和都嚴格小於 180 度。
它所短少的量有個名字，你下一篇會深入認識：角虧。若一個三角形的角以弧度量為 alpha、beta、gamma，它的角虧就是 pi - (alpha + beta + gamma)，永遠是個正數。一個幾乎平坦的微小三角形，角虧勉強高於零，內角和幾乎達到 180 度。一個巨大的三角形，角虧很大，三個角明顯地瘦削。角虧對小圖形而言很小，這正是為何你課桌上的幾何感覺是平的：在人類的尺度上，那份曲率溫和到根本察覺不出。
現在是把奇聞變成真正幾何的那句關鍵台詞。在雙曲平面裡，三角形的面積與它的角虧成正比——角虧愈大，面積愈大，不需要其他任何東西。由於三個角永遠不可能低於零，角虧便永遠不可能超過 pi，於是任何三角形能有多大，都有一道硬性的天花板。在這裡你造不出任意大的三角形，無論你自以為有多少空間。把這條方程式記牢；下一篇會仔細地把它拆開來看。
flat plane: alpha + beta + gamma = pi (defect 0) hyperbolic plane: alpha + beta + gamma < pi (defect > 0) defect = pi - (alpha + beta + gamma) area = k * defect (k a fixed positive constant) so 0 < area and defect < pi -> area is bounded above
這是真的，還是只是符號遊戲？
一個合理的擔憂籠罩著這一切。波約與羅巴切夫斯基推導出一條接一條互不矛盾的定理，但「沒推出矛盾」並不等於「證明了矛盾不可能出現」。也許在一萬條定理之深處潛伏著一個致命的衝突，剛好在視線之外。有那麼幾十年，雙曲平面就活在這份猜疑之下——華美、看似有用，卻還沒拿到存在的證書。
了結是透過模型——你在上一階遇過的那件工具——達成的。造一個具體的競技場（最著名的是 龐加萊圓盤，其中「點」住在一個圓內部，而「線」是與邊界正交相交的圓弧），再驗證每一條雙曲公理在那裡都成立。由於那座競技場是用普通實數造出來的，雙曲幾何裡的任何矛盾，都會逼出普通算術裡的一個矛盾。於是雙曲幾何與數線本身一樣可信：相對一致性，現有最強的誠實保證。
還有一種能切身感受這片平面為真、而非悖論的方式。一片萵苣葉、一圈皺曲的羽衣甘藍、某些珊瑚那荷葉般的邊緣——它們之所以皺，正因為它們試圖成為雙曲的，在每一點附近塞進比平坦薄片所容許的更多面積。你無法把這樣的曲面攤平而不撕裂它，而那份抗拒，就是角虧被賦予了血肉。下一篇會精確地量出那份角虧，再下一篇則會帶你走過圓盤、半平面及其表親，把它們當作這個世界正規的地圖。