The residue theorem
Statement
Let be holomorphic on a simply connected domain except at finitely many isolated singularities inside a positively oriented simple closed contour . Then .
Why is it true?
It reduces a hard geometric problem (integrating along a curve) to an easy algebraic one (adding up finitely many numbers), because deforming the contour around each pole shrinks it to a tiny circle where the Laurent series does all the work.
Proof sketch
Step 1 (Deform the contour). By Cauchy's integral theorem, for any closed curve bounding a region where is holomorphic. Since fails to be holomorphic only at , surround each with a tiny positively oriented circle of radius small enough that the circles are disjoint and lie inside . Cutting slits from to each turns the region between and the into a simply connected domain where is holomorphic, so the integral over the boundary of that region is ; the slit contributions cancel in pairs, leaving .
Step 2 (Evaluate each small circle). Fix and expand as its Laurent series around , valid on the punctured disk containing . Every term with has an antiderivative single-valued on the punctured disk, so it integrates to around the closed circle ; only the term survives.
Step 3 (Compute the surviving integral). Parametrize by for , so and . Then .
Step 4 (Sum up). Substituting Step 3 into the identity from Step 1 gives , which is exactly the residue theorem.
Topics that use this theorem
Step-by-step proofs
No step-by-step proof yet for this theorem.