Solution

ID: past-exam-of-the-geometry-course-of-the-university-of-oxford/2010/a/3/iii/solution

For distinct points on a geodesic, the given disc isometry sends to zero. Choose so that the image of is the positive number
An orthogonal-circle geodesic through zero is a diameter, so this normalizes the geodesic as required.
There are two hyperbolic metric normalizations to distinguish. For the metric transferred from the stated half-plane, the radial length is
The diameter is minimizing. Indeed, any path from zero to has , so its length is at least , with equality on the radial segment. Therefore the distance consistent with the given half-plane metric is
For the alternative disc metric , every length is halved and the same isometries and geodesics remain. In that convention,
The printed distance corresponds to the latter convention. It is obtained from one quarter of the given half-plane metric, rather than its direct transfer. The equal-point case gives distance zero in both conventions. This is the normalization of the Poincare disc metric.

New to topics? Read the docs here!