The Heart of Complex Analysis

Complex Analysis · Axiom Academy

Cauchy's theorems — where an analytic function turns out to know far more than it should. Two theorems, one astonishing idea A function that is analytic — complex-differentiable on a region — behaves nothing like the functions of real calculus. It is automatically infinitely differentiable, it equals its own power series, and its values on a boundary pin down its values everywhere inside. Two results of Cauchy are responsible for all of it. Start with the first one. Watch a marker make one full trip around a closed loop C . At each step it adds the little contribution to a running total — the partial sum of the contour integral, drawn as a growing vector. Because f is analytic inside C , those contributions cancel: the vector spirals around and lands right back at the origin. Analytic inside the loop → the partial sums close up perfectly: . So when is a loop integral not zero? Cauchy's theorem needs f analytic everywhere inside C . Break that by placing a single bad point — a pole — and everything changes. Drag the pole around the plane and watch the one integral that refuses to vanish: . Inside the loop it is ; outside, it drops back to . It only matters whether the pole is enclosed — never where the loop is drawn. That jump from to is the seed of the next formula. The boundary already knows every value inside

This is the written version of the interactive lesson above. See the full Complex Analysis course.