從在曲面上量度，到看它彎曲
上一篇導引把第一基本形式 ds^2 = E du^2 + 2F du dv + G dv^2 交到你手上——這件工具讓住在正則曲面內部的平面人，不必離家就能量度長度、角度與面積。那個形式是純粹內在的：它對曲面在周圍空間中朝哪個方向捲曲一無所知。一張平坦的紙，與把同一張紙捲成圓柱，兩者的第一基本形式完全相同，因為捲曲既沒有拉伸也沒有撕裂任何東西。然而你的眼睛明明白白看見圓柱在彎、紙不在彎。所以第一基本形式儘管強大，對彎曲卻是聾的——而彎曲正是本篇要談的。
要聽見彎曲，我們必須踏出曲面外面，看它如何安置在三維空間中——這是外在幾何。關鍵的新角色是一支箭頭：曲面上每一點 P 都有一個切平面，那是在該處最貼合曲面的平面，從它筆直豎起的是單位法向量 N，垂直於每一個切線方向。當你把 P 在曲面上滑動，N 會轉動、傾斜。曲率的全部秘密，就藏在你移動時 N 轉得多快、朝哪個方向轉之中——一張捲起的紙，沿捲軸方向會讓 N 保持同一指向，卻沿捲曲的方向把它甩動，而那一甩正是你眼睛察覺到的彎曲。
把曲面切片，讀出每片切痕的曲率
這裡有個把彎曲化成數字的具體實驗。站在一點 P，帶著它的法向量 N。挑一個要走的方向——切平面內的一個單位切向量 v。現在取同時包含 N 與 v 的那個平面（一個鉛直的平面，筆直地切穿曲面），看它與曲面相截出的那條曲線。這條切出來的曲線，一個法截線，不過是一條普通的平面曲線，而你從曲線那一階早已知道怎麼量它的彎曲：它的曲率 kappa，也就是它的單位切向量轉動的速率。給那個彎曲一個正負號——若切痕朝向 N 彎則為正，朝遠離 N 彎則為負——你便得到方向 v 上的法曲率 k_n(v)。
關鍵的一點在於，這個數字取決於方向 v。想像你站在一個品客洋芋片那樣的馬鞍中央。沿著在你面前隆起的脊走，切痕朝向 N 往上彎：法曲率為正。轉九十度，沿著向你兩側落下的谷走，切痕背離 N 往下彎：法曲率為負。同一點、同一曲面、相反的彎曲——純粹因為你選了不同的行走方向。曲面在一點上並不只有一個曲率；它有一整片法曲率的分佈，你可能面朝的每個方向各對應一個。
統御全局的那兩個：主曲率
於是我們對每個方向 v 都有一個法曲率 k_n(v)——一整個定義在方向羅盤上的函數。它是雜亂遊走，還是藏著秩序？這裡有一個漂亮的事實，出自歐拉：當 v 繞所有方向掃一圈，k_n(v) 平滑地變化，並達到一個乾淨的最大值與一個乾淨的最小值。這兩個極值就是主曲率，寫作 k_1 與 k_2（k_1 為較大者）。更妙的是，最大與最小總是沿著彼此垂直的方向達成——即主方向。兩個數與兩個互相垂直的方向：這就是曲面在該點全部的曲率資料。
歐拉更進一步，給出了每一個中間方向的確切公式。若你沿著與第一主方向夾角 theta 的方向走，法曲率為 k_n(theta) = k_1 cos^2 theta + k_2 sin^2 theta。驗一下端點：theta = 0 時這是 k_1（cos 為 1、sin 為 0）；theta = 90 度時是 k_2；介於兩者之間時，它在兩極值之間平滑滑動。所以最大與最小真的掌控了其餘所有——每個方向的彎曲都是 k_1 與 k_2 的加權混合。這就是為什麼你或許擔心要用上無窮多個數，實際上兩個就夠了。
Euler's formula for normal curvature k_n(theta) = k_1 cos^2 theta + k_2 sin^2 theta theta = 0 (first principal direction) -> k_n = k_1 (max) theta = 90 (second principal direction) -> k_n = k_2 (min) the two principal directions are perpendicular, and are the lines of curvature through the point.
主方向從何而來：高斯映射
為什麼恰好有兩個極值，還整齊地互相垂直？歐拉定理背後誠實的引擎是高斯映射。回想每一點的單位法向量 N 自身是長度為 1 的向量，所以它指定了單位球面上的一個點。高斯映射把每個曲面點送到它的法向量在那個球面上的端點，記下曲面在該處朝哪個方向面對。當你橫越曲面，那個像點便在球面上滑動——而你沿方向 v 邁步時 N 改變的速率，正是彎曲的真身。把高斯映射微分，會在切平面上產生一個線性算子，即形狀算子，它吃進一個方向 v，回傳你朝那個方向移動時 N 怎麼傾斜。
現在你帶上梯子的線性代數一次全派上用場。形狀算子是一個對稱線性算子（這正是第二基本形式所編碼的——它就是形狀算子相對於第一基本形式量出來的結果）。而由譜定理，一個對稱算子永遠有實的特徵值與互相垂直的特徵向量。那些特徵值就是主曲率 k_1 與 k_2；那些特徵向量就是主方向。先前承諾你的垂直性並非幸運的巧合——它是穿著幾何外衣的譜定理。你一路沿著主方向前進所得到的曲線，就是曲率線，曲面在自身上畫出的天然網格。
兩個數，兩種著名的平均：高斯與平均
一旦你握住 k_1 與 k_2，它們的兩種組合幾乎囊括了曲面理論全部的名聲。它們的乘積是高斯曲率 K = k_1 * k_2，而它的正負號讓你一眼看出局部形狀。若 K > 0，兩個主曲率朝同一方向彎——一個圓頂或一個碗，朝每個方向都向著 N 彎，像球面。若 K < 0，它們朝相反方向彎——一個馬鞍，那個品客片，一個方向是山、垂直方向是谷。若 K = 0，至少有一個主曲率為零——曲面在某個方向上是平的，像圓柱或平面。一個數，三種判決。
它們的平均是平均曲率 H = (k_1 + k_2) / 2，它掌管一個全然不同的問題：面積。處處 H = 0 的曲面是極小曲面——肥皂膜張在一個鐵絲圈上時自發安頓出的形狀，因為平均曲率為零恰好是局部面積最小的條件。所以 K 回答「這裡看起來如何？」，而 H 回答「肥皂膜在這裡會怎麼表現？」——同一對數字的兩張臉。若某點的兩個主曲率恰好相等，k_1 = k_2，那是一個臍點：曲面在那裡朝每個方向彎得一樣，根本沒有偏好的主方向，正如球面上每一個點所發生的那樣。
拿一個半徑 r 的球面，能把這一切變得具體。由對稱性，每個方向都彎得一樣，所以 k_1 = k_2 = 1/r（球越大越平緩，故曲率越小——這個 1/r 是誠實的）。於是 K = 1/r^2，一個正的常數，符合它處處如碗的模樣，而 H = 1/r。每一點都是臍點，正如承諾。在半徑 r 的圓柱上試同樣的事：沿筆直的軸，切痕是直線、k = 0，而繞圓形的腰一圈 k = 1/r，所以 K = 0 * (1/r) = 0。圓柱的高斯曲率為零——這正是我們開篇那個事實的精確說法：你能把它無失真地攤平到紙上。
你現在能做什麼，以及前方的震撼彈
- 在一點 P，找出單位法向量 N 與切平面；這固定了量度彎曲所用的外在標架。
- 沿每個方向 v 切片，讀出法曲率 k_n(v)——通過 N 與 v 的法截線的帶號曲率。
- 對所有方向取最大與最小，得到主曲率 k_1、k_2，它們沿互相垂直的主方向達成（即形狀算子的特徵值與特徵向量）。
- 把它們組合：乘積給出高斯曲率 K = k_1 k_2（局部形狀），平均給出平均曲率 H = (k_1 + k_2)/2（肥皂膜的問題）。
誠實面對我們所展示的界限。我們定義了這些曲率，也算出了幾個乾淨的例子，但歐拉公式與譜結構倚靠第二基本形式，以及對高斯映射的仔細微分——這套機器我們是按其精神勾勒，而非完整證明。對一個入門的階段，這是恰當的；這裡的觀念是忠實的，但滴水不漏的證明住在更深一層。要緊的是你現在有了一幅真確的心象：曲面在每個方向彎的量不同，兩個垂直方向捕捉到極值，兩個數字總結了全部。
而這裡有下一篇導引將引爆的震撼彈。本篇的一切都公然是外在的——我們不得不離開曲面，在周圍空間中看 N，並注視它傾斜。高斯曲率 K = k_1 k_2 由其中兩個外在數字構成，所以 K 想必也是外在的，平面人看不見。高斯卻證明了相反。他的絕妙定理——「了不起的定理」——指出 K 能完全從第一基本形式、僅憑內在的量度算出。一個只能量距離與角度、從未見過第三維度的平面人，依然能感覺到他世界的高斯曲率。這就是為什麼圓柱（K = 0）能攤平到紙上，而球面（K = 1/r^2）卻永遠無法在不撕裂下被壓平——這也是下一篇導引的核心。