Analyticity of holomorphic functions
In complex analysis a complex-valued function ƒ of a complex variable z:
One of the most important theorems of complex analysis is that holomorphic functions are analytic. Among the corollaries of this theorem are
The argument, first given by Cauchy, hinges on Cauchy's integral formula and the power series development of the expression
Let D be an open disk centered at a and suppose ƒ 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 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
...
Wikipedia