In a recent class with my future secondary math teachers, we had a fascinating discussion concerning how a teacher should respond to the following question from a student:
Is it ever possible to prove a statement or theorem by proving a special case of the statement or theorem?
Usually, the answer is no. In this series of posts, we’ve seen that a conjecture could be true for the first 40 cases or even the first cases yet not always be true. We’ve also explored the computational evidence for various unsolved problems in mathematics, noting that even this very strong computational evidence, by itself, does not provide a proof for all possible cases.
However, there are plenty of examples in mathematics where it is possible to prove a theorem by first proving a special case of the theorem. For the remainder of this series, I’d like to list, in no particular order, some common theorems used in secondary mathematics which are typically proved by first proving a special case.
6. Theorem (Mean Value Theorem). If is a continuous function on the interval which is differentiable on the interior , then there is a point so that
In other words, there is a point in so that the slope of the tangent line at is the same as the slope of the line segment connecting the endpoints.
This is a consequence of the following lemma.
Lemma (Rolle’s Theorem). If is a continuous function on the interval which is differentiable on the interior so that and , then there is a point so that .
Notice that Rolle’s Theorem is really a special case of the Mean Value Theorem: if and , then the right-hand side of the conclusion of the Mean Value Theorem becomes
thus matching the conclusion of Rolle’s Theorem.
I won’t type out the proofs of Rolle’s Theorem and the Mean Value Theorem here, since Wikipedia has already done that very well. Suffice it to say that Rolle’s Theorem logically comes first, and then the Mean Value Theorem can be proven using Rolle’s Theorem. The main idea is to assume that the function satisfies the hypotheses of the Mean Value Theorem and then define
It’s straightforward to show that satisfies the hypotheses of Rolle’s Theorem and conclude that there must be a point so that , from which we obtain the conclusion of the Mean Value Theorem.