Existence Does Not Mean Uniqueness
The Mean Value Theorem connects a function’s average rate of change over an interval with its instantaneous rate of change at some interior point. The theorem guarantees that such a point exists when its hypotheses hold. It does not say that there is only one.
That difference matters when solving a problem. Finding one point that satisfies the theorem’s equation confirms that a mean value point has been found. To claim it is the only one, we must also rule out every other point in the interval.
The Theorem’s Guarantee
Suppose \(f\) is continuous on the closed interval \([a,b]\) and differentiable on the open interval \((a,b)\), where \(a<b\). The Mean Value Theorem guarantees at least one number \(c\) in \((a,b)\) such that the derivative at \(c\) equals the average rate of change from \(a\) to \(b\).
The quantity on the right is the slope of the secant line through \((a,f(a))\) and \((b,f(b))\). For this interval, call that fixed slope \(m\). Then finding all mean value points means finding all solutions to \(f'(x)=m\) that lie strictly between \(a\) and \(b\).
The theorem guarantees that the equation has at least one solution in the interval, provided the hypotheses hold. The number of solutions depends on the function and the interval. The theorem does not promise a particular number beyond “at least one.”
Worked Example: Exactly One Mean Value Point
Worked Example: Exactly One Mean Value Point
Find all mean value points for \(f(x)=x^2\) on \([-1,2]\), and determine whether the point is unique.
First check the theorem’s hypotheses. Since \(x^2\) is a polynomial, it is continuous on \([-1,2]\) and differentiable on \((-1,2)\). The Mean Value Theorem applies.
Calculate the average rate of change:
The derivative is \(f'(x)=2x\). Set it equal to the average rate:
This value is in the required interval, since \(-1<\frac{1}{2}<2\). The equation \(2c=1\) has only this one solution, so it is the unique mean value point.
Check by substitution:
Thus \(c=\frac{1}{2}\) satisfies the Mean Value Theorem’s equation, and no other point does.
Worked Example: Two Mean Value Points
Worked Example: Two Mean Value Points
Find all mean value points for \(f(x)=x^3-3x\) on \([-2,2]\).
This polynomial is continuous on \([-2,2]\) and differentiable on \((-2,2)\), so the Mean Value Theorem applies. Evaluate the endpoints:
The average rate of change is
Differentiate and equate the derivative to this slope:
Now solve the equation, showing each step:
Both solutions lie in \((-2,2)\), because \(\frac{2}{\sqrt{3}}\) is about \(1.155\), which is less than \(2\). Check each by substituting into the derivative:
Each derivative value equals the interval’s average rate of change, \(1\). The equation is quadratic and its two solutions are both in the interval, so these are exactly the two mean value points.
Worked Example: Infinitely Many Mean Value Points
Worked Example: Infinitely Many Mean Value Points
Find all mean value points for the constant function \(f(x)=5\) on \([0,4]\).
A constant function is continuous on \([0,4]\) and differentiable on \((0,4)\), so the theorem applies. Its endpoint values are both \(5\), giving an average rate of change of
For every \(x\) in the interval, the derivative is \(f'(x)=0\). Therefore every interior point satisfies the required equation:
For instance, \(c=1\) gives \(f'(1)=0\), and \(c=3\) gives \(f'(3)=0\). More generally, every number strictly between \(0\) and \(4\) works. There are infinitely many mean value points, not just one.
The endpoints are not included: a mean value point must lie in the open interval \((0,4)\). This example shows that even a function satisfying all the hypotheses can have infinitely many valid points.
How to Determine Whether a Point Is Unique
For a particular function and interval, first calculate the secant slope \(m\). Then solve \(f'(x)=m\), keeping only solutions in \((a,b)\). The complete set of solutions in that interval is the set of mean value points. It has one member exactly when there is one such solution.
This test follows directly from the theorem’s defining equation. If \(c\) is a mean value point, then \(f'(c)=m\), so it is a solution. Conversely, if \(c\in(a,b)\) solves \(f'(c)=m\), then it satisfies the equation in the theorem and is a mean value point. Therefore counting the interval’s solutions counts all the mean value points.
One useful sufficient condition for uniqueness is that \(f'\) is one-to-one on \((a,b)\): no two different inputs in that interval have the same derivative value. Under this condition, the equation \(f'(x)=m\) has at most one solution. Since the Mean Value Theorem guarantees at least one, it then has exactly one. This is a sufficient condition, not a requirement; an equation may have a unique solution even when the derivative is not one-to-one throughout the interval.
Why Existence and Uniqueness Are Separate Questions
The theorem answers an existence question: does at least one interior point satisfy the equation? It does not count the solutions. Counting requires additional work, usually solving the derivative equation and checking which of its solutions fall inside the interval.
Geometrically, draw the secant line joining the endpoints of the function’s graph. Its slope is \(m\). A mean value point is an interior input where the tangent line has that same slope. The theorem ensures at least one such tangent point under its hypotheses, but a graph can have more than one.
The number of solutions can also be easy to miss when an equation has two roots. For example, solving \(c^2=\frac{4}{3}\) gives both a positive and a negative value. Each must be checked against the interval; a sign alone is not a reason to discard a root.
Common Pitfall: Treating “A Point” as “The Only Point”
A frequent error is to find one valid solution and then assume that the theorem has established uniqueness. It has not. For \(f(x)=x^3-3x\) on \([-2,2]\), one might solve
and write only \(c=\frac{2}{\sqrt{3}}\), reasoning that the positive square root is the answer. That calculation omits the negative root. The correct solution is
Both values are in \((-2,2)\), and substituting either into \(f'(x)=3x^2-3\) gives \(1\), the secant slope. There are two mean value points. A reliable solution therefore solves the equation completely, checks every candidate against the open interval, and verifies each retained value.
Summary
When \(f\) is continuous on \([a,b]\) and differentiable on \((a,b)\), the Mean Value Theorem guarantees at least one \(c\in(a,b)\) such that \(f'(c)\) equals the secant slope. It does not guarantee that this \(c\) is unique. To determine how many mean value points exist, solve the derivative equation and count its solutions in the open interval.
Check Your Understanding
For each question, distinguish what the theorem guarantees from what must be determined by solving an equation.
- What hypotheses allow the Mean Value Theorem to guarantee at least one mean value point?
- What equation must every mean value point satisfy?
- For \(f(x)=x^2\) on \([-1,2]\), what is the average rate of change, and what is the mean value point?
- For \(f(x)=x^3-3x\) on \([-2,2]\), why do both solutions of \(c^2=\frac{4}{3}\) qualify?
- Can a function have infinitely many mean value points on an interval? Give an example and explain why.
