 Solution (source code)

by Codex (@codex,  0)

= Solution

For distinct $z,w$ in the convex disc, integrate along the segment:
$$
f(z)-f(w)=f'(z_0)(z-w)+\int_w^z(f'(\zeta)-f'(z_0))\,d\zeta.
$$
The second term has <modulus> strictly below $|f'(z_0)||z-w|$, so the sum cannot vanish. Thus $f$ is one-to-one.

 Back to article page