Intermediate Value Theorem - Proof

Proof

The theorem may be proved as a consequence of the completeness property of the real numbers as follows:

We shall prove the first case f(a) < u < f(b); the second is similar.

Let S be the set of all x in such that f(x) ≤ u. Then S is non-empty since a is an element of S, and S is bounded above by b. Hence, by completeness, the supremum c = sup S exists. That is, c is the lowest number that is greater than or equal to every member of S. We claim that f(c) = u.

  • Suppose first that f(c) > u, then f(c) − u > 0. Since f is continuous, there is a δ > 0 such that | f(x) − f(c) | < ε whenever | xc | < δ. Pick ε = f(c) − u, then | f(x) − f(c) | < f(c) − u. But then, f(x) > f(c) − (f(c) − u) = u whenever | xc | < δ (that is, f(x) > u for x in (cδ, c + δ)). This requires that cδ be an upper bound for S (since no point in the interval (cδ, c] for which f > u, can be contained in S, and c was defined as the least upper bound for S), an upper bound less than c. The contradiction nullifies this paragraph's opening assumption.
  • Suppose instead that f(c) < u. Again, by continuity, there is a δ > 0 such that | f(x) − f(c) | < uf(c) whenever | xc | < δ. Then f(x) < f(c) + (uf(c)) = u for x in (cδ, c + δ). Since x=c + δ/2 is contained in (cδ, c + δ), it also satisfies f(x) < u, so it must be contained in S. However, it also exceeds the least upper bound c of S. The contradiction nullifies this paragraph's opening assumption, as well.

We deduce that f(c) = u as stated.

An alternative proof may be found at non-standard calculus.

Read more about this topic:  Intermediate Value Theorem

Famous quotes containing the word proof:

    There is no better proof of a man’s being truly good than his desiring to be constantly under the observation of good men.
    François, Duc De La Rochefoucauld (1613–1680)

    To cease to admire is a proof of deterioration.
    Charles Horton Cooley (1864–1929)

    Talk shows are proof that conversation is dead.
    Mason Cooley (b. 1927)