If
is continuous on a closed interval
, and
is any number between
and
inclusive, then there is at least one number
in the closed interval
such that
.
The theorem is proven by observing that is connected because the image of a connected set under
a continuous function is connected, where
denotes the image of the interval
under the function
. Since
is between
and
, it must be in this connected
set.
The intermediate value theorem (or rather, the space case with , corresponding to Bolzano's
theorem) was first proved by Bolzano (1817). While Bolzano's used techniques
which were considered especially rigorous for his time, they are regarded as nonrigorous
in modern times (Grabiner 1983).