 Solution

At a regular point, $f(z_0+\zeta )-f(z_0)=f^{\prime }(z_0)\zeta +O({\zeta }^2)$. Multiplication by a nonzero complex number rotates every tangent by the same angle and multiplies every length by the same positive factor. Oriented angles are preserved. If the first derivative vanishes but the second does not, the leading term is $f^{\prime \prime }(z_0){\zeta }^2/2$: tangent arguments are doubled, so angles are doubled, modulo the identification of rays. This is a local statement; holomorphy alone does not imply global injectivity.

Write $z=x+iy$. ThenFor $-1<x<1$ and $y>0$, the imaginary part is positive. The bottom edge maps monotonically to $[-1,1]$; the left and right vertical edges map to $(-\infty ,-1]$ and $[1,\infty )$ respectively. The inverse below establishes that every point of the open upper half-plane occurs exactly once. At fixed $y=a$, putting $u=\mathrm{Re}w$, $v=\mathrm{Im}w$, one obtainsThis is the upper half of an ellipse, traversed from its left endpoint to its right endpoint.

Choose the branch $s(w)=\sqrt{1-w^2}$ analytic in the upper half-plane and positive on the boundary interval $(-1,1)$. Then the inverse branch into the strip isThe logarithm is chosen continuously so that $-1<\mathrm{Re}z<1$ and $\mathrm{Im}z>0$; for instance $w=iv$, $v>0$, gives $z=(2i/\pi )\mathrm{arsinh}v$. Differentiation gives $dz/dw=2/(\pi \sqrt{1-w^2})$. The only zeros of the original derivative in the closed strip are $z=\pm 1$, with images $w=\pm 1$. The inverse has square-root branch points there, and cannot extend holomorphically across them. At either corner the original map doubles the right angle to a straight angle; a holomorphic inverse with nonzero derivative could not halve it. The open strip interior has no such failure.