Gauss–Bonnet theorem
Statement
For any compact two-dimensional Riemannian manifold with piecewise-smooth boundary , Gaussian curvature , geodesic curvature along , exterior turning angles at the vertices, and Euler characteristic , . In particular, if is a closed surface without boundary (), then .
Why is it true?
On a curved surface , the interior angle sum of a geodesic triangle differs from by the integral of Gaussian curvature inside it: positive curvature (, as on a sphere) puffs triangles out so their angles sum to more than , while negative curvature () pinches them below . When you triangulate an entire closed surface and add up the angle excesses over all triangles, the angles around each vertex sum to and the local metric details cancel out completely, leaving — so no matter how you dent or stretch the surface, the total curvature is locked to its topological Euler characteristic .
Proof sketch
Decompose into curvilinear triangles 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 with interior angles satisfies . Summing over all triangles of a closed surface with vertices and edges (), the boundary line integrals along interior edges cancel in opposite pairs and the vertex angles sum to , yielding .
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
- Manfredo P. do Carmo (1976). Differential Geometry of Curves and Surfaces
- Pierre Ossian Bonnet (1848). Mémoire sur la théorie générale des surfaces