From Roots to Derivative Zeros
A function’s roots describe where its graph meets the horizontal axis. Its derivative describes where the graph has a horizontal tangent. Rolle’s Theorem connects these ideas: between two distinct roots, there must be a point where the derivative is zero, provided the function has the required continuity and differentiability.
This connection gives a practical way to bound how many roots a function can have. If its derivative has only a few zeros in an interval, the original function cannot have many distinct roots there.
The Root-Count Result
A root of \(f\) is a number \(r\) in its domain such that \(f(r)=0\). When counting distinct roots, each different value of \(r\) is counted once, whether or not the root is repeated algebraically.
To use Rolle’s Theorem between two roots \(r_i\) and \(r_{i+1}\), the function must be continuous on the closed interval \([r_i,r_{i+1}]\) and differentiable on its open interval \((r_i,r_{i+1})\). Since both endpoints are roots, \(f(r_i)=f(r_{i+1})=0\), so Rolle’s Theorem guarantees a point \(c_i\) strictly between them for which \(f'(c_i)=0\).
The zeros of \(f'\) supplied by the theorem are distinct: the zero between \(r_i\) and \(r_{i+1}\) lies in an interval that does not overlap the open interval between any other consecutive pair. This is why a bound on the number of distinct derivative zeros produces a bound on the number of distinct roots.
Why the Bound Holds
Suppose \(f\) has \(n\) distinct roots in an interval. Put them in increasing order, \(r_1<r_2<\cdots<r_n\). Consider each adjacent pair. The function is continuous from \(r_i\) to \(r_{i+1}\), differentiable between them, and has equal endpoint values because both are zero. Rolle’s Theorem therefore applies to that pair.
Write the distinct roots as \(r_1<r_2<\cdots<r_n\).
For every \(i\) from \(1\) to \(n-1\), the equal values \(f(r_i)=f(r_{i+1})=0\) guarantee a \(c_i\in(r_i,r_{i+1})\) with \(f'(c_i)=0\).
The \(n-1\) open intervals \((r_i,r_{i+1})\) are disjoint, so the points \(c_i\) are distinct. Thus \(f'\) has at least \(n-1\) distinct zeros.
Equivalently, if \(f'\) has at most \(m\) distinct zeros, then \(n-1\leq m\), so \(n\leq m+1\). This proves the root-count bound. The argument counts distinct zeros; it does not count a repeated zero of \(f'\) multiple times.
Worked Examples
Worked Example: Bounding the Roots of a Cubic
Use Rolle’s Theorem to bound the number of distinct real roots of \(f(x)=x^3-3x\), then determine whether the bound is attained.
First differentiate:
The derivative is zero when \(x=1\) or \(x=-1\), so it has two distinct real zeros. The root-count theorem implies that \(f\) has at most \(2+1=3\) distinct real roots.
Now factor the function:
Thus \(f(x)=0\) when \(x=0\), \(x^2=3\), or \(x=\pm\sqrt{3}\). The three distinct roots are \(-\sqrt{3}\), \(0\), and \(\sqrt{3}\). Checking them gives \(f(0)=0\), \(f(\sqrt{3})=\sqrt{3}(3-3)=0\), and \(f(-\sqrt{3})=-\sqrt{3}(3-3)=0\). The upper bound of three is attained.
The derivative zeros also lie between consecutive roots: \(-1\in(-\sqrt{3},0)\) and \(1\in(0,\sqrt{3})\), as Rolle’s Theorem requires.
Worked Example: Proving a Quartic Has Exactly Two Real Roots
Show that \(f(x)=x^4-4x+1\) has exactly two distinct real roots.
Differentiate and factor:
The quadratic factor has discriminant \(1^2-4(1)(1)=-3\), which is negative, so it has no real zeros. Therefore \(f'\) has exactly one distinct real zero, at \(x=1\). Rolle’s Theorem implies that \(f\) has at most two distinct real roots.
To show that there are at least two, evaluate the function at three points:
The polynomial is continuous. Since \(f(0)>0\) and \(f(1)<0\), the Intermediate Value Theorem gives a root in \((0,1)\). Since \(f(1)<0\) and \(f(2)>0\), it gives another root in \((1,2)\). These roots are distinct. The upper bound of two shows there can be no others, so there are exactly two distinct real roots. The derivative zero \(x=1\) falls between these two roots.
Worked Example: Establishing a Unique Real Root
Show that the equation \(x^3+x-2=0\) has exactly one real solution.
Let \(f(x)=x^3+x-2\). Its derivative is
For every real \(x\), \(x^2\geq 0\), so \(3x^2+1\geq 1>0\). In particular, \(f'\) has no real zeros. If \(f\) had two distinct real roots, Rolle’s Theorem applied between them would require a zero of \(f'\), a contradiction. Thus \(f\) has at most one real root.
Substitute \(x=1\):
Therefore \(1\) is a real root, and the upper bound shows it is the only one. Substitution verifies the solution, and the Rolle argument proves uniqueness.
What the Result Does—and Does Not—Tell You
Rolle’s Theorem gives an upper bound on the number of distinct roots, not automatically their exact locations. If \(f'\) has at most two distinct zeros, the conclusion is that \(f\) has at most three distinct roots. The function might have fewer; a separate argument, such as evaluating signs at selected points and using continuity, may establish that roots actually exist.
The hypotheses matter. To apply Rolle’s Theorem between two roots, \(f\) must be continuous on the interval between them and differentiable in its interior. If either condition fails, this argument does not establish a derivative zero between those roots. Also, a bound for zeros of \(f'\) must cover the interval in which the roots under consideration lie.
This method also applies to equations that are not initially written as “a function equals zero.” To study solutions of \(g(x)=h(x)\), define \(f(x)=g(x)-h(x)\). The solutions are precisely the roots of \(f\), so a bound on the zeros of \(f'\) can bound the number of solutions. The continuity and differentiability conditions must still hold between the solutions being considered.
Common Pitfall: Counting One Derivative Zero Per Root
A common error is to claim that each root of \(f\) must itself be a zero of \(f'\). Rolle’s Theorem says something different: a derivative zero occurs between each consecutive pair of distinct roots.
For example, take \(f(x)=x^2-1\). Its distinct roots are \(-1\) and \(1\), while
The derivative is zero at \(x=0\), not at either root: \(f'(-1)=-2\) and \(f'(1)=2\). The point \(0\) lies between the roots, exactly as Rolle’s Theorem guarantees. Two roots force at least one derivative zero, not two.
Check Your Understanding
Use the root-count result and its hypotheses to answer these questions.
- If \(f\) has five distinct roots and satisfies Rolle’s Theorem’s conditions between them, how many distinct zeros of \(f'\) are guaranteed at minimum?
- If \(f'\) has at most three distinct zeros on an interval, what is the greatest possible number of distinct roots of \(f\) there?
- Why are the derivative zeros supplied by Rolle’s Theorem distinct?
- For \(f(x)=x^2-4\), identify its two roots and the derivative zero between them.
- What continuity and differentiability conditions are needed to apply Rolle’s Theorem between two roots?
