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.