Solution: Consider the function and the contour consisting of
-
A semicircle of radius in the upper half-plane,
-
The real axis from to ,
-
A small semicircle of radius around the origin in the upper half-plane,
-
The real axis from to .
By
Cauchy's residue theorem, since is analytic inside and on except at , we have:
Breaking the integral into parts:
As , the integral over vanishes by
Jordan's lemma. As , the integral over approaches (half the residue at ).
Taking the imaginary part of the remaining integrals, we get:
Therefore: