為何彎曲的幾何需要一張平坦的地圖
在前三篇導覽裡，你看著平行公設倒下，認識了雙曲平面——在那裡，線外一點有無窮多條平行線——也丈量過那些角虧確實為正的三角形。這一切都是從公設論證出來的。但一個合理而頑固的疑問仍在：你怎麼知道這樣一個世界不是暗藏自相矛盾？你無法在紙上畫出真正的雙曲平面，因為紙是平的，而雙曲平面不是。答案是建造一個模型——一個由熟悉的歐氏零件造成的具體對象，使得每一條雙曲公設在其中都成真。
一個模型就是一本翻譯字典。你宣告「點」、「線」、「距離」這些詞在某個歐氏圖形之內將代表什麼，然後檢查在這套翻譯之下，雙曲公設是否成立。若成立，那麼雙曲幾何裡的任何矛盾，都會回響成普通歐氏幾何裡的矛盾。所以模型證明了一種相對的一致性：雙曲幾何與你早已相信的平面幾何同樣可靠。關鍵是，這樣的字典不只一本，而是好幾本——而比較它們，正是這篇導覽全部的樂趣所在。
龐加萊圓盤：一個圓內的世界
最受喜愛的模型是龐加萊圓盤。取一個圓的開放內部——邊界圓本身被排除在外。這些內點就是你的「點」。你的「線」有兩種曲線：任何一條過圓心的直徑，以及任何一段與邊界正交（垂直相交）的圓弧。距離被巧妙安排，使得邊界落在無限遠處：當你朝邊緣走去，你的步伐在歐氏眼中看來越來越短，而你永遠到不了。一個無限的平面，被摺進了一個有限的圓盤。
如今，唯一性的失效成了你可以看見的事。挑一條雙曲線——比方說一段與邊界正交的弧——以及線外一點 P。過 P，你能畫出的不是一條，而是無窮多條其他與邊界正交、且在圓盤內永不碰到第一條的弧。它們全都是平行線。其中兩條特別：它們與原線在邊界圓上共用一個端點，恰好在無限遠處擦過。那就是第 2 篇裡的極限平行線，而它們與從 P 出發的垂線所夾的角，正是平行角——如今成了你能在圖上指出來的東西。
龐加萊圓盤以它對角度之美的誠實，換來了它的有限性。它是一個保角模型：兩條曲線之間的雙曲角，等於你用量角器在它們相交處量到的普通歐氏角。所以形狀在局部看起來是對的——一個小小的雙曲正方形，看起來真的方方正正。被犧牲的是距離與大小：一個畫在邊緣附近的雙曲三角形，在我們看來小得可憐，但若以真正的雙曲長度計，它和圓心附近一個胖胖的三角形一樣大。圓盤保住角度的誠實，卻讓大小說了謊。
上半平面：同一個世界，被滑開來
把圓盤剪開、攤平，你就得到第二張偉大的圖畫——上半平面。這裡的「平面」是某條水平線（實軸）嚴格上方的一切，那條邊界線本身被排除。「線」依然分兩族：筆直向上射出的鉛直射線，以及圓心落在邊界線上、因而與它正交的半圓。和圓盤一樣，距離被扭曲了——高處的點在雙曲意義下「靠得很近」，而在緊貼邊界線上方所踏出的一步，在雙曲意義下卻大得驚人。邊界線加上單獨一個無限遠點，扮演了先前邊界圓所扮演的角色。
既然兩個保角模型說的是同一件事，何必都留著？因為各自讓不同的工作變得容易，而一座乾淨的橋把它們連起來。這座橋就是莫比烏斯變換——複數平面上形如 z 映到 (a z + b) / (c z + d) 的映射。有一個特定的莫比烏斯變換，能把上半平面恰好搬到龐加萊圓盤上，把雙曲線送成雙曲線，並保住每一個角與每一段雙曲距離。這兩個模型並非對手；它們是同一個雙曲平面披著兩件外套，而有一本字典在它們之間完美地翻譯。
POINCARE DISK UPPER HALF-PLANE
unit circle is the boundary the real axis is the boundary
(boundary at infinity) (boundary + one point at infinity)
lines = diameters lines = vertical rays
+ arcs _|_ boundary + semicircles centered on axis
CONFORMAL (angles true) CONFORMAL (angles true)
linked by a Mobius map: z --> (z - i) / (z + i)
upper half-plane ----> Poincare disk (angles & distances preserved)克萊因圓盤與雙曲面：直線性對上真實形狀
保角模型把線彎成弧，以保住角度的真實。克萊因–貝爾特拉米圓盤做了相反的交易。它的「點」同樣是一個圓的內部，但如今它的「線」是普通的歐氏直弦——連接兩個邊界點的純粹線段。這是它的恩賜：一條雙曲線看起來完美地直，於是平行公設的失效變得非常直接。過圓盤內一點，所有避開某條給定弦（與它不共享任何內點）的弦，恰好就是平行線，而你能一眼數出它們有無窮多條。
天下沒有白吃的午餐。克萊因圓盤為直線所付的代價，是它不保角：你用量角器量到的兩條弦之間的角，幾乎從來不是真正的雙曲角。一個雙曲直角，在紙上可能看起來是銳角或鈍角。所以克萊因模型對於「結合關係」與「哪些線交哪些線」這類問題妙不可言，對於任何牽涉角度的事卻陰險難防。誠實地比較這筆交易：圓盤與半平面保角而彎線；克萊因圓盤保線而彎角。同一個世界，不同的謊言。
第四個模型拒絕把任何東西攤平，也是四者中最誠實的：雙曲面模型，又稱閔考斯基或勞侖茲模型。雙曲平面被畫成三維空間中一個雙葉雙曲面的上葉——曲面 x^2 + y^2 - z^2 = -1 且 z > 0——而一條「線」就是這曲面與一個過原點的平面相交所得的曲線。距離不是用平常的內積 u . v = u_1 v_1 + u_2 v_2 + u_3 v_3 來量，而是用一個翻了號的版本：u_1 v_1 + u_2 v_2 - u_3 v_3。靠著這一個負號，曲面就成了一個完美、無扭曲的雙曲平面：每一段距離、每一個角都精準無誤，代價是住在三維而非二維裡。
模型證明了什麼，又沒證明什麼
退一步，把成果收攏起來。由於這四個模型完全由普通的歐氏材料造成——圓、弦、複數、一個二次曲面——若歐氏幾何無矛盾，則雙曲幾何也無矛盾。這就是對我們開篇那個疑問的決定性回答，也是為什麼我們終於能直截了當地說：非歐幾何從未推翻歐幾里得。它揭示了一個真正的選擇：平行公設是獨立的，而兩條岔路都是忠實的幾何，各自忠於自身的公設。
不過，要誠實面對模型沒有做到的事。畫出龐加萊圓盤，並不會神奇地證明那些雙曲「線」真的滿足每一條全等與連續公設——要驗證這一點需要實打實的功夫，得用莫比烏斯變換的工具，乃至後面階梯的微積分與度量幾何，去丈量那些被扭曲的距離。我們忠實地把想法呈現給你，也給了你一個能指著看的東西，但「字典滴水不漏」的完整檢驗，屬於這一門之後的課程。圖畫贏得了信任；它並不取代證明。
- 需要角度看起來正確、又要一張有限的圖？選龐加萊圓盤——保角、有界，線是與邊界正交的弧。
- 在處理複數映射或對稱？上半平面與它的莫比烏斯變換讓代數最為乾淨。
- 在問哪些線相交、哪些平行？克萊因圓盤把線畫得筆直，結合關係一目了然——只是千萬別相信它的角。
- 想要距離與角全都完全真實、完全沒有平面紙頁的扭曲？爬進雙曲面模型，接受那多出來的一個維度。