Sei \(f : [a, b] → \mathbb{R}\) differenzierbar und \(f´(a) < 0\)
Angenommen \(f(x) \geq f(a)\) für alle \(x \in (a, b)\).
Dann ist
\(\frac{f(x)-f(a)}{x-a}\geq 0\) für alle \(x \in (a, b)\),
und somit auch
\(\lim\limits_{x\to a}\frac{f(x)-f(a)}{x-a}\geq 0\) für alle \(x \in (a, b)\).
Das ist ein Widerspruch zu \(f'(a) < 0\).