◀ Back to Note

Tony's Intertwingled Memex • Reference Manual

Intermediate Value Theorem

Formulas & Definitions
Core Definition

If a real-valued function f(x)f(x)f(x) is continuous on a closed interval [a,b][a, b][a,b], and uuu is any number strictly between f(a)f(a)f(a) and f(b)f(b)f(b) (such that either f(a)<u<f(b)f(a) < u < f(b)f(a)<u<f(b) or f(b)<u<f(a)f(b) < u < f(a)f(b)<u<f(a)), then there exists at least one value c∈(a,b)c \in (a, b)c∈(a,b) such that:

f(c)=uf(c) = uf(c)=u


Concept Explanation

1. Geometric & Physical Intuition

The Intermediate Value Theorem (IVT) is an existence theorem that guarantees a continuous function cannot "jump" over any intermediate value.

  • Geometrically, if you draw the graph of a continuous function from the starting point (a,f(a))(a, f(a))(a,f(a)) to the ending point (b,f(b))(b, f(b))(b,f(b)) without lifting your pencil from the paper, the curve must cross every horizontal line y=uy = uy=u situated between the initial and final heights at least once.
  • Physically, if a vehicle accelerates smoothly from 0 mph0\text{ mph}0 mph to 60 mph60\text{ mph}60 mph, it must at some intermediate instant travel at exactly 45 mph45\text{ mph}45 mph. It cannot bypass any speed without violating continuity.
       y ^
         |              (b, f(b))
  f(b) --+-----------------*
         |                /
     u --+-- - - - - - - * (c, u)  <-- Curve MUST cross y = u
         |              /|
  f(a) --+---*         / |
         |   |(a, f(a)/  |
         +---+--------+--+--------> x
             a        c  b

2. Hypothesis Verification: The Closed Interval & Continuity

To invoke the IVT, two strict hypotheses must be formally verified:

  1. Continuity: The function f(x)f(x)f(x) must be continuous on the entire closed interval [a,b][a, b][a,b]. If f(x)f(x)f(x) has even a single removable, jump, or infinite discontinuity within [a,b][a, b][a,b], the theorem fails to apply.
  2. Intermediate Range: The target value uuu must lie strictly between the endpoint values f(a)f(a)f(a) and f(b)f(b)f(b).

3. Application: Root and Zero Finding

The most common application of the IVT on calculus exams is demonstrating the existence of a real root (or zero) for an equation f(x)=0f(x) = 0f(x)=0:

  • If f(x)f(x)f(x) is continuous on [a,b][a, b][a,b] and the endpoint evaluations have opposite signs:
    f(a)⋅f(b)<0(one endpoint is positive, the other is negative)f(a) \cdot f(b) < 0 \quad (\text{one endpoint is positive, the other is negative})f(a)⋅f(b)<0(one endpoint is positive, the other is negative)
  • Then by setting u=0u = 0u=0, the IVT guarantees that there is at least one root c∈(a,b)c \in (a, b)c∈(a,b) satisfying f(c)=0f(c) = 0f(c)=0.
  • This principle forms the theoretical foundation for numerical root-finding algorithms such as the Bisection Method.

Engineering Applications

  • Robotics & Kinematic Equilibrium: Robotic links transitioning between spatial poses must pass through intermediate equilibrium configurations. The IVT ensures that joint actuator torques smoothly span commanded intermediate torque states without dynamic singularity jumps.
  • Thermal & Environmental Systems: Temperature distribution T(x)T(x)T(x) along a conductive metal fin is continuous. If the base of the fin is at 150∘C150^\circ\text{C}150∘C and the exposed tip is at 30∘C30^\circ\text{C}30∘C, the IVT guarantees a precise physical location where the temperature equals a sensitive electronic component threshold (e.g., 85∘C85^\circ\text{C}85∘C).
  • Chemical Reactor Equilibrium: Continuous reaction conversion rates evolving across a spatial reactor bed must cross stoichiometric balance concentration points guaranteed by the IVT.

Example Problems

Example 1: Proving the Existence of a Root

Show that the polynomial equation x3+2x−5=0x^3 + 2x - 5 = 0x3+2x−5=0 has at least one real solution in the interval (1,2)(1, 2)(1,2).

Solution
  1. State the Governing Theorem: The Intermediate Value Theorem (IVT) states that if f(x)f(x)f(x) is continuous on [a,b][a, b][a,b] and uuu is between f(a)f(a)f(a) and f(b)f(b)f(b), there exists c∈(a,b)c \in (a, b)c∈(a,b) such that f(c)=uf(c) = uf(c)=u. (This theorem is defined in Intermediate Value Theorem.)
  2. Define the function and verify continuity: Let f(x)=x3+2x−5f(x) = x^3 + 2x - 5f(x)=x3+2x−5. As a polynomial, f(x)f(x)f(x) is continuous everywhere on R\mathbb{R}R, and therefore continuous on the closed interval [1,2][1, 2][1,2].
  3. Evaluate the function at the interval endpoints:
    f(1)=(1)3+2(1)−5=1+2−5=−2f(1) = (1)^3 + 2(1) - 5 = 1 + 2 - 5 = -2f(1)=(1)3+2(1)−5=1+2−5=−2
    f(2)=(2)3+2(2)−5=8+4−5=7f(2) = (2)^3 + 2(2) - 5 = 8 + 4 - 5 = 7f(2)=(2)3+2(2)−5=8+4−5=7
  4. Check the intermediate value condition: Notice that f(1)=−2<0f(1) = -2 < 0f(1)=−2<0 and f(2)=7>0f(2) = 7 > 0f(2)=7>0. The target value u=0u = 0u=0 lies strictly between f(1)f(1)f(1) and f(2)f(2)f(2):
    −2<0<7-2 < 0 < 7−2<0<7
  5. Apply the IVT: Since f(x)f(x)f(x) is continuous on [1,2][1, 2][1,2] and 000 lies between f(1)f(1)f(1) and f(2)f(2)f(2), by the IVT there exists at least one number c∈(1,2)c \in (1, 2)c∈(1,2) such that f(c)=0f(c) = 0f(c)=0, proving that x3+2x−5=0x^3 + 2x - 5 = 0x3+2x−5=0 has a real root in (1,2)(1, 2)(1,2).

Example 2: Finding the Exact Intermediate Point ccc

Given f(x)=x2−4x+1f(x) = x^2 - 4x + 1f(x)=x2−4x+1 on the interval [0,5][0, 5][0,5], verify that the IVT applies for u=−2u = -2u=−2 and find all values of ccc that satisfy the theorem.

Solution
  1. Verify hypotheses: f(x)=x2−4x+1f(x) = x^2 - 4x + 1f(x)=x2−4x+1 is a polynomial, hence continuous on [0,5][0, 5][0,5]. Endpoints: f(0)=1f(0) = 1f(0)=1, f(5)=25−20+1=6f(5) = 25 - 20 + 1 = 6f(5)=25−20+1=6. Minimum vertex of parabola: xv=−−42(1)=2x_v = -\frac{-4}{2(1)} = 2xv​=−2(1)−4​=2, f(2)=4−8+1=−3f(2) = 4 - 8 + 1 = -3f(2)=4−8+1=−3. Because f(2)=−3≤−2≤1=f(0)f(2) = -3 \le -2 \le 1 = f(0)f(2)=−3≤−2≤1=f(0), the target value u=−2u = -2u=−2 lies in the range of the continuous function on [0,5][0, 5][0,5].
  2. Solve for ccc such that f(c)=−2f(c) = -2f(c)=−2:
    c2−4c+1=−2  ⟹  c2−4c+3=0c^2 - 4c + 1 = -2 \implies c^2 - 4c + 3 = 0c2−4c+1=−2⟹c2−4c+3=0
    (c−1)(c−3)=0  ⟹  c=1orc=3(c - 1)(c - 3) = 0 \implies c = 1 \quad \text{or} \quad c = 3(c−1)(c−3)=0⟹c=1orc=3
  3. Check interval boundaries: Both c=1c = 1c=1 and c=3c = 3c=3 lie strictly within the open interval (0,5)(0, 5)(0,5). Both values satisfy the conclusion of the IVT.

Connections & References

  • Parent Concepts: Continuity, Limits
  • Related Theorems: Extreme Value Theorem, Mean Value Theorem
  • Course Sessions: Calc-1 Session 05, Calc-1 Session 10