Working with the Intermediate Value Theorem (IVT)

3. Visual Connection

5. Concept Development

1. What the Intermediate Value Theorem Says

Suppose \(f\) is continuous on the entire closed interval \([a,b]\). If the target value \(N\) lies between \(f(a)\) and \(f(b)\), then there is at least one number \(c\in[a,b]\) such that \(f(c)=N\). If \(N\) lies strictly between the endpoint outputs, then at least one such \(c\) lies in \((a,b)\).

2. Separate the Hypotheses from the Conclusion

The theorem cannot be invoked until both hypotheses are verified. Endpoint arithmetic alone is insufficient if the function has a hole, jump, or vertical asymptote inside the interval.

3. How to Justify Continuity

Name a valid reason rather than merely saying that a graph “looks continuous.” Polynomials are continuous everywhere. Rational functions are continuous where their denominators are nonzero. Root, exponential, logarithmic, and trigonometric functions are continuous on their domains, and valid sums, products, quotients, and compositions preserve continuity.

For a rational or composite function, check that the entire closed interval stays inside the domain. One excluded interior input is enough to invalidate an IVT argument on that interval.

4. Root Existence Is the Target \(N=0\)

A common corollary uses opposite endpoint signs. If \(f\) is continuous on \([a,b]\) and

then 0 lies strictly between the endpoint outputs, so at least one \(c\in(a,b)\) satisfies \(f(c)=0\). The sign change is a convenient way to place the target 0 between the outputs; continuity is still essential.

5. Turn Any Equation into a Root Problem

To prove that \(F(x)=G(x)\) has a solution, define

Then show that \(H\) is continuous and that its endpoint values have opposite signs. A zero of \(H\) is exactly an input where \(F(c)=G(c)\). Similarly, proving \(f(c)=N\) can be reframed by applying the root version to \(g(x)=f(x)-N\).

6. A Complete IVT Argument

1. Define the function whose target value or zero matters.
2. State a closed interval \([a,b]\).
3. Justify continuity on every point of that interval.
4. Calculate \(f(a)\) and \(f(b)\).
5. Show explicitly that the target lies between those outputs.
6. Conclude that at least one \(c\in(a,b)\) has the required output.

The conclusion should name the input interval and the equation satisfied by \(c\).

7. What IVT Does Not Prove

• It does not give the exact location of \(c\).
• It does not guarantee that the solution is unique.
• It does not count how many solutions occur.
• It does not say that a target outside the endpoint-output range is impossible.
• It does not say that equal-sign endpoint values rule out roots.

Additional information such as strict monotonicity can establish uniqueness, but uniqueness does not come from IVT alone.

8. The Converse Is Not Valid

If the endpoint values have the same sign, IVT gives no root conclusion, but the function may still cross or touch zero inside. For example, \(f(x)=(x-1)^2\) has \(f(0)=f(2)=1\) and \(f(1)=0\). Likewise, finding an intermediate output does not prove that the function was continuous; continuity is a sufficient hypothesis for the guarantee, not a necessary description of every possible graph.

9. Why Discontinuity Breaks the Guarantee

For \(r(x)=1/x\) on \([-1,1]\), the endpoint values are \(-1\) and 1, so 0 lies between them. However, \(r\) is undefined at 0 and is not continuous on the closed interval. The graph jumps through a vertical asymptote and never equals zero, so IVT does not apply.

10. Narrowing a Guaranteed Solution Interval

Once IVT guarantees a root, evaluate the function at an interior test point. Keep the subinterval whose endpoint outputs still have opposite signs, then repeat. This bisection-style reasoning does not produce an exact root automatically, but it creates successively tighter guaranteed brackets.

11. Contextual Meaning

IVT also applies to continuous quantities such as position, temperature, volume, or concentration. If a continuous measurement changes from below a target to above it, the target must occur at least once in between. A complete contextual conclusion states the time or input interval, the attained quantity, and its units.

12. Common Reasoning Errors

• Do not omit the continuity justification.
• Do not check continuity only at the two endpoints.
• Do not require differentiability; continuity is enough.
• Do not write “exactly one solution” without a separate uniqueness argument.
• Do not use decimal approximations so coarse that the required strict inequality is unclear.
• Do not claim that IVT finds the solution; it establishes existence within an interval.

6. Detailed Worked Example and Error Check

Example 1: Prove that a polynomial has a root. Let \(f(x)=x^3+x-3\). A polynomial is continuous everywhere, so \(f\) is continuous on \([1,2]\). Also,

Because 0 lies between the endpoint outputs, IVT guarantees at least one \(c\in(1,2)\) such that \(\boxed{f(c)=0}\).

Example 2: Prove that a particular output occurs. Let \(p(x)=x^3-2x+1\). Show that \(p(c)=4\) for some \(c\in(1,2)\). The polynomial is continuous on \([1,2]\), and

Therefore IVT guarantees at least one \(c\in(1,2)\) with \(\boxed{p(c)=4}\). No equation solving is required for the existence conclusion.

Example 3: Compare two continuous functions. Show that \(e^{-x}=x\) has a solution in \((0,1)\). Define \(H(x)=e^{-x}-x\). This function is continuous on \([0,1]\), and

By IVT, some \(c\in(0,1)\) satisfies \(H(c)=0\), which is equivalent to \(\boxed{e^{-c}=c}\).

Example 4: Detect an invalid argument. For \(r(x)=1/x\),

Nevertheless, \(r\) is undefined at 0, so it is not continuous on \([-1,1]\). IVT cannot be applied, and in fact \(1/x\) has no zero. Endpoint signs never replace the continuity hypothesis.

Example 5: Refine a root bracket. Let \(q(x)=x^3-x-1\). Since \(q(1)=-1\) and \(q(2)=5\), IVT gives a root in \((1,2)\). Testing closer values gives

Because \(q\) remains continuous, IVT now guarantees at least one root in the narrower interval \(\boxed{(1.3,1.4)}\). This improves the bracket but does not claim an exact root or uniqueness.