In the upper half-plane model the hyperbolic metric is
The 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 (0)

There are currently no matching articles.