Intermediate value theorem

A continuous real-valued function on an interval takes every value between any two values it attains. It guarantees existence, not uniqueness, of a point attaining each intermediate value.

Bisection method: A root-finding algorithm that repeatedly halves an interval whose endpoint values have opposite signs. The theorem guarantees a root remains bracketed after every halving step.
Root-finding algorithm: A computational procedure for approximating solutions of equations. Methods such as bisection use the theorem to justify that a root exists in a bracket.
Extreme value theorem: A theorem that a continuous function on a closed bounded interval attains a maximum and minimum. It shares continuity as a hypothesis but guarantees extrema rather than all intermediate values.
Bernard Bolzano: A Czech mathematician and philosopher who developed rigorous foundations for analysis in the early nineteenth century. His 1817 work gave an early rigorous proof of a central intermediate-value result.
Completeness of the real numbers: The property that every nonempty set of real numbers bounded above has a least upper bound. A least-upper-bound argument supplies a boundary point where continuity forces the intermediate value.
Fixed-point theorem: A result guaranteeing that a function maps some point to itself under specified conditions. Intermediate-value arguments prove fixed points for continuous maps of intervals.
Mean value theorem: A theorem equating a derivative at some interior point to a function's average rate of change across an interval. It gives a specific derivative value between endpoint data, while this theorem concerns function values.
Augustin-Louis Cauchy: A French mathematician who helped establish rigorous methods in calculus and analysis. His work on continuity and limits helped make the theorem part of systematic analysis.
Connected space: A topological space that cannot be split into two disjoint, nonempty open subsets. The theorem follows because continuous images of connected sets remain connected.
Bolzano–Weierstrass theorem: The theorem that every bounded sequence of real numbers has a convergent subsequence. Compactness arguments alongside the intermediate value theorem establish extrema and related existence results.

Linked from 24 pages