高斯曲率

曲面上一點的高斯曲率是該點主曲率

和

的乘積，是曲率的內在度量。

用符號表示，高斯曲率

定義為

也可以如下給出

其中

是協變導數而

是度量張量。

中的正規曲面的一點

，則高斯曲率為

其中S為形算子 ^[1]  。

關於高斯曲率的一個很有用的公式是用等温座標中的拉普拉斯算子表達的劉維爾方程。

説明：由左至右：負高斯曲率曲面（雙曲面），零高斯曲率曲面（圓柱面），和正高斯曲率曲面（球面）。

利用隱函數定理將曲面用二元函數

的圖像來表示，並且假設點

為臨界點，也即

在該點的梯度為0（這總是可以通過適當的剛體運動來實現）。然後

點的高斯曲率就是

在點

的黑塞矩陣（二階導數組成的2x2矩陣）的行列式。這個定義只要用基本的微積分知識就可以理解杯底或者帽頂“對應”鞍點的區別。

負曲率曲面上的三角形三角之和小於平面三角形的三角之和。

曲面上某個區域的高斯曲率的曲面積分稱為總曲率。測地三角形（即黎曼球面幾何中的三角形）的總曲率等於它的內角和與

的差。正曲率曲面上的三角形的內角和大於

，而負曲率曲面上的三角形的內角和小於

。零曲率曲面上（如歐幾里得平面），其內角和等於

。

更一般的結果是高斯-博內定理。

説明：負曲率曲面上的三角形三角之和小於平面三角形的三角之和。

高斯的絕妙定理斷言曲面的高斯曲率由曲面上長度的測量本身決定。事實上，它完全由第一基本形式決定並且可以用第一基本形式及其一階和二階偏導數表達。等價地，嵌入在

中的曲面的第二基本形式的行列式也可以這樣表達。定理的"絕妙"之處在於，雖然

中的曲面S上的高斯曲率的定義明顯依賴於曲面各點在空間中的定位，而高斯曲率本身只要曲面上的內在度量就可以決定，而與環境空間沒有進一步的關聯：它是一個內藴不變量。精確地講，高斯曲率在曲面的等度變換下保持不變。

在現代微分幾何中，"曲面"抽象的看來是一個二維微分流形。將這個觀點和曲面的經典理論聯繫起來的是將抽象曲面嵌入到R中，並用第一基本形式賦予黎曼度量。假設這個嵌入在

中的像是曲面S。局域等度就是

中的開區域之間的微分同胚

限制到

就是到自己的像的等度變換。絕妙定理可以如下表述：

嵌入到

的光滑曲面的高斯曲率在局域等度下不變 ^[2]  。

例如圓柱面的高斯曲率為0，和"展開"後得到的平面是一樣的。另一方面，因為半徑為

的球面有正常數曲率

而平面有常數曲率0，這兩個曲面不是等度的，即使局部也不行。因此即使是一部分球面的平面表示也會扭曲距離。所以沒有測繪映射是完美的。

高斯-博內定理將曲面的總曲率和它的歐拉示性數聯繫起來，並且給出了一個局部幾何性質和全局拓撲性質的重要關聯。

1.Minding定理(1839年)斷言所有具有相同常曲率

的曲面局域等度。Minding的一個結果是所有曲率為0的曲面可以通過彎曲平面區域來構造。這樣的曲面稱為可展曲面。Minding也提出了有常正曲率的閉曲面是否剛性的問題。

2.Liebmann定理(1900年)解決了Minding的問題。唯一常正曲率正則(

)

中的閉曲面是球面。

3.希爾伯特定理(1901年)斷言在

中不存在常負高斯曲率的完全解析(

)正則曲面。事實上，對於浸入到

的

曲面也成立，但是對於

-曲面卻不成立。偽球面有常負高斯曲率，除了在其尖點。

1.

中的曲面的高斯曲率可以表達為第二基本形式和第一基本形式的行列式的商 ^[3]  ：

2.Brioschi公式只用第一基本形式給出高斯曲率：

3.對於正交參數化，高斯曲率為：

4.高斯曲率是測地圓的周長和平面上的圓的周長之差的極限：

5.高斯曲率是測地圓的面積和平面上的圓的面積之差的極限：

6.高斯曲率可以用克里斯托費爾記號表達:：

因為高斯曲率實際反映的是曲面的彎曲程度，因此在三維CAD軟件中都把高斯曲率分析作為分析曲面造型中內部曲面質量和連接情況的主要依據。當曲面的高斯曲率變化比較大比較快的時候表明曲面內部變化比較大也就意味這曲面的光滑程度越低，而兩個連接的曲面如果在公共邊界上的高斯曲率發生突變就表示兩個曲面的高斯曲率並不連續，通常也叫曲率不連續，説明兩個曲面的連接沒有到達G2連接質量。

在三維CAD軟件中，通常都是使用曲面表面的顏色分佈和變化來表示曲面高斯曲率的分佈，比如ProE軟件便是如此，通過這些顏色的變化就可以直觀地知道曲面的高斯曲率的變化，而顏色的突變就表示高斯曲率的突變。