From an Equation to a Zero
An equation such as \(f(x)=g(x)\) asks whether the two functions have the same value at some input. The Intermediate Value Theorem (IVT) is stated in terms of a single continuous function taking intermediate values. The useful move is to combine the two sides into one function whose zeros are exactly the solutions of the original equation.
Subtracting the right-hand side from the left gives \(f(x)-g(x)\). The equation \(f(x)=g(x)\) holds precisely when this difference is zero. We can then use endpoint values to show that the difference passes from negative to positive, or from positive to negative, on an interval.
For an equation \(f(x)=k\), where \(k\) is a constant, use \(h(x)=f(x)-k\). This is the same construction: regard the constant as the constant function with value \(k\), and subtract it from \(f\).
The IVT Condition We Need
The IVT says that if a function \(h\) is continuous on a closed interval \([a,b]\), then it takes every value between \(h(a)\) and \(h(b)\). In particular, if zero lies between the endpoint values, \(h\) must equal zero somewhere in the interval.
To use this theorem for \(f(x)=g(x)\), both functions must be defined and continuous throughout the same closed interval. Their difference \(h=f-g\) is then continuous there, since the difference of continuous functions is continuous. Once the endpoint values of \(h\) bracket zero, the theorem supplies a point \(c\) with \(h(c)=0\), which is exactly the desired equality \(f(c)=g(c)\).
This gives the central procedure. The equation determines what auxiliary function to form; the endpoint values determine whether IVT can be applied. These are separate checks: forming the right expression does not by itself guarantee a solution.
For \(f(x)=g(x)\), set \(h(x)=f(x)-g(x)\). For \(f(x)=k\), set \(h(x)=f(x)-k\).
Confirm that the original functions are defined and continuous on the whole closed interval \([a,b]\), so that \(h\) is continuous there.
Compute \(h(a)\) and \(h(b)\), keeping enough exact information to establish their signs.
If zero lies between the endpoint values, obtain \(h(c)=0\). Then use the definition of \(h\) to conclude that the original equation holds at \(c\).
Worked Examples
Worked Example: Showing Two Polynomial Graphs Intersect
Show that \(x^2+1=3x\) has a solution in \([0,1]\).
Define the auxiliary function by subtracting the right-hand side from the left:
The polynomial \(h\) is continuous on \([0,1]\). Evaluate it at both endpoints:
Since \(h(0)>0\) and \(h(1)<0\), zero lies between the endpoint values. By IVT, there is a \(c\in(0,1)\) such that \(h(c)=0\). Substituting the definition of \(h\), this means \(c^2-3c+1=0\), or \(c^2+1=3c\).
Check: The equation \(h(c)=0\) is \(c^2+1-3c=0\). Adding \(3c\) to both sides gives \(c^2+1=3c\), the original equation. The opposite endpoint signs establish the conditions required for the existence of this \(c\).
Worked Example: Proving a Function Takes a Target Value
Show that \(x^3+x=1\) has a solution in \([0,1]\).
Move the target value to the left by defining
This is a polynomial, so it is continuous on \([0,1]\). Its endpoint values are
Thus \(h(0)<0<h(1)\). IVT gives a \(c\in(0,1)\) with \(h(c)=0\). Therefore \(c^3+c-1=0\), which rearranges to \(c^3+c=1\).
Check: At the point guaranteed by IVT, the auxiliary equation says \(c^3+c-1=0\). Adding \(1\) to both sides recovers \(c^3+c=1\). This proves existence in the stated interval; it does not claim that this is the only solution outside that interval.
Worked Example: Using Exact Signs for a Radical Equation
Show that \(\sqrt{x+1}=x\) has a solution in \([1,2]\).
Use the difference of the two sides:
The square-root expression is defined and continuous for \(x\geq -1\), so \(h\) is continuous throughout \([1,2]\). At the endpoints,
For the first sign, \(2>1\), so \(\sqrt{2}>1\). For the second, \(3<4\), and both square roots are nonnegative, so \(\sqrt{3}<\sqrt{4}=2\). These comparisons establish the signs without decimal approximations.
Since the endpoint values have opposite signs, IVT gives a \(c\in(1,2)\) with \(h(c)=0\). By the definition of \(h\), \(\sqrt{c+1}-c=0\), so \(\sqrt{c+1}=c\).
Check: The zero equation \(\sqrt{c+1}-c=0\) gives \(\sqrt{c+1}=c\) after adding \(c\) to both sides. Thus the point guaranteed by IVT satisfies the original radical equation, and the endpoint signs were justified exactly.
Why the Method Works
The auxiliary function does more than provide a convenient expression. It converts the original equation into a zero condition without changing which inputs solve it. For any \(x\) in the common domain,
The first equivalence is the definition of \(h\); the second follows by adding \(g(x)\) to both sides. Thus a zero of \(h\) is neither an approximation nor a related-but-different condition: it is exactly a solution of the original equation.
The IVT supplies that zero when the continuous function’s endpoint values bracket zero. If, for example, \(h(a)<0<h(b)\), zero is an intermediate value between \(h(a)\) and \(h(b)\). Continuity guarantees that \(h\) takes this value somewhere between \(a\) and \(b\). Combining this fact with the equivalence above proves the equation has a solution.
Choosing Endpoints and Reading the Conclusion
The interval is part of the proof. It must lie where the functions are defined and continuous, and its endpoint values must give the needed signs. A useful strategy is to test simple candidate endpoints, such as integers, and calculate the auxiliary function there. The goal is not to find the solution by evaluating endpoints; it is to find an interval on which the endpoint values force the function to take the value zero.
Exact comparisons are often preferable to decimal approximations. For polynomials, endpoint values are usually exact. For radicals, compare nonnegative quantities by squaring only when the comparison permits it. If a decimal estimate is used, it must be accurate enough to establish the sign; a rounded value very close to zero may not settle the question.
There is also an important difference between endpoint equality and a strict sign change. If \(h(a)=0\), then \(a\) itself already solves the equation. If \(h(a)\) and \(h(b)\) have strictly opposite signs, IVT guarantees a zero in the open interval \((a,b)\). Either situation gives existence, but only the strict sign change guarantees that the zero is interior.
Finally, this method proves existence, not uniqueness. A continuous function may cross zero more than once between the endpoints. Opposite signs at the endpoints guarantee at least one zero, but do not by themselves count the zeros or rule out additional solutions.
Common Mistake: Adding Instead of Subtracting
To turn \(f(x)=g(x)\) into a zero equation, subtract the two sides. Adding them does not preserve the desired condition. For example, take \(f(x)=x+1\) and \(g(x)=2x\). Their equality becomes \(x+1=2x\), which has the solution \(x=1\).
An incorrect auxiliary function would be the sum \(q(x)=f(x)+g(x)=3x+1\). On \([0,2]\), its endpoint values are \(q(0)=1\) and \(q(2)=7\), so they do not bracket zero. That tells us nothing about whether \(f\) and \(g\) are equal. In fact, the error is more fundamental: \(q(x)=0\) means \(f(x)=-g(x)\), not \(f(x)=g(x)\).
The correct auxiliary function is
On \([0,2]\), \(h(0)=1>0\) and \(h(2)=1-2=-1<0\). The function is continuous, so IVT gives a zero in \((0,2)\). Indeed, \(h(1)=1-1=0\), and the original functions agree there: \(f(1)=1+1=2\) and \(g(1)=2(1)=2\).
When an IVT Argument Is Complete
A clear proof should make each link explicit rather than stopping after an endpoint calculation. In particular, state the auxiliary function, explain why it is continuous on the chosen closed interval, evaluate its endpoint values, establish that zero lies between them, and translate the resulting zero back into the original equation.
- Equation: Identify the equality to be proved solvable.
- Auxiliary function: Subtract one side from the other.
- Continuity: Verify the functions involved are continuous on the whole interval.
- Endpoint signs: Show that the two values bracket zero.
- Conclusion: Apply IVT and state explicitly what \(h(c)=0\) means for the original equation.
Each step has a role. Omitting continuity leaves the theorem unjustified; omitting the sign comparison leaves no reason that zero is an intermediate value; omitting the final translation fails to connect the zero back to the equation being studied.
Check Your Understanding
For each question, identify the auxiliary-function reasoning needed and pay attention to the continuity and endpoint conditions.
- To prove \(p(x)=q(x)\) somewhere, what auxiliary function should you define, and what equation does its zero satisfy?
- For \(r(x)=5\), what auxiliary function converts the equation into a zero condition?
- If \(h\) is continuous on \([a,b]\), with \(h(a)=-4\) and \(h(b)=3\), what does IVT guarantee about the equation \(h(x)=0\)?
- Why do continuity of both \(f\) and \(g\) on the same interval ensure that \(f-g\) is continuous there?
- Does a strict sign change at the endpoints prove that the auxiliary function has exactly one zero? Explain.
