微分几何中，曲面上一点的高斯曲率是该点主曲率κ1和κ2的乘积。它是曲率的内在度量，也即，它的值只依赖于曲面上的距离如何测量，而不是曲面如何嵌入到空间。这个结果是高斯绝妙定理的主要内容。

曲面上一点的高斯曲率是该点主曲率 和 的乘积，是曲率的内在度量。

用符号表示，高斯曲率 定义为

也可以如下给出

其中 是协变导数而 是度量张量。

中的正规曲面的一点 ，则高斯曲率为

其中S为形算子。

关于高斯曲率的一个很有用的公式是用等温坐标中的拉普拉斯算子表达的刘维尔方程。

说明：由左至右：负高斯曲率曲面（双曲面），零高斯曲率曲面（圆柱面），和正高斯曲率曲面（球面）。

利用隐函数定理将曲面用二元函数 的图像来表示，并且假设点 为临界点，也即 在该点的梯度为0（这总是可以通过适当的刚体运动来实现）。然后 点的高斯曲率就是 在点 的黑塞矩阵（二阶导数组成的2x2矩阵）的行列式。这个定义只要用基本的微积分知识就可以理解杯底或者帽顶“对应”鞍点的区别。

负曲率曲面上的三角形三角之和小于平面三角形的三角之和。

曲面上某个区域的高斯曲率的曲面积分称为总曲率。测地三角形（即黎曼球面几何中的三角形）的总曲率等于它的内角和与 的差。正曲率曲面上的三角形的内角和大于 ，而负曲率曲面上的三角形的内角和小于 。零曲率曲面上（如欧几里得平面），其内角和等于 。

更一般的结果是高斯-博内定理。

说明：负曲率曲面上的三角形三角之和小于平面三角形的三角之和。

高斯的绝妙定理断言曲面的高斯曲率由曲面上长度的测量本身决定。事实上，它完全由第一基本形式决定并且可以用第一基本形式及其一阶和二阶偏导数表达。等价地，嵌入在 中的曲面的第二基本形式的行列式 中的曲面S上的高斯曲率的定义明显依赖于曲面各点在空间中的定位，而高斯曲率本身只要曲面上的内在度量就可以决定，而与环境空间没有进一步的关联：它是一个内蕴不变量。精确地讲，高斯曲率在曲面的等度变换下保持不变。

在现代微分几何微分流形。将这个观点和曲面的经典理论联系起来的是将抽象曲面嵌入到R中，并用第一基本形式赋予黎曼度量。假设这个嵌入在 中的像是曲面S。局域等度就是 中的开区域之间的微分同胚 限制到 就是到自己的像的等度变换。绝妙定理可以如下表述：

嵌入到 的光滑曲面的高斯曲率在局域等度下不变。

的球面有正常数曲率 而平面有常数曲率0，这两个曲面不是等度的，即使局部也不行。因此即使是一部分球面的平面表示也会扭曲距离。所以没有测绘映射是完美的。

高斯-博内定理将曲面的总曲率和它的欧拉示性数联系起来，并且给出了一个局部几何性质和全局拓扑性质的重要关联。

1.Minding定理(1839年)断言所有具有相同常曲率 的曲面局域等度。Minding的一个结果是所有曲率为0的曲面可以通过弯曲平面区域来构造。这样的曲面称为可展曲面。Minding也提出了有常正曲率的闭曲面是否刚性的问题。

2.Liebmann定理(1900年)解决了Minding的问题。唯一常正曲率正则( ) 中的闭曲面是球面。

3.希尔伯特定理(1901年)断言在 中不存在常负高斯曲率的完全解析( )正则曲面。事实上，对于浸入到 的 曲面也成立，但是对于 -曲面却不成立。伪球面有常负高斯曲率，除了在其尖点。

1. 中的曲面的高斯曲率可以表达为第二基本形式和第一基本形式的行列式的商：

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

3.对于正交参数化，高斯曲率为：

4.高斯曲率是测地圆的周长和平面上的圆的周长之差的极限：

5.高斯曲率是测地圆的面积和平面上的圆的面积之差的极限：

6.高斯曲率可以用克里斯托费尔记号表达:：

因为高斯曲率实际反映的是曲面的弯曲程度，因此在三维CAD软件中都把高斯曲率分析作为分析曲面造型中内部曲面质量和连接情况的主要依据。当曲面的高斯曲率变化比较大比较快的时候表明曲面内部变化比较大也就意味这曲面的光滑程度越低，而两个连接的曲面如果在公共边界上的高斯曲率发生突变就表示两个曲面的高斯曲率并不连续，通常也叫曲率不连续，说明两个曲面的连接没有到达G2连接质量。

在三维CAD软件中，通常都是使用曲面表面的颜色分布和变化来表示曲面高斯曲率的分布，比如ProE软件便是如此，通过这些颜色的变化就可以直观地知道曲面的高斯曲率的变化，而颜色的突变就表示高斯曲率的突变。