<math>\tan\alpha = \tan(90^\circ-\beta) = \frac{1}{\tan\beta}</math>

<math>{\color{Periwinkle}f'}(x) = \frac{1}{{\color{Salmon}(f^{-1})'}({\color{Blue}f}(x))}</math>

<math>{\color{Periwinkle}f'}(x_0) = \frac{1}{4}</math>
<math>{\color{Salmon}(f^{-1})'}({\color{Blue}f}(x_0)) = 4~</math>

Die Umkehrregel ist eine Regel der Differentialrechnung. Sie besagt, dass für eine umkehrbare (das heißt bijektive) Funktion <math>f</math>,

• die an der Stelle <math>x</math> differenzierbar ist und
• dort keine waagerechte Tangente besitzt, d.h. für die <math>f'(x) \ne 0</math> gilt,

auch ihre Umkehrfunktion <math>f^{-1}</math> an der Stelle <math>y = f(x)</math> differenzierbar ist mit Ableitung

<math>(f^{-1})'(y) = \frac{1}{f'(f^{-1}(y))} = \frac{1}{f'(x)}.</math>

Die Gültigkeit dieser Gleichung kann man sich gut an einer Skizze verdeutlichen: Die Bildung der Umkehrfunktion entspricht einer Vertauschung der Koordinaten x und y. Die Graphen der Funktion f und ihrer Umkehrfunktion <math>f^{-1}</math> sind also zueinander symmetrisch bezüglich der Winkelhalbierenden des I. und III. Quadranten mit der Gleichung y = x. Die Ableitung einer Funktion an einer bestimmten Stelle entspricht der Steigung der zugehörigen Tangente, also gleich dem Tangens des Neigungswinkels gegenüber der Waagrechten. Damit erhält man:

<math>f'(x) = \tan\alpha = \tan(90^\circ-\beta) = \frac{1}{\tan\beta} = \frac{1}{(f^{-1})'(f(x))}.</math>

Beweisskizzen

Die Umkehrregel kann direkt gezeigt werden, indem man den Differenzenquotient

<math> \frac{f(x+h) - f(x)}{h} </math>

dahingehend umformt, dass er zu

<math>\frac{1}{\frac{f^{-1}(f(x+h)) - f^{-1}(f(x))}{f(x+h)-f(x)}}</math>

wird, um anschließend mit <math>t = f(x+h) - f(x)</math> zu substituieren. Beim Grenzübergang für <math> h \to 0 </math> und damit auch <math> t \to 0 </math> folgt die Behauptung.

Alternativ ergibt unter Nutzung der Kettenregel die Eigenschaft

<math>f\left( f^{-1} (x) \right) = x</math>

der Umkehrfunktion bei Differenzieren nach <math>x</math> auf beiden Seiten der Gleichung ebenfalls die Umkehrregel:

<math>f' \left( f^{-1} (x) \right)\cdot \left(f^{-1}\right)'(x) = 1.</math>

Beispiele

Für den natürlichen Logarithmus <math>f(x)=\ln (x)</math> lautet die Umkehrfunktion

<math> f^{-1}(x)=e^x\,.</math>

Die Ableitung der Umkehrfunktion ist

<math> (f^{-1})'(x)=e^x\,.</math>

Dann lautet die Ableitung der Funktion

<math> f'(x)={{1} \over {e^{(\operatorname{ln}(x))}}}= {1 \over x}\,. </math>

Eine weitere wichtige Anwendung der Umkehrregel sind die Ableitungen der Umkehrfunktionen der trigonometrischen Funktionen. So gilt z.B. für die Ableitung des Arcussinus

<math>\sin^{-1}(x)' = \arcsin(x)' = \frac{1}{\cos\left(\arcsin(x)\right)}\,.</math>

Mit der Identität <math>\cos^2(x) + \sin^2(x) = 1</math> folgt

<math>\arcsin(x)' = \frac{1}{\sqrt{1 - \sin^2\left(\arcsin(x)\right)}} = \frac{1}{\sqrt{1 - x^2}}\,.</math>

Analoges gilt für die Ableitungen des Arcuscosinus und des Arcustangens.

Alternative Formulierungen und Verallgemeinerungen

Alternative Voraussetzungen

Fordert man die Stetigkeit der ersten Ableitung von <math>f</math>, so genügt bereits die Voraussetzung <math>f'(x) \ne 0</math>, da daraus direkt <math>f' \ne 0</math> auf einem kleinen Bereich um <math>x</math> und daraus wiederum die Existenz der Umkehrfunktion von <math>f</math> auf diesem kleinen Bereich folgt (man betrachte dazu die Monotonie von <math>f</math>!). Von dieser Grundidee geht man bei der mehrdimensionalen Verallgemeinerung der Umkehrregel, dem Satz von der inversen Abbildung, aus.

Abweichende Schreibweisen in der Physik und anderen Naturwissenschaften

In der Physik und anderen Naturwissenschaften wird manchmal die leibnizsche Schreibweise mit Differentialen benutzt. Die Umkehrregel nimmt dann die folgende Gestalt an:

<math> \frac{{\rm d}y}{{\rm d}x} = \frac{1}{\frac{{\rm d}x}{{\rm d}y}}.</math>

Verallgemeinerungen

Die Umkehrregel lässt sich auf die Ableitungen von Funktionen in mehreren Dimensionen verallgemeinern. Die mehrdimensionale Entsprechung der Umkehrregel ist der Satz von der Umkehrabbildung.

Literatur

• Konrad Königsberger: Analysis 1. 6. durchgesehene Auflage. Springer, Berlin u. a. 2004, ISBN 3-540-40371-X, (Springer-Lehrbuch).