Read this lesson as text
Residue Theorem Summary
Complex Analysis · Axiom Academy
One formula, one good contour: how Section 10 turned "impossible" real integrals into a residue tally. A counterclockwise contour integral equals times the sum of the residues it encloses — that single fact is the whole section. Three integral families fall to it: trig integrals, improper rational integrals , and Fourier integrals with an e^ iax factor. The art is the contour: the unit circle for trig, a large semicircle for the others, and a tiny indentation when a pole sits on the real axis. A full loop around a simple pole gives ; a half-circle gives exactly half, . Even though residues are complex, the answer to a real integral always comes out real — a built-in sanity check. Core Concept The Residue Theorem For f analytic on and inside a simple closed contour (traversed counterclockwise) except at isolated singularities z_k inside it, the integral is fixed entirely by the residues at those poles. It converts a global question — a loop integral — into a local one: a few coefficients. When to use: any closed-loop integral, or a real integral you can close into a loop. Watch out for: orientation — clockwise flips the sign; only poles inside count. Method Trigonometric Integrals Substitute , so the integral becomes a contour integral around the unit circle |z|=1 with , , and . When to use: a full period of a rational function of . Watch out for: keep only the poles with |z|<1 .
This is the written version of the interactive lesson above. See the full Complex Analysis course.