Die Ableitungsregel der Potenzfunktion kann direkt mithilfe der Definition der Differenzierbarkeit aus dem Grenzwert des Differenzenquotienten oder mithilfe des Logarithmus und impliziter Differentiation hergeleitet werden. Dieser Artikel bietet eine detaillierte Schritt für Schritt Herleitung der Ableitungsregel und demonstriert deren Anwendung an einigen Beispielen.
Ableitungsregel
Die Ableitung der Potenzfunktion ist für alle reellen Zahlen $x \in \R$ mit reellen Exponenten $r \in \R$ wie folgt definiert:
Herleitung der Ableitungsregel für natürliche Exponenten
Die Herleitung der Ableitungsregel der Potenzfunktion für natürliche Exponenten erfolgt unmittelbar mithilfe der Definition der Differenzierbarkeit über den Grenzwert des Differenzenquotienten. Hierbei werden der binomische Lehrsatz sowie die Grenzwertsätze für das Rechnen mit Grenzwerten benötigt. Es gilt:
Herausziehen des Summanden für $k=1$ aus dem Summenzeichen
Für den Binomialkoeffizienten $\binom{n}{1}$ gilt
\[ \binom{n}{1} = n \]
(7)
Erneutes Ausklammern des Faktors $h$ aus der Summe
(8)
Ausrechnen des Grenzwerts
Bei $h \cdot \sum\limits_{k=2}^{n}{\binom{n}{k}x^{n-k}h^{k-2}}$ handelt es sich für $h \rightarrow 0$ um eine Nullfolge
Herleitung der Ableitungsregel für reelle Exponenten
Die Herleitung der Ableitungsregel der Potenzfunktion für reelle Exponenten erfolgt in mehreren Schritten. Zunächst wird die Gleichung $y = x^r$ logarithmiert und mithilfe der Logarithmusgesetze umgestellt. Anschließendes Ableiten mittels impliziter Differentiation unter Zuhilfenahme der Ableitungsregel der Logarithmusfunktion sowie der Kettenregel liefert die gesuchte Ableitungsregel. Es gilt:
\begin{align*} y &= x^r \\[1.5em] \Rightarrow \ln(y) &\overset{(1)}{=} \ln\left( x^r \right) \\[0.75em] &\overset{(2)}{=} r \cdot \ln(x) \\[1.5em] \Rightarrow \frac{d}{dx} \Bigl[ \ln(y) \Bigr] &\overset{(3)}{=} \frac{d}{dx} \Bigl[ r \cdot \ln(x) \Bigr] \\[0.75em] \frac{1}{y} \cdot \frac{d}{dx} \Bigl[ y \Bigr] &\overset{(4)}{=} r \cdot \frac{1}{x} \\[1.5em] \Rightarrow \frac{d}{dx} \Bigl[ y \Bigr] &\overset{(5)}{=} r \cdot \frac{1}{x} \cdot y \\[0.75em] &\overset{(6)}{=} r \cdot \frac{1}{x} \cdot x^r \\[0.75em] &\overset{(7)}{=} r \cdot x^{r-1} \\[1.5em] \Rightarrow \frac{d}{dx} \Bigl[ x^r \Bigr] &\overset{(8)}{=} r \cdot x^{r-1} \end{align*}