Cauchy's Integral Theorem - Proof

Proof

If one assumes that the partial derivatives of a holomorphic function are continuous, the Cauchy integral theorem can be proved as a direct consequence of Green's theorem and the fact that the real and imaginary parts of must satisfy the Cauchy–Riemann equations in the region bounded by, and moreover in the open neighborhood U of this region. Cauchy provided this proof, but it was later proved by Goursat without requiring techniques from vector calculus, or the continuity of partial derivatives.

We can break the integrand, as well as the differential into their real and imaginary components:

In this case we have

By Green's theorem, we may then replace the integrals around the closed contour with an area integral throughout the domain that is enclosed by as follows:

However, being the real and imaginary parts of a function analytic in the domain, and must satisfy the Cauchy–Riemann equations there:

We therefore find that both integrands (and hence their integrals) are zero

This gives the desired result

Read more about this topic:  Cauchy's Integral Theorem

Famous quotes containing the word proof:

    If we view our children as stupid, naughty, disturbed, or guilty of their misdeeds, they will learn to behold themselves as foolish, faulty, or shameful specimens of humanity. They will regard us as judges from whom they wish to hide, and they will interpret everything we say as further proof of their unworthiness. If we view them as innocent, or at least merely ignorant, they will gain understanding from their experiences, and they will continue to regard us as wise partners.
    Polly Berrien Berends (20th century)

    The insatiable thirst for everything which lies beyond, and which life reveals, is the most living proof of our immortality.
    Charles Baudelaire (1821–1867)

    From whichever angle one looks at it, the application of racial theories remains a striking proof of the lowered demands of public opinion upon the purity of critical judgment.
    Johan Huizinga (1872–1945)