Exercise 1956Calculus › Single-variable calculus › Differentiation › Mean Value TheoremL1Added 4 Nov 2026
Iterated Rolle
#Rolle#higher derivatives#iterated
Statement
Let be a polynomial with distinct real roots. Show that has at least one real root.
Hint
Apply Rolle's theorem repeatedly. If a differentiable function has distinct real roots, its derivative has at least distinct real roots.
Show solutionHide solution
Solution
Induction on the number of derivatives. Let be the number of distinct real roots of . We prove that for every , has at least distinct real roots.
Base case. : has distinct real roots by hypothesis, and .
Inductive step. Suppose has at least distinct real roots, call them . Since is differentiable on each interval and continuous on , and , Rolle's theorem gives a point with
There are such intervals, so has at least distinct real roots. This completes the induction.
Conclusion. Taking , has at least real root.