Existence Is Not Uniqueness
The Intermediate Value Theorem is a powerful way to prove that an equation has a solution. If a continuous function takes values on opposite sides of a target at the endpoints of an interval, then it must take that target somewhere inside the interval.
But the theorem answers an existence question: does at least one solution occur? It does not, by itself, answer the different question: is there exactly one solution? A continuous function may reach the same target several times between its endpoint values.
What the Theorem Guarantees
For a continuous function on a closed interval, the Intermediate Value Theorem says that every value between its endpoint values is attained somewhere in that interval. In the special case of a root, if the function has opposite signs at the endpoints, then zero lies between those endpoint values.
The word at least matters. The conclusion is an existence statement, not a count of all the roots. Continuity prevents the function from jumping over an intermediate value, but it does not prevent the function from returning to that value later in the interval.
Worked Example: Three Roots Despite Opposite Endpoint Signs
Worked Example: Three Roots Despite Opposite Endpoint Signs
Consider \(f(x)=x^3-x\) on \([-2,2]\). Since \(f\) is a polynomial, it is continuous on this interval. First compute the endpoint values:
At the other endpoint,
Thus \(f(-2)<0<f(2)\). The Intermediate Value Theorem guarantees at least one root in \((-2,2)\). To determine whether there are more, factor the polynomial:
A product is zero when at least one of its factors is zero, so the roots are \(x=0\), \(x=1\), and \(x=-1\). All three lie in \((-2,2)\). Checking them directly gives \(f(0)=0^3-0=0\), \(f(1)=1^3-1=0\), and \(f(-1)=(-1)^3-(-1)=-1+1=0\). The endpoint signs and continuity do guarantee a root, but they do not guarantee exactly one.
Why the Conclusion Is Only “At Least One”
The theorem’s hypotheses describe the function at the endpoints and require continuity throughout the interval. They do not say that the function moves in only one direction, crosses the target only once, or cannot touch the target and turn back.
The proof of existence needs only one point where the function takes the target value. Once such a point has been found, the theorem has done its job. It supplies no additional information about the function’s other values that would rule out another crossing or a touch elsewhere.
The following reasoning makes the distinction precise. If the theorem gives a point \(c\) with \(f(c)=0\), it establishes the statement “there exists a root.” To establish uniqueness, one must additionally show that whenever \(x\) and \(y\) in the interval both satisfy \(f(x)=0\) and \(f(y)=0\), then \(x=y\). That second claim does not follow just from the existence of \(c\).
Worked Example: A Root That Touches Zero
Worked Example: A Root That Touches Zero
Let \(g(x)=x^2(x+1)\) on \([-2,1]\). This is a polynomial, so it is continuous on the interval. Its endpoint values are
and
Because \(-4<0<2\), the Intermediate Value Theorem guarantees at least one root in \((-2,1)\). But the factorization already shows that \(g(x)=0\) when \(x^2=0\) or \(x+1=0\). These give \(x=0\) and \(x=-1\), respectively. Both lie in the interval. Substitution checks them: \(g(0)=0^2(0+1)=0\), and \(g(-1)=(-1)^2((-1)+1)=1(0)=0\).
In this example the factor \(x^2\) also illustrates why a sign change at an individual root is not required for that root to exist: \(g(0)=0\) even though the factor \(x^2\) is nonnegative on both sides of zero. The endpoint sign change guarantees at least one root, while the factorization reveals two.
Uniqueness Requires a Separate Argument
A useful way to express the extra requirement is injectivity. A function \(f:A\to B\) is injective if different inputs always have different outputs: whenever \(x,y\in A\) and \(x\ne y\), then \(f(x)\ne f(y)\).
If \(f\) is injective on an interval, the equation \(f(x)=0\) has at most one solution there. Indeed, suppose \(x\) and \(y\) are both solutions. Then \(f(x)=0=f(y)\), so \(f(x)=f(y)\). Injectivity implies \(x=y\). This proves that there cannot be two distinct solutions.
Therefore, if the Intermediate Value Theorem establishes at least one root and a separate argument establishes that \(f\) is injective on the interval, the equation has exactly one root there. The two conclusions have different jobs: the theorem supplies existence, while injectivity supplies “at most one.”
In a particular problem, the separate argument might come from the function’s formula or another property that rules out repeated outputs. The essential point here is not which uniqueness method is used; it is that the Intermediate Value Theorem alone is not that method.
Worked Example: Two Roots, Including a Repeated Factor
Worked Example: Two Roots, Including a Repeated Factor
Consider \(h(x)=(x+1)^2(x-1)\) on \([-2,2]\). As a polynomial, \(h\) is continuous on the interval. Calculate the endpoint values:
and
The endpoint values have opposite signs, so the theorem guarantees at least one root in \((-2,2)\). To check whether the root is unique, solve using the factored form. The product is zero if \(x+1=0\) or \(x-1=0\), giving \(x=-1\) and \(x=1\). Both are in \((-2,2)\). Direct substitution confirms \(h(-1)=(-1+1)^2(-1-1)=0^2(-2)=0\) and \(h(1)=(1+1)^2(1-1)=2^2(0)=0\).
The repeated factor \((x+1)^2\) gives a root at \(-1\), and the factor \(x-1\) gives another at \(1\). The theorem guarantees a root without identifying how many there are; solving the equation supplies that additional information.
A Common Mistake: Reading “At Least One” as “Exactly One”
A common but invalid conclusion is: “The function is continuous and has opposite signs at the endpoints, so it has exactly one root.” The first part of this reasoning correctly verifies the theorem’s conditions. The final word, exactly, claims more than those conditions support.
Worked Example: Correcting an Invalid Uniqueness Claim
For \(f(x)=x^3-x\) on \([-2,2]\), the endpoint calculations are \(f(-2)=-6\) and \(f(2)=6\). A mistaken argument would conclude, “The function is continuous and changes sign, so it has exactly one root in \([-2,2]\).” The calculation supports the conclusion that there is at least one root, but not exactly one.
To correct the argument, factor and check the roots:
All three points \(-1,0,1\) belong to \([-2,2]\), so the claim of exactly one root is false. The valid conclusion from the Intermediate Value Theorem is that at least one root exists; the factorization shows that there are three.
When you use the theorem, keep the conclusion at the same strength as the result: it guarantees existence. If a problem asks for a unique solution, look for an additional argument that rules out a second one. Do not treat endpoint signs as a count of all the roots between the endpoints.
Check Your Understanding
Use the distinction between existence and uniqueness to answer these questions.
- If a continuous function has opposite signs at the endpoints of an interval, what does the Intermediate Value Theorem guarantee about a root?
- For \(f(x)=x^3-x\) on \([-2,2]\), verify the endpoint signs and list all the roots in the interval.
- Why does continuity not rule out a function reaching zero more than once?
- What additional property would ensure that an equation \(f(x)=0\) has at most one solution on an interval? Explain briefly.
- What two kinds of argument are needed to establish that an equation has exactly one solution?
