Area of a hyperbolic geodesic polygon
= Area of a hyperbolic geodesic polygon
In the curvature-minus-one <Poincaré half-plane model>, a geodesic polygon with $n$ sides and interior angles $\alpha_1,\ldots,\alpha_n$ has area
$$
(n-2)\pi-\sum_{j=1}^n\alpha_j.
$$
This is the polygonal <Gauss-Bonnet theorem>.