Solution

ID: past-exam-of-the-complex-analysis-conformal-maps-and-geometry-course-of-the-university-of-oxford/2023/1/b/ii/solution

The quotient extends to a holomorphic function at zero with value one. Since is injective and vanishes at zero, has no zero in the unit disc. A holomorphic logarithm exists there, with . Define the odd square-root transform of a normalized univalent function by
It satisfies , , and . To check injectivity, gives , hence . If , oddness gives , so . Thus the two arguments always coincide, and . Choosing the square root by its derivative at zero removes its sign ambiguity.

New to topics? Read the docs here!