Historia Twierdzenie to – w innej postaci niż ta standardowa – znał w 1150 roku indyjski matematyk Bhaskaraćarja. W 1691 roku francuski matematyk Michel Rolle opublikował je w szczególnym przypadku dotyczącym wielomianów Ádám Besenyei, A brief history of the mean value theorem , Uniwersytet Loránda Eötvösa (ELTE), 17 września 2012 [dostęp 2025-12-02].. Zostało nazwane na jego cześć najpóźniej w XIX wieku – nazwiskiem Rolle’a opisał je w 1834 roku Moritz Wilhelm Drobisch Jeff Miller, Rolle’s theorem [w:] Earliest Known Uses of Some of the Words of Mathematics (R) , MacTutor History of Mathematics archive, University of St Andrews, mathshistory.st-andrews.ac.uk [dostęp 2023-06-6]..
Zastosowania
Twierdzenie Rolle’a jest używane m.in. w dowodach innych twierdzeń analizy i co najmniej jednego twierdzenia algebry. Przykłady to: twierdzenie Lagrange’a o wartości średniej i ogólniejsze twierdzenie Cauchy’ego o wartości średniej.