Question
Prove by the Principle of Mathematical Induction that for all positive integers .
Solution — Step by Step
Let : , for all positive integers .
Base case (): . ✓
is true.
Inductive hypothesis: Assume is true for some arbitrary positive integer .
That is, assume: … (1)
We need to prove that is also true, i.e., that .
Starting from the left side of what we want to prove:
From the inductive hypothesis (1): , so .
Therefore:
Now, for positive integers : is ?
✓ (this is true by our assumption)
Therefore:
is true.
We have shown:
- is true (base case)
- If is true, then is true (inductive step)
By the Principle of Mathematical Induction, is true for all positive integers .
Hence, for all .
Why This Works
Mathematical induction works like an infinite chain of dominoes. We show the first domino falls (base case). We show each domino knocks over the next (inductive step). Therefore, all dominoes fall.
The key insight here is that . By multiplying the LHS by 2, we get something much larger than — in fact, larger than , and for all . This is the “engine” that drives the inequality forward.
The inequality is equivalent to , which is always satisfied in our induction (since is a positive integer). This is why we need specified in the hypothesis.
Alternative Method — Direct Verification
While induction is the required method, you can verify for small values to build intuition:
| ? | |||
|---|---|---|---|
| 1 | 2 | 1 | Yes |
| 2 | 4 | 2 | Yes |
| 3 | 8 | 3 | Yes |
| 10 | 1024 | 10 | Yes |
| 20 | 1,048,576 | 20 | Yes |
Exponential growth () vs linear growth () — the exponential always wins, and the gap gets larger.
Common Mistake
Skipping the step that justifies . Students write "" without showing WHY . This step needs justification: for . Without this, the proof has a gap and loses marks in boards.