contour integration
A real integral sweeps along a segment of the number line. A contour integral instead walks a path through the two-dimensional complex plane, adding up the values of a complex function as you travel. It is the central operation of this whole field — and its magic is that the answer often depends only on which singularities the path encloses, not on the path's exact shape, so you are free to bend the route into whatever makes the calculation easy.
Formally, for a function f(z) and an oriented curve C parametrised by z(t), the contour integral is the integral over C of f(z) dz, computed as the integral over the parameter of f(z(t)) times z'(t) dt — a complex-valued analogue of the line integral of a vector field. The orientation matters: reversing the direction flips the sign, and the standard positive sense around a closed loop is counterclockwise. When f is analytic on and inside a closed contour, the integral is zero (Cauchy's theorem); when singularities sit inside, the integral collects a clean contribution from each, which is the content of the residue theorem.
Contour integration is the practical payoff of complex analysis. Real integrals that resist every elementary trick — integral of (sin x)/x, integral of 1/(1 + x^4), oscillatory and improper integrals from physics — fall in a line or two by closing a contour in the upper or lower half-plane and reading off residues. It also computes inverse Laplace and Fourier transforms (the Bromwich integral), sums infinite series, and locates the roots and poles that decide whether a control system is stable.
Integrate f(z) = 1/z counterclockwise around the unit circle z = e^{i t}, t from 0 to 2 pi. Then dz = i e^{i t} dt and f(z) dz = (i e^{i t} / e^{i t}) dt = i dt, so the integral is i times 2 pi = 2 pi i. The path encircled the singularity at z = 0 once, and any other loop around it gives the same 2 pi i — the value depends on enclosure, not on shape.
The basic miracle: the loop integral of 1/z is 2 pi i, independent of the loop's shape.
Path-independence is not unconditional: it holds only where the function is analytic. Cross a singularity or a branch cut and the value changes. The whole art is in choosing a contour that avoids cuts and traps just the singularities you want to count.