Combinatorics • Topic 17
Strong Induction
Strong Induction is a variation where we assume the statement holds for all smaller values, not just the immediate predecessor.
Structure of Proof
To prove for all :
- Base Case(s): Verify (and sometimes depending on the recurrence).
- Strong Hypothesis: Assume is true for all .
- Inductive Step: Prove using the fact that all previous cases are true.
When to Use It?
Use Strong Induction when depends on values smaller than (like or ).- Prime factorization proofs (depends on factors of , not ).
- Recurrences like .
- Game theory (winning positions depend on all possible moves to smaller states).
Example (Fundamental Theorem of Arithmetic)
Prove every integer can be written as a product of primes.
Proof. Base Case (): 2 is prime. True. Hypothesis: Assume every integer with has a prime factorization. Step ():
- Case 1: is prime. Done.
- Case 2: is composite. Then where .
Practice Problems
Exercise (Problem 1)
The sequence is defined by and . Prove that .
Exercise (Problem 2)
Prove that every amount of postage of 12 cents or more can be formed using only 4-cent and 5-cent stamps.
(Hint: Base cases 12, 13, 14, 15. Then ).
Exercise (Problem 3)
A "triangulation" divides a polygon into triangles using non-intersecting diagonals. Prove that every triangulation of an -gon () uses exactly triangles.