Mathematical induction is a proof method used to show that a statement is true for every integer in an infinite sequence, usually all . Students need this cheat sheet because induction has a strict structure that is easy to confuse with ordinary algebra. It helps organize the base case, inductive hypothesis, and inductive step clearly.
This method is especially useful for proving formulas, divisibility patterns, inequalities, and recursive results.
The main idea is to prove the first case, then prove that one true case forces the next case to be true. If is true and for every integer , then is true for all integers . Strong induction is similar, but it allows the proof of to use all earlier cases .
Clear notation and careful substitution are the key skills for writing valid induction proofs.
Key Facts
- The basic induction structure is: prove is true, assume is true for , then prove is true.
- The conclusion of ordinary induction is that is true for every integer .
- The inductive hypothesis is the temporary assumption that is true, and it must be used to prove .
- For a summation formula, the inductive step often uses .
- For divisibility, prove a statement like by rewriting as or another expression known to be divisible by .
- For inequalities, after assuming , use valid inequality rules to show the next statement is true.
- Strong induction assumes are all true in order to prove .
- A proof by induction fails if the base case is missing, because the chain needs a true starting point.
Vocabulary
- Mathematical induction
- A proof method that shows a statement is true for all integers by proving a starting case and a next-case rule.
- Base case
- The first value, such as or , that is checked directly to start the induction proof.
- Inductive hypothesis
- The assumption that is true for some arbitrary integer .
- Inductive step
- The part of the proof where the inductive hypothesis is used to prove .
- Strong induction
- A form of induction that assumes all statements through are true before proving .
- Universal statement
- A statement that claims something is true for every value in a set, such as all integers .
Common Mistakes to Avoid
- Skipping the base case is wrong because the implication does not prove that any first statement is actually true.
- Assuming what you need to prove is wrong because the inductive hypothesis is only , not .
- Using a specific value like in the inductive step is wrong because the proof must work for an arbitrary integer .
- Forgetting to add the next term in a summation proof is wrong because equals , not just the old sum.
- Changing the starting value without checking it is wrong because a statement true for all may require a different base case than a statement true for all .
Practice Questions
- 1 Use induction to prove that for all integers .
- 2 Use induction to prove that for all integers .
- 3 Use induction to prove that for all integers .
- 4 Explain why proving only is not enough to prove that is true for every integer .