🌱 Tony's Memex Tony's Intertwingled Memex
Digital Garden | OER Curriculum
Home / Digital Garden / Intermediate Value Theorem

Intermediate Value Theorem

Core Definition

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

f(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)) to the ending point (b,f(b))(b, f(b)) without lifting your pencil from the paper, the curve must cross every horizontal line y=uy = u situated between the initial and final heights at least once.
  • Physically, if a vehicle accelerates smoothly from 0 mph0\text{ mph} to 60 mph60\text{ mph}, it must at some intermediate instant travel at exactly 45 mph45\text{ 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) must be continuous on the entire closed interval [a,b][a, b]. If f(x)f(x) has even a single removable, jump, or infinite discontinuity within [a,b][a, b], the theorem fails to apply.
  2. Intermediate Range: The target value uu must lie strictly between the endpoint values f(a)f(a) and 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) = 0:

  • If f(x)f(x) is continuous on [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})
  • Then by setting u=0u = 0, the IVT guarantees that there is at least one root c∈(a,b)c \in (a, b) satisfying f(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) along a conductive metal fin is continuous. If the base of the fin is at 150∘C150^\circ\text{C} and the exposed tip is at 30∘C30^\circ\text{C}, the IVT guarantees a precise physical location where the temperature equals a sensitive electronic component threshold (e.g., 85∘C85^\circ\text{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 = 0 has at least one real solution in the interval (1,2)(1, 2).

Solution
  1. State the Governing Theorem: The Intermediate Value Theorem (IVT) states that if f(x)f(x) is continuous on [a,b][a, b] and uu is between f(a)f(a) and f(b)f(b), there exists c∈(a,b)c \in (a, b) such that f(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 - 5. As a polynomial, f(x)f(x) is continuous everywhere on R\mathbb{R}, and therefore continuous on the closed interval [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 = -2
    f(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 < 0 and f(2)=7>0f(2) = 7 > 0. The target value u=0u = 0 lies strictly between f(1)f(1) and f(2)f(2):
    −2<0<7-2 < 0 < 7
  5. Apply the IVT: Since f(x)f(x) is continuous on [1,2][1, 2] and 00 lies between f(1)f(1) and f(2)f(2), by the IVT there exists at least one number c∈(1,2)c \in (1, 2) such that f(c)=0f(c) = 0, proving that x3+2x−5=0x^3 + 2x - 5 = 0 has a real root in (1,2)(1, 2).

Example 2: Finding the Exact Intermediate Point cc

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

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

Connections & References