Prove infinite statements using the domino effect
Mathematical induction is a powerful proof technique for statements about natural numbers. Think of it like a line of dominoes: if you can knock down the first one (base case) and prove that each domino knocks down the next (inductive step), then ALL dominoes will fall. This lets us prove infinitely many statements with just two steps!
Visualize how induction works through an animated domino chain
See geometric proofs of sum formulas like 1+2+...+n = n(n+1)/2
Build complete induction proofs step by step with guided examples
Recognize when and how to apply induction to different problems
Mathematical induction works like falling dominoes: prove the first case falls (base case), then prove each domino knocks over the next (inductive step).
Base case: The first domino falls (we prove P(1) is true).
Inductive step: Each domino knocks over the next (we prove P(k) → P(k+1)).
Conclusion: All dominoes fall (P(n) is true for all n ≥ 1).
To prove that a statement P(n) is true for all natural numbers n ≥ 1:
Then P(n) is true for all n ≥ 1.
The base case gives us a starting point. Without it, we have no "first domino" to fall. The chain reaction needs somewhere to begin!
The inductive step creates the chain reaction. By proving P(k) → P(k+1), we ensure each "domino" knocks over the next.
Visualize why the sum of the first n positive integers equals n(n+1)/2. This classic formula can be proven by induction!
Base case (n=1): 1 = 1(2)/2 = 1 ✓
Inductive step: If 1+2+...+k = k(k+1)/2, then
1+2+...+k+(k+1) = k(k+1)/2 + (k+1) = (k+1)(k+2)/2 ✓
Walk through complete induction proofs step by step. Understand each part before moving on.
For all n ≥ 1: 1 + 2 + 3 + ... + n = n(n+1)/2
When n=1, both sides equal 1.
Without a base case, you can "prove" false statements! For example, the statement "n = n+1 for all n" satisfies the inductive step vacuously, but fails the base case.
The inductive step must actually USE the assumption that P(k) is true. If your proof of P(k+1) doesn't reference P(k), something is wrong.
Don't assume P(k+1) while trying to prove it. You can only assume P(k) (the inductive hypothesis) and must derive P(k+1) from it.