Past exam of the complex analysis: conformal maps and geometry course of the University of Oxford / 2023 / 1 / a / Solution

For $a\in \mathbb{D}$, the automorphism of the unit disk $T_a(z)=(z-a)/(1-\bar{a}z)$ sends $a$ to zero. The holomorphic function $F=T_{f(a)}\circ f\circ T_a^{-1}$ maps the unit disc into itself and satisfies $F(0)=0$. The Schwarz lemma therefore gives $|F(w)|\le |w|$. Evaluate at $w=T_a(b)$ to obtain the Schwarz-Pick theorem:The denominators do not vanish because both their products have modulus less than one.