Intermediate Value Theorem
Before You Start: Prerequisite Check
📋 Can you do these? (Click to reveal self-test)
Test yourself on these prerequisite skills:
Continuity on interval: Is $f(x) = \frac{1}{x-1}$ continuous on $[0, 2]$?
Check
No. It has a discontinuity at $x = 1$, which is in $[0, 2]$.
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$
Sign change: If $f(a) = -2$ and $f(b) = 5$, is 0 between $f(a)$ and $f(b)$?
Check
Yes. Zero is between $-2$ and $5$.
If you struggled:
- Review Continuity at a Point and what “continuous on $[a,b]$” means
- Review Continuity of Combined Functions for verifying continuity
The “No Teleportation” Principle
If you drive from sea level to a mountain summit, you must pass through every elevation in between. You cannot 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
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:
- Where exactly $c$ is located
- How many solutions exist
- How to find the solution
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:
- $f$ is continuous
- $N$ is between $f(a)$ and $f(b)$
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
- Try small integers: $f(0)$, $f(1)$, $f(2)$, $f(-1)$, ...
- Look for a sign change
Strategy 2: Behavior at extremes
- For polynomials: check limits as $x \to \pm\infty$
- Use this to find intervals where the function must cross zero
Strategy 3: Known values
- For trig functions: $\sin(0) = 0$, $\cos(0) = 1$, etc.
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
Can the IVT be applied to $f(x) = \dfrac{1}{x}$ on the interval $[-1, 1]$ to conclude there is a root? Explain.
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)$
Show that $f(x) = x^3 - 3x + 1$ has at least one root in the interval $(0, 1)$.
Show that the equation $\cos x = x$ has at least one solution in $[0, 1]$.
Show that the equation $e^x = 3 - 2x$ has at least one solution. Find an interval containing this solution.
Show that $f(x) = x^3 - 6x + 1$ has exactly three real roots. Find an interval containing each root.
Common Misconceptions
the IVT says the function must equal every value between $f(a)$ and $f(b)$ exactly once. The theorem guarantees at least one $c$ where $f(c) = N$, but there may be several. A function that oscillates between $a$ and $b$ can cross a given horizontal level many times. The IVT is an existence theorem, not a uniqueness theorem.
the IVT applies to any function with $f(a) < N < f(b)$. Continuity on the closed interval $[a, b]$ is essential. A function with a jump discontinuity inside $(a, b)$ can skip over intermediate values entirely. For example, the function that equals 0 for $x < 1$ and equals 2 for $x \geq 1$ satisfies $f(0) = 0$ and $f(2) = 2$, yet the value 1 is never achieved, because the function is not continuous on $[0, 2]$.
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:
- Compute midpoint $m = \frac{a + b}{2}$
- Evaluate $f(m)$
- If $f(m) = 0$: Done! $m$ is the root.
- If $f(a)$ and $f(m)$ have opposite signs: root is in $[a, m]$
- If $f(m)$ and $f(b)$ have opposite signs: root is in $[m, b]$
- 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:
- Continuity at a point defines the continuity that IVT requires
- Continuity of combined functions helps verify continuity of complex functions
Looking ahead:
- Extreme Value Theorem (Chapter 4): Continuous functions on closed intervals attain max and min
- Rolle’s Theorem (Chapter 4): A stepping stone to the Mean Value Theorem
- Bisection Method (Numerical Analysis): Uses IVT repeatedly to narrow down roots
Real-world connections:
- Temperature must pass through all intermediate values as it changes
- Stock prices (if modeled continuously) pass through all values between high and low
- Any quantity that changes continuously cannot “jump” over values
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:
- Day 1: monk at monastery → $u(7) = 0$
- Day 2: monk at summit → $d(7) = L$ (total path length)
- So $f(7) = 0 - L = -L < 0$
At 7:00 PM:
- Day 1: monk at summit → $u(19) = L$
- Day 2: monk at monastery → $d(19) = 0$
- So $f(19) = L - 0 = L > 0$
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)$, so the monk is at the same position at time $c$ on both days!
Key insight: We did not 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