This cheat sheet compares weak induction and strong induction, two proof methods used to prove statements about positive integers or nonnegative integers. Students need it because induction proofs have a strict structure, and small wording errors can make a proof incomplete. It helps students choose the right form of induction and write clear base cases, hypotheses, and induction steps.
Weak induction assumes one previous case, usually , to prove the next case . Strong induction assumes all previous cases from the base case through to prove . Both methods are logically equivalent, but strong induction is often easier when the next result depends on several earlier results.
Key Facts
- Weak induction proves a statement by showing a base case such as , then proving for all .
- Strong induction proves by showing base cases, then proving for all in the required range.
- The induction hypothesis in weak induction is usually a single assumption, such as assuming is true.
- The induction hypothesis in strong induction assumes every earlier statement is true, such as .
- If a statement begins at , the base case should prove , not automatically .
- Multiple base cases may be needed when the induction step uses results such as or to prove .
- Strong induction is useful for divisibility, recurrence relations, tiling problems, and proofs where depends on a smaller case not equal to .
- Weak and strong induction are logically equivalent because each can be used to justify the other, but they often lead to different proof styles.
Vocabulary
- Mathematical induction
- A proof method used to show that a statement is true for every integer in a specified range.
- Base case
- The first value or values of that are proven directly before using the induction step.
- Induction hypothesis
- The temporary assumption that earlier statement values, such as or , are true.
- Induction step
- The part of an induction proof that uses the induction hypothesis to prove the next statement, usually .
- Weak induction
- An induction method that assumes is true and uses it to prove .
- Strong induction
- An induction method that assumes all statements from the base case through are true and uses them to prove .
Common Mistakes to Avoid
- Forgetting the base case makes the proof invalid because the induction step only shows how truth passes from one case to the next.
- Using inside the induction hypothesis is wrong because is the statement that still needs to be proved.
- Choosing weak induction when the proof needs or another earlier case can leave a logical gap, so strong induction or extra base cases may be needed.
- Proving only examples such as , , and is not induction because examples do not prove the statement for all integers.
- Starting the base case at the wrong value is incorrect because the domain might begin at , , or another specified integer.
Practice Questions
- 1 Use weak induction to prove that for all integers .
- 2 Use induction to prove that divides for all integers .
- 3 A sequence is defined by , , and for . Explain what base cases are needed to prove a property of by induction.
- 4 Decide whether weak induction or strong induction is more natural for proving that every integer can be written as a product of primes, and explain why.