Resources For Teachers For Tutors For Students & Parents Pricing
Year 12 Maths Extension 1 (2027) Proof

Proof of sums by induction

20 practice questions 2 video lessons Theory + worked examples

Learn proof by mathematical induction for series in NSW Year 12 Mathematics Extension 1. Induction confirms a closed-form formula for a sum holds for every positive integer by establishing a base case, then showing each case forces the next.

You will learn to set out the base case, assume the inductive hypothesis and prove the step to the next term, then write the concluding statement examiners expect β€” the key technique for proving summation identities in the HSC Extension 1 course.

Practice 20 questions
Practice questions

Every question with a fully worked solution.

Start practising
Watch 2 video(s)
  • Proof by Induction | Proving a Series by Induction Watch
  • Mathematical Induction - Proof of ∑r=n(n+1)/2 | ExamSolutions Watch
Create a free accountTrack your progress and save your work as you go.
Create free account

Theory

Proof by mathematical induction is a NSW Year 12 Mathematics Extension 1 focus area (NESA outcome ME1-12-01). This page shows how to prove a sum formula by induction using the base case and the inductive step, with four fully worked examples.

Mathematical induction is a method for proving that a statement S(n) is true for every integer n from a starting value n0 onwards. The intuition is a row of dominoes: if you knock over the first, and each falling domino knocks over the next, then every domino falls.

A proof by induction has three parts. The base case shows the statement is true at the start, usually S(1). The inductive hypothesis assumes the statement is true for some integer n=k. The inductive step uses that assumption to prove the statement for the next value, n=k+1.

For a sum, the statement S(n) is a formula for a running total, such as 1+2+3+β‹―+n=n(n+1)2. The inductive step works by adding the next term to both sides of the assumed formula and showing the result matches the formula with n replaced by k+1.

NESA link. This topic sits in the Year 12 Proof by mathematical induction focus area. Outcome ME1-12-01 β€” "uses mathematical induction to prove results involving sums and divisibility" β€” together with the working-mathematically outcome MAO-WM-01. The syllabus asks students to examine the nature of inductive proof, including the statement to be proved, the base case and the inductive step, and to prove results for sums using mathematical induction.

The logic of a proof by induction Four linked stages: prove the base case S of 1, assume S of k, prove S of k plus 1, and conclude the statement is true for all n. Base case S(1) Assume S(k) Prove S(k+1) True for all n
The chain of reasoning: prove the first case, then that each case forces the next.
Induction as falling dominoes A push topples the first domino, the base case. Each falling domino topples the next, the inductive step, so all the dominoes fall. each topples the next Base case Inductive step
The base case tips the first domino; the inductive step makes each one topple the next.

To prove S(n) for all integers nβ‰₯n0, establish two things:

Base case: S(n0) is true.
Inductive step: S(k) β‡’ S(k+1)for all kβ‰₯n0.
S(k)β‡’S(k+1)

For a sum, if the inductive hypothesis is

t1+t2+β‹―+tk=f(k),

then the inductive step adds the next term tk+1 to both sides and shows

f(k)+tk+1=f(k+1).
f(k)+tk+1=f(k+1)

Key principle. The base case and the inductive step are both required. The base case starts the chain; the inductive step continues it. Prove only one and the statement need not be true.

Standard sum results (worth knowing)

SumClosed form
1+2+3+β‹―+nn(n+1)2
1+3+5+β‹―+(2nβˆ’1)n2
12+22+32+β‹―+n2n(n+1)(2n+1)6
1+2+22+β‹―+2n2n+1βˆ’1

The second and fourth rows are the two sum examples named in the NESA Extension 1 syllabus (ME1-12-01).

How to prove a sum formula by induction

  1. State and test the base case. Write the statement S(n), then substitute the smallest value (usually n=1) and check the left-hand side equals the right-hand side.
  2. Assume the hypothesis. Assume S(k) is true for some integer kβ‰₯n0 β€” this is the inductive hypothesis. Write the assumed formula out in full.
  3. Prove the step. Add the (k+1)th term to both sides of the assumed formula. Simplify the right-hand side by factoring until it matches the original formula with n replaced by k+1.
  4. Conclude. State that, since the base case holds and the step holds, by the principle of mathematical induction S(n) is true for all nβ‰₯n0.
Example 1 β€” An arithmetic sum
Prove 3+7+11+β‹―+(4nβˆ’1)=n(2n+1) for all nβ‰₯1.
Solution

Base case (n=1): LHS =3; RHS =1β‹…3=3. True.

Assume true for n=k: 3+7+β‹―+(4kβˆ’1)=k(2k+1).

Inductive step: add the next term (4k+3) to both sides:

k(2k+1)+(4k+3)=2k2+5k+3
=(k+1)(2k+3)
=(k+1)(2(k+1)+1)
k(2k+1)+(4k+3)=(k+1)(2k+3)

This is the formula at n=k+1. By the principle of induction, it holds for all nβ‰₯1.

Example 2 β€” A geometric sum
Prove 5+52+β‹―+5n=5n+1βˆ’54 for all nβ‰₯1.
Solution

Base case (n=1): LHS =5; RHS =25βˆ’54=5. True.

Assume true for n=k: 5+β‹―+5k=5k+1βˆ’54.

Inductive step: add 5k+1 to both sides:

5k+1βˆ’54+5k+1=5k+1βˆ’5+4β‹…5k+14
=5β‹…5k+1βˆ’54
=5k+2βˆ’54
5k+1-54+5k+1=5k+2-54

This is the formula at n=k+1. By the principle of induction, it holds for all nβ‰₯1.

Example 3 β€” Sum of squares
Prove 12+22+β‹―+n2=n(n+1)(2n+1)6 for all nβ‰₯1.
Solution

Base case (n=1): LHS =1; RHS =1β‹…2β‹…36=1. True.

Assume true for n=k: 12+β‹―+k2=k(k+1)(2k+1)6.

Inductive step: add (k+1)2 to both sides and factor out (k+1):

k(k+1)(2k+1)6+(k+1)2=(k+1)[k(2k+1)+6(k+1)]6
=(k+1)(2k2+7k+6)6
=(k+1)(k+2)(2k+3)6
k(k+1)(2k+1)6+(k+1)2=(k+1)(k+2)(2k+3)6

This is the formula at n=k+1 (since 2(k+1)+1=2k+3). By induction, it holds for all nβ‰₯1.

Example 4 β€” NESA example (base case n = 0)
Prove 1+2+22+β‹―+2n=2n+1βˆ’1 for all integers nβ‰₯0. (This is one of the syllabus's own examples for ME1-12-01.)
Solution

Base case (n=0): LHS =20=1; RHS =21βˆ’1=1. True. (Here the start value is n0=0, not 1.)

Assume true for n=k: 1+2+β‹―+2k=2k+1βˆ’1.

Inductive step: add the next term 2k+1 to both sides:

(2k+1βˆ’1)+2k+1=2β‹…2k+1βˆ’1
=2k+2βˆ’1
(2k+1-1)+2k+1=2k+2-1

This is the formula at n=k+1. By the principle of induction, it holds for all nβ‰₯0.

Common pitfalls

Skipping a step. The base case and the inductive step are both essential. A false statement can have a perfectly valid inductive step, so proving the step alone proves nothing β€” and checking a few values is not the base case for all n.
The wrong (k+1)th term. When you extend the sum, add the term at n=k+1, not at n=k. For 2+4+6+β‹―+2n the next term is 2(k+1)=2k+2, not 2k.
Not using the assumption. The inductive step must use the hypothesis S(k) β€” substitute it in. Re-deriving the whole result from scratch is not an inductive proof.
No concluding sentence. Finish by explicitly stating that, since the base case and the step both hold, the result is true for all nβ‰₯n0 by the principle of mathematical induction.

Frequently asked questions

What is proof by mathematical induction?

It is a method for proving a statement S(n) is true for every integer n from a starting value onwards. You prove a base case, then prove that truth at n=k forces truth at n=k+1; together these make the statement true for all n.

What are the steps of a proof by induction?

Three steps: (1) the base case β€” show S(n0) is true, usually n0=1; (2) the inductive hypothesis β€” assume S(k) is true; (3) the inductive step β€” use that to prove S(k+1). Then conclude by the principle of induction.

Why do you need a base case in induction?

The base case starts the chain. Without it, the inductive step only says "if true at k, then true at k+1" but nothing ever makes it start. A false statement can even have a valid step, so the base case is what pins the argument to reality.

How do you prove a sum formula by induction?

Test the base case, assume the formula at n=k, then add the (k+1)th term to both sides and simplify until you reach the same formula with n=k+1. Finish with the concluding sentence.

What is the inductive hypothesis?

It is the assumption that S(k) is true for some particular integer k β€” a single value, not all n. You are allowed to use it inside the inductive step to prove the n=k+1 case.

Is mathematical induction in the NSW Year 12 Extension 1 course?

Yes. Proof by mathematical induction is a Year 12 focus area of Mathematics Extension 1. NESA outcome ME1-12-01 states that a student "uses mathematical induction to prove results involving sums and divisibility".