besagt, daß für − ∞ < a< b< ∞ und eine stetige, auf (a, b) differenzierbare Funktion \(f:[a, b]\to {\mathbb{R}}\) mit f (a) = f (b) die Ableitung f′ in (a, b) mindestens eine Nullstelle besitzt, also f eine waagrechte Tangente hat. Insbesondere liegt also zwischen zwei Nullstellen von f eine Nullstelle von f′.

Der Satz von Rolle ist äquivalent zum Mittelwertsatz der Differentialrechnung, d. h. jeder der beiden Sätze läßt sich sich mit Hilfe des anderen beweisen.

Durch wiederholtes Anwenden des Satzes von Rolle erhält man folgende Verallgemeinerung aufhöhere Ableitungen: Hat eine n-mal differenzierbare Funktion \(f:[a, b]\to {\mathbb{R}}\) zwei oder mehr verschiedene Nullstellen der Gesamtordnung n + 1, so hat f⁽ⁿ) mindestens eine Nullstelle.