Past exam of the metric spaces and complex analysis course of the University of Oxford / 2014 / 6 / b / i

When all three points are finite, useThe distinctness assumptions ensure that it is a nonconstant Möbius transformation, and direct substitution gives the three required values. If one of the specified points is infinity, the limiting formulas areThese cover every case because the points are distinct.

For uniqueness, if $g$ and $\tilde{g}$ have the same three images, the Möbius map $\tilde{g}\circ g^{-1}$ fixes $0,1,\infty$. Fixing zero and infinity makes it $z\mapsto cz$ with $c\ne 0$; fixing one gives $c=1$. Therefore the normalized map is unique. This is the sharp three-transitivity of Möbius transformations.