Learn/Combinatorics/Strong Induction
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 :

  1. Base Case(s): Verify (and sometimes depending on the recurrence).
  2. Strong Hypothesis: Assume is true for all .
  3. 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 .
By the strong hypothesis, both and have prime factorizations. Multiplying them gives the factorization for .

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.