Integrate around the real segment from to and the counterclockwise upper semicircle, with . The only enclosed pole is , whose residue is . On the semicircle, and , so its integral has magnitude at most .
The residue theorem thus gives . The line integral converges absolutely, so taking its real part is justified:
For a nonnegative integer , put on the unit circle. Since and ,The residue at zero is the coefficient of in , namely . The residue theorem givesThe contour integrand has no other poles. The formula also includes , giving .
Articles by others on the same topic
There are currently no matching articles.