Suppose that is analytic on a closed curve (i.e., is analytic in a region that contains ). Show that
is purely imaginary.
If the curve is smooth enough to have a differentiable parametrisation then this is just integration by parts. In fact, suppose that is given by a differentiable path , with . Then
Thus the integral is equal to the negative of its complex conjugate, so it is purely imaginary.