Mathematical induction (QCE Specialist Mathematics Unit 3)
“Understand and use the principle of mathematical induction to prove results involving sums of series, divisibility statements and inequalities for all positive integers, structuring the base step and the inductive step correctly”
Mathematical induction proves for all positive integers in two steps: a base step verifying (or the smallest valid ), and an inductive step assuming and proving . For sums, peel off the last term and substitute the hypothesis; for divisibility, write in terms of ; for inequalities, chain inequalities from the hypothesis. End with the standard conclusion citing the principle.
Jump to a section
What this dot point is asking
QCAA wants you to prove a statement holds for every positive integer using the principle of mathematical induction. You must set out two distinct steps clearly, state the inductive hypothesis explicitly, and finish with a logical conclusion. Induction appears in IA2 and the external assessment, and the marks are awarded as much for structure and communication as for algebra.
The answer
The principle
The principle of mathematical induction says: if is true (the base step), and if for every integer the truth of implies the truth of (the inductive step), then is true for all positive integers .
Think of an infinite line of dominoes. The base step knocks over the first one. The inductive step guarantees that each falling domino topples the next. Together they guarantee every domino falls.
The standard layout
Every induction proof should be written in four labelled parts.
- Base step. Show is true by direct substitution. State both sides and confirm they are equal.
- Inductive hypothesis. Assume is true for some integer . Write the statement in full.
- Inductive step. Using the hypothesis, prove . This is the work: manipulate the left-hand side of so the assumed can be substituted in.
- Conclusion. State that since is true and true implies true, by the principle of mathematical induction is true for all positive integers .
Summation proofs
The most common type is a closed form for a sum. To prove
assume . For the left-hand side is the previous sum plus the new term :
This is exactly the formula with replaced by , so holds. The key move is always to peel off the last term and substitute the hypothesis for the rest.
Divisibility proofs
To prove for all , write as a multiple of in the hypothesis, then express in terms of . For example, to show , assume for some integer . Then
Since is an integer, is divisible by . The technique is to add and subtract to manufacture a copy of .
Inequality proofs
For inequalities such as for , the base step uses (not , because the claim fails for small ). State the restricted starting value. In the inductive step you typically chain inequalities: start from , apply the hypothesis , then show for the relevant . Always justify each inequality you use.
Step 1: Base step
Verify the formula for by direct substitution. The left-hand side has only one term:
The right-hand side with is:
Since LHS RHS, the statement is true.
Step 2: Inductive hypothesis
Assume the formula holds for some particular integer , that is, assume:
This assumption is what we are allowed to use in the next step.
Step 3: Inductive step
We must prove , which claims the sum up to equals . Start from the left-hand side of and peel off the last term so the inductive hypothesis can be applied:
Factor out :
Factorise the quadratic: . So:
This is exactly the formula with replaced by (since ), so holds.
Step 4: Conclusion
Since is true and the truth of implies the truth of , by the principle of mathematical induction the result holds for all positive integers .
Final answer: for all positive integers .
A frequent error is "proving" the inductive step by assuming what you want to show. Do not write on both sides and simplify to ; that assumes the conclusion. Instead start from one side of (usually the sum) and transform it using the hypothesis until it equals the other side. Also do not forget the explicit inductive hypothesis line, and never omit the final conclusion sentence: markers award a communication mark for it.
Exam-style questions
Questions in the style of QCAA exam questions on this dot point, each with a worked answer. They are written by ExamExplained unless tagged "Past paper"; the year shows the paper a question is modelled on.
Practice5 marksThe sum of a geometric progression with n terms, where the first term is 1 and the common ratio is r, is given by S_n = (1 - r^n) / (1 - r). Prove that this rule is true using mathematical induction by completing the steps of the proof as indicated. a) Initial statement. b) Inductive step (assuming the rule is true for n = k). c) Conclusion.Show worked answer →
a) Initial statement [1 mark]: Let n = 1. LHS = the sum of one term = 1. RHS = (1 - r^1)/(1 - r) = (1 - r)/(1 - r) = 1. LHS = RHS, so the rule is true for n = 1.
b) Inductive step [3 marks]: Assume the rule holds for n = k, i.e. 1 + r + r^2 + ... + r^(k-1) = (1 - r^k)/(1 - r).
Required to prove S_(k+1) = (1 - r^(k+1))/(1 - r). The (k+1)th sum is S_k plus the next term r^k:
S_(k+1) = (1 - r^k)/(1 - r) + r^k
= (1 - r^k + r^k(1 - r))/(1 - r)
= (1 - r^k + r^k - r^(k+1))/(1 - r)
= (1 - r^(k+1))/(1 - r).
This is the rule with n = k + 1, so the result holds for n = k + 1.
c) Conclusion [1 mark]: The rule is true for n = 1, and its truth for n = k implies its truth for n = k + 1. By the principle of mathematical induction, the rule is true for all positive integers n.