On this page
Put x = 1 into x³ − x − 1 and you get −1; put in x = 2 and you get 5. Most students would say the graph obviously crosses the axis in between. In 1817 the Prague professor Bernard Bolzano decided that "obviously" was not a proof. Here is who he was, what he proved, why he would not lean on the picture, and how to use his theorem without the usual slips.
Who was Bernard Bolzano?
According to his MacTutor biography, Bolzano was born in Prague on 5 October 1781 and died there on 18 December 1848. He entered Charles University in 1796 to study philosophy, physics and mathematics, earned a doctorate in 1804 with a thesis on what makes a mathematical proof correct, and was ordained a Roman Catholic priest two days later. He came top in competitions for two university chairs, mathematics and the philosophy of religion, and was given the second.
His lectures on ethics and equality worried the Austrian government. In December 1819 he was suspended, placed under house arrest and barred from publishing. Much of his mathematics became widely known only after his death.
What did Bolzano prove in 1817?
The title of the 1817 paper states the theorem: Rein analytischer Beweis des Lehrsatzes, dass zwischen je zwey Werthen, die ein entgegengesetztes Resultat gewähren, wenigstens eine reelle Wurzel der Gleichung liege. In English: a purely analytic proof that between any two values which give results of opposite sign, there lies at least one real root of the equation.
The Dictionary of Scientific Biography entry on Bolzano gives the general form he proved: if f and φ are continuous, f(α) < φ(α) and f(β) > φ(β), then some x between α and β has f(x) = φ(x). Take φ = 0 and you get the root version.
To prove it, Bolzano first had to say what continuous means. The same entry calls his definition the first that does not use infinitesimals, and essentially the one used today: f(x + Δx) − f(x) can be made smaller than any given amount by taking Δx small enough. The paper also contains what we now call the Cauchy condition for convergence. Its proofs were incomplete, the entry adds, because no precise theory of real numbers existed yet.
Why would he not trust the graph?
In the preface, Bolzano names two theorems about equations that had lacked a fully correct proof: this one, and the splitting of every polynomial into real factors of first or second degree, for which Gauss had just published new proofs. He then explains what was wrong with the usual argument. It borrowed a truth from geometry: a continuous curve whose ordinates are first positive and then negative must cut the axis in between.
Bolzano says he has no objection to the truth or the obviousness of that statement. His objection was to method. Arithmetic, algebra and analysis are the general part of mathematics, and he thought it unacceptable to prove their results from geometry, a more special branch.
How do you use the theorem in a problem?
Today's statement: if f is continuous on [a, b] and k lies between f(a) and f(b), then f(c) = k for some c in [a, b].
Worked example 1. Show that x³ − x − 1 = 0 has a root between 1 and 2, and find it to one decimal place.
f is a polynomial, so it is continuous everywhere.
f(1) = 1 − 1 − 1 = −1 and f(2) = 8 − 2 − 1 = 5. The signs differ, so a root lies in (1, 2).
f(1.5) = 3.375 − 1.5 − 1 = 0.875 > 0, so the root is in (1, 1.5).
f(1.25) = 1.953125 − 1.25 − 1 = −0.296875 < 0, so it is in (1.25, 1.5).
f(1.35) = 2.460375 − 1.35 − 1 = 0.110375 > 0, so it is in (1.25, 1.35). To one decimal place the root is 1.3.
For x > 1, f′(x) = 3x² − 1 > 0, so f is increasing there and this root is the only one in (1, 2).
Worked example 2, Bolzano's two-function form. Show that cos x = x has a solution in (0, π/2). Let g(x) = x − cos x, which is continuous. g(0) = −1 < 0 and g(π/2) = π/2 ≈ 1.571 > 0, so g has a zero, and there cos x = x.
What mistakes do students make?
Skipping continuity. f(x) = 1/x gives f(−1) = −1 and f(1) = 1 but has no root, because it is not continuous at 0. State continuity on the closed interval first. Our guide to limits and continuity for JEE covers the checks.
Claiming exactly one root. The theorem promises at least one. For uniqueness, show the function is strictly increasing or decreasing, as in step 6.
Reading it backwards. The DSB entry notes that Bolzano kept continuity and the intermediate value property apart, and showed the converse fails: a function can take every intermediate value without being continuous.
Forgetting to check k. The value you want must lie between f(a) and f(b).
Where is it in the syllabus?
The JEE (Advanced) 2026 information brochure lists the "intermediate value property of continuous functions" under differential calculus. The JEE (Main) 2026 syllabus lists limits, continuity and differentiability without naming the theorem, and the current NCERT Class 12 chapter on continuity and differentiability does not state it by name. Check the documents for your exam year.
If the definition of continuity still feels shaky, the Fermi Concept Library covers every concept in physics, chemistry, biology, mathematics and computing, so you can rebuild it before trying root-location questions.
What can a student take from Bolzano?
Ask what "obvious" rests on. He accepted the picture but asked what it was standing on.
Define before you prove. His proof needed a definition of continuity first, and he wrote one.
Keep working without an audience. Barred from publishing, he kept writing mathematics that others found long after.
Next step: locate the root of x³ + x − 3 = 0 to one decimal place by halving, and write the continuity line first.
