The Domino Principle
Mathematical induction proves statements for infinitely many natural numbers all at once, like . Think of a line of dominoes: if the first falls, and each falling domino knocks the next, all fall.
Induction requires two strictly enforced parts:
| Part | Role | Action |
|---|---|---|
| Base case | Starts the chain | Prove the statement for (or ) |
| Inductive step | Spreads the chain | Prove assuming |
Neither part alone works: base without step proves only one value; step without base proves nothing.
Variants and Pitfalls
Strong induction lets the inductive step assume the statement for all values up to , not just . This mirrors recursion in programming, where a base case and smaller step ensure termination.
| Pitfall | Why it fails |
|---|---|
| Missing base case | Never starts the chain of dominoes |
| Ignoring inductive hypothesis | Re-proves from scratch instead of assuming |
The inductive hypothesis is your bridge. You must use the assumption for to establish .