Questionable Proof in Visual Complex Analysis

The theorem is true, and the proof is valid. However, it does omit a little step which is subtle. We have, thanks to the first part of the proof that $$\sum_{k=1}^\infty c_k z^k=\sum_{k=1}^\infty d_k z^k\\ z\left(\sum_{k=1}^\infty c_k z^{k-1}\right)=z\left(\sum_{k=1}^\infty d_k z^{k-1}\right)$$

Here comes the subtle part: for every $z\neq 0$, we have that

$$\sum_{k=1}^\infty c_k z^{k-1}=\sum_{k=1}^\infty d_k z^{k-1}$$

Since the two power series are continuous and are equal on a punctured neighbourhood of $0$, they must be equal at $0$ too. In fact:

$$c_1=\lim_{z\to 0}\sum_{k=1}^\infty c_k z^{k-1}=\lim_{z\to 0}\sum_{k=1}^\infty d_k z^{k-1}=d_1$$

The rest of the proof follows similarly

As a side note, the identity principle, is a feature of analytic functions in general and does not depends on their domain being $\mathbb{R}$ or $\mathbb{C}$

As I mentioned, this proof lacks of rigour. This is an intentional choice of the author through the book, as he states in the introduction:

"My book will no doubt be flawed in many ways of which I am not yet aware, but there is one "sin" that I have intentionally committed, and for which I shall not repent: many of the arguments are not rigorous, at least as they stand."


The argument here is, that you talk about a neighborhood (or even a set containing not only $0$):

If $$c_0 + c_1 z + c_2 z^2 + \dots = d_0 + d_1 z + d_2 z^2 + \dots$$ for all z in a neighborhood of 0, then $c_j = d_j \ (\forall j \in \Bbb{N}_0)$

If these two only coincide in $z=0$ you can't argue $c_j = d_j$ (take for example $1 + z + z^2 + \dots = 1 + 2z + 2z^2 + \dots$ in $z=0$). But since those two coincide in a whole neighborhood, you can simply apply cancellation laws. After the first step you are left with

$$z (c_1 + c_2 z + c_3 z^2 + \dots) = z(d_1 + d_2 z + d_3 z^2 + \dots)$$

For $z=0$ you can't conclude anything because you simply get the tautology $0=0$. But since they also coincide for values $z\neq 0$ basic cancellation leaves you with $$c_1 + c_2 z + c_3 z^2 + \dots = d_1 + d_2 z + d_3 z^2 + \dots$$

Now you plug $z=0$ in, get $c_1 = d_1$ and start again. This leaves you with $c_j = d_j$ for $z\neq 0$ but since power series are continuous they must also coincide for $z = 0$.

This proof also shows that your argument doesn't need the specific attributes of complex numbers and therefore uniqueness also holds for real valued power series.