Visiting from mainland China? Try the China-friendly mirror (cn.improject.org).
News

Topic summary · Student revision

Proof by Induction Topic Review summary

Self-review on mathematical induction for sums, divisibility, and inequalities.

Files: Topic-Review-Proof-by-Induction.pdf · Topic-Review-Proof-by-Induction-Answers.pdf · free public downloads · diagrams in the PDFs

Key learning points

  • Structure: basis → assume true for kk → prove for k+1k+1 → conclude for all ngen0n\\ge n_0.
  • Write the induction hypothesis explicitly.
  • Divisibility: show f(k+1)−f(k)f(k+1)-f(k) (or similar) is divisible by the target factor.
  • Inequalities: keep direction careful when multiplying/adding.
  • Strong induction when the step needs more than one previous case.

Worked example 1 — Sum

Induct on sumr=1nr=fracn(n+1)2\\sum_{r=1}^n r=\\frac{n(n+1)}{2}.

Working

Add(k+1)tobothsidesofIHAdd (k+1) to both sides of IH

Algebra to match formula at k+1k+1.

Worked example 2 — Divisibility

Show 32n−13^{2n}-1 divisible by 8.

Working

Factor/useIHdifferencedivisibleby8Factor / use IH difference divisible by 8

Classic induction style.

Worked example 3 — Practice point 1

Structure: basis → assume true for kk → prove for k+1k+1 → conclude for all ngen0n\\\\ge n_0.

Working

see answers PDF\text{see answers PDF}

Attempt without notes, then check the answers PDF.

Worked example 4 — Practice point 2

Apply this idea from the Topic Review: Write the induction hypothesis explicitly.

Working

see answers PDF\text{see answers PDF}

Attempt without notes, then check the answers PDF.

Scaffolded Learning Sheet and answers (PDFs)

This page is a short, searchable overview for revision and search engines. Use the Scaffolded Learning Sheet first, then the Answers PDF for a full written solution. The printable PDFs remain the main classroom resource.