1 Statement of the theorem
Cauchy’s theorem asserts that, for complex functions that are holomorphic on a region containing a closed contour and sufficiently regular along that contour, the complex line integral of the function around the contour is zero. Intuitively, the integral “cancels out” because holomorphic functions behave like exact differentials.
1.1 Closed contour integrals and the vanishing condition
Let \(f\) be a complex-valued function and let \(\gamma\) be a closed curve in the complex plane. The contour integral \[ \int_\gamma f(z)\,dz \] depends on both the integrand and the parametrization of the path. Cauchy’s theorem identifies a broad class of situations where, despite nontrivial geometric motion of \(\gamma\), the integral always vanishes.
A standard version states: if \(f\) is holomorphic everywhere on and inside a contour \(\gamma\), then \[ \int_\gamma f(z)\,dz = 0. \]
1.2 Hypotheses: holomorphy on and inside the curve
The usual hypothesis is that \(f\) is holomorphic on an open set \(U\subset\mathbb C\) and that the contour \(\gamma\) lies in \(U\), with the “interior” of \(\gamma\) also contained in \(U\). Under such conditions, \(f\) has local power series expansions and behaves smoothly enough for integral identities to hold.
The interior is understood in the geometric sense appropriate to the class of curves under consideration (e.g., for simple closed curves, it is the bounded component of \(\mathbb C\setminus\gamma\)).
1.3 Types of contours and regularity assumptions
Precise formulations require the contour to have enough regularity for the integral to be well defined and for deformation arguments to apply.
1.3.1 Piecewise-smooth curves
A common setting uses piecewise \(C^1\) parametrizations: \(\gamma:[a,b]\to\mathbb C\) is continuous, differentiable except at finitely many points, and the derivative is integrable. In this framework, standard results from calculus ensure that \(\int_\gamma f(z)\,dz\) is meaningful and satisfies familiar properties under reparametrization.
1.3.2 Rectifiable curves
More general formulations allow contours that are rectifiable, meaning their length is finite. In that case one works with arclength parametrization and defines the integral via limits of polygonal approximations. With appropriate additional assumptions, Cauchy’s theorem continues to hold for holomorphic integrands.
2 Equivalent formulations
Cauchy’s theorem can be reformulated in several equivalent ways that emphasize invariance under deformation, path independence, or structural decomposition of complex integrals.
2.1 Cauchy’s theorem for homotopic contours
If two closed curves \(\gamma_0\) and \(\gamma_1\) can be continuously deformed into each other through a family of curves that stay inside a region where \(f\) is holomorphic, then \[ \int_{\gamma_0} f(z)\,dz=\int_{\gamma_1} f(z)\,dz. \] Taking \(\gamma_1\) to be a constant curve then yields the standard “integral equals zero” version.
2.2 Independence of contour path (within a simply connected domain)
A related consequence is that, in a simply connected domain \(U\) where \(f\) is holomorphic, integrals of the form \[ \int_\gamma f(z)\,dz \] are independent of the chosen path \(\gamma\) connecting two fixed points in \(U\). This path independence is an expression of the fact that holomorphic functions admit primitives locally and, in simply connected settings, globally.
2.3 Real-and-imaginary components perspective
Writing \(f=u+iv\) and \(dz=dx+i\,dy\) converts the statement into a pair of real-variable integral conditions. Under holomorphy, the real and imaginary parts satisfy the Cauchy–Riemann equations, which then imply cancellation in the corresponding real-variable integrals. This viewpoint is useful for proofs that appeal to planar results such as Green’s theorem.
3 Relationship to Cauchy’s integral formula
Cauchy’s theorem is closely linked to Cauchy’s integral formula, which strengthens the zero-integral statement by producing explicit values for integrals involving kernels like \(1/(z-w)\).
3.1 Derivation outline from contour integrals
A typical route to Cauchy’s integral formula begins by considering the function \[ g(z)=\frac{f(z)}{z-w} \] for a fixed point \(w\) not on the contour. If \(f\) is holomorphic on and inside the contour, then \(g\) is holomorphic except possibly at \(z=w\). By constructing appropriate auxiliary curves or by applying a limiting argument around \(w\), one obtains the formula \[ f(w)=\frac{1}{2\pi i}\int_\gamma \frac{f(z)}{z-w}\,dz \] for \(w\) in the interior region.
Cauchy’s theorem underpins the argument by guaranteeing that integrals of holomorphic functions over closed contours vanish, leaving only the contribution from the singular kernel.
3.2 Consequences for derivatives of holomorphic functions
Once the integral formula is available, it can be differentiated with respect to the parameter \(w\). This yields representations for derivatives of holomorphic functions in terms of contour integrals.
3.2.1 Higher-order derivatives via repeated differentiation
Repeated differentiation leads to expressions of the form \[ f^{(n)}(w)=\frac{n!}{2\pi i}\int_\gamma \frac{f(z)}{(z-w)^{n+1}}\,dz, \] again for \(w\) inside the contour. These identities show that holomorphic functions are not merely differentiable: they are infinitely differentiable (indeed analytic), with derivatives controlled by contour integrals.
4 Geometric and topological viewpoints
Beyond computation, Cauchy’s theorem reflects geometric invariance and topological constraints on how contours sit inside the complex plane.
4.1 Role of simply connected domains
In simply connected domains, every closed contour can be shrunk to a point without leaving the domain. Because the integral over the “shrunk” contour is zero, invariance under homotopy implies that the integral over the original contour must also be zero. Thus the topological feature of simple connectivity matches the analytic requirement of holomorphy.
In contrast, in domains with “holes,” a holomorphic function may fail to have globally single-valued primitives, and contour integrals can capture nontrivial winding information.
4.2 Deformation of contours and invariance principles
Cauchy’s theorem formalizes a deformation principle: as long as the curve is altered continuously without crossing singularities, the value of the integral remains unchanged.
4.2.1 Local deformation and patching arguments
Proofs often proceed locally by showing invariance under small perturbations and then assembling these local steps into a global conclusion. One typical mechanism is to cover the region between contours with overlapping patches where integral cancellation can be established, then use additivity of integrals to “patch” the result.
4.3 Singularities and failure modes (overview, non-exhaustive)
Cauchy’s theorem can fail when the integrand is not holomorphic on or inside the contour. In such cases, the integral may be nonzero and may encode how the contour winds around the singularities. Another limitation arises when the contour is not sufficiently regular or when the notion of “interior” is ambiguous for complicated self-intersecting paths, requiring careful definitions.
5 Proof strategies
Multiple proof methods exist, each highlighting different aspects of the theorem: antiderivatives, geometric decomposition, real-variable reduction, or conceptual links to holomorphy criteria.
5.1 Proof using antiderivatives (when applicable)
When \(f\) is holomorphic and one can construct a primitive \(F\) with \(F'(z)=f(z)\) on a region containing the contour, the integral is immediate: \[ \int_\gamma f(z)\,dz=\int_\gamma F'(z)\,dz=F(\gamma(b))-F(\gamma(a))=0 \] for a closed contour (\(\gamma(a)=\gamma(b)\)). This approach works directly in settings where primitives are known to exist globally; it also illustrates why simple connectivity is relevant.
5.2 Proof via partitioning into small rectangles
A classic strategy uses coordinate geometry. One starts with a contour lying in a rectangle grid and proves that the integral around the boundary of each small rectangle is zero. Summing over the grid boundaries telescopes most contributions, leaving only the integral over the outer contour. Refining the grid and taking a limit extends the result to more general piecewise-smooth curves.
This method is closely tied to the Cauchy–Riemann relations and to controlling error terms under partition refinement.
5.3 Proof using Green’s theorem / real-variable reduction
By expressing \(f=u+iv\) and rewriting \(f(z)\,dz\) in terms of \(u,v\) and differentials \(dx,dy\), the contour integral transforms into a line integral in the plane. Under holomorphy, the Cauchy–Riemann equations imply that the corresponding planar vector field is divergence-free (or satisfies conditions needed for Green-type cancellation). Green’s theorem then converts the contour integral around a closed curve into a double integral over the enclosed region, which vanishes due to the holomorphy-induced identities.
5.4 Proof using Morera’s theorem logic (conceptual connection)
Morera’s theorem provides a converse-type viewpoint: if a continuous function has zero integral around sufficiently many closed contours, then the function is holomorphic. Cauchy’s theorem can be used in this conceptual ecosystem: it establishes the forward direction for holomorphic functions, and it motivates criteria where holomorphy is detected by integral behavior alone.
5.4.1 From integral zero to holomorphy criteria
In practice, the logic is reversed in Morera-type arguments. One uses the assumption that integrals over closed curves vanish to build local primitives or to verify the Cauchy–Riemann equations in a distributional or weak sense. Although Cauchy’s theorem is not itself Morera’s theorem, their interplay shows that holomorphicity and contour integrals are tightly linked.
6 Generalizations and variants
Cauchy’s theorem admits extensions that loosen assumptions, alter the nature of contours, or change the analytic setting.
6.1 Cauchy’s theorem for families of curves
Rather than focusing on a single contour, some versions handle integrals over a family of curves depending on parameters, as long as the deformation avoids singularities and the integrand remains holomorphic throughout the relevant region. These formulations support stability results: small changes in geometry or parameterization do not affect the integral.
6.2 Versions for weaker notions of holomorphy
In some variants, one replaces classical holomorphy with weaker hypotheses that still imply the necessary integral cancellation. Examples include settings where the function is only assumed to be complex differentiable in a weaker sense or satisfies integral constraints that force analyticity. These versions emphasize that “holomorphic enough” is what matters for the integral to vanish.
6.3 Cauchy’s theorem for multiply connected settings (conditions overview)
In multiply connected domains, integrals around closed loops can be nonzero even for holomorphic functions, because the absence of simple connectivity can prevent global primitives. However, integrals often depend only on the homotopy class of the loop around the “holes,” and additional conditions—such as requiring the integrand to have special behavior relative to the domain—can recover vanishing results for certain classes of contours.
7 Applications
Cauchy’s theorem is a workhorse in complex analysis: it justifies computations, supports further theorems, and motivates the structure of analytic continuation.
7.1 Evaluating contour integrals
When integrals over closed contours can be shown to vanish, one can simplify the evaluation of integrals over more complicated paths by decomposing them into differences of closed contours. This is especially useful when comparing two different contours that can be deformed into each other within a holomorphic region.
7.2 Justifying residue computations (background motivation)
While the residue theorem is a distinct statement, Cauchy’s theorem provides the foundational reason why only singular contributions matter. The logic is: integrals of holomorphic parts cancel on closed contours, leaving contributions coming from singularities. This perspective motivates why rational functions and meromorphic functions yield computable contour integrals.
7.3 Analytic continuation through contour arguments (high-level overview)
Contour integrals also support analytic continuation. Informally, if a function is defined by a contour integral formula in one region and the contour can be moved without crossing singularities, the integral representation continues to define the function in larger regions. Cauchy-type invariance under deformation is the key mechanism that allows such extensions to be consistent with the original definition.