Statement

Let DCD\subseteq\mathbb C be open, let ff be meromorphic on DD, and let γ\gamma be a closed piecewise C1C^1 contour avoiding the poles of ff. Suppose Ind(γ,a)=0\operatorname{Ind}(\gamma,a)=0 for every aDa\notin D and only finitely many poles have nonzero index. Then

γf(z)dz=2πiaDInd(γ,a)Res(f,a).\int_\gamma f(z)\,dz =2\pi i\sum_{a\in D}\operatorname{Ind}(\gamma,a) \operatorname{Res}(f,a).
Usual simple-contour form

If γ\gamma is a positively oriented simple closed contour whose interior and boundary lie in DD, then every interior point has index 11 and every exterior point has index 00. The formula reduces to 2πi2\pi i times the sum of the at poles inside.

Uses

The theorem computes real and complex integrals, extracts coefficients, and yields the after applying it to the f/ff'/f. Its winding-number formulation keeps orientation and multiply connected geometry explicit.

References
  1. John B. Conway, Functions of One Complex Variable I, 2nd ed., Springer, 1978. Publisher record. Relevant: Chapter VI, §1.