Gauss-Bonnet Summary

Differential Geometry · Axiom Academy

SUMMARY The Gauss-Bonnet Theorem The beautiful bridge connecting local curvature to global topology Definition: Measures how much a curve on a surface deviates from being a geodesic (the "straightest possible" path) Intrinsic Property: Only depends on the surface's metric, not how it sits in space For Geodesics: Geodesic curvature equals zero—these are the curves that "go straight" on the surface Physical Meaning: Think of walking on a curved surface while trying to go straight—geodesic curvature measures your "drift" Angle Excess & Geodesic Triangles Geodesic Triangle: A triangle formed by three geodesic segments on a surface Angle Excess: The amount by which the sum of interior angles exceeds π (180°) On a Sphere: Angles sum to more than π—positive curvature creates angle excess On a Saddle: Angles sum to less than π—negative curvature creates angle deficit The Connection: Angle excess equals the integral of Gaussian curvature over the triangle's interior Local Form: For a geodesic triangle or region with boundary, the angle excess (or total geodesic curvature along the boundary) plus the integral of Gaussian curvature over the interior equals 2π times the Euler characteristic of that region Global Form: For a closed surface without boundary, the total integral of Gaussian curvature equals 2π times the Euler characteristic of the entire surface The Transition: The global form emerges from the local form by considering the entire surface, where boundary terms vanish

This is the written version of the interactive lesson above. See the full Differential Geometry course.