Satz von Rolle

Der Satz von Rolle (benannt nach dem französischen Mathematiker Michel Rolle) ist ein zentraler Satz der Differentialrechnung.

Der französische Nachname "Rolle" wird ohne "e" ausgesprochen.

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. Benannt wurde der Satz nach Rolle 1834 von Moritz Wilhelm Drobisch, 1860 von Giusto Bellavitis und 1868 in der deutschen Ausgabe von Serrets Vorlesungen über Infinitesimalrechnung (Band 1, S. 216).

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). Ein Vorläufer des Satzes von Rolle wurde im astronomischen Werk von Bhaskara II. im 12. Jahrhundert formuliert.

Aussage

Seien ${\displaystyle a$ und ${\displaystyle f\colon [a,b]\to \mathbb {R} }$ eine stetige Funktion, die im offenen Intervall ${\displaystyle (a,b)}$ differenzierbar ist. Erfüllt sie ${\displaystyle f(a)=f(b)}$, so gibt es eine Stelle ${\displaystyle x_{0}\in (a,b)}$ mit

${\displaystyle f'(x_{0})=0}$.

Interpretation

Anschaulich bedeutet dies: Auf dem Graphen der Funktion ${\displaystyle f}$ 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

Beweis

Da ${\displaystyle f}$ über dem kompakten Intervall ${\displaystyle [a,b]}$ stetig ist, nimmt sie (nach dem Satz vom Minimum und Maximum) an einer Stelle ${\displaystyle m\in [a,b]}$ ein Minimum und an einer Stelle ${\displaystyle M\in [a,b]}$ ein Maximum an. Ist ${\displaystyle f}$ nicht konstant, so muss wegen ${\displaystyle f(a)=f(b)}$ mindestens ${\displaystyle m\in (a,b)}$ oder ${\displaystyle M\in (a,b)}$ gelten. Diese Extremalstelle sei mit ${\displaystyle x_{0}}$ bezeichnet. Ist ${\displaystyle f}$ konstant, so ist ${\displaystyle x_{0}={\frac {a b}{2}}}$ eine Extremalstelle im Inneren des Intervalls ${\displaystyle (a,b)}$.

Ist die innere Extremalstelle ${\displaystyle x_{0}}$ eine Maximalstelle, so folgt aus der Differenzierbarkeit von ${\displaystyle f}$ an der Stelle ${\displaystyle x_{0}}$, dass

${\displaystyle f'(x_{0})=\lim _{h\searrow 0}{\frac {f(x_{0} h)-f(x_{0})}{h}}\leq 0}$

${\displaystyle f'(x_{0})=\lim _{h\nearrow 0}{\frac {f(x_{0} h)-f(x_{0})}{h}}\geq 0}$

Somit ist ${\displaystyle f'(x_{0})=0}$.

Ist ${\displaystyle x_{0}}$ eine Minimalstelle von ${\displaystyle f}$, so ist ${\displaystyle x_{0}}$ eine Maximalstelle von ${\displaystyle -f}$ und wir erhalten ${\displaystyle -f'(x_{0})=0}$ und somit ${\displaystyle f'(x_{0})=0}$.

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

Weblinks

Einzelnachweise