Past exam of the mathematics course of the University of Cambridge / 2016 / ib / Paper 1 / 3F / b / Solution

A suitable Poincare disc automorphism is the Möbius transformationIt sends $a$ to zero and has inverse $(w+a)/(1+\overline{a}w)$. To verify the isometry directly, note thatThese identities show both that $f$ maps the unit disc onto itself and that $2|df|/(1-|f{|}^2)=2|dz|/(1-|z{|}^2)$, preserving the Riemannian metric.