Complex-analytic implies holomorphic

This article gives the statement, and possibly proof, of a basic fact in complex analysis.
View a complete list of basic facts in complex analysis

Statement

Suppose $U\subset \mathbb {C}$ is a domain and $f:U\to \mathbb {C}$ is a complex-analytic function: for every point $z_{0}\in U$, there exists a real number $r>0$ and a power series $\sum _{n=0}^{\infty }a_{n}(z-z_{0})^{n}$ such that the power series converges and agrees with $f$ in the ball of radius $r$.

Then, $f$ is a holomorphic function: it is complex-differentiable, and the complex differential is a continuous function. In fact, $f$ is differentiable infinitely often.

Proof

We will show the following somewhat stronger fact: if $f$ is a complex-analytic function at $z_{0}$ with a power series:

$f(z):=\sum _{n=0}^{\infty }a_{n}(z-z_{0})^{n}$

By basic facts of power series, $f$ converges absolutely, and uniformly on every disc of radius strictly smaller than its radius of convergence. We'll show that $f'$ exists on the open disc of the radius of convergence, and is given by the following absolutely convergent power series:

$f'(z):=\sum _{n=0}^{\infty }na_{n}(z-z_{0})^{n-1}$

Note that the power series on the right clearly has the same radius of convergence as the power series for $f$, so we can concentrate on showing that it equals $f$. Observe that if $s_{n}$ is the partial sum till the $n^{th}$ term of $f$, then $s_{n}'(z)$ indeed equals the sum, till the $n^{th}$ term, for $f'(z)$. Thus, what we really need to show is that the error term goes to zero.