那個算不滿的三角形
在第 2 篇導覽中，你踏進了雙曲平面，見識了它的醜聞：過線外一點，能畫出的平行線不是一條，而是無窮多條。這一個改變向外擴散，而它最響亮的後果之一，就出現在不起眼的三角形上。在歐氏幾何裡，內角和 m(angle A) + m(angle B) + m(angle C) 恆為 180 度，對每個三角形都成立。但在雙曲平面裡，這個等式不見了。每個三角形的內角和都小於 180 度。
我們給這份虧損取個名字。對於一個內角為 A、B、C 的雙曲三角形，角虧定義為 角虧 = 180 度 - (m(angle A) + m(angle B) + m(angle C))。若三個角加起來是 174 度，角虧就是 6 度。在雙曲平面裡，角虧永遠是正數——絕不為零，也絕不為負。角虧為零意味著一個平坦的歐氏三角形，而雙曲平面根本拿不出這樣的三角形。
薩凱里早就預見了這一點
如果這讓你有種似曾相識的感覺，那是應該的。回到第 1 篇導覽裡那些失敗證明的故事，耶穌會士薩凱里研究他的四邊形，依頂角大小把世界分成三種情形：直角、鈍角、銳角。銳角情形——頂角小於 90 度——正是他打不破的那個，也正是雙曲情形。一個頂角為銳角的薩凱里四邊形，是一個四角之和小於 360 度的四邊形。沿對角線把它切開，每一半都是一個內角和小於 180 度的三角形。角虧，就是從三角形的視角看到的薩凱里銳角情形。
還有一個值得命名的姊妹圖形。一個蘭伯特四邊形在構造上就內建了三個直角；問題只在於第四個角會怎樣。在歐氏幾何裡，第四個角也是直角，你就得到一個真正的矩形。但在雙曲平面裡，第四個角永遠是銳角——嚴格小於 90 度——所以雙曲的蘭伯特四邊形永遠閉合不成矩形。這是同一份虧損換了頂帽子戴：一個有四個直角的真正矩形，在雙曲幾何裡根本不存在。
角虧就是面積——那個令人驚異的恆等式
現在來到真正令人驚訝的部分，也是本篇導覽的核心。在歐氏幾何裡，面積與角度毫不相干——你可以有一個極小的三角形和一個巨大的三角形，共用完全相同的三個角（這正是相似三角形的意思）。但在雙曲平面裡，這份自由消失了。一個三角形的角虧，與它的面積成正比。三角形越大、角虧越大；而你無法在不改變其一的情況下改變另一個。
EUCLIDEAN triangle: A + B + C = 180 deg (defect = 0, always)
HYPERBOLIC triangle: A + B + C < 180 deg
angle defect = 180 deg - (A + B + C) > 0
AREA = k * defect (defect measured in RADIANS)
= -(1/K) * (pi - A - B - C) where K < 0 is the curvature
-- area is BOUNDED: pi - (A+B+C) < pi, so AREA < pi * k
-- an 'ideal' triangle (all 3 vertices at infinity, all angles 0) has
the MAXIMUM area = pi * k讀出兩個違背歐氏直覺的後果。第一，雙曲平面裡沒有相似三角形這回事（除了全等的以外）。若兩個雙曲三角形有相同的三個角，面積公式就逼得它們的面積也相同——而結果是它們必定完全全等。AAA 在歐氏幾何裡不是全等判準，在這裡卻是。第二，三角形面積有上限。既然角虧永遠到不了 180 度（也就是 pi 弧度），無論你把頂點拉得多遠，任何雙曲三角形的面積都停在一個固定上限之下。你造不出一個任意大的三角形。
極端情形值得想像一番。把三個頂點全部推向無窮遠處，那裡的邊變成極限平行線，彼此趨近卻永不相觸。三個角縮小到 0，角虧攀升到它的最大值 180 度，而三角形達到它可能的最大面積——一個有限的數，儘管這個三角形看起來無限地攤開著。這個物件叫做理想三角形，而「如此遼闊之物竟仍擁有有限、有界的面積」這個事實，是雙曲幾何裡最奇異也最美的事實之一。
一個小小的計算範例
讓我們用最簡單的算術把它具體化。假設我們所在的雙曲平面經過縮放，使得比例常數恰好為 1——也就是面積等於以弧度量得的角虧（即高斯曲率 K 等於 -1 的情形）。取一個三個角分別為 50、60、60 度的三角形。我們只要照著步驟轉動曲柄。
- 把角加起來：50 + 60 + 60 = 170 度。你已經看得出它不足 180 度，正如每個雙曲三角形必然如此。
- 求角虧：180 - 170 = 10 度。這個正數就是這個三角形的招牌。
- 換成弧度，因為面積公式講的是弧度：10 度 = 10 * (pi / 180) = pi / 18 弧度，約為 0.175。
- 讀出面積：常數為 1 時，面積 = pi / 18，約 0.175 平方單位。一個角度固定的三角形只有單一固定的面積——它沒有更小或更大的版本。
現在把角縮銳到 50、50、50 度。內角和是 150，角虧是 30 度 = pi / 6 弧度，面積跳到約 0.524——是第一個三角形的三倍，因為角虧變成三倍。這個教訓鏗鏘有力：在雙曲平面裡，你直接從一個三角形的角讀出它的面積，根本用不上尺。角度不是疊在另行選定的大小之上的自由裝飾；它們就是大小。
角虧究竟為何存在：曲率
角虧究竟從何而來？誠實的一字答案是曲率。雙曲平面是一張常負高斯曲率 K 的曲面，那是你在洋芋片每一點都能感覺到的馬鞍狀彎曲，均勻地延展到處處皆然。住在這樣一張曲面裡的平面客，無須離開它就能偵測到這份曲率——只要畫一個三角形，把它的角加起來。這種「由內可偵測」正是這幾篇導覽的全部寓意，而揭露它的工具偏偏是內角和，這絕非偶然。
精確的帳本是高斯–博內定理，微分幾何的鎮殿之寶之一。在它最簡單的形式裡，對一個以測地線為邊的三角形，它說角虧（以弧度計）等於三角形內部所掃出之總曲率的相反數：角虧 = -K 乘以面積。當 K 是負常數 -1 時，這正是我們上面用的「面積 = 角虧」恆等式。完整的定理確實需要微積分與曲率的機械才能證明——超出本級的範圍——但它的訊息很清楚：內角和之所以湊不到 180，差的量恰好是被困在三角形內部的那份曲率。
這也解釋了一個關於尺度的微妙之處。連結角虧與面積的比例常數，由曲率的絕對常數所固定——那是烘焙進雙曲平面裡的一個單一長度尺度。不像歐氏幾何能任意縮放、一切仍保持相似，雙曲幾何內部藏著一個絕對的長度單位。一個給定大小的三角形有確定的形狀；把它的邊長加倍，角度會真的改變。那把內建的尺，是兩個世界之間最深刻的差異，而角虧正是你讀取它的方式。
鏡像：角盈
在這裡收尾會是個乾淨的故事，但誠實要求我們講出另一半。雙曲平面往一個方向彎；球面往相反方向彎。在一個正曲率的球面上，三角形做的事與我們所見相反——它們的角加起來超過 180 度。這份盈餘叫做角盈，角盈 = (m(angle A) + m(angle B) + m(angle C)) - 180 度，而在球面上它同樣與面積成正比（這就是吉拉爾定理）。角虧與角盈是同一枚硬幣的兩面：負曲率損失角度，正曲率增添角度，唯有平坦的歐氏曲率在 180 處恰好打平。
你完全不需要任何機械，就能嘗到球面版本的滋味。站在北極，畫一條經線筆直向下到赤道，轉 90 度，沿赤道走過四分之一圈，再轉一次 90 度，攀回北極。你走過了一個有三個直角的三角形——內角和 270 度，整整 90 度的盈餘。在平坦紙上試試，你會失敗；在地球儀上，這是一個上午的散步。第 5 篇導覽會認真看待球面，妥善地建立球面幾何與橢圓幾何，但現在只要把這份對稱記在心裡就好。