What is Mathematical Induction?
A technique for proving something is true for all natural numbers.
Think of it like dominos.
The Two Steps
| Step | Dominos | Math |
|---|---|---|
| Base case | First domino falls | True for n = 1 |
| Inductive step | If domino k falls, domino k+1 falls | If true for k, then true for k+1 |
If both steps work, all dominos fall.
Prove the first. Prove the chain. Done.
The Method
To prove a statement P(n) is true for all n:
- Base case: Show P(1) is true
- Inductive step:
- Assume P(k) is true for some k (this is the “inductive hypothesis”)
- Prove P(k+1) is true
- Conclusion: P(n) is true for all n
Example 1: Sum of First n Numbers
Claim:
Check by hand first:
| n | Left side | Right side |
|---|---|---|
| 1 | 1 | |
| 2 | 1 + 2 = 3 | |
| 3 | 1 + 2 + 3 = 6 | |
| 4 | 1 + 2 + 3 + 4 = 10 |
Pattern works! Now prove it.
Base case (n = 1):
- Left: 1
- Right:
- Equal
First domino falls.
Inductive step:
Assume it works for k:
Show it works for k + 1.
Substitute into the formula :
So we need to show:
Proof:
Rewrite with denominator 2:
Combine the fractions:
Factor out :
Why does this complete the proof?
We needed to show:
And we just showed the left side simplifies to exactly .
So if the formula works for , it works for .
If domino k falls, domino k+1 falls.
Example 2: Sum of First n Odd Numbers
Claim:
Check by hand:
| n | Left side | Right side |
|---|---|---|
| 1 | 1 | |
| 2 | 1 + 3 = 4 | |
| 3 | 1 + 3 + 5 = 9 | |
| 4 | 1 + 3 + 5 + 7 = 16 |
Base case (n = 1):
- Left: 1
- Right:
- Equal
Inductive step:
Assume it works for k:
Show it works for k + 1.
Substitute into the formula :
So we need to show:
Proof:
Why does this complete the proof?
We needed to show the left side equals .
And we just showed it simplifies to exactly .
So if the formula works for , it works for .
If domino k falls, domino k+1 falls.
Summary
| Step | What you do |
|---|---|
| Base case | Prove it works for n = 1 |
| Inductive step | Assume for k, prove for k + 1 |
The base case starts the chain. The inductive step keeps it going.