Proof.
Substitute

into the integral and find

,
so that the integral may be interpreted as a contour integral of a
rational function about the unit circle
 |
(8.31) |
The poles are found by the quadratic formula
 |
(8.32) |
But only one of them lies within the unit disk, namely,

. To compute the residue, we evaluate a limit with
l'Hôpital's rule:
 |
(8.33) |
Then we can find by the Residue Theorem that
 |
(8.34) |