Let be analytic inside and on a simple closed positively oriented contour , and let be any point in the interior of . Then:

The formula recovers the value of at any interior point entirely from its values on the boundary, a consequence of Cauchy’s Theorem and the structure of analytic functions.

Generalized Form for Derivatives

The formula extends to all higher-order derivatives. For :

The case recovers the basic formula. This is proved by differentiating under the integral sign, which is justified by uniform convergence on .

Infinite Differentiability

If is analytic on an open set , then is infinitely differentiable on , and every derivative is itself analytic on . This stands in sharp contrast to real analysis, where a function can be differentiable exactly times and no more. Analyticity in the complex sense is a far stronger condition.

Connection to Residues

The integrand has a simple pole at with Residue:

The Cauchy Integral Formula is therefore a direct application of the residue theorem: the contour integral equals times the sum of residues of enclosed poles. With analytic inside , the only singularity of the integrand is the simple pole at , giving exactly .

More generally, the generalized formula extracts the coefficient of in the Laurent expansion of , which is the residue at the order- pole.