高斯的絕妙定理

認識曲面的兩種方式，以及它們之間的一道牆

前兩篇導引交給你兩件截然不同的儀器。第一件，第一基本形式 ds^2 = E du^2 + 2F du dv + G dv^2，是曲面自己的尺：光憑 E、F、G，你就能量出畫在曲面上任一曲線的長度、兩條這種曲線的夾角，以及一塊小片的面積。它是內在的——是一個住在曲面裡面、只拿著捲尺四處爬行、對外界空間一無所知的生物，所能發現的一切。第二件，第二基本形式，記錄當你移動時曲面如何彎離它的切平面；由它而來的是主曲率 k_1 與 k_2，即曲面在一點上最陡與最緩的彎曲方式。

關鍵的分野在此。第二基本形式是外在的：要定義它，你需要曲面的單位法向量——一支指出曲面、進入周遭空間的箭頭——所以它描述的是曲面如何擺放在三維中，而不只是住在上面是什麼感覺。最乾淨的證據是一張紙。把它輕輕捲成圓柱：你改變了它在空間中的彎曲方式，於是它的主曲率改變了（原本平的紙有一個主曲率是 0，現在有一個沿著圓柱彎了起來）。然而紙上畫的任何距離或角度卻完全沒變——螞蟻什麼也沒察覺。彎曲而不拉伸，讓內在世界毫髮無傷，卻徹底翻修了外在世界。

高斯曲率：那個可疑的乘積

回想上一篇導引如何把兩個主曲率組合起來。它們的平均 (k_1 + k_2) / 2 是平均曲率 H，而它們的乘積 k_1 乘以 k_2 是高斯曲率 K。兩者都是透過高斯映射與第二基本形式定義的，所以乍看之下兩者都徹底是外在的——各自都建立在那支指出曲面的單位法向量上。K 只不過是把兩個彎曲率相乘，而非取平均。

K 的正負號已經訴說了一個生動的故事。當 K > 0，兩個主曲率朝同一方向彎——曲面像圓頂，像球的外側或山丘之頂那樣盛起；附近曲面整個落在它切平面的同一側。當 K < 0，兩個曲率朝相反方向彎——一個馬鞍，或一道山口，沿某方向往上彎、沿垂直方向往下彎；切平面切穿了曲面。而當 K = 0，至少有一個主曲率為零：平面如此，圓柱與圓錐也如此，它們往一個方向彎、往另一個方向保持筆直。最後這個情形正是那道安靜的暗示——由平紙彎成的圓柱，K = 0，恰與它出身的那張平紙一樣。

絕妙定理本身

高斯的絕妙定理（1827 年）把它說得直截了當：高斯曲率 K 只依賴第一基本形式。完整地說：K 能完全用 E、F、G 及其導數寫出來——僅憑那把內在的尺——而外在的法向量無處可尋。那個如此醒目地由曲面在空間中如何彎曲所構成的乘積 k_1 k_2，結果竟是螞蟻一直以來都能單憑捲尺資料算出的東西。那些彎曲數字裡有兩個是外在的，但它們的乘積越過了那道牆。

誠實面對本篇導引能做與不能做的事。真正的證明要穿過一段可畏的計算——你把曲面的二階導數寫出來，強加上「相容性」（混合偏導數必須一致），再經過數頁代數，外在的項互相抵消，留下 K 成為一條令人生畏卻純粹內在的、以 E、F、G 寫成的公式（Brioschi 公式）。那段推導屬於一門完整的微分幾何課程，而非入門的一階，假裝它有一句話的理由便是說謊。我們能誠實做到的，是讓這結果變得可信、看出它為何必然如此、並感受它的後果——而那些後果非比尋常。

為何平面居民感覺得到曲率

這裡是定理背後那份誠實的直覺，它完全不需要法向量。站在一點上，繞著它走一個半徑 r 的小測地圓——每個點都恰好距離 r，是沿著曲面量的。在平面上，這個圓的周長恰是 2 pi r、所圍面積恰是 pi r^2，正是那些熟悉的老值。但在一個正曲率的圓頂上，向外輻射的測地線會彼此靠攏，所以圓周短了一截：它的周長比 2 pi r 略小。在負曲率的馬鞍上，測地線向外岔開，圓周則太長。這個偏差，到首階為止，恰由一個數字主宰——K。

small geodesic circle of radius r, intrinsic measurements:

  circumference  C(r)  =  2 pi r  ( 1  -  K r^2 / 6  +  ... )

  area           A(r)  =  pi r^2  ( 1  -  K r^2 / 12 +  ... )

so, solving for K from data the ant can gather:

  K  =  lim as r -> 0  of  ( 3 / pi )  ( 2 pi r - C(r) ) / r^3

Bertrand–Diguet–Puiseux 公式：一個被困在曲面上的生物，純粹從一個小圓的周長比 2 pi r 短了多少，就能還原出 K——不需要任何外在的視角。

把最後一行慢慢讀：K 以一個僅僅由 C(r) 與 r 構成的量度的極限出現——周長與半徑，都用捲尺取得，都是內在的。沒有法向量、沒有嵌入、不必偷看曲面之外。這正是整件事的重點，也是題旨那句口號的字面實現：平面居民真的偵測得到高斯曲率。一個從未懷疑第三維存在的二維測量員，只要仔細量圓，就能宣告「此處的空間是彎的，彎了這麼多」——而且完全正確。這就是為什麼圓柱非得保持 K = 0：彎紙從不擾動那些捲尺量的圓，所以內在的 K 動不了分毫。

每個人都曾握在手中的那個後果

現在來到著名的回報。球面處處有固定的正高斯曲率 K = 1 / R^2；平面則處處 K = 0。一張完美的地圖會是把其中一個保距離地複製到另一個上——但保距離就意味著相同的第一基本形式，而由絕妙定理，這逼出相同的 K。既然 1/R^2 不等於 0，這樣的地圖根本不可能存在。沒有任何辦法能把球面的任何一片攤平到平面上，而不在某處拉伸、撕裂或壓縮它。每一張地球的平面地圖都必然扭曲距離——麥卡托投影把格陵蘭脹大，等積投影把形狀剪歪，沒有任何巧妙的投影能逃脫。那片不裂開就攤不平的橘子皮，正是絕妙定理透過你的早餐在說話。

請留意這個論證誠實的界限：它禁止的是完美地圖，即同時保住所有距離的地圖。它並不禁止保角的地圖（保角的，像麥卡托）或保面積的地圖（等積的）——你可以犧牲一樣以保全另一樣，而製圖師正是這麼做的。你永遠得不到的，是把每一段長度都保持正確的地圖，因為單單這一項要求，暗地裡就要求匹配曲率，而曲率根本不匹配。一個數字，內在而無法偽造，擋在路上。

你帶往前方的東西

依那道牆把曲面的量分類：長度、角度、面積與高斯曲率 K 是內在的（螞蟻找得到）；法向量、第二基本形式與個別的主曲率是外在的。
記住絕妙定理的口號：K = k_1 k_2 看似外在，實則暗藏內在——僅憑 E、F、G 就能算出。
善用彎曲檢驗法：把紙捲成圓柱或圓錐會改變主曲率，卻不改變 K，所以任兩個 K 不同的曲面，永遠無法不拉伸地把一個裹到另一個上。
從內部讀出曲率：小測地圓的周長比 2 pi r 短，揭示 K > 0；超過則揭示 K < 0——正是平面居民量度其世界曲率的方式。

絕妙定理是這整一階的樞紐。在它之前，曲率似乎屬於嵌入——是關於曲面在空間中姿態的一件事。在它之後，最深的曲率 K 被揭示為關於曲面內在幾何的一件事，一個織進它距離織理之中的數字。正是這個重新框定，讓幾何得以徹底逃離周遭空間：接下來的導引追隨測地線，即從內部所感受到、最筆直的路徑，然後高斯–博內定理把所有這些內在曲率的總和，繫上曲面的歐拉示性數 chi = V − E + F——彎曲與拓樸，握手言和。而沿著梯子再往上，當曲面成長為任意維度、再無周遭空間可倚靠的流形時，正是這個由高斯首先解放的內在曲率概念存活了下來，成為彎曲空間本身的語言。