The principle of induction which we mentioned before is a statement about the positive integers. It reads as follows:
Principle of Induction. Let be an assertion about the positive integer . Suppose that:
(a) The assertion is true;
(b) If the assertion is true for a given integer , then the assertion is also true.
Then the assertion is true for all .
If we think about this a little, we should see that it is entirely in keeping with our intuition. There are various models to help us visualize the principle. In one such model, we consider a system of dominoes on edge, aligned so that if any one tips toward the next one it will knock it over toward the following one. This is the analogue of the hypothesis (b). The analogue of (a) is simply that we can knock over the first one. But then it will tip over the second, which will hit the third, ... . By writing enough such steps, we could reach any specified domino, or the assertion for any prescribed . However, we have now seen that the hypotheses (a) and (b) are the essentials of this process, and that we can save all this writing simply by showing that they are valid.
As an example, let us give a proof by induction of a formula for the sum of a familiar arithmetic progression:
Then is the statement that the sum of the first integers is equal to . thus says that the sum of the first integer, or 1, is equal to . Therefore hypothesis (a) is satisfied. Now hypothesis (b) begins with, "If is true,". This means that we must suppose to be true, and see if the truth of is a consequence of this assumption. Thus we begin by supposing
Then we must consider the sum
But, by what we are assuming,
Therefore
or
which is . Thus (a) and (b) are satisfied, and holds for all by induction.
Exercises
- Prove that
- Prove that (f_1 + f_2 + \dots + f_n)' = f_1' + f_2' + \dots + f_n' .
- Prove that (f_1 f_2 \dots f_n)' = f_1' f_2 \dots f_n + f_1 f_2' f_3 \dots f_n + \dots + f_1 \dots f_{n-1} f_n' .
- Show that hypothesis (b) is satisfied for which is obviously false.
- Give an example of a which is false for but for which hypothesis (a) holds.
- Prove that
- Prove that