An Etymological Dictionary of Astronomy and Astrophysics

If a function f(x) is → continuous on an interval [a,b] and is → differentiable at all points within this interval, and vanishes at the end points x = a and x = b, that is f(a) = f(b) = 0, then inside [a,b] there exists at least one point x = c, a < c < b, at which the derivative f’(x) vanishes.

See also: Named after Michel Rolle (1652-1719), a French mathematician; → theorem.