Angle Excess

Differential Geometry · Axiom Academy

LESSON Angle Excess in Differential Geometry How triangle angles reveal the curvature of space For a triangle with interior angles α, β, and γ, the angle excess E is defined as the amount by which the sum of angles exceeds π: In Euclidean space, E = 0 always. On curved surfaces, however, E can be positive or negative, revealing the intrinsic geometry of the space. On a sphere of radius R, there's a beautiful relationship between angle excess and area. For a geodesic triangle (formed by great circle arcs), the angle excess equals the area divided by R²: This is known as Girard's theorem . Since the sphere has constant Gaussian curvature K = 1/R², we can also write: The profound connection between angle excess and curvature is expressed by the Gauss-Bonnet theorem for geodesic triangles: Here, K(p) is the Gaussian curvature at each point p in the triangle's interior. This integral says: the angle excess equals the total curvature enclosed by the triangle . 4. Example: Positive Excess on a Sphere On surfaces with positive curvature (like spheres), triangles have angle excess E > 0, meaning angles sum to more than π. Consider a triangle on Earth's surface formed by: 5. Negative Excess on Hyperbolic Surfaces On surfaces with negative curvature (like saddles or hyperbolic planes), the Gaussian curvature K negative angle excess: E < 0. Since E = (α + β + γ) - π, negative excess means the angles sum to less than π. The more curved (more negative K), the greater the deficit.

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