The Intermediate Value Theorem
An extension of the topic of continuous functions and their roots. If a continuous function takes values of opposite sign at the endpoints of an interval, then somewhere in between it must take the value zero (it crosses the x-axis) — because a continuous function cannot "jump over" intermediate values. The theorem was proved by Bernard Bolzano in 1817 in his "purely analytic proof" — one of the first rigorous proofs in analysis.
I will give you the values of a continuous function at the endpoints of the interval [a, b]. Decide whether the intermediate value theorem guarantees a root in (a, b).
What just happened?
The function is continuous on the closed interval , and at its endpoints it takes values of opposite signs: and . However much you bend it, its graph is an unbroken line — and that line, running from below (under the axis) to above (over the axis), must cross the x-axis somewhere. That point is a root.
The intermediate value theorem:
The product is exactly what "opposite signs" means. Then somewhere inside the interval there is a point where — a root of the equation .
The "purely analytic proof" (1817):
The theorem (the Darboux property of continuous functions) was formally proved by the Czech mathematician and priest Bernard Bolzano in 1817, in a work with the telling title "A purely analytic proof of the theorem that between any two values which give results of opposite sign there lies at least one real root of the equation." It was one of the first rigorous proofs in analysis — built on a precise definition of continuity (through inequalities). Bolzano was ahead of his time: he worked in isolation and published in a little-known journal, so his result went unnoticed for decades.
The invariant — no jumps:
Continuity guarantees that the graph has no "holes" or "jumps". The function cannot leap from a negative value to a positive one while skipping zero — which is why crossing the x-axis is forced. The key assumption is continuity: for a discontinuous function (with a "jump") the theorem can fail.
Why this matters on the exam:
It is a practical tool: it guarantees the existence of roots of equations we cannot solve exactly. The trick: compute and — if they have opposite signs, there is certainly a root in . It is also the foundation of numerical methods, e.g. the bisection method (halving the interval).
Remember: a continuous function with opposite signs at the endpoints must have a root inside — . An unbroken line will not jump over zero.
Theory & formulas
The theorem (Bolzano)
If is continuous on and and have opposite signs, then there exists such that:
More generally
A continuous function on takes every intermediate value between and — it does not "skip" values.
Application: bisection
By halving the interval and tracking the change of sign, we narrow down the location of the root. The midpoint of the interval:
Notation: a continuous function, the interval, a root.
Frequently asked questions
›Must a continuous function with f(a)<0 and f(b)>0 have a root?
Yes — it must cross the x-axis at least once, because a continuous function cannot jump across zero.
›Which assumption is crucial in this theorem?
Continuity of the function — for a discontinuous function (one with a jump) the theorem may fail.
›What is the intermediate value theorem used for?
It guarantees the existence of roots of equations and is the basis of numerical methods (e.g. bisection).
Teaching? Embed this experiment on your site.
Free widget — paste it on your school site, blog or notes. It links to the full version.