In the upper half-plane model the hyperbolic metric isThe length of a differentiable curve is . The area element is the square root of the metric determinant times , so the hyperbolic area of a measurable region is .
The Gauss-Bonnet theorem for a geodesic hyperbolic triangle of angles in curvature gives area ; an ideal vertex has angle zero. The horizontal edge in the present region is not a geodesic, so it is simpler to use the area element directly:The open boundary does not affect the integral because its area is zero.
Articles by others on the same topic
There are currently no matching articles.