The residue theorem is a pivotal result in complex analysis, providing an elegant method for evaluating contour integrals. It states that if a function \( f(z) \) is analytic inside and on a simple closed contour \(C\), except for isolated singularities, then the integral of \( f(z) \) over \( C \) is \( 2\pi i \) times the sum of residues at those singularities.
The residue at a singularity is a specific value that encapsulates the behavior of the function near that singularity. To use the residue theorem in the context of the given integral, follow these steps:
- Find the singularities of the function inside the chosen contour.
- Calculate the residues at these singularities.
- Sum these residues and multiply by \(2\pi i\).
For our integral, the function involved is \( \frac{1}{1 - 2r \cos \theta + r^2} \). By rewriting the integral in terms of \(z = e^{i\theta}\), we can identify the singularities and apply the residue theorem to verify our result.
This method confirms the result initially found through substitution and integral tables, demonstrating the power and utility of the residue theorem in complex analysis.