Proof by Induction
Proof by Induction
Inductive reasoning is where we observe of a number of special cases and then propose a
general rule.
For example, if we observe five or six times that it rains as soon as we hang out the
washing, then we might propose that hanging out the washing causes it to rain.
Obviously, inductive reasoning has a basic flaw. Lots of special cases might fit the con-
clusion but that still does not prove that all cases will be true.
There seems to be a pattern here. The next answer in this sequence looks like it should
be 25 (or 52 ). To propose a general rule we need to relate the right-hand side to the left.
It would help to replace the phrase “nth odd counting number” with something more
mathematical.
In our example, we know that the proposition is true for n = 2, 3 and 4. (In fact, it’s
clearly also true for n = 1.) So, we know it’s true for k = 4. If we have shown that the
statement above in italics is true, this automatically proves the proposition is true for the
next one, k = 5.
Now we know it’s true for k = 5, it must also be true for k = 6, and so on.
To prove (2) in our example, start with what we are allowed to assume:
P (k) : 1 + 3 + . . . + (2k − 1) = k 2 .
Now state what we need to prove:
P (k + 1) : 1 + 3 + . . . + (2(k + 1) − 1) = (k + 1)2 .
How can we use P (k) to prove P (k + 1)? Well, the left-hand side (LHS) of the formula
for P (k + 1) is just the LHS of the formula for P (k) plus an extra term:
P (k + 1) : 1 + 3 + . . . + (2k − 1) + (2(k + 1) − 1) = (k + 1)2 .
If we replace these terms with the assumed right-hand side of P (k) we get
P (k + 1) : k 2 + (2(k + 1) − 1) = (k + 1)2 .
We now manipulate this new LHS to make it equal to the right-hand side (RHS):
k 2 + (2(k + 1) − 1) = k 2 + 2k + 2 − 1
= k 2 + 2k + 1
= (k + 1)2
= RHS
There are two other broad proposition structures that can be proved by induction, divis-
ibility and inequality propositions.
32(k+1) − 1 = 32k+2 − 1
= 9 × 32k − 1
= 9 32k − 1 + 8
We now have two terms. The first is divisible by 8 because we assume the factor in
brackets is divisible by 8. The second is just 8 so that is also divisible by 8.
Hence, by the principle of mathematical induction, P (n) is true for all integers
n ≥ 1.
2k+1 − (k + 1) − 4 > 0
2 × 2k − k − 5 > 0
We are assuming that 2k > k + 4 so, if we replace 2k in the above expression with
the smaller number k + 4, we produce a smaller result. So:
2 × 2k − k − 5 > 2(k + 4) − k − 5
2 × 2k − k − 5 > k + 3.
2 × 2k − k − 5 > k + 3 > 0.
Hence, by the principle of mathematical induction, P (n) is true for all integers
n ≥ 1.
Exercises
(n + 1)(3n + 2)
1. 1 + 4 + 7 + . . . + (3n + 1) = for n ≥ 0.
2
5n − 1
2. 1 + 5 + 52 + . . . + 5n−1 = for n ≥ 1.
4
n(n + 1)
3. 1 + 2 + 3 + ... + n = for n ≥ 1.
2
n(n + 1)(2n + 1)
4. 12 + 22 + 32 + . . . + n2 = for n ≥ 1.
6
n2 (n + 1)2
5. 13 + 23 + 33 + . . . + n3 = for n ≥ 1.
4
1 − rn+1
6. 1 + r + r2 + . . . + rn = for n ≥ 0 and any r 6= 1.
1−r
7. 2n > n for n ≥ 1.
1 1 1 n
9. + + ... + = for n ≥ 1.
1×2 2×3 n(n + 1) n+1