Maths WorkshopMaths problems with full solutions
Exercise 1274Calculus › Single-variable calculus › Differentiation › Mean Value TheoremL1Added 4 Nov 2026

Rolle and the sign of $f'$

#Rolle#sign change#derivative

Statement

Let ff be continuous on [a,b][a,b], differentiable on ]a,b[]a,b[, and f(a)=f(b)=0f(a)=f(b)=0 with f≢0f\not\equiv0. Show that there exists c∈]a,b[c\in]a,b[ with f′(c)≠0f'(c)\neq0.

Hint

If f′(x)=0f'(x)=0 everywhere, then ff is constant (consequence of MVT); but f≢0f\not\equiv0.

Show solutionHide solution

Solution

Contradiction. If f′(x)=0f'(x)=0 for all xx, then by the MVT ff is constant on [a,b][a,b], contradicting f≢0f\not\equiv0.

Conclusion. There exists c∈]a,b[c\in]a,b[ with f′(c)≠0f'(c)\neq0.