If you took a connected ramp from floor 1 to floor 3, did you necessarily pass the height of floor 2 at least once?
A connected path leaves no height behind. For any height between the start and the end, a continuous function must pass it at least once.
Experiment
Hands-on experiment
You start on floor 1 and arrive on floor 3. If you used no stairs — only a connected ramp — did you necessarily pass the height of floor 2? Pick a path below and check for yourself.
🔮 Predict first — travelling a connected path from height 1 to 3, can you 'skip' height 2?
📖 Read more — why it exists · insights · common mistakes · formulasExpand ▾
Why
Why does this exist?
Complex equations often can't be solved by hand. The first question is not 'how do I solve it?' but 'is there a solution at all?'. You must confirm existence before you can start hunting.
The Intermediate Value Theorem answers this. If a function is connected and is negative at one end and positive at the other, it must pass 0 somewhere in between. Just a sign change hands you existence for free.
The key word is 'connected' — continuous. Break the path and it can leap over values. Continuity plugs the gaps, making 'it must pass through' true.
Insight
Insights from the video
“A connected path leaves no height behind.”
Walk over a mountain and, on the way to the summit, you pass every height in between. Short of teleporting, you cannot skip a particular height. A continuous function is the same: it omits no value between its start and end.
“A theorem of existence becomes a machine that finds roots.”
The theorem guarantees √2 lies in [1,2]. Then, halving the interval and keeping the half where the sign flips squeezes that existing root to any precision. A proof of existence is itself a computing algorithm.
Misconception
Common misconceptions
The Intermediate Value Theorem tells you how many solutions there are and where they lie.
The theorem guarantees only that at least one solution exists. The wavy curve in stage 1 passed a single target height three or even five times. It says nothing about count or location. Finding the location needs a separate hunt, like bisection.
The Intermediate Value Theorem holds for discontinuous functions too.
Continuity is the heart of it. Lift the pen in stage 1 to make a step function, and it jumps from height 1 to 3 without passing anything in between. The crossings drop to zero. The instant the path breaks, the theorem fails.
Formula
Writing it as math
The 'must pass through' you felt in the experiment, written in the language of mathematics:
🔬 Anatomy — pair each piece with what you touched in the experiment
, ⇒
The Intermediate Value Theorem
For any height k caught between the start and end values, a point c passing that height must lie in the open interval. The only condition needed is continuity.
Existence of a root (sign-change form)
If the two ends have opposite signs (their product is negative), the function must pass 0 in between. That is a guarantee that f(x)=0 has a solution. f(x)=x²−2 on [1,2] is the example.
Convergence width of bisection
Cut the interval in half n times and the width becomes 1/2ⁿ. On [1,2], 10 cuts give 1/1024 ≈ 0.001, and 20 cuts give about 0.0000009 — six decimal places pinned down.
In Real Life
Where you meet it in real life
Antipodes with equal temperature
Along the temperature curve around the equator, the difference between opposite points is continuous and flips sign somewhere. So a pair of antipodal points with exactly equal temperature must exist — the 1-D case of the Borsuk–Ulam theorem.
Steadying a wobbly table
Rotate a four-legged table with equal legs and the wobble varies continuously, changing sign. So there is an angle where all four legs touch the floor. You can rotate it steady.
Solving equations numerically
Even equations you can't solve by hand only need an interval where the sign flips. From there, bisection and binary search squeeze the root to any digit. The theorem of existence is the first button of numerical analysis.
The guarantee that √2 exists in the reals
x²=2 has no rational solution, but it has a real one. What supports that existence is the completeness of the reals. The Intermediate Value Theorem is essentially the same story as that completeness.
Practice
Practice — conquer the types
Why must f(x)=x²−2 have a solution f(c)=0 in [1,2]?
Repeating bisection 10 times on [1,2], what does the interval width become? (initial width 1)
What does the Intermediate Value Theorem guarantee?
Why does the Intermediate Value Theorem fail for a discontinuous function?
Watch
Related video
Connection
Concepts connect
Previous concept
Epsilon–Delta
The precise meaning of continuity is the ε-δ game — only on it does this theorem stand.
← Epsilon–Delta labLeads to next
Differentiability
On top of the existence continuity guarantees, differentiability demands smoothness too.
Go to the Differentiability lab →Related
Labs worth exploring together
Related lab
Equations
Whether an equation has a solution — this theorem answers that first.
Go to the Equations lab →Related lab
Irrational Numbers
The guarantee that √2 lives in the reals is completeness itself.
Go to the Irrational Numbers lab →