La fórmula de Gauss-Bonnet relaciona la característica de Euler de una superficie con su curvatura gaussiana y la curvatura geodésica de su límite.
Sea una variedad de Riemann orientada bidimensional compacta con límite suave . Denote por la curvatura gaussiana y por la curvatura geodésica . Después
donde es la característica de Euler .
En particular, si no hay límite, obtenemos
Si la superficie se deforma, entonces su característica de Euler no cambia, mientras que la curvatura gaussiana puede cambiar punto por punto. Sin embargo, según la fórmula de Gauss-Bonnet, la integral de curvatura gaussiana sigue siendo la misma.
Un caso especial de esta fórmula para triángulos geodésicos fue obtenido por Friedrich Gauss [1] , Pierre Ossian Bonnet [2] y Jacques Binet independientemente generalizaron la fórmula al caso de un disco delimitado por una curva arbitraria; Binet no publicó un artículo sobre el tema, pero Bonnet lo menciona en la página 129 de su "Mémoire sur la Théorie Générale des Surfaces". Para dominios no simplemente conectados, la fórmula aparece en el trabajo de Walter von Dyck [3] . La formulación moderna la da Wilhelm Blaschke [4] .