高斯曲率
with equality characterizing a metric of constant Gaussian curvature.