3.4.4  Die Umkehrfunktionen der trigonometrischen Funktionen.

Wir betrachten im weiteren reelle Ableitungen von Funktionen einer reeller Veränderlichen. Die Funktion y = sin x bildet [π 2 , π 2 ] stetig und monoton auf [1, 1] ab. Nach Satz 2.12.28 ist damit die Umkehrfunktion arcsin y : [1, 1] [π 2 , π 2 ] ebenfalls stetig. Die Anwendung von Satz 3.3.4 ergibt dann

(arcsin y)y = 1 (sin x)x = 1 cos x = 1 1 sin 2 x = 1 1 y2,y ± 1.

Hierbei haben wir ausgenutzt, dass cos x 0 für x [π 2 , π 2 ]. Auf gleichem Wege erhält man die Ableitungen der anderen Inversen der trigonometrischen und hyperbolischen Winkelfunktionen als10 f(y) = arcsin y : [1, 1] [π 2, π 2] f(y) = 1 1 y2,y ± 1, f(y) = arccos y : [1, 1] [0,π] f(y) = 1 1 y2,y ± 1, f(y) = arctan y : [π 2, π 2] f(y) = 1 1 + y2, f(y) = arc sinh y : f(y) = 1 1 + y2, f(y) = arc cosh y : + [1, +[ f(y) = 1 y2 1,y1, f(y) : arc tanh y :] 1, 1[ f(y) = 1 1 y2.

Problem 3.4.1. Leiten Sie die oben gegebenen Ausdrücke für die Ableitungen für arccos x, arctan x, arc sinh x, arc cosh x und arc tanh x her! Stellen Sie die Umkehrfunktionen der hyperbolischen Funktionen über die Logarithmusfunktion dar und verifizieren Sie davon ausgehend die Formeln für diese Ableitungen!

10+ := {x |x 0}