Rolle's theorem guarantees a root of the derivative between two points where a differentiable real-valued function has equal values. Let be a real-valued
function that is differentiable on the open interval
and continuous on the closed interval
. Then if
, then there is at least
one point
where
.
Note that in elementary texts, the additional (but superfluous) condition is sometimes added (e.g., Anton 1999, p. 260).
For a real-rooted polynomial of polynomial degree
with real coefficients, Rolle's theorem implies that the derivative
is also a real-rooted
polynomial. If
has
distinct roots with multiplicities
, ...,
, then
retains
copies of the
th root and has at least one root
between successive distinct roots. This accounts for all
roots of
, with multiplicity
included. When
,
is a nonzero constant, which
is real-rooted as well.