MathLabs
TheoremProved

Gauss–Bonnet theorem

Statement

For any compact two-dimensional Riemannian manifold MM with piecewise-smooth boundary ∂M\partial M, Gaussian curvature KK, geodesic curvature kgk_g along ∂M\partial M, exterior turning angles θi\theta_i at the vertices, and Euler characteristic χ(M)\chi(M), ∫MK dA+∫∂Mkg ds+∑iθi=2πχ(M)\int_M K\,dA + \int_{\partial M} k_g\,ds + \sum_i \theta_i = 2\pi\chi(M). In particular, if MM is a closed surface without boundary (∂M=∅\partial M = \varnothing), then ∫MK dA=2πχ(M)\int_M K\,dA = 2\pi\chi(M).

Why is it true?

On a curved surface MM, the interior angle sum of a geodesic triangle △\triangle differs from π\pi by the integral ∫△K dA\int_\triangle K\,dA of Gaussian curvature inside it: positive curvature (K>0K > 0, as on a sphere) puffs triangles out so their angles sum to more than π\pi, while negative curvature (K<0K < 0) pinches them below π\pi. When you triangulate an entire closed surface MM and add up the angle excesses over all triangles, the angles around each vertex sum to 2π2\pi and the local metric details cancel out completely, leaving 2π(V−E+F)=2πχ(M)2\pi(V - E + F) = 2\pi\chi(M) — so no matter how you dent or stretch the surface, the total curvature ∫MK dA\int_M K\,dA is locked to its topological Euler characteristic χ(M)\chi(M).

Proof sketch

Decompose MM into curvilinear triangles TjT_j each lying in a single coordinate chart. By the local Gauss–Bonnet formula (proved via Green's theorem applied to the connection form in an orthonormal frame), each triangle TjT_j with interior angles αj,1,αj,2,αj,3\alpha_{j,1}, \alpha_{j,2}, \alpha_{j,3} satisfies ∫TjK dA+∫∂Tjkg ds=αj,1+αj,2+αj,3−π\int_{T_j} K\,dA + \int_{\partial T_j} k_g\,ds = \alpha_{j,1} + \alpha_{j,2} + \alpha_{j,3} - \pi. Summing over all FF triangles of a closed surface MM with VV vertices and EE edges (3F=2E3F = 2E), the boundary line integrals along interior edges cancel in opposite pairs and the vertex angles sum to 2πV2\pi V, yielding ∫MK dA=2πV−πF=2π(V−E+F)=2πχ(M)\int_M K\,dA = 2\pi V - \pi F = 2\pi(V - E + F) = 2\pi\chi(M).

Stated by

Proved by

Topics that use this theorem

Related theorems

Step-by-step proofs

No step-by-step proof yet for this theorem.

References

  1. Manfredo P. do Carmo (1976). Differential Geometry of Curves and Surfaces
  2. Pierre Ossian Bonnet (1848). Mémoire sur la théorie générale des surfaces