Skip to content

Intermediate Value Theorem

Theorem

Let a<ba < b be real numbers, and let f ⁣:[a,b]→Rf\colon [a, b] \to \mathbb{R} be continuous. If yy is any number between min⁡{f(a),f(b)}\min\{f(a), f(b)\} and max⁡{f(a),f(b)}\max\{f(a), f(b)\}, then there exists c∈[a,b]c \in [a, b] such that f(c)=y.f(c) = y\text{.}


Interpretation

The intermediate value theorem makes precise the picture that the graph of a continuous function on an interval can be drawn without lifting the pen: to get from height f(a)f(a) to height f(b)f(b), the graph has to pass through every height in between.

A cubic on an interval from a to b, running from f(a) below to f(b) above, with a horizontal line at a level y between them that the curve crosses at three points c1, c2 and c3.

Every level yy between f(a)f(a) and f(b)f(b) is reached by the continuous ff: here f(c)=yf(c)=y at three points c1,c2,c3c_1,c_2,c_3 of [a,b][a,b]. The theorem promises at least one such point; it says nothing about how many there are or where they lie.

Slide the level yy between f(a)f(a) and f(b)f(b): the continuous cubic always reaches it, sometimes at several points cc. The function with a jump skips a whole range of levels.

Both hypotheses are needed. Continuity rules out jumps: the signum function on [−1,1][-1,1] takes the values −1-1 and 11 but never the value 12\tfrac{1}{2}. The domain must also be a whole interval without gaps: f(x)=1/xf(x)=1/x is continuous on [−1,1][-1,1] with 00 removed and takes the values −1-1 and 11, but never the value 00.

The theorem is mostly used in its sign-change form from the Examples: if f(a)f(a) and f(b)f(b) have opposite signs, then ff has a zero in [a,b][a,b]. It proves that an equation has a solution without solving it, and repeatedly halving the interval while keeping the sign change locates that solution numerically. Math III later extends the theorem beyond intervals.


Key Results

  • Every value between f(a)f(a) and f(b)f(b) is attained on [a,b].[a,b]\text{.}
  • The theorem ensures existence but not uniqueness.
  • Continuity is essential for the result.

Examples

  • A continuous function changing sign on an interval must have a root.

Prerequisites

Sources

Aliases: IVT Keywords: Bolzano's theorem Symbols: element of, real numbers

Last updated: 20 October 2026 03:02