一個拒絕加到 180 度的三角形
先從你自基礎那一階就帶著的一個事實開始：在平坦平面上，三角形的三個角恰好加到 180 度，即 pi 弧度。如今在球面上畫一個三角形——它的邊是大圓的弧，也就是球面的測地線，正是上一篇教你尋找的最直路徑。取由赤道與兩條相距九十度的經線所圍、頂點落在北極的那一個。它三個角中的每一個都是乾淨的直角，於是角和為 270 度。這三角形比平坦的答案多出整整 90 度，而沒有任何地方出錯：曲面是彎的，而這多出來的量正是曲率在說話。
你其實已在橢圓幾何與球面幾何那幾篇遇過這個超出量，名喚角盈：測地三角形的角和勝過 180 度的數量。在那裡它是公設層次的奇趣。在這裡我們要精確釘住它究竟在計數什麼。吉拉爾定理告訴你，球面三角形的角盈等於它的面積（在單位球面上）。高斯—博內定理則是宏大的推廣：它在任何曲面上都成立，無論曲率如何隨地點變化，並把這超出量等同於三角形內部所捕捉到的高斯曲率總量。
局部定理：內部的曲率等於邊緣的轉彎
事情的核心在此，局部高斯—博內定理，先用話說、再用符號。取曲面上由一條封閉迴圈所圍的任一區塊。沿邊緣繞行一整圈，一路記下你相對於「直直向前」的參照向左或向右轉了多少——那個總和就是迴圈的轉彎量。定理說：你在邊緣累積的轉彎量，加上你在內部掃過的高斯曲率，永遠恰好加到 2 pi，即整整一圈。困在區域內部的曲率，與花在它邊界上的轉彎，並不獨立——它們彼此抵換，以維持一個固定的總和。
說精確些，對於由分段光滑曲線所圍的區域 R，敘述是：沿邊界對測地曲率 kappa_g 的積分，加上對區域上高斯曲率 K 的積分，再加上各角點處外角的總和，等於 2 pi。每一項你都已能叫出名字。邊界項量度邊緣本身在曲面之內彎曲多少——它的測地曲率——當邊界是測地線時這一項便消失。內部項是高斯曲率總量，正是絕妙定理證明為內在的那個量。角點項收集頂點處的尖銳轉折。請注意：每一樣材料都是內在的——這裡沒有任何東西取決於曲面如何坐落於空間。
一行話：對於有邊界 dR、且角點外角為 e_i 的區域 R，kappa_g 沿 dR 的積分，加上 K 在 R 上的積分，再加上各 e_i 的總和，等於 2 pi。看測地三角形會發生什麼。每一邊都是測地線，故 kappa_g = 0，邊界積分消失；把角點改以內角重述，敘述便成了：三個內角之和等於 pi 加上 K 在 R 上的積分。換句話說，角盈——角和勝過 pi 的數量——恰好是困在內部的高斯曲率總量。開場那個 270 度的三角形，正是這條恆等式的化身。
讀懂公式：球面三角形從何而來
讓我們看局部定理把開場的例子整個吞下。我們的球面三角形三邊都是大圓弧——測地線——所以邊界轉彎項、即 kappa_g 的積分，沿每一邊都是零。角點有貢獻，但以內角重述會更乾淨，這麼一來敘述就成了：三個內角之和等於 pi 加上內部的曲率總量。對單位球面，高斯曲率是常數，處處 K = 1，所以內部的曲率總量就是三角形的面積 A。於是角和減 pi 等於 A。我們的三角形角和為 270 度 = 3 pi / 2，故面積為 3 pi / 2 減 pi = pi / 2——恰是球面全面積 4 pi 的八分之一，正合你對那個三角形的預期。數字對得上。
同一條公式從另一側解釋了你在非歐那一階遇到的雙曲情形。在常負曲率的曲面上，K 為負，所以三角形內部的曲率總量為負，公式便逼使角和低於 pi——是虧損而非盈餘，恰是雙曲幾何裡瘦三角形的行為。而在平坦平面上 K = 0，內部項消失，你便尋回那永恆的 180 度規則。一條方程，三種幾何：曲率的正負號決定三角形是膨脹、攤平、還是收縮。
黏合三角形：躍向整張封閉曲面
局部定理管一塊區塊。整體定理管一整張封閉曲面——球面、環面、椒鹽卷餅——完全沒有邊界，而抵達它靠的是一個漂亮的記帳花招。把整張曲面切成一網小測地三角形，做一次三角剖分。對每個三角形套用局部定理，再把所有方程相加。內部的曲率項就堆積成整張曲面的曲率總量。邊界轉彎項則成對抵消：每條內部的邊都被它相鄰的兩個三角形各往一個方向走過一次，兩份貢獻大小相等、方向相反。從角度中存活下來的，是網格的頂點、邊、面的純組合計數。
塵埃落定時，那個組合的存活者恰好是 2 pi 乘上歐拉示性數 chi = V − E + F——正是你在拓樸那一階遇過的、歐拉多面體公式裡頂點、邊、面的同一個交錯計數，那個無論你怎麼鋪網、對任何如球面般的曲面都給出 2 的數。於是整座局部方程之塔崩縮成一行令人屏息的句子：一個封閉曲面的高斯曲率總量，等於 2 pi 乘上它的歐拉示性數。左邊是純幾何，是曲面如何彎曲的積分。右邊是純拓樸，一個全然不在乎彎曲的計數。
global Gauss-Bonnet (closed surface S, no boundary) integral over S of K dA = 2 pi * chi(S) where chi = V - E + F (Euler characteristic) sphere chi = 2 -> total curvature = 4 pi torus chi = 0 -> total curvature = 0 genus-g chi = 2 - 2g -> total curvature = 2 pi (2 - 2g)
為何這令人驚嘆，又禁止了什麼
細細體會這有多奇怪。取一顆完美的圓球，用拇指往內壓出一個凹陷。凹陷附近曲率劇烈變化——你造出了一個深坑，在凹陷邊緣一圈反向彎曲的區域，整片被擾動的鄰域。然而整張曲面上加總起來的高斯曲率總量，仍紋風不動地停在 4 pi。你在坑底壓進的每一分額外正曲率，都被它四周生出的負曲率分毫不差地償付。曲面無法僅憑壓凹改變它的歐拉示性數，所以也無法改變它的曲率總量。局部的幾何無限柔軟；整體的總量卻被鎖死。
這被鎖死的總量於是禁止了一些事，而這正是定理證明自己價值之處。環面的 chi = 0，所以它的曲率總量必為零。這不是建議——而是判決：任何甜甜圈，無論你怎麼雕塑，外側鼓起處的正曲率，必與內側孔洞處的負曲率分毫不差地相互抵消。而這裡有個值得玩味的後果：你永遠無法把環面塑成處處正曲率，因為那會逼出一個正的總量，與 chi = 0 矛盾。拓樸伸手下來，命令幾何被允許做什麼。孔洞的形狀對曲率有最終裁決權。
更一般地，一個封閉曲面的拓樸由它的虧格 g——孔洞的數目——所掌握，而歐拉示性數是 chi = 2 − 2g。所以球面（g = 0）總曲率為 4 pi，環面（g = 1）為 0，雙孔的椒鹽卷餅（g = 2）為 −4 pi，依此每多一個孔便往下走 4 pi。反過來讀，這定理是一台拓樸偵測器：對任一封閉曲面的曲率積分，除以 2 pi，你就數出了它的孔洞數——讀出一個無論怎麼彎曲伸縮都改不了的性質，所憑的不過是一次幾何量度。幾何遞給你一個拓樸不變量。
什麼是誠實的、什麼是難的、以及路通向何方
讓我對證明坦白，秉持這整座梯子賴以建立的精神。你在這裡握有的是高斯—博內的建築結構，而非它完整的機械裝置。局部定理倚賴一份仔細的帳：一個切向量被攜帶繞迴圈一圈時如何旋轉——那就是平行移動以及它累積的和樂（holonomy）——而要使轉彎項與角點項嚴謹，需要下一階所發展的聯絡理論。黏合中邊項的抵消，以及「chi 與你所選的三角剖分無關」這件事的證明，本身都是貨真價實的定理。這些沒有一樣是障眼法，但誠實的完整證明住在上一階。你該完全信任的是它的意義：總曲率等於 2 pi chi，幾何被拓樸釘住。
也讓我為你提防一個誘人的誇大。高斯—博內並沒有說兩個歐拉示性數相同的曲面有相同的幾何——一顆光滑圓球與一顆坑坑疤疤的凹球，幾何上天差地別，曲率 K 在它們身上分布得截然不同。定理只凍結了總量，那單一個積分出的數，而非逐點的分布。曲率如何鋪展的自由，正是整個曲面幾何賴以生存的空間；高斯—博內不過是圈出一個鋪展永遠無法觸動的量。
這是曲面那一階的山頂，也是通往其上一切的門戶。你一篇一篇地組起了工具箱：用以量度的第一基本形式、用以描述彎曲的主曲率、使高斯曲率成為內在的絕妙定理、給出最直路徑的測地線——而高斯—博內把它們綁成一句話，使局部幾何與整體形狀合而為一。攀上下一階，進入任意維數的流形，這些念頭——曲率、測地線、平行移動、幾何與拓樸的聯姻——將以黎曼曲率張量及其後裔之姿重現，那正是愛因斯坦寫下重力所用的語言。你方才目睹的曲率與拓樸之握手，並非一門課的終點；它是現代幾何如何環環相扣的第一次清晰目睹。