(1) Sei zunächst vorausgesetzt, dass f in x0 differenzierbar ist.
Definiere \( a \) durch \( a:=f^{\prime}\left(x_{0}\right) \) und die Funktion \( r \) durch \( r(x):=f(x)-f\left(x_{0}\right)-a \cdot\left(x-x_{0}\right) . \) Es folgt \( \frac{r(x)}{x-x_{0}}=\frac{f(x)-f\left(x_{0}\right)}{x-x_{0}}-a \).
Da \( f \) differenzierbar ist, existiert der Grenzwert \( \lim \limits_{x \rightarrow x_{0}} \frac{f(x)-f\left(x_{0}\right)}{x-x_{0}}=f^{\prime}\left(x_{0}\right)=a \)
und es ist \( f(x)=f\left(x_{0}\right)+a \cdot\left(x-x_{0}\right)+r(x) \) mit \( \lim \limits_{x \rightarrow x_{0}} \frac{r(x)}{x-x_{0}}=f^{\prime}\left(x_{0}\right)-a=0 \).
Dann ist \( 0=\lim \limits_{x \rightarrow x_{0}} \frac{r(x)}{x-x_{0}}=\lim \limits_{x \rightarrow x_{0}}\left(\frac{f(x)-f\left(x_{0}\right)}{x-x_{0}}-a\right) \), also \( \lim \limits_{x \rightarrow x_{0}} \frac{f(x)-f\left(x_{0}\right)}{x-x_{0}}=a \).
D.h. \( f \) ist in \( x_{0} \) dif ferenzierbar und es gilt \( f^{\prime}\left(x_{0}\right)=a \).
(2) Sei nun umgekehrt vorausgesetzt, dass für f die obige Darstellung besteht.