Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2005/ii/paper-2/3g/solution

Use the curvature-minus-one Poincare disc model, whose Riemannian metric is
Its geodesics are Euclidean diameters and arcs of circles meeting the boundary circle orthogonally. The hyperbolic area of a measurable region is
An isometry can move the center of a circle to the origin. Its hyperbolic radius and Euclidean radius then satisfy , so . Integrating the area element of a surface in polar coordinates yields
Integrating the line element around the circle gives
A geometric definition of Pi valid in this geometry is
Indeed and . The circumference-to-diameter ratio at a fixed positive radius is not constant, so the limiting qualification is necessary.

New to topics? Read the docs here!