中性幾何之外的第三扇門
本階梯前面幾篇帶你走完了故事的一半。你看著 平行公設 撐過兩千年失敗的證明，接著推開 雙曲 那扇門——一個平行線太多的平面，那裡的三角形有 角虧，你也逛過了 龐加萊圓盤 與它的表親。最後這一篇要把鐘擺盪向另一邊。我們不問「比歐幾里得允許的還多」，而問：要是一條都沒有呢？
回想基礎階梯裡的薩凱里四邊形：它的頂角不是直角（平坦歐氏）、就是銳角（雙曲）、就是鈍角。今天我們打開的，正是鈍角那一個情形。在這套幾何裡，任兩條線必相交，三角形的內角和超過 180 度，而那個讓規則彎折的曲面，彎的方向恰與雙曲平面相反。最親切的例子就擺在你桌上：一顆地球儀。這就是 球面幾何，以及它經過整理的手足 橢圓幾何。
在球面上什麼才算一條直線
整個主題都繫於一個定義：球面上的「線」是什麼？你畫不出歐氏的直線段——表面上每一條路徑在空間中都是彎的。於是我們退而求其次，用曲面自身上最直的路徑：兩點之間最短的路線。在球面上，這條最短路徑永遠落在一個 大圓 上——也就是被一個通過球心的平面所切出的圓，例如赤道或任一條經線。緯線（赤道除外）不是線；它們往輕鬆的那一邊彎，沿著緯線飛的飛機其實一直在轉彎。
這正是為什麼長程航班在平面地圖上看起來是彎的。一架從東京飛往紐約的客機，會弧形地越過阿拉斯加上空，而不是沿著牆上地圖看起來筆直的那條緯線——因為大圓航線確實比較短。地圖在輕輕地說謊；球面才在說真話。這些「曲面上最直」的路徑，正是後面階梯所要稱呼的 測地線，也就是把「直線」誠實地推廣到任何彎曲曲面上。眼下，「球面上的線」就等於「大圓」，沒有別的。
現在來到終結平行線的關鍵句。任兩個相異的大圓必定相交——用兩個通過球心的相異平面去切一顆球，這兩個平面會交於一條通過球心的直線，而這條直線從表面戳出兩個對徑點。兩個大圓根本無處可躲，避不開彼此。所以在球面上完全沒有平行線：給我一條線與線外一點，過該點的每一條線最終都會與第一條相交。這就是鈍角的那個世界，被具體地造了出來。
鼓脹的三角形：角盈
用三段大圓弧畫一個三角形，就會發生一件美妙的「出錯」。這裡有個最乾淨的例子：從北極出發，筆直往下走到赤道，轉 90 度，沿赤道走四分之一圈，再轉 90 度，筆直往上走回北極。你回到家時，已經轉了三個直角。內角和是 270 度——比平坦三角形整整多了 90。這個三角形不像雙曲平面那樣不足 180，它反而超出了。
那多出來的量有個名字：角盈，定義為 E =（三個內角之和）- 180 度。它正是你兩篇前遇到的 角虧 的鏡像。在雙曲平面裡角虧為正，三角形不足；在球面上角盈為正，三角形超過。平坦的歐氏幾何是兩者之間的刀鋒，是角盈恰好為零、三角形內角和精確為 180 的那個唯一情形。三套幾何，一個旋鈕。
接著是讓球面顯得神奇的那條結果，吉拉德定理：球面三角形的面積，恰恰就是它的角盈。在單位球（半徑 1）上，面積等於以弧度量度的角盈。我們那個從極點到赤道的三角形有三個直角，角盈為 90 度 = pi/2 弧度，所以它的面積是 pi/2——而它確實正好覆蓋了球面的八分之一，而整個球面面積是 4 pi。4 pi 的八分之一就是 pi/2。數字完美落地。在這裡，角與面積是同一件事，而這在平坦平面上絕不會發生。
Girard's theorem (sphere of radius r):
area = r^2 * ( A + B + C - pi ) angles in radians
= r^2 * E E = angle excess
Worked check (unit sphere, r = 1, three right angles):
E = (pi/2 + pi/2 + pi/2) - pi = pi/2
area = 1^2 * pi/2 = pi/2
whole sphere = 4*pi , so triangle = (pi/2)/(4*pi) = 1/8 of it曲率：平面居民真的測得出來
為什麼球面強迫出角盈，而雙曲平面強迫出角虧？因為 曲率——而在這裡，前面階梯小心區分的「外在／內在」之別，終於發揮了威力。半徑為 r 的球面具有常正高斯曲率 K = 1/r^2；雙曲平面具有常負曲率；歐氏平面則 K = 0。角盈與高斯曲率是同一件事的兩種看法——對一個三角形而言，角盈等於曲率乘以面積，所以正的 K 逼出正的角盈。
請牢牢記住一個微妙而美麗的要點。一隻住在曲面上、從來無法從外部觀看它的生物，仍然能發現自身的曲率——純粹靠量三角形、發現它們的內角和不等於 180。它不需要從太空看的視角，不需要可以窺視的第三個維度。曲率是內在的：它活在曲面自身的距離裡，而不在曲面如何安置於周圍的空間之中。一個住在球面上的平面居民，能夠證明自己住在球面上。這正是高斯《絕妙定理》（Theorema Egregium）的種子，而一門微分幾何的階梯會把它完整展開。
從球面到橢圓平面：黏合對徑點
現在來了結第一個提示框留下的未竟之事。在光禿禿的球面上，兩個大圓相交於兩個對徑點，所以一旦兩點互為對徑，「兩點決定唯一一條線」就失效了——通過北極與南極的經線有無窮多條。為了得到一套真正能對應「無平行公設」的乾淨幾何，我們做一個決定性的動作：宣告每一對對徑點就是同一個點。把每個點都與其正對面那個點黏在一起。
黏合之後，麻煩煙消雲散。兩個相異的點如今又恰好落在一條線上；兩條相異的線恰好交於一個點——毫無例外，點與線之間完美對稱。這個黏好的曲面就是 橢圓平面，而它與你將在射影幾何階梯遇到的 射影平面 是同一個對象，只是如今披上了一個度量，好讓我們在上面量角度與距離。球面幾何是那個溫暖、可視的圖像；橢圓平面則是它在公理上最乾淨的形式。
在收尾前，誠實補一個但書。歐幾里得中性幾何的某些定理，用到了一個沒說出口的假設：直線無限長，而且一條線上總有某點介於另兩點之間。在球面與橢圓平面上，這就失效了——一條「線」是有限長的封閉迴圈（大圓的周長是 2 pi r），所以「介於」與通常的順序公設都必須重建。這正是薩凱里「駁倒」鈍角情形時掉進去的那個縫隙：他假設了無限長的直線卻渾然不覺。橢圓幾何是一致的，但它並不單純是「中性幾何加一條公設」——它也溫和地修訂了順序公設。
三套幾何，一張地圖
退一步，整個階梯瞬間收攏成一幅圖。只有一個旋鈕——高斯曲率 K——而轉動它，就給你三套完整、同樣誠實的幾何。把 K 調為負，你得到 雙曲平面：平行線太多、角虧、三角形向內收。把 K 調為 0，你尋回平坦的歐幾里得：恰好一條平行線、內角和精確 180。把 K 調為正，你得到 球面 及其黏合後的表親橢圓平面：沒有平行線、角盈、三角形向外鼓。
留意這三者多麼乾淨地呼應了開啟基礎階梯的、薩凱里那三種頂角假設——銳角、直角、鈍角。他原本希望是該被排除的偽分支，結果竟是兩個與歐幾里得並立的真實世界。而橢圓平面還附帶一個可愛的紅利：它本身就是射影平面，所以你當初為了追逐 第五公設 而踏上的旅程，正好順流匯入下一階梯等著你的射影幾何與微分幾何。
最後談談誠實，這正是整個階梯的主軸。這三套幾何裡，沒有哪一套是「真正的」、其餘只是奇珍。每一套都忠於自身的公設；早在任何人寫下一條公設之前，球面就在你腳下了。高斯、波利亞與羅巴切夫斯基並沒有推翻歐幾里得——他們發現幾何給了一個選擇；而黎曼 1854 年的就職演講，接著示範了如何讓曲率逐點自由地彎折，推開了通往「彎曲空間幾何」的那扇門——日後愛因斯坦正是借用它來描述重力。你走完這一階梯，手裡握著的不是一套幾何，而是它們全體的地圖。