An analytic function whose Laurent series is given by
(1)
|
can be integrated term by term using a closed contour encircling ,
(2)
| |||
(3)
|
The Cauchy integral theorem requires that the first and last terms vanish, so we have
(4)
|
where is the complex residue. Using the contour gives
(5)
|
so we have
(6)
|
If the contour encloses multiple poles, then the theorem gives the general result
(7)
|
where is the set of poles contained inside the contour. This amazing theorem therefore says that the value of a contour integral for any contour in the complex plane depends only on the properties of a few very special points inside the contour.
The diagram above shows an example of the residue theorem applied to the illustrated contour and the function
(8)
|
Only the poles at 1 and are contained in the contour, which have residues of 0 and 2, respectively. The values of the contour integral is therefore given by
(9)
|