Power series at $z=0$ implies power series at any $z$ in the disc of convergence This should be a very simple exercise requiring some algebraic manipulation, but I can not seem to get it right! Its statement is the following: If $f$ ($\mathbb{C}\to\mathbb{C}$) is a power series centred at the origin $z=0$, then $f$ has a power series expansion around any point of its disc of convergence.

So let $z_0$ be a number in the disc of convergence of $f$. Then $$f(z)=f(z-z_0+z_0)=\sum_{n=0}^\infty a_n(z-z_0+z_0)^n = \sum_{n=0}^\infty a_n \sum_{k=0}^n {n\choose k}(z-z_0)^{n-k}z_0^k.$$ Now I should rearrange this to get $(z-z_0)^n$ and some new coefficients $b_k$ not depending on $z$ and I don't know how to do it!

Any help will be appreciated!
Unfortunately I don't know how to use LaTeX.

It is worth noting that, by the general binomial expansion, the range of k should be from 0 to infinity.

Instead of having the power of (z-z_0) as (n-k) and the power of (z_0) as k, have the power of (z-z_0) as k and the power of (z_0) as n-k. Then, after some argument about rearranging the summation signs and then letting everything under the k sum, apart from the (z-z_0)^k, being b_k, some complex sequence, we should be very nearly done.

Let the radius of convergence of the power series centred at 0 be R. Explaining that the new radius of convergence, R', is related to R by the formula r'=r-|z_0|, although relatively clear, is still required.
Unfortunately I don't know how to use LaTeX.

It is worth noting that, by the general binomial expansion, the range of k should be from 0 to infinity.

Instead of having the power of (z-z_0) as (n-k) and the power of (z_0) as k, have the power of (z-z_0) as k and the power of (z_0) as n-k. Then, after some argument about rearranging the summation signs and then letting everything under the k sum, apart from the (z-z_0)^k, being b_k, some complex sequence, we should be very nearly done.

Let the radius of convergence of the power series centred at 0 be R. Explaining that the new radius of convergence, R', is related to R by the formula r'=r-|z_0|, although relatively clear, is still required.