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 gives
The contour integrand has no other poles. The formula also includes , giving .

Articles by others on the same topic (0)

There are currently no matching articles.