Potenzreihen/Ableitung/Textabschnitt
Es sei
konvergente Potenzreihe mit dem Konvergenzradius .
Dann ist auch die formal abgeleitete Potenzreihe
konvergent mit demselben Konvergenzradius. Die durch die Potenzreihe dargestellte Funktion ist in jedem Punkt differenzierbar mit
Es sei , , vorgegeben und sei mit . Dann konvergiert gemäß der Definition von Konvergenzradius. Wegen für hinreichend groß ist
sodass die Potenzreihe in und somit in konvergiert (dafür, dass der Konvergenzradius von nicht größer als ist, siehe
Aufgabe).
Die Potenzreihe
ist ebenfalls in dieser Kreisscheibe konvergent, stellt eine nach Fakt stetige Funktion dar und besitzt in den Wert . Daher zeigt die Gleichung (von Potenzreihen und dargestellten Funktionen)
dass in linear approximierbar, also nach Fakt differenzierbar ist mit der Ableitung
Es sei nun . Nach dem Entwicklungssatz gibt es eine konvergente Potenzreihe mit Entwicklungspunkt ,
deren dargestellte Funktion mit der durch dargestellten Funktion in einer offenen Umgebung von übereinstimmt, und wobei gilt. Daher gilt nach dem schon Bewiesenen (angewendet auf und die formale Potenzreihenableitung )
Für die eulersche Zahl gilt die Gleichheit
Die äußeren Gleichheiten sind Definitionen. Aufgrund von Fakt ist . Dies bedeutet aufgrund der Definition des Differentialquotienten insbesondere
Wir schreiben die Folgenglieder der linken Seite als und wenden darauf die Exponentialfunktion an. Daraus ergibt sich unter Verwendung der Stetigkeit und der Funktionalgleichung der Exponentialfunktion die Gleichungskette