Hyperbolic Geometry - Main Theorem

TheoremGauss-Bonnet Theorem (Hyperbolic Case)

For a geodesic polygon in hyperbolic space with angles $\alpha_1, \ldots, \alpha_n$ , the area is:

A = (n-2)\pi - \sum_{i=1}^n \alpha_i

For a triangle ( $n=3$ ): $A = \pi - (\alpha + \beta + \gamma)$ , so angle defect equals area.

This profound result links local geometry (angles) with global topology (area). Unlike Euclidean geometry where angle sum is always $\pi$ , hyperbolic triangles encode their area in angular data. The maximum area occurs when all angles are zero (ideal triangle with vertices at infinity), giving $A = \pi$ .

The theorem extends to compact surfaces: for a closed hyperbolic surface of genus $g$ :

\int_M K \, dA = 2\pi \chi(M) = 2\pi(2-2g)

Since $K = -1$ , area equals $2\pi(2g-2)$ . This connects Riemannian geometry, topology, and hyperbolic geometry beautifully.

ExampleApplication to Triangle Classification

All triangles with angles $(\alpha, \beta, \gamma)$ have the same area $\pi - \alpha - \beta - \gamma$ . Since area is intrinsic, triangles with equal angles are congruent (AAA congruence). This impossibility in Euclidean geometry becomes natural in hyperbolic space.

Remark

The Gauss-Bonnet theorem is fundamental to:

Teichmüller theory: Moduli spaces of hyperbolic structures
3-manifold topology: Hyperbolic structures on surfaces embed in 3-manifolds
Geometric group theory: Group actions on hyperbolic space