Gaussian curvature
设formula_1是一个紧的二维黎曼流形，formula_2是其边界。令formula_3为formula_1的高斯曲率，formula_5为formula_2的测地曲率。则有