Cauchy's Integral Formula

Theorem
Let $D = \left\{{z \in \C : \left|{z}\right| \le r}\right\}$ be the closed disk of radius $r$ in $\C$.

Let $f: U \to \C$ be holomorphic on some open set containing $D$.

Then for each $a$ in the interior of $D$:


 * $\displaystyle f \left({a}\right) = \frac 1 {2 \pi i} \int_{\partial D} \frac {f \left({z}\right)} {\left({z-a}\right)} \ \mathrm d z$

where $\partial D$ is the boundary of $D$, and is traversed anticlockwise.

Proof
Let $C$ be any arbitrary closed curve which defines a region $R$ where the function $f \left({z}\right)$ is analytic.

Let $z_0$ be any point in the region $R$ such that:


 * $\dfrac {f \left({z}\right)} {z - z_0}$ is analytic everywhere except at $z_0$.

We draw a circle $C_1$ with center at $z_0$ and radius $r$ such that $r \to 0$.

This makes $C$ and $C_1$ a multiply connected region.

According to Cauchy's Integral Theorem for a multiply connected region:

Let:

Now:
 * $\displaystyle I = 2 \pi i f \left({z}\right) + \oint_{C_1} \frac {f \left({z}\right) - f \left({z_0}\right)} {z - z_0} \ \mathrm d z$

According to Epsilon-Delta definition of limit, for every $\left|{z - z_0}\right| < \delta$ there exists a $\epsilon \in \R_{>0}$ such that:
 * $\left|{f \left({z}\right) - f \left({z_0}\right)}\right| < \epsilon$

Hence:

As $\epsilon \to 0$:
 * $\displaystyle \oint_{C_1} \frac {f \left({z}\right) - f \left({z_0}\right)} {z - z_0} \rd z = 0$

So: