Paper 3, Section II, F

Geometry
Part IB, 2010

Describe the hyperbolic metric on the upper half-plane HH. Show that any Möbius transformation that preserves HH is an isometry of this metric.

Suppose that z1,z2Hz_{1}, z_{2} \in H are distinct and that the hyperbolic line through z1z_{1} and z2z_{2} meets the real axis at w1,w2w_{1}, w_{2}. Show that the hyperbolic distance ρ(z1,z2)\rho\left(z_{1}, z_{2}\right) between z1z_{1} and z2z_{2} is given by ρ(z1,z2)=logr\rho\left(z_{1}, z_{2}\right)=\log r, where rr is the cross-ratio of the four points z1,z2,w1,w2z_{1}, z_{2}, w_{1}, w_{2}, taken in an appropriate order.