Induction and Recursion
Learn the powerful techniques of mathematical induction for proving statements about integers, and recursion for defining functions and structures.
- Understand the principle of mathematical induction
- Apply weak induction to prove statements
- Use strong induction for complex proofs
- Create recursive definitions
- Prove properties using structural induction
- Understand the well-ordering principle
1. Mathematical Induction
To prove that is true for all positive integers , it suffices to show:
- Base Case: is true.
- Inductive Step: For all , if is true, then is true.
The assumption that is true is called the inductive hypothesis.
Claim: For all ,
Base Case (n = 1):
LHS: . RHS: . ✓
Inductive Step:
Assume for some .
We must show:
(by inductive hypothesis)
✓
By mathematical induction, the formula holds for all . ∎
2. Strong Induction
Strong induction allows us to assume are all true to prove .
- Base Case: Prove (and possibly more base cases)
- Inductive Step: Prove that if are all true, then is true
Claim: Every integer has a prime divisor.
Base Case (n = 2): 2 is prime, so it is its own prime divisor. ✓
Inductive Step:
Assume every integer with has a prime divisor.
Consider . Either:
- is prime: then it's its own prime divisor. ✓
- is composite: then where . By hypothesis, has a prime divisor , which also divides . ✓
By strong induction, every integer has a prime divisor. ∎
3. Recursive Definitions
A recursive definition defines an object in terms of simpler versions of itself:
- Base Case(s): Specify the value(s) for the initial input(s).
- Recursive Step: Define the value for larger inputs in terms of smaller inputs.
Factorial
Base:
Recursive: for
Power Function
Base:
Recursive: for
Fibonacci Numbers
Base:
Recursive: for
4. Well-Ordering Principle
Every non-empty set of positive integers has a least (smallest) element.
The well-ordering principle, mathematical induction, and strong induction are all equivalent—each can be proved from the others.
Practice Quiz
Frequently Asked Questions
When should I use weak induction vs strong induction?
Use weak induction when depends only on .
Use strong induction when might depend on earlier values.
Why do we need a base case?
Without a base case, the inductive step has nothing to build on. The base case anchors the proof.
Can induction start at values other than 1?
Yes! If your statement is "for all ," start the base case at .
What's the connection between recursion and induction?
They are two sides of the same coin:
- Recursion defines things in terms of smaller versions
- Induction proves things by building up from base cases
How do I handle multiple base cases?
When your recurrence uses more than one previous value (like Fibonacci), verify the statement for enough initial values so the recurrence can take over.