Beweisarchiv: Analysis: Differentialrechnung: Satz von Rolle
Aus Wikibooks
- Ungleichungen: Grönwall'sche Ungleichung · Young'sche Ungleichung
- Konvergenz: Herleitung des WALLIS-Produktes · Produktformel von Vieta
- Differentialrechnung: Differentiation der Sinusfunktion · Kriterien für lokale Extrema · Satz von Rolle · Mittelwertsatz · L'Hospitalsche Regel
- Integralrechnung: Gaußsches Integral
Der Satz von Rolle garantiert die Existenz horizontaler Tangenten, wenn es eine horizontale Sekante gibt. Er ist zugleich ein Spezialfall des Mittelwertsatzes der Differentialrechnung als auch der erste Schritt diesen zu beweisen.
[Bearbeiten] Voraussetzung
Sei a < b und die Funktion ![f\colon [a,b]\to\R](http://upload.wikimedia.org/math/f/b/8/fb88b7c4cd82a1b35ba68754b552ae78.png)
auf dem abgeschlossenen Intervall [a,b] stetig sowie auf dem offenen Intervall (a,b) differenzierbar. Ferner sei f(a) = f(b).
[Bearbeiten] Behauptung
Dann hat die Ableitung f' in (a,b) eine Nullstelle, d.h. es gibt ein ξ mit a < ξ < b und f'(ξ) = 0.
[Bearbeiten] Beweis
Nach dem Satz von Weierstraß nimmt die stetige Funktion f auf [a,b] ihr Maximum und auch ihr Minimum an, d.h. es gibt ![c\in[a,b]](http://upload.wikimedia.org/math/0/0/a/00a49aece4cc72157b51ca282347a0f8.png)
und ![d\in[a,b]](http://upload.wikimedia.org/math/8/a/b/8ab4f245a4bdd0eebd6b43f952ab72fb.png)
mit 
für alle ![x\in[a,b]](http://upload.wikimedia.org/math/8/2/9/8290bddba5acf9822dcbf61f4ac67d1b.png)
.
Liegt hierbei 
, so können wir ξ = c wählen, denn dann ist das Minimum auch ein lokales Minimum und nach dem notwendigen Kriterium für lokale Extrema gilt f'(c) = 0. Ebenso können wir ξ = d wählen, falls 
.
Es bleibt der Fall, dass sowohl 
als auch 
, aber dann folgt f(c) = f(d), d.h. f ist konstant und dann gilt f'(ξ) = 0 sogar für jedes 
.
