El correspondiente teorema es la siguiente.
Teorema: Vamos a $\sum a_nz^n$ ser un complejo de alimentación de la serie. Supongamos que, para algunos,$w\in\mathbb C$, la serie $\sum a_nw^n$ converge. A continuación, para todos los $z\in\mathbb C$ tal que $|z|<|w|$, la serie $\sum a_nz^n$ converge absolutamente.
Prueba. Supongamos que $\sum a_nw^n$ converge. Vamos, de hecho, solo se necesita utilizar un hecho que parece ser mucho más débiles que los términos individuales $a_nw^n$ están delimitadas en el módulo. En otras palabras, existe alguna $M$ tal que $|a_nw^n|\le M$ todos los $n$.
Ahora supongamos $z\in\mathbb C$ y $|z|<|w|$. Vamos a demostrar que la serie $\mathbb a_nz^n$ converge absolutamente; es decir, que la serie $\sum |a_n||z|^n$ converge. Para mostrar esto, tenga en cuenta que:
\begin{align}
|a_n||z|^n&=|a_nw^n|\left(\frac{|z|}{|w|}\right)^n \\
&\le M\left(\frac{|z|}{|w|}\right)^n
\end{align}
Ahora acaba de utilizar el hecho de que el (geométrica) de la serie de $M\sum\left(\frac{|z|}{|w|}\right)^n$ converge (desde $|z|<|w|$). $\Box$
Puede usted ver por qué esto implica lo siguiente?
Corolario: Vamos a $\sum a_nz^n$ ser un complejo de alimentación de la serie. A continuación, cualquiera de $\sum a_nz^n$ converge en todas partes o existe alguna $R\ge 0$ (el radio de convergencia tal que $\sum a_nz^n$ converge absolutamente para $|z|<R$ y diverge para $|z|>R$. (En general, no podemos decir nada sobre el caso al $|z|=R$.)