Past exam of the mathematics course of the University of Cambridge / 2007 / ib / Paper 4 / 12A / Solution

In the Poincaré half-plane model, $\mathbb{H}=\{x+iy:y>0\}$ has Riemannian metricIts orientation-preserving isometries are the Möbius transformations $z\mapsto (az+b)/(cz+d)$ with real coefficients and $ad-bc=1$, with a simultaneous sign change representing the same map. The full isometry group also contains their compositions with $z\mapsto -\overline{z}$, which reverse orientation. The hyperbolic lines are vertical Euclidean lines and upper semicircles centred on the real axis; each meets the boundary orthogonally.

A hyperbolic line with finite endpoints $p<q$ is mapped to the imaginary axis byIts coefficient determinant is $q-p>0$, so rescaling the coefficients makes this an orientation-preserving isometry. The endpoints map to $0$ and $\infty$, which characterize the imaginary-axis hyperbolic line. For a vertical line with endpoints $p,\infty$, use $T(z)=z-p$. If $T_1,T_2$ send the two prescribed lines to the imaginary axis, $T_2^{-1}{T}_1$ sends the first to the second. This proves transitivity on hyperbolic lines.

For two ultraparallel hyperbolic lines, choose their common perpendicular and map it to the imaginary axis. A hyperbolic line perpendicular to that axis is a semicircle centred at zero: orthogonality at $iy$ forces the circle centre to have real coordinate zero. Thus the reflecting lines become semicircles of distinct radii $r_1,r_2>0$. The hyperbolic reflection in the radius-$r$ semicircle is $S_r(z)=r^2/\overline{z}$; it fixes that semicircle pointwise and reverses orientation. Their composition isIts $k$th power is $z\mapsto {\lambda }^{k}z$, and no positive power is the identity since $\lambda >0$ and $\lambda \ne 1$. Conjugation by the chosen isometry preserves order of a group element, so the original composition has infinite order. Reversing the order of the reflections replaces $\lambda$ by ${\lambda }^{-1}$ and gives the same conclusion.