Solution

ID: past-exam-of-the-geometry-course-of-the-university-of-oxford/2008/b/8/iii/solution

Choose an actual pole of ; one exists by nonconstancy and compactness. In a local coordinate centered there, its simple pole has expansion with . Hence
The holomorphic inverse function theorem makes a local coordinate. Here the source notation denotes the reciprocal, rather than an inverse map of the meromorphic function.
The chosen pole is among the fixed points, so maps a sufficiently small neighborhood of it into the coordinate neighborhood. If , then there. Injectivity of this coordinate forces throughout a nonempty open set. The stated identity principle then gives equal to the identity everywhere.

New to topics? Read the docs here!