3. Proof by Induction0%

Methods of Proof · Topic 3 of 5

3. Proof by Induction

Video coming soon2 worked examples

Theory

Proof by induction establishes a statement P(n)P(n) for all positive integers nn in three parts:

  • Base case: show P(1)P(1) is true.
  • Inductive step: assume P(k)P(k) is true (the inductive hypothesis), and use it to prove P(k+1)P(k+1).
  • Conclusion: state that, by induction, P(n)P(n) holds for all n1n \geq 1.

The Golden Rule: you must actually use the inductive hypothesis when proving P(k+1)P(k+1) — that is the heart of the method — and never skip the base case or the concluding statement.

⚠️ Common Examiner Traps

  • Missing the base case: without P(1)P(1) the induction has no foundation.
  • Not using the hypothesis: the P(k+1)P(k+1) working must build on the assumed P(k)P(k).
  • No conclusion: finish with the “therefore true for all nn” statement to earn the final mark.

Worked examples

Example 1

Prove by induction that r=1nr=n(n+1)2\displaystyle\sum_{r=1}^{n} r = \frac{n(n+1)}{2} for all positive integers nn.

Base case: for n=1n=1, the left side is 11 and the right side is 1(2)2=1\frac{1(2)}{2} = 1. True.

Inductive step: assume the result holds for n=kn = k, i.e. r=1kr=k(k+1)2\sum_{r=1}^{k} r = \frac{k(k+1)}{2}. Then:

r=1k+1r=k(k+1)2+(k+1)=k(k+1)+2(k+1)2=(k+1)(k+2)2\sum_{r=1}^{k+1} r = \frac{k(k+1)}{2} + (k+1) = \frac{k(k+1) + 2(k+1)}{2} = \frac{(k+1)(k+2)}{2}

Conclusion: this is the formula with n=k+1n = k+1, so if it holds for kk it holds for k+1k+1. Since it holds for n=1n=1, by induction it holds for all n1n \geq 1.

Example 2

Prove by induction that 8n18^n - 1 is divisible by 77 for all positive integers nn.

Base case: for n=1n=1, 811=78^1 - 1 = 7, which is divisible by 77. True.

Inductive step: assume 8k18^k - 1 is divisible by 77, so 8k=7m+18^k = 7m + 1 for some integer mm. Then:

8k+11=88k1=8(7m+1)1=56m+7=7(8m+1)8^{k+1} - 1 = 8 \cdot 8^k - 1 = 8(7m + 1) - 1 = 56m + 7 = 7(8m + 1)

Conclusion: this is a multiple of 77, so the result holds for k+1k+1. Since it holds for n=1n=1, by induction 8n18^n - 1 is divisible by 77 for all n1n \geq 1.