In complex analysis, a complex-valued function f of a complex variable z: One of the most important theorems of complex analysis is that holomorphic functions are analytic and vice versa. Among the corollaries of this theorem are

Proof

The argument, first given by Cauchy, hinges on Cauchy's integral formula and the power series expansion of the expression Let D be an open disk centered at a and suppose f is differentiable everywhere within an open neighborhood containing the closure of D. Let C be the positively oriented (i.e., counterclockwise) circle which is the boundary of D and let z be a point in D. Starting with Cauchy's integral formula, we have Interchange of the integral and infinite sum is justified by observing that f(w)/(w-a) is bounded on C by some positive number M, while for all w in C for some positive r as well. We therefore have on C, and as the Weierstrass M-test shows the series converges uniformly over C, the sum and the integral may be interchanged. As the factor (z-a)^n does not depend on the variable of integration w, it may be factored out to yield which has the desired form of a power series in z: with coefficients

Remarks