從一個不等式到一門幾何
讀完上一篇，你手裡握著某個奇妙的東西。施瓦茨-皮克引理告訴你，在單位圓盤上有一種特別的量長度的方式——龐加萊度量——使得沒有任何圓盤的全純自映射能增加距離。自同構恰好保持它；其餘一切都使它縮小。這是一種了不起的剛性，但到目前為止我們只把它當成一個不等式。本篇的飛躍，是不再把龐加萊度量當成一個聰明的把戲，而開始把它當成一門真正的幾何：一個有自己的直線、自己的圓、自己的距離概念的世界，在其中施瓦茨-皮克引理不過是這句話——「全純映射不拉伸」。
回想那個精確的對象。雙曲度量在一點 z 處量度無窮小長度的方式，是把普通的歐氏長度元乘上因子 2 / (1 - |z|^2)。在圓心附近，|z| 很小時，這個因子接近 2，所以幾何看起來幾乎像平常的平直平面（放大兩倍）。但當 z 朝邊界圓 |z| = 1 爬去時，分母 1 - |z|^2 暴跌向零，伸縮因子隨之爆炸。在圖上看起來微小的一步，越靠近邊緣，所耗的雙曲長度就越多。
ds_hyp = ( 2 / (1 - |z|^2) ) * ds_euclid at z = 0 : factor = 2 (almost flat) at |z| = 0.9 : factor ~ 10.5 at |z| = 0.99 : factor ~ 100 as |z| -> 1 : factor -> infinity (boundary is infinitely far)
這單一個觀察就已顛覆你的直覺。邊界圓不是一堵你能抵達的牆；它在無窮遠處。一位以恆定雙曲速度走向邊緣的旅人永遠到不了——這樣量度的圓盤是無界的。圖是一幅有限的畫，但它所承載的幾何卻無窮無盡。這是我們已不再身處歐幾里得世界的第一個徵兆。
在這裡什麼算是直線
在任何幾何裡，直線都該指兩點之間的最短路徑——一條測地線。那麼圓盤中哪些曲線在雙曲意義下最短呢？乾淨的答案是：雙曲測地線恰好是圓盤的直徑，連同那些與邊界圓垂直相交的圓弧。沒有別的。直徑是這類弧的退化情形——一個「半徑無窮大的圓」，筆直穿過圓心並垂直地越過邊緣。
你可以用一個你早已信賴的對稱論證看出直徑為何必是測地線。雙曲度量只依賴於 |z|，所以它在對任一直徑作反射之下不變。直徑上兩點之間的最短路徑不能朝一側鼓出，因為把它反射就會得到一條同樣短卻朝另一側鼓出的路徑，而真正的最短路徑是唯一的——所以它必須落在直徑本身上。要得到其餘每一條測地線，你根本不需要新的計算：只需施加一個圓盤自同構。自同構恰好保持雙曲長度，所以它們把測地線送往測地線，並把直徑送往那些與邊界垂直的弧。
量度距離，與平行公設的失效
我們現在可以寫下一個實際的距離。從圓心 0 到一個歐氏半徑為 r 的點的雙曲距離，是沿半徑對長度元積分得到的，結果為 log( (1 + r) / (1 - r) )。檢查兩端：當 r 接近 0 時這約為 2r，與圓心附近的「因子 2」伸縮吻合；而當 r 攀向 1 時，對數奔向無窮，再一次確認邊界無窮遙遠。對於一般的兩點，求距離的俐落辦法是先施加那個把其中一點滑到圓心的自同構——就是第二篇的同一個布拉施克動作——再讀出這條徑向公式。
- 給定圓盤中兩點 a 與 b，取自同構 phi(z) = (z - a) / (1 - a-bar z)，它把 a 送到圓心 0。
- 把它作用到 b 上。因為自同構保持雙曲距離，dist(a, b) 就等於 dist(0, phi(b))。
- 如今 b 已被移到一個歐氏半徑為 r = |phi(b)| 的點，距離就只是徑向公式 log((1 + r)/(1 - r))。
有了直線與距離，看那著名的異端如何展開。在歐幾里得平面裡，給定一條直線與線外一點，恰有一條過該點而永不與給定直線相交的直線——唯一的平行線。在雙曲圓盤裡這壯烈地失效。畫一條測地線（一段與邊界垂直的弧），挑一個不在其上的點；你能找到無窮多條過該點的測地線，全都永遠避開第一條。其中兩條是「極限平行線」，朝著與原線相同的邊界點奔去；其餘的是「超平行線」，與原線根本不共用任何邊界點。平行公設在這裡根本不成立，而圓盤是一個具體、可畫的見證，表明它從來就不是其餘公設的邏輯推論。
自同構就是剛體運動
每一門幾何都有剛體運動的概念——一個把空間滑動、旋轉而不使之變形的變換，就像普通平面的旋轉與平移。在雙曲幾何裡這些叫做等距變換：恰好保持雙曲距離的映射。而在此，幾何與複分析的世界徹底融為一體。圓盤的全純等距變換，正正就是你在第二篇分類過的共形圓盤自同構——映射 e^(i theta) (z - a)/(1 - a-bar z)，一個旋轉與一個布拉施克因子的合成。施瓦茨-皮克引理告訴你，這些是唯一保持距離而非縮小距離的全純映射；在幾何上，它們恰好是雙曲剛體運動。
這賦予這門幾何龐大的對稱性，也解釋了一句你否則可能覺得神祕的話：雙曲平面是齊性的且各向同性的。齊性表示沒有哪一點特別——布拉施克自同構 a -> 0 把任一點送到圓心，所以幾何從任何地方看都一模一樣。（圓盤的圓心只在圖裡特別，在幾何裡從不特別。）各向同性表示也沒有哪個方向特別——旋轉 e^(i theta) z 把繞圓心的每個方向旋成其餘每個方向。把這兩者合起來，雙曲平面就擁有與平直平面或球面一樣多的運動自由度；它只是朝另一個方向彎曲。
曲率、三角形，與通往前方的橋
這個世界有多彎，又朝哪邊彎？龐加萊度量具有常負曲率，慣例正規化為 -1。負曲率是馬鞍與外張喇叭的幾何：當你向外移動時，空間比平直空間更快地散開。你能在度量裡直接感受到它。半徑為 R 的雙曲圓的周長是 2 pi sinh(R)，而非 2 pi R——而 sinh 呈指數成長，所以雙曲半徑為 10 的圓，其邊界遠長於 2 pi 乘以 10。靠近邊緣處的空間比歐氏直覺所預期的指數般地多，這正是為何看似有限的圓盤能容納一個無窮的平面。
負曲率最美的指紋，是它對三角形的作為。用三段測地弧搭起一個雙曲三角形；它的三個內角之和永遠小於 pi（180 度），絕不恰好等於 pi。而這個虧損並非任意——依高斯-博內定理，缺少的角度恰等於三角形的面積：面積 = pi - (alpha + beta + gamma)。一個驚人的後果是雙曲三角形不能任意大：當角度縮向零時，面積至多只能長到 pi。三角形的面積有一個硬性上限，純由曲率設定。歐幾里得平面裡沒有任何稍微類似的事，那裡角度之和永遠恰為 pi，而三角形大小不拘。
退一步來品味發生了什麼。一個關於圓盤自映射的近乎平凡的不等式——固定圓心的全純映射不能把點往外推——竟透過施瓦茨-皮克，展開成一門完整的非歐幾何：是圓弧的直線、畫在有限圓盤裡的無窮平面、失效的平行公設、恰為共形自同構的剛體運動，以及角度洩漏出常負曲率的三角形。複分析的圖景與幾何的圖景並非類比；它們是同一個對象從兩面看去的模樣。
在繼續之前說一句誠實的提醒。雙曲平面本身是一門完備的幾何，但它並非負曲率曲面的全部故事——把它對一群自同構取商，你就得到更高虧格的彎曲曲面與黎曼曲面，那是後面階梯所探討的，而這同一個圓盤會以萬有覆疊的身分重新出現。把這放進口袋裡。眼下，本階梯的最後一篇將從幾何轉回硬分析：正是驅動施瓦茨引理的同一套極大值原理思路，在弗拉格門-林德洛夫定理與三線定理中，會讓我們在無界的帶狀域與扇形域上掌控全純函數，那裡光靠樸素的極大值原理是不夠的。