Wir möchten zeigen, dass eine komplex differnzierbare Funktion in jedem Punkt durch eine Potenzreihe darstellbar ist. Dazu werden wir
die Integralformel von Cauchy
dahingehend verallgemeinern, dass nicht nur der Wert von in durch ein den Punkt umlaufendes Wegintegral zu einer geeigneten Differentialform festgelegt ist, sondern auch die übrigen Koeffizienten in der Potenzreihe. Dies ergibt sich mit Hilfe der geometrischen Reihe.
Für
besitzt die
geometrische Reihe
das Konvergenzverhalten
-
Wir schreiben
die Integralformel von Cauchy
als
-
um zu betonen, dass wir an der Abhängigkeit von von interessiert sind. Den Integranden schreiben wir als
-
Da in der Integralformel vorausgesetzt wird, dass im Innern des Kreises liegt und auf dem Rand, ist
und daher kann man auf den zweiten Faktor des Integranden die Formel der geometrischen Reihe, also
-
anwenden, bzw.
-
Zur Notationsvereinfachung sei
.
Nach
der Integralformel
gilt für jedes
-
mit einem einfachen Umlaufweg
-
um in . Nach
Fakt
gilt auch
-
mit einem Umlaufweg um in , wobei
gelten und im Innern dieses Kreises sein muss. Wir schreiben den Integranden als
-
Hierbei ist auf dem Kreis
(bzw. auf dem Intervall)
beschränkt und daher konvergiert diese Reihe für festes
absolut
und
(als Funktion in )
gleichmäßig
gegen die Grenzfunktion. Nach
Fakt
(angewendet auf Real- und Imaginärteil),
kann man den Grenzwert der Reihe mit dem Integral vertauschen, daher ist
Da dies für jedes im Innern der Kreisscheibe gilt und die Koeffizienten unabhängig von sind, liegt eine beschreibende konvergente Potenzreihe vor.