Proof by induction
Prove the first case, then show that if a case is true, the next case must be true.
State the proposition P(n) and its integer range. Verify the base case directly. Assume P(k) for an arbitrary integer in the range, and use that assumption to prove P(k + 1). Together, the base case and this step prove P(n) for every integer in the stated range.
Do not assume the statement for k + 1 while trying to prove it. A few checked values establish examples, not the inductive step. If the claim starts at n = 2, the base case must match that starting index.
Worked example
Prove 1 + 2 + … + n = n(n + 1)/2 for n ≥ 1.
- At n = 1, both sides equal 1.
- Assume the sum to k is k(k + 1)/2.
- Add k + 1: k(k + 1)/2 + k + 1 = (k + 1)(k + 2)/2.
- This is the required formula at k + 1, so the result follows for all integers n ≥ 1.
Answer: The formula holds for every integer n ≥ 1
Revise first: Expanding and factorising.
Practise proof by induction
Course mapping
These specification references show where the topic occurs. The questions cover only some parts of each topic.
- 9FM0 · core · 1 Proof: Proof by induction
- 7367 · core · A Proof: Proof by induction
- H245 · core · 1 Proof: Proof by induction
- H645 · core · Proof: Proof by induction
- 8FM0 · core · Proof: Proof by induction
- 7366 · core · Proof: Proof by induction
- H235 · core · Proof: Proof by induction
- H635 · core · Proof: Proof by induction
- 9FM0 · core · 1 Proof: The algebra in an induction step
- 7367 · core · A Proof: The algebra in an induction step
- H245 · core · 1 Proof: The algebra in an induction step
- H645 · core · Proof: The algebra in an induction step
- 8FM0 · core · Proof: The algebra in an induction step
- 7366 · core · Proof: The algebra in an induction step
- H235 · core · Proof: The algebra in an induction step
- H635 · core · Proof: The algebra in an induction step
- 9FM0 · core · 1 Proof: The algebra in a telescoping induction step
- 7367 · core · A Proof: The algebra in a telescoping induction step
- H245 · core · 1 Proof: The algebra in a telescoping induction step
- H645 · core · Proof: The algebra in a telescoping induction step
Next practice: Arithmetic series.