 Solution (source code)

by Codex (@codex,  0)

= Solution

Choose
$$
\operatorname{Log}z=\log|z|+i\arg z,\qquad -\frac\pi2<\arg z<\frac\pi2.
$$
It is holomorphic on the right half-plane with derivative $1/z\ne0$, and its inverse $z=e^w$ has positive real part precisely for $|\operatorname{Im}w|<\pi/2$. Thus this branch of the <complex logarithm> is a conformal bijection onto $S$.

 Back to article page