← MathScape

Intermediate Value Theorem

MATH161
Reference: Stewart 2.5  •  Chapter: 1  •  Section: 5

Navigation: Wiki Home > Skills > Intermediate Value Theorem

Quick Links: Theorem Statement | Three Requirements | Proof Procedure | Practice

Intermediate Value Theorem

Before You Start: Prerequisite Check

πŸ“‹ Can you do these? (Click to reveal self-test)

Test yourself on these prerequisite skills:

  1. Continuity on interval: Is $f(x) = \frac{1}{x-1}$ continuous on $[0, 2]$?

Noβ€”it has a discontinuity at $x = 1$, which is in $[0, 2]$

  1. Function evaluation: If $f(x) = x^3 - 4x$, find $f(1)$ and $f(2)$.
Check

$f(1) = 1 - 4 = -3$ and $f(2) = 8 - 8 = 0$

  1. Sign change: If $f(a) = -2$ and $f(b) = 5$, is 0 between $f(a)$ and $f(b)$?
Check

Yesβ€”0 is between $-2$ and $5$

If you struggled:


The "No Teleportation" Principle

If you drive from sea level to a mountain summit, you must pass through every elevation in between. You can't teleport from 0 to 10,000 feetβ€”you have to go through 5,000 feet along the way.

This obvious physical fact has a profound mathematical counterpart: the Intermediate Value Theorem (IVT). For a continuous function, if you know two output values, the function must hit every value in between. No skipping, no gaps.

Why is this powerful? Because it lets you prove that equations have solutions without finding them. If $f(1) = -3$ and $f(2) = 5$, and $f$ is continuous, then somewhere between $x = 1$ and $x = 2$, there must be a root where $f(c) = 0$. Existence guaranteed.

Prerequisite Map

This skill
Intermediate Value Theorem

Quick Reference

Property Value
Chapter 1.8
Course MATH161
Difficulty Intermediate
Time ~25 minutes

IVT at a Glance

What You Need What You Get
$f$ continuous on $[a, b]$ There exists $c \in (a, b)$
$N$ between $f(a)$ and $f(b)$ such that $f(c) = N$

Special Case (Root Finding): If $f(a)$ and $f(b)$ have opposite signs, then $f$ has a root in $(a, b)$.

What IVT Does NOT Tell You:

Key Concepts

The Theorem Statement

Intermediate Value Theorem (IVT):

If $f$ is continuous on the closed interval $[a, b]$ and $N$ is any number between $f(a)$ and $f(b)$, then there exists at least one $c \in (a, b)$ such that:

$$\boxed{f(c) = N}$$

Visual Understanding

    f(b) ───●
            β”‚
         N ─┼─────────────────●──── The line y = N
            β”‚                β•±
            β”‚              β•±
            β”‚            β•±
            β”‚          β•±
            β”‚        ●
            β”‚       c    (IVT guarantees this c exists)
            β”‚      β•±
    f(a) ───●────╱
            β”‚
            a    c         b

The graph must cross the horizontal line $y = N$ somewhere between $a$ and $b$.

The Three Requirements

Requirement What to Check If Missing...
Continuous on $[a, b]$ No jumps, holes, or asymptotes IVT doesn't apply
$N$ between $f(a)$ and $f(b)$ $f(a) < N < f(b)$ or $f(b) < N < f(a)$ No guarantee
Closed interval Includes both endpoints IVT may fail

Warning: IVT tells you a solution exists but not where or how many. There could be multiple values of $c$.

Special Case: Root Finding

The most common application is proving roots exist. Set $N = 0$:

If $f$ is continuous on $[a, b]$ and $f(a)$ and $f(b)$ have opposite signs, then there exists $c \in (a, b)$ with $f(c) = 0$.

This is the foundation of the bisection method for numerical root-finding.

The IVT Proof Procedure

Goal: Show that $f(x) = N$ has a solution in some interval.

Step 1: Identify the function $f$ and the target value $N$.

Step 2: Find an interval $[a, b]$ where:

Step 3: Verify continuity explicitly (polynomial? ratio? composition?).

Step 4: Evaluate $f(a)$ and $f(b)$ and confirm $N$ is between them.

Step 5: Conclude by IVT that there exists $c \in (a, b)$ with $f(c) = N$.

Finding the Right Interval

Sometimes you need to hunt for good endpoints:

Strategy 1: Trial and error

Strategy 2: Behavior at extremes

Strategy 3: Known values

Common Pitfalls

Mistake Why It's Wrong Correct Approach
"Opposite signs means root exists" Only if $f$ is CONTINUOUS on the interval Always verify continuity first
Forgetting to check for discontinuities IVT fails if there's a gap Check rational functions for zeros in denominator
Claiming IVT finds the root IVT only proves existence Use bisection or other methods to locate
Using open interval $(a, b)$ IVT requires CLOSED interval $[a, b]$ Must include endpoints
Assuming only one root exists IVT doesn't guarantee uniqueness Could be 1, 3, 5, ... roots
πŸ’‘ When IVT Fails: A Cautionary Tale

Consider $f(x) = \frac{1}{x}$ on $[-1, 1]$.

We have $f(-1) = -1$ and $f(1) = 1$. Zero is between them!

Can we conclude there's a root in $(-1, 1)$?

No! The function is discontinuous at $x = 0$, which is in our interval. IVT does not apply.

The function "jumps" from $-\infty$ to $+\infty$ at $x = 0$ without actually passing through 0.

Moral: Always verify continuity on the ENTIRE closed interval before applying IVT.

Practice Problems

Level 1 Identifying IVT Applicability

Can the IVT be applied to $f(x) = \dfrac{1}{x}$ on the interval $[-1, 1]$ to conclude there is a root? Explain.

Thought Process

Check the hypotheses of IVT:

  1. Is $f$ continuous on $[-1, 1]$?
  2. Is 0 between $f(-1)$ and $f(1)$?

The key issue is whether $f$ is continuous on the entire interval.

Show Answer

No, the IVT cannot be applied.

$f(x) = \frac{1}{x}$ has an infinite discontinuity at $x = 0$, which is in the interval $[-1, 1]$.

Since $f$ is not continuous on $[-1, 1]$, the hypothesis of IVT is not satisfied.

(Note: $f(-1) = -1$ and $f(1) = 1$ do have opposite signs, but this doesn't guarantee a root because the function "jumps" past zero at the asymptote rather than crossing it.)

Level 2 CCI: Understanding IVT Hypotheses

A student claims: "I computed $f(0) = 2$ and $f(3) = -1$, so by IVT, there must be a value $c$ where $f(c) = 0$."

What additional information is needed to validate this claim?

(A) Nothingβ€”the claim is already justified

(B) We need to verify that $f$ is continuous on $[0, 3]$

(C) We need to verify that 0 is between 2 and $-1$

(D) We need to verify that $f$ is differentiable on $(0, 3)$

Thought Process

The IVT requires:

  1. $f$ continuous on $[a, b]$
  2. $N$ between $f(a)$ and $f(b)$

The student has shown $f(0) = 2$ and $f(3) = -1$.

Is 0 between 2 and $-1$? Yes: $-1 < 0 < 2$.

But did the student verify continuity?

Show Answer

Answer: (B) We need to verify that $f$ is continuous on $[0, 3]$

Analysis:

  • (A) Incorrect: The claim is missing verification of continuity
  • (B) Correct: IVT requires continuity on the closed interval
  • (C) Incorrect: 0 IS between $-1$ and 2 (this is already satisfied)
  • (D) Incorrect: IVT requires continuity, not differentiability

Key insight: Many students forget the continuity hypothesis because they're focused on the sign change. But without continuity, the function could "jump over" zero without ever hitting it (like $\frac{1}{x}$ at 0).

Level 2 Basic Root Existence

Show that $f(x) = x^3 - 3x + 1$ has at least one root in the interval $(0, 1)$.

Thought Process
  1. $f$ is a polynomial, so it's continuous everywhere (including on $[0, 1]$)
  2. Compute $f(0)$ and $f(1)$
  3. Check if they have opposite signs (one positive, one negative)
  4. If so, IVT guarantees a root in $(0, 1)$
Show Answer

Step 1: $f(x) = x^3 - 3x + 1$ is a polynomial, so it's continuous on $[0, 1]$.

Step 2: Evaluate at endpoints: $$f(0) = 0^3 - 3(0) + 1 = 1 > 0$$ $$f(1) = 1^3 - 3(1) + 1 = -1 < 0$$

Step 3: Since $f(0) = 1 > 0$ and $f(1) = -1 < 0$, the value $N = 0$ is between $f(0)$ and $f(1)$.

Step 4: By the Intermediate Value Theorem, there exists $c \in (0, 1)$ such that $f(c) = 0$.

Therefore, $f(x) = x^3 - 3x + 1$ has at least one root in $(0, 1)$.

Level 3 Finding a Suitable Interval

Show that the equation $\cos x = x$ has at least one solution in $[0, 1]$.

Thought Process

Rewrite as $f(x) = \cos x - x = 0$.

Now we need to:

  1. Verify $f$ is continuous on $[0, 1]$
  2. Check if $f(0)$ and $f(1)$ have opposite signs

This shows a root of $f(x) = 0$, which is a solution to $\cos x = x$.

Show Answer

Define $f(x) = \cos x - x$.

Step 1: $f$ is continuous on $[0, 1]$ because:

  • $\cos x$ is continuous everywhere
  • $x$ is continuous everywhere
  • The difference of continuous functions is continuous

Step 2: Evaluate at endpoints: $$f(0) = \cos(0) - 0 = 1 - 0 = 1 > 0$$ $$f(1) = \cos(1) - 1 \approx 0.540 - 1 = -0.460 < 0$$

Step 3: Since $f(0) > 0$ and $f(1) < 0$, by the IVT there exists $c \in (0, 1)$ with $f(c) = 0$.

Step 4: $f(c) = 0$ means $\cos c - c = 0$, i.e., $\cos c = c$.

Therefore, the equation $\cos x = x$ has at least one solution in $(0, 1)$.

Level 4 Non-Root Value

Show that the equation $e^x = 3 - 2x$ has at least one solution. Find an interval containing this solution.

Thought Process

Rewrite as $f(x) = e^x - (3 - 2x) = e^x + 2x - 3 = 0$.

We need to find an interval $[a, b]$ where $f$ changes sign.

Try some values:

  • $f(0) = e^0 + 0 - 3 = 1 - 3 = -2 < 0$
  • $f(1) = e^1 + 2 - 3 = e - 1 \approx 1.72 > 0$

We have a sign change on $[0, 1]$!

Show Answer

Define $f(x) = e^x + 2x - 3$.

Step 1: $f$ is continuous on $\mathbb{R}$ (sum of continuous functions).

Step 2: Find endpoints with opposite signs: $$f(0) = e^0 + 2(0) - 3 = 1 + 0 - 3 = -2 < 0$$ $$f(1) = e^1 + 2(1) - 3 = e + 2 - 3 = e - 1 \approx 1.72 > 0$$

Step 3: Since $f(0) < 0 < f(1)$ and $f$ is continuous on $[0, 1]$, by the IVT there exists $c \in (0, 1)$ with $f(c) = 0$.

Step 4: $f(c) = 0$ means $e^c + 2c - 3 = 0$, i.e., $e^c = 3 - 2c$.

Answer: The equation $e^x = 3 - 2x$ has at least one solution in the interval $(0, 1)$.

Level 5 Multiple Roots and Counting

Show that $f(x) = x^3 - 6x + 1$ has exactly three real roots. Find an interval containing each root.

Thought Process

A cubic can have at most 3 real roots. To show exactly 3:

  1. Use IVT to find intervals where sign changes occur (proving at least 3 roots)
  2. Since a cubic has at most 3 roots, this proves exactly 3

Try several integer values to find sign changes:

  • $f(-3) = -27 + 18 + 1 = -8 < 0$
  • $f(-2) = -8 + 12 + 1 = 5 > 0$
  • $f(0) = 1 > 0$
  • $f(1) = 1 - 6 + 1 = -4 < 0$
  • $f(2) = 8 - 12 + 1 = -3 < 0$
  • $f(3) = 27 - 18 + 1 = 10 > 0$

Sign changes at: $(-3, -2)$, $(0, 1)$, $(2, 3)$

Show Answer

Step 1: $f(x) = x^3 - 6x + 1$ is a polynomial (continuous everywhere).

Step 2: Evaluate at several points:

$x$ $f(x) = x^3 - 6x + 1$ Sign
$-3$ $-27 + 18 + 1 = -8$ $-$
$-2$ $-8 + 12 + 1 = 5$ $+$
$0$ $0 - 0 + 1 = 1$ $+$
$1$ $1 - 6 + 1 = -4$ $-$
$2$ $8 - 12 + 1 = -3$ $-$
$3$ $27 - 18 + 1 = 10$ $+$

Step 3: Sign changes occur on:

  • $(-3, -2)$: from $-$ to $+$ β†’ root exists by IVT
  • $(0, 1)$: from $+$ to $-$ β†’ root exists by IVT
  • $(2, 3)$: from $-$ to $+$ β†’ root exists by IVT

Step 4: Since a cubic polynomial has at most 3 real roots (by the Fundamental Theorem of Algebra), and we've found at least 3, there are exactly 3 real roots.

Answer: The three roots lie in the intervals $(-3, -2)$, $(0, 1)$, and $(2, 3)$.

Mastery Checklist

Novice (Level 1-2):

Competent (Level 3-4):

Proficient (Level 5):

The Bisection Method: IVT in Action

πŸ” How Computers Find Roots Using IVT

The bisection method uses IVT repeatedly to narrow down a root's location:

Given: $f$ continuous on $[a, b]$ with $f(a) < 0 < f(b)$ (or opposite signs)

Algorithm:

  1. Compute midpoint $m = \frac{a + b}{2}$
  2. Evaluate $f(m)$
  3. If $f(m) = 0$: Done! $m$ is the root.
  4. If $f(a)$ and $f(m)$ have opposite signs: root is in $[a, m]$
  5. If $f(m)$ and $f(b)$ have opposite signs: root is in $[m, b]$
  6. Repeat with the new, smaller interval

Example: Find a root of $f(x) = x^3 - x - 1$ in $[1, 2]$.

Iteration Interval Midpoint $m$ $f(m)$ New Interval
0 $[1, 2]$ 1.5 0.875 $[1, 1.5]$
1 $[1, 1.5]$ 1.25 βˆ’0.297 $[1.25, 1.5]$
2 $[1.25, 1.5]$ 1.375 0.225 $[1.25, 1.375]$
3 $[1.25, 1.375]$ 1.3125 βˆ’0.051 $[1.3125, 1.375]$

Each iteration halves the interval. After $n$ iterations, the root is known to within $\frac{b-a}{2^n}$.

Fun fact: This is how graphing calculators draw curves! They compute a finite number of points and use IVT to justify "connecting the dots."

Mental Model

The "Elevation" Analogy:

Think of $f(x)$ as your elevation while hiking along a trail from mile marker $a$ to mile marker $b$. If your elevation is 1000 ft at $a$ and 3000 ft at $b$, and the trail is continuous (no teleportation!), then at some point along the way, you must have been at exactly 2000 ft.

The IVT is the "no teleportation" rule for mathematics: continuous functions can't skip values.


Connections

Looking back:

Looking ahead:

Real-world connections:

The Famous Tibetan Monk Problem

πŸ”οΈ A Classic IVT Application

Problem (Stewart Exercise 75): A Tibetan monk leaves the monastery at 7:00 AM and walks up to the mountain summit, arriving at 7:00 PM. The next morning, he starts at 7:00 AM at the summit and walks down the same path, arriving at the monastery at 7:00 PM.

Prove: There is a point on the path that the monk crosses at exactly the same time on both days.

Solution using IVT:

Let $u(t)$ = monk's position on Day 1 (going up), measured as distance from monastery Let $d(t)$ = monk's position on Day 2 (going down), measured as distance from monastery

Define $f(t) = u(t) - d(t)$ for $t \in [7\text{ AM}, 7\text{ PM}]$

At 7:00 AM:

At 7:00 PM:

Since position changes continuously with time, $f$ is continuous on $[7, 19]$.

By IVT: Since $f(7) < 0 < f(19)$, there exists $c$ with $f(c) = 0$.

This means $u(c) = d(c)$β€”the monk is at the same position at time $c$ on both days!

Key insight: We didn't find WHEN or WHEREβ€”IVT just guarantees such a moment exists.


Previous Up Next
Continuity of Combined Functions Skills Index Derivatives (Ch 2)

Last updated: 2026-01-22