Potenzreihen dürfen innerhalb des Konvergenzbereiches gliedweise differenzieren und integriert werden.
|
|
|
|
|
Sei beliebig mit
. Wähle
mit
.
Nach Satz 2 ist .
Wir suchen die Stammfunktion von :
Diese Funktion ist nicht elementar integrierbar. Wir entwickeln den Integranden also zuerst in eine Potenzreihe und integrieren dann:
Wir betrachten den sogenannten Integralsinus:
Wir integrieren:
Wir wollen folgendes Integral berechnen:
Die Potenzreihe des Areatangenshyperbolikus lautet:
Damit ergibt sich nun für das Integral:
Aufgrund der absoluten Konvergenz können wir Integral und Grenzübergang vertauschen:
Durch Partialbruchzerlegung folgt nun:
Somit folgt:
Mit dem Hinweis folgt nun:
Wir wollen nun die Gleichheit für untersuchen:
Wir erinnern uns an den Mittelwertsatz der Integralrechnung.