# Differenzierbarkeit/K/Ableitungsregeln/Textabschnitt
## Lemma

Es sei $D\subseteq {\mathbb {K} }$ offen, $a\in D$ ein Punkt und
    $f,g\colon D\longrightarrow {\mathbb {K} }$
Funktionen, die in $a$ differenzierbar seien. Dann gelten folgende Differenzierbarkeitsregeln.

### Beweis

(1). Wir schreiben $f$ bzw. $g$ mit den in Fakt formulierten Objekten, also
    $f(x)=f(a)+s(x-a)+r(x)(x-a)\,$
und
    $g(x)=g(a)+{\tilde {s}}(x-a)+{\tilde {r}}(x)(x-a)\,.$
Summieren ergibt
    $f(x)+g(x)=f(a)+g(a)+(s+{\tilde {s}})(x-a)+(r+{\tilde {r}})(x)(x-a)\,.$
Dabei ist die Summe $r+{\tilde {r}}$ wieder stetig in $a$ mit dem Wert $0$. (2). Wir gehen wieder von
    $f(x)=f(a)+s(x-a)+r(x)(x-a)\,$
und
    $g(x)=g(a)+{\tilde {s}}(x-a)+{\tilde {r}}(x)(x-a)\,$
aus und multiplizieren die beiden Gleichungen. Dies führt zu
    ${\begin{aligned}f(x)g(x)&=(f(a)+s(x-a)+r(x)(x-a))(g(a)+{\tilde {s}}(x-a)+{\tilde {r}}(x)(x-a))\\&=f(a)g(a)+(sg(a)+{\tilde {s}}f(a))(x-a)\\&\,\,\,\,\,+(f(a){\tilde {r}}(x)+g(a)r(x)+s{\tilde {s}}(x-a)+s{\tilde {r}}(x)(x-a)+{\tilde {s}}r(x)(x-a)+r(x){\tilde {r}}(x)(x-a))(x-a).\end{aligned}}$
Aufgrund von Fakt für Limiten ist die aus der letzten Zeile ablesbare Funktion stetig mit dem Wert $0$ für $x=a$. (3) folgt aus (2), da eine konstante Funktion differenzierbar mit Ableitung $0$ ist. (4). Es ist
    ${\frac {{\frac {1}{g(x)}}-{\frac {1}{g(a)}}}{x-a}}={\frac {-1}{g(a)g(x)}}\cdot {\frac {g(x)-g(a)}{x-a}}\,.$
Da $g$ nach Fakt stetig in $a$ ist, konvergiert für $x\rightarrow a$ der linke Faktor gegen $-{\frac {1}{g(a)^{2}}}$ und wegen der Differenzierbarkeit von $g$ in $a$ konvergiert der rechte Faktor gegen $g'(a)$. (5) folgt aus (2) und (4).
$\Box$
Diese Regeln heißen Summenregel (1), Produktregel (2) und Quotientenregel (5).

## Korollar

Eine Polynomfunktion
    $f=c_{0}+c_{1}z+c_{2}z^{2}+c_{3}z^{3}+\cdots +c_{n-1}z^{n-1}+c_{n}z^{n}\,$
ist in jedem Punkt differenzierbar, und für die Ableitung gilt

### Beweis

Dies folgt für die Potenfunktionen $z^{n}$ durch Induktion über $n$ aus der Produktregel und daraus mit Fakt.
$\Box$
Die folgende Regel heißt Kettenregel.

## Satz

Es seien $D$ und $E$ offene Mengen in ${\mathbb {K} }$ und seien
    $f\colon D\longrightarrow {\mathbb {K} }$
und
    $g\colon E\longrightarrow {\mathbb {K} }$
Funktionen mit $f(D)\subseteq E$. Es sei $f$ in $a$ differenzierbar und $g$ sei in
    $b=f(a)\,$
differenzierbar.
Dann ist auch die Hintereinanderschaltung

### Beweis

Aufgrund von Fakt kann man
    $f(x)=f(a)+f'(a)(x-a)+r(x)(x-a)$
und
    $g(y)=g(f(a))+g'(f(a))(y-f(a))+s(y)(y-f(a))$
(wenn man $y$ durch $f(x)$ ersetzt)
    ${\begin{aligned}g(f(x))&=g(f(a))+g'(f(a))(f(x)-f(a))+s(f(x))(f(x)-f(a))\\&=g(f(a))+g'(f(a)){\left(f'(a)(x-a)+r(x)(x-a)\right)}+s(f(x)){\left(f'(a)(x-a)+r(x)(x-a)\right)}\\&=g(f(a))+g'(f(a))f'(a)(x-a)+{\left(g'(f(a))r(x)+s(f(x))(f'(a)+r(x))\right)}(x-a).\end{aligned}}$
Die hier ablesbare Restfunktion
    $t(x):=g'(f(a))r(x)+s(f(x))(f'(a)+r(x))\,$
ist stetig in $a$ mit dem Wert $0$.
$\Box$

## Satz

Es seien $D$ und $E$ offene Mengen in ${\mathbb {K} }$ und sei
    $f\colon D\longrightarrow E$
eine bijektive stetige Funktion mit einer stetigen Umkehrfunktion
    $f^{-1}\colon E\longrightarrow D$
$f$
$a\in D$ differenzierbar mit $f'(a)\neq 0$.
Dann ist auch die Umkehrfunktion $f^{-1}$ in $b=f(a)$ differenzierbar mit

### Beweis

Wir betrachten den Differenzenquotienten
    ${\frac {f^{-1}(y)-f^{-1}(b)}{y-b}}={\frac {f^{-1}(y)-a}{y-b}}\,$
und müssen zeigen, dass der Limes für $y\rightarrow b$ existiert und den behaupteten Wert annimmt. Es sei dazu ${\left(y_{n}\right)}_{n\in \mathbb {N} }$ eine Folge in $E\setminus \{b\}$, die gegen $b$ konvergiert. Aufgrund der vorausgesetzten Stetigkeit von $f^{-1}$ konvergiert auch die Folge mit den Gliedern $x_{n}:=f^{-1}(y_{n})$ gegen $a$. Wegen der Bijektivität ist $x_{n}\neq a$ für alle $n$. Damit ist
    $\lim _{n\rightarrow \infty }{\frac {f^{-1}(y_{n})-a}{y_{n}-b}}=\lim _{n\rightarrow \infty }{\frac {x_{n}-a}{f(x_{n})-f(a)}}={\left(\lim _{n\rightarrow \infty }{\frac {f(x_{n})-f(a)}{x_{n}-a}}\right)}^{-1}\,,$
wobei die rechte Seite nach Voraussetzung existiert.
$\Box$

## Beispiel

Die Funktion
    $f^{-1}\colon \mathbb {R} _{+}\longrightarrow \mathbb {R} _{+},\,x\longmapsto {\sqrt {x}},$
ist die Umkehrfunktion der Funktion $f$ mit $f(x)=x^{2}$ (eingeschränkt auf $\mathbb {R} _{+}$). Deren Ableitung in einem Punkt $a$ ist $f'(a)=2a$. Nach Fakt gilt daher für $b\in \mathbb {R} _{+}$ die Beziehung
    ${\left(f^{-1}\right)}'(b)={\frac {1}{f'(f^{-1}(b))}}={\frac {1}{2{\sqrt {b}}}}={\frac {1}{2}}b^{-{\frac {1}{2}}}\,.$
Im Nullpunkt ist $f^{-1}$ nicht differenzierbar.
Die Funktion
    $f^{-1}\colon \mathbb {R} \longrightarrow \mathbb {R} ,\,x\longmapsto x^{\frac {1}{3}},$
ist die Umkehrfunktion der Funktion $f$ mit $f(x)=x^{3}$ Deren Ableitung in $a$ ist $f'(a)=3a^{2}$, dies ist für $a\neq 0$ von $0$ verschieden. Nach Fakt ist für $b\neq 0$ somit
    ${\left(f^{-1}\right)}'(b)={\frac {1}{f'(f^{-1}(b))}}={\frac {1}{3{\left(b^{\frac {1}{3}}\right)}^{2}}}={\frac {1}{3}}b^{-{\frac {2}{3}}}\,.$
Im Nullpunkt ist $f^{-1}$ nicht differenzierbar.