Satz von Rolle
![](http://upload.wikimedia.org/wikipedia/de/thumb/3/31/Satz_von_Rolle.svg/450px-Satz_von_Rolle.svg.png)
Der Satz von Rolle (benannt nach dem französischen Mathematiker Michel Rolle) ist ein zentraler Satz der Differentialrechnung.
Geschichte
Rolle formulierte das nach ihm benannte Theorem 1691 (in seiner Schrift Démonstration d'une méthode pour résoudre les égalitéz de tous les dégrez), allerdings nur für Polynome und rein algebraisch.[1] Benannt wurde der Satz nach Rolle 1834 von Moritz Wilhelm Drobisch,[2] 1860 von Giusto Bellavitis und 1868 in der deutschen Ausgabe von Serrets Vorlesungen über Infinitesimalrechnung (Band 1, S. 216).[1]
Der Mittelwertsatz der Differentialrechnung wurde erstmals von Joseph Louis Lagrange (1797) und erneut von Augustin Louis Cauchy, veröffentlicht 1823 in seinen Vorlesungen über Infinitesimalrechnung (Calcul infinitésimal, Vorlesung 7), bewiesen. Einen expliziten Zusammenhang mit dem Satz von Rolle zog erst Pierre Ossian Bonnet, dargestellt in den Vorlesungen über Infinitesimalrechnung von Joseph Serret 1868 (wobei er Rolle nicht erwähnt).[1] Ein Vorläufer des Satzes von Rolle wurde im astronomischen Werk von Bhaskara II. im 12. Jahrhundert formuliert.
Aussage
Seien und eine stetige Funktion, die im offenen Intervall differenzierbar ist. Erfüllt sie , so gibt es eine Stelle mit
- .
Interpretation
Anschaulich bedeutet dies: Auf dem Graphen der Funktion gibt es zwischen zwei Kurvenpunkten mit übereinstimmenden Funktionswerten mindestens eine Stelle, an der die Steigung gleich null ist. An dieser Stelle liegt die Tangente waagrecht und damit parallel zur x-Achse. Der Satz besagt damit insbesondere, dass zwischen zwei Nullstellen einer differenzierbaren Funktion eine Nullstelle der Ableitung liegt. Der Satz von Rolle ist ein Spezialfall des Mittelwertsatzes der Differentialrechnung, dieser lässt sich umgekehrt leicht aus dem Satz von Rolle beweisen.
Visualisierungen
- Funktion, die ein Minimum innerhalb des Definitionsbereichs hat. Dort ist die Ableitung gleich null.
- Die Funktion besitzt im Inneren des Definitionsbereichs nur ein Maximum und kein Minimum. An dieser Stelle ist die Ableitung null.
- Die Funktion besitzt im Inneren des Definitionsbereichs nur ein Minimum und kein Maximum. An dieser Stelle ist die Ableitung null.
- Wenn die Funktion konstant ist, dann ist die Ableitung überall gleich null.
Beweis
Da über dem kompakten Intervall stetig ist, nimmt sie (nach dem Satz von Weierstraß) an einer Stelle ein Minimum und an einer Stelle ein Maximum an. Ist nicht konstant, so muss wegen mindestens oder gelten. Diese Extremalstelle sei mit bezeichnet. Ist konstant, so ist eine Extremalstelle im Inneren des Intervalls .
Ist die innere Extremalstelle eine Maximalstelle, so folgt aus der Differenzierbarkeit von an der Stelle , dass
Somit ist .
Ist eine Minimalstelle von , so ist eine Maximalstelle von und wir erhalten und somit .
Literatur
- Konrad Königsberger: Analysis 1. Springer, Berlin 2004, ISBN 3-540-41282-4
- Otto Forster: Analysis 1. Differential- und Integralrechnung einer Veränderlichen. Vieweg-Verlag, 8. Aufl. 2006, ISBN 3-528-67224-2