What Is The Intermediate Value Theorem?
The Intermediate Value Theorem is a statement about continuous functions: it guarantees that a continuous function takes every value between its two endpoint outputs at least once. Stated precisely, with the hypotheses that make it true:
$$\text{If } f \text{ is continuous on } [a, b] \text{ and } N \text{ lies between } f(a) \text{ and } f(b),$$ $$\text{then there exists } c \in [a, b] \text{ such that } f(c) = N.$$
Two conditions carry the whole theorem, and both matter:
Continuity on a closed interval. The function must be continuous at every point of $[a, b]$, with no gaps, jumps, or vertical asymptotes. Continuity at a point means $\lim_{x \to a} f(x) = f(a)$.
$N$ sits between the endpoint values. The target $N$ must lie between $f(a)$ and $f(b)$. The theorem says nothing about values outside that range.
The geometric reading is the one most people remember. If you can draw the graph of $f$ from the point $(a, f(a))$ to the point $(b, f(b))$ without lifting your pencil, and a horizontal line $y = N$ passes between those two heights, the curve is trapped: it starts on one side of the line and finishes on the other, so it must cross it. The crossing point is the $c$ the theorem promises.
What Is The Root Corollary Of The Intermediate Value Theorem?
The single most useful special case takes $N = 0$. If a continuous function is negative at one end of an interval and positive at the other, its graph must cross the horizontal axis somewhere between them, and a crossing of the axis is a root. Mathematicians call this special case Bolzano's theorem.
$$\text{If } f \text{ is continuous on } [a, b] \text{ and } f(a) \cdot f(b) < 0, \text{ then } f(c) = 0 \text{ for some } c \in (a, b).$$
The condition $f(a) \cdot f(b) < 0$ is just a compact way of saying "opposite signs," since a negative times a positive is negative. This corollary is the engine behind numerical zeros of a function finders and the "change of sign" method taught in school.
How Do You Use The Theorem To Show A Root Exists?
The recipe is short: confirm the function is continuous, evaluate it at both endpoints, and check for a sign change. If the signs differ, a root is guaranteed inside.
Example 1: Show that $x^3 - x - 1 = 0$ has a solution in $[1, 2]$.
Let $f(x) = x^3 - x - 1$. As a polynomial, $f$ is continuous everywhere, so it is continuous on $[1, 2]$. Evaluate the endpoints:
$$f(1) = (1)^3 - 1 - 1 = -1 < 0$$ $$f(2) = (2)^3 - 2 - 1 = 8 - 3 = 5 > 0$$
Since $f(1)$ is negative and $f(2)$ is positive, $N = 0$ lies between $f(1)$ and $f(2)$. By the root corollary, there exists $c \in (1, 2)$ with $f(c) = 0$.
Final answer: the equation has at least one root between $1$ and $2$.
Notice what the theorem did and did not do. It proved a root is there; it did not tell us the root is near $1.32$. Existence and location are two different questions, and the theorem answers only the first.
How Do You Narrow Down A Root With One Bisection Step?
Once existence is settled, the same sign-change idea locates the root by repeatedly halving the interval. Each step keeps the half where the sign still flips.
Example 2: Take one bisection step on $f(x) = x^3 - x - 1$ over $[1, 2]$.
Test the midpoint $m = 1.5$:
$$f(1.5) = (1.5)^3 - 1.5 - 1 = 3.375 - 2.5 = 0.875 > 0$$
Now compare signs on the two halves. On $[1, 1.5]$ the endpoints are $f(1) = -1 < 0$ and $f(1.5) = 0.875 > 0$, a sign change, so the root lies in $[1, 1.5]$. On $[1.5, 2]$ both values are positive, so no sign change is guaranteed there.
Final answer: after one step the root is trapped in $[1, 1.5]$, halving the search interval.
Table: One bisection step, tracking where the sign change lives.
Interval | $f$ at left end | $f$ at right end | Sign change? |
|---|---|---|---|
$[1, 2]$ | $f(1) = -1$ | $f(2) = 5$ | Yes (root inside) |
$[1, 1.5]$ | $f(1) = -1$ | $f(1.5) = 0.875$ | Yes — keep this half |
$[1.5, 2]$ | $f(1.5) = 0.875$ | $f(2) = 5$ | No |
Repeating the step drives the interval width toward zero, and the theorem guarantees a root sits inside every interval you keep. That is why a calculator can solve equations it has no formula for.
Does The Equation cos x = x Have A Solution?
The theorem also settles fixed-point questions, where you want a value that a function returns unchanged. The trick is to move everything to one side and hunt for a root.
Example 3: Show that $\cos x = x$ has a solution.
Define $g(x) = \cos x - x$, which is continuous everywhere because $\cos x$ and $x$ are both continuous. A solution of $\cos x = x$ is exactly a root of $g$. Test a convenient interval, $[0, 1]$ (with $x$ in radians):
$$g(0) = \cos 0 - 0 = 1 > 0$$ $$g(1) = \cos 1 - 1 \approx 0.5403 - 1 = -0.4597 < 0$$
The signs differ, so by the root corollary there is a $c \in (0, 1)$ with $g(c) = 0$, meaning $\cos c = c$.
Final answer: $\cos x = x$ has a solution between $0$ and $1$ (its value is near $0.7391$).
Why Does The Intermediate Value Theorem Work?
The theorem feels obvious from a picture, but the reason it is true rests on a deep property of the real numbers, not on the drawing.
The real line has no gaps. Every set of reals that is bounded above has a least upper bound (a supremum). This "completeness" is what a smooth curve relies on to actually reach the crossing rather than skipping over it through a missing point.
Continuity forbids jumps. Because $\lim_{x \to c} f(x) = f(c)$ at every point, the function cannot leap from below $N$ to above $N$ without taking the value $N$ on the way. A jump is exactly the thing continuity rules out.
The proof sketch. Collect every $x$ in $[a, b]$ where $f(x) < N$, and let $c$ be the supremum of that set. Continuity forces $f(c)$ to be neither above $N$ nor below it, so $f(c) = N$. Completeness supplies the point $c$; continuity pins its height.
The same theorem fails on the rationals precisely because they have gaps. Over the rational numbers, $f(x) = x^2 - 2$ is negative at $x = 1$ and positive at $x = 2$, yet it has no rational root: the crossing happens at $\sqrt{2}$, which is not a rational number. The reals fill that gap, and that is what the theorem quietly depends on.
Who Discovered The Intermediate Value Theorem?
The picture is ancient, but the rigorous statement is surprisingly modern. For most of calculus's first century, mathematicians treated "a continuous curve must cross the line" as too obvious to prove, until one priest-mathematician insisted that the obvious deserved a proof built from the definition of a number alone.
Two names anchor the theorem's history:
Bernard Bolzano (1781–1848, Bohemia) gave the first rigorous proof in 1817, which is why the root corollary is often called Bolzano's theorem.
Augustin-Louis Cauchy (1789–1857, France) independently made continuity and limits precise in his 1821 Cours d'analyse, and the modern textbook proof descends from his framework.
Where Is The Intermediate Value Theorem Used In The Real World?
The theorem is an existence guarantee, and existence is exactly what engineers, economists, and programmers need to know before they start searching.
Numerical computing: every root-finder that brackets a solution, from a graphing calculator to industrial simulation software, rests on the sign-change corollary to promise a root is really inside the bracket.
Engineering design: if a bridge cable is understrength at one tension and overstrength at another, a continuous stress model guarantees a tension that hits the target exactly, so it is worth searching for.
Economics: when demand exceeds supply at a low price and supply exceeds demand at a high one, a continuous market model forces an equilibrium price in between where the two balance.
Physics and motion: a car accelerating from rest to highway speed passes through every intermediate speed, which is why a speed camera can catch any value it is set to.
A surprising one: at any moment there are two points on opposite sides of the Earth's equator with exactly the same temperature. Subtract the two antipodal temperatures to get a continuous function that flips sign as you walk halfway around, so it must equal zero somewhere.
One idea, that continuity forbids skipping, quietly underwrites root-finding software, market theory, and engineering tolerances alike.
What Are The Most Common Mistakes With The Intermediate Value Theorem?
These three errors account for most lost marks and are the exact confusions surfaced by student searches and AP review guides.
Dropping the continuity hypothesis.
Where it slips in:
A student sees a sign change on the endpoints of a function like $f(x) = \dfrac{1}{x}$ on $[-1, 1]$, where $f(-1) = -1$ and $f(1) = 1$, and concludes a root must lie between.
Don't do this:
Do not apply the theorem before checking continuity across the whole interval. Here $f$ has a vertical asymptote at $x = 0$, so it is not continuous on $[-1, 1]$, and indeed $1/x$ is never $0$.
The correct way:
Verify continuity on the closed interval first. If the function has a jump, a hole, or an asymptote inside, the theorem does not apply, and you can draw no conclusion from a sign change. A discontinuous function can skip right over $N$.
Confusing the theorem with the Mean Value Theorem or the Extreme Value Theorem.
Where it slips in:
A student writes down a formula about slopes or maximums when the question only asks whether a value is attained.
Don't do this:
Do not mix them up. The Mean Value Theorem needs differentiability and is about the derivative $f'(c)$ matching the average slope; the Extreme Value Theorem guarantees a maximum and minimum. Neither is about hitting an in-between output.
The correct way:
Match the theorem to the question. If it asks whether $f$ equals some value (or has a root), it is the Intermediate Value Theorem, and continuity is the only hypothesis you need.
Expecting a unique or constructed root.
Where it slips in:
A student assumes the theorem tells them the root's location, or that it proves exactly one root exists.
Don't do this:
Do not claim uniqueness or a value. The theorem says "at least one $c$," which allows many crossings, and it hands you no formula for any of them.
The correct way:
Report existence only. To count roots you need extra tools (like monotonicity from the derivative), and to find one you need a method such as bisection. Existence, uniqueness, and location are three separate claims.
Practice Problems On The Intermediate Value Theorem
Assume each polynomial and trigonometric expression is continuous (they are). Check continuity, evaluate the endpoints, and look for a sign change.
Show $x^3 + x - 1 = 0$ has a root in $[0, 1]$.
(Answer: $f(0) = -1 < 0$, $f(1) = 1 > 0$; opposite signs, so a root exists.)Show $x^5 - 2x^3 - 2 = 0$ has a root in $[0, 2]$.
(Answer: $f(0) = -2 < 0$, $f(2) = 32 - 16 - 2 = 14 > 0$; a root exists.)Show $x^4 - 3x^2 + x - 1 = 0$ has a root in $[1, 2]$.
(Answer: $f(1) = -2 < 0$, $f(2) = 16 - 12 + 2 - 1 = 5 > 0$; a root exists.)Take one bisection step for $f(x) = x^2 - 2$ on $[1, 2]$.
(Answer: $f(1.5) = 0.25 > 0$ and $f(1) = -1 < 0$, so the root, which is $\sqrt{2}$, lies in $[1, 1.5]$.)Show $\sin x = x - 1$ has a solution in $[0, 2]$.
(Answer: let $h(x) = \sin x - x + 1$; $h(0) = 1 > 0$, $h(2) = \sin 2 - 1 \approx 0.9093 - 1 = -0.0907 < 0$; a solution exists.)Can the theorem conclude that $\dfrac{1}{x} = 0$ for some $x$ in $[-1, 1]$?
(Answer: No. $1/x$ is not continuous on $[-1, 1]$ because of the asymptote at $0$, so the theorem does not apply, and in fact $1/x$ is never $0$.)
Where Should You Go Next After The Intermediate Value Theorem?
The theorem sits at the meeting point of continuity, roots, and the foundations of calculus, and several doors open from here.
Zeros of a function. The root corollary is really a statement about zeros, so this is the natural next stop for locating and counting them.
Discontinuous functions. Understanding exactly how continuity can fail is what tells you when the theorem is safe to use.
Roots of a quadratic equation. Compare the existence guarantee here with a case where a clean formula gives the roots outright.
If your child is building these foundations, a live Bhanzu trainer teaches the Intermediate Value Theorem starting from the "why" (continuity and the unbroken real line) in the Bhanzu algebra program.
Was this article helpful?
Your feedback helps us write better content