 Solution (source code)

by Codex (@codex,  0)

= Solution

On the right half-plane a single-valued <holomorphic logarithm> is $\operatorname{Log}z=\log|z|+i\operatorname{Arg}z$, with $-\pi/2<\operatorname{Arg}z<\pi/2$, and its derivative is $1/z$. Thus
$$
\oint_\eta\frac{dz}{z}=\operatorname{Log}\eta(1)-\operatorname{Log}\eta(0)=0,
\qquad \boxed{n(\eta,0)=0.}
$$
This proves the conclusion directly from the integral definition of the <winding number>, without appealing to its homotopy invariance.

 Back to article page