The following theorems are usually left unproved in calculus, for no good reason. See what you think.(adsbygoogle = window.adsbygoogle || []).push({});

2250: Elementary proofs of big theorems

The first theoretical result is the Intermediate Value Theorem (IVT) for continuous functions on an interval.

Theorem: If f is continuous on then interval I, then the set of values f assumes on I is also an interval. I.e. if a,b,are points in I, then any number between f(a) and f(b) is also a value of f, taken at some point between a and b.

proof: We assume f(a) < 0 and f(b) >0, and try to find c with f(c) = 0. We assume that every infinite decimal represents a real number.

Lemma: If f is continuous at c and f changes sign on every interval containing c, then f(c) = 0.

proof: This is the contrapositive of the fact that if f is positive (or negative) at c and continuous at c, then f is positive (or negative) on some interval containing c. ("Sign preserving property", p. 114, #60.) QED.

Thus it suffices to find a real number c such that f changes sign on every interval containing c. Assume [a,b] = [0,1].

Since f(0) < 0 and f(1) >0, then f changes sign on some interval of form [r/10, (r+1)/10]. let c start out as the decimal .r.

Then since f(r/10) < 0 and f((r+1)/10) > 0, f changes sign on some interval of form [(10r+s)/100, (10r+s+1)/100]. Then c continues as the decimal .rs.

Continuing in this way forever, we obtain an infinite decimal, i.e. a real number c = .rs....., in the intyerval [0,1], such that f changes sign on every interval containing c. Hence f(c) = 0. QED.

We know the continuous image of an open bounded interval may be neither open nor bounded. But the next big theorem says that the continuous image of a closed bounded interval is also closed and bounded. We do it in two steps:

Theorem: If f is a function which is continuous everywhere on a closed bounded interval [a,b], then f is bounded there.

proof: We prove it by contradiction, i.e. assuming f is unbounded leads to finding a point whewre f is not continuous.

Lemma: A function which is continuous at c, is also bounded on some interval containing c.

proof: This is immediate from the definition of continuity. E.g. if e = 1, by continuity of f at c, there is an interval I containing c where the values of f lie between f(c)-1 and f(c)+1. Thus f is bounded on I. QED.

Hence it suffices to show that if f is unbounded on [a,b], then there is a point c of [a,b] such that f is unbounded on every interval containing c.

Assume [a,b] = [0,1], and that f is unbounded on [0,1]. Then there is some interval of form [r/10, (r+1)/10] where f is unbounded. Start out the decimal c as .r.

Then there is some interval of form [(10r+s)/100, (10r+s+1)/100] where f is unbounded. Continue the expansion of c as the decimal .rs.

Continuing forever, we construct an infinite decimal c = .rs......, in the interval [0,1], such that f is unbounded on every interval containing c. Thus f is not continuous at c. QED.

Theorem: If f is continuous on the closed bounded interval [a,b], then f assumes a maximum value there.

proof:

We know f has an upper bound on [a,b]. We want a smallest one.

Lemma: A non empty bounded set has a smallest upper bound c.

proof: If S is a non empty bounded subset say of [0,1], in particular 1 is an upper bound for S, so there is some number of form r/10 which is not an upper bound of S, but such that (r+1)/10 is an upper bound. Let the decimal c start out as .r.

Then there is some number of form 10r+s which is not an upper bound but such that (10r+s+1)/100 is an upper bound. Continue c as .rs.

Continuing forever we construct a real number c = .rs...., such that no smaller number is an upper bound, but every larger number is. Hence c is the smallest upper bound for S. QED.

Now if K is the smallest upper bound of all the values of f on [a,b], it will suffice to show f assumes the value K on [a,b]. But if not, then g(x) = 1/(K-f(x)) would be both continuous and unbounded on [a,b], which contradicts the previous result. QED.

A similar criterion for open intervals is this:

Cor: If f is continuous on (a,b), and f(x) approaches plus infinity as x approaches a, and also as x approaches b, then f has a global minimum on (a,b). (Apply the previous result to a suitable closed interval of form [a-e, b-e].)

For more general max min problems on open intervals it, helps to have a little more understanding of how the derivative of a function affects the behavior of the graph . For some reason the following simple principle seems not to be stated in standard books.

Theorem: A continuous function on an interval cannot change direction except at a critical point. I.e. f is strictly monotone on any interval not containing a critical point.

proof: If has no critical points on an interval, then f is not constant. If f is not monotone then the IVT implies that f takes the same value twice on that interval, say f(a) = f(b) for some points a < b in the interval. Then f has both a maximum and a minimum on the interval [a,b] and since f is not constant, one of these extrema occurs at some c with a < c < b. Then c must be a critical point, as we know. Since there are no critical points, in fact f is monotone. QED.

This gives us many easily verifiable criteria for finding maxima and minima on open intervals. Here is a typical one.

Cor: If f is differentiable on (a,b) and has only one critical point c in that interval, then f(c) is a global minimum for f on (a,b) provided there are points u, v, with a< u< c < v < b, i.e. u and v are on either side of the critical point c, and f(c) < f(u) and f(c) < f(v).

proof: f is monotone on each side of c, and greater somewhere hence greater everywhere. QED.

More generally if f goes up somewhere on the left of the first critical point, and also goes up somewhere on the right of the last one, then f has a global minimum at some critical point.

Finally we have:

proof: By the argument in the proof of the previous theorem, if a differentiable function h takes the same value at two different points, then h’ = 0 somewhere in between. Applying this to a difference h = f-g, shows two functions taking the same value at two points must have the same derivative somewhere in between. Since for any a,b in I, f agrees at a and b with the linear function passing through (a,f(a)), (b,f(b)), whose slope is everywhere equal to ([f(b)-f(a)]/[b-a]), the graph of f must have that same slope at some c between a and b. In particular if f(a) differs from f(b), there is a c with a < c < b and f’(c) = ([f(b)-f(a)]/[b-a]), which is not zero. QED.

Cor: If f, g have the same derivative everywhere on an interval, then f differs from g by a constant on that interval.

proof: Since (f-g)' is zero everywhere, (f-g) must be constant. QED.

Cor: If f has no critical points on an interval (a,b) and if f'(c) > 0 at some point c of (a,b), then f is strictly increasing on (a,b).

proof: By definition of the derivative, f is increasing at c, and f is monotone on (a,b), so f is increasing everywhere on (a,b). QED.

**Physics Forums - The Fusion of Science and Community**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Proofs of big theorems of calculus

Loading...

Similar Threads - Proofs theorems calculus | Date |
---|---|

I Proofs of Stokes Theorem without Differential Forms | Jan 24, 2017 |

Calculus theorem/proof my teacher posted -- Not sure what it is... | Nov 10, 2015 |

Divergence Theorem Question (Gauss' Law?) | May 4, 2015 |

Fundamental theorem of calculus - question & proof verifying | Mar 4, 2015 |

Proof for part 2 of fundamental theorem of calculus | Mar 10, 2012 |

**Physics Forums - The Fusion of Science and Community**