Komplexe Potenzreihe/Ableitung durch formale Ableitung/Fakt/Beweis

Beweis

Es sei ${}s\in \mathbb {R} _{+}$, ${}s<R$, vorgegeben und sei ${}r$ mit ${}s<r<R$. Dann konvergiert ${}\sum _{n=0}^{\infty }\vert {a_{n}}\vert r^{n}$ gemäß der Definition von Konvergenzradius. Wegen ${}n\leq {\left({\frac {r}{s}}\right)}^{n}$ für ${}n$ hinreichend groß ist

${}{\begin{aligned}\sum _{n=1}^{\infty }n\vert {a_{n}}\vert s^{n-1}&=\sum _{n=1}^{N}n\vert {a_{n}}\vert s^{n-1}+\sum _{n=N+1}^{\infty }n\vert {a_{n}}\vert s^{n-1}\\&\leq \sum _{n=1}^{N}n\vert {a_{n}}\vert s^{n-1}+{\frac {1}{s}}\sum _{n=N+1}^{\infty }\vert {a_{n}}\vert r^{n},\end{aligned}}$

sodass die Potenzreihe ${}{\tilde {g}}$ in ${}B\left(a,s\right)$ und somit in ${}U{\left(a,R\right)}$ konvergiert (dafür, dass der Konvergenzradius von ${}{\tilde {g}}$ nicht größer als ${}R$ ist, siehe Aufgabe).
Die Potenzreihe

${}\rho (z)=\sum _{n=2}^{\infty }a_{n}(z-a)^{n-1}\,$

ist ebenfalls in dieser Kreisscheibe konvergent, stellt eine nach Fakt stetige Funktion dar und besitzt in ${}a$ den Wert ${}0$. Daher zeigt die Gleichung (von Potenzreihen und dargestellten Funktionen)

${}f(z)=f(a)+a_{1}(z-a)+\rho (z)(z-a)\,,$

dass ${}f$ in ${}a$ linear approximierbar, also nach Fakt differenzierbar ist mit der Ableitung

${}f'(a)=a_{1}={\tilde {g}}(a)\,.$

Es sei nun ${}b\in U{\left(a,R\right)}$. Nach dem Entwicklungssatz gibt es eine konvergente Potenzreihe mit Entwicklungspunkt ${}b$,

${}h(z)=\sum _{n=0}^{\infty }b_{n}(z-b)^{n}\,,$

deren dargestellte Funktion mit der durch ${}g$ dargestellten Funktion in einer offenen Umgebung von ${}b$ übereinstimmt, und wobei ${}b_{1}=\sum _{n=1}^{\infty }na_{n}(b-a)^{n-1}$ gilt. Daher gilt nach dem schon Bewiesenen (angewendet auf ${}h$ und die formale Potenzreihenableitung ${}{\tilde {h}}$)

${}f'(b)={\tilde {h}}(b)=b_{1}=\sum _{n=1}^{\infty }na_{n}(b-a)^{n-1}={\tilde {g}}(b)\,.$

Zur bewiesenen Aussage