- (1)
- Wir erhalten mit partieller Integration
und somit
- (2)
- Sei
. Es ist
.
Mit der Substitution
und Partialbruchzerlegung wird
- (3)
- Es werden
- (4)
- Mit der Substitution
bzw.
und
wird
- (5)
- Wir wollen
substitutieren. Wegen
für alle
ist
streng monton wachsend.
Da ferner
und
, besitzt
auf
eine Umkehrfunktion,
den Area sinus hyperbolicus, geschrieben
. Es wird