A function is zero when , and is real when
is real, and is analytic when . If is the imaginary part of prove that holds when .
Parametrizing with , the function . Consider
on the unit circle. Then
So the poles are at and , since , and the other singularity is outside the unit circle. Thus