Differenzierbar/D in R/Umkehrfunktion/Fakt/Name/Inhalt

Es seien ${}D,E\subseteq \mathbb {R}$ Intervalle und sei

$f\colon D\longrightarrow E\subseteq \mathbb {R}$

eine bijektive stetige Funktion mit der Umkehrfunktion.

$f^{-1}\colon E\longrightarrow D.$

Es sei ${}f$ in ${}a\in D$ differenzierbar mit ${}f'(a)\neq 0$.

Dann ist auch die Umkehrfunktion ${}f^{-1}$ in ${}b:=f(a)$ differenzierbar mit

${}(f^{-1})'(b)={\frac {1}{f'(f^{-1}(b))}}={\frac {1}{f'(a)}}\,.$