The statement that a continuous real-valued function on a closed interval [a,b] attains every value between f(a) and f(b): for any value v between f(a) and f(b) there exists c in [a,b] with f(c)=v.

Principle

Continuity on a connected domain (an interval) prevents jumps across intermediate values; the image of a connected set under a continuous map is connected, hence an interval containing all intermediate real values.

Demonstration

If f is continuous on [0,1] with f(0)=-1 and f(1)=2, then by the theorem there exists c∈[0,1] with f(c)=0; this is the standard existence argument used in root-finding methods like bisection.

Misapplication

Applying the theorem to discontinuous functions or to disconnected domains; for example, a function with a jump discontinuity between a and b need not take intermediate values.

Consequence

Guarantees existence of zeros and intermediate solutions and underpins root-finding algorithms; ensures images of intervals are intervals and supports properties like connectedness preservation under continuous maps.

Reversal

A function that attains all intermediate values but is not continuous exists (Darboux functions), so the converse (intermediate value property implies continuity) is false; moreover, discontinuity can destroy the intermediate value property.

Boundary

Requires a connected domain (usually an interval) and continuity on that domain; does not apply to functions into non-ordered spaces without an appropriate notion of intermediate values and excludes open or noncompact domain subtleties unless continuity extends.

Semantic Tension

Tension with the Darboux property: continuity implies intermediate value property, but intermediate value property alone does not imply continuity; also tension with monotonicity, which guarantees intermediate values but via order structure.

Synthesis

The theorem links topological connectedness and continuity to produce existence of intermediate outputs: a continuous function on an interval cannot omit intermediate values, enabling root existence arguments and preserving interval structure in images.