Skip to main content
ScotlandMathsSyllabus dot point

How do you sum a series using standard formulae and prove a result for all positive integers by induction?

Apply the standard summation formulae for the sum of the first n natural numbers, their squares and their cubes, use sigma notation, and prove statements about series, divisibility and inequalities for all positive integers by mathematical induction.

A focused answer to the SQA Advanced Higher Mathematics summation and proof by induction content, covering sigma notation, the standard formulae for the sum of the first n natural numbers, squares and cubes, and the structure of a proof by mathematical induction applied to series, divisibility and inequalities.

Generated by Claude Opus 4.812 min answer

Reviewed by: AI editorial process; not yet individually human-reviewed

Have a quick question? Jump to the Q&A page

Jump to a section
  1. What this dot point is asking
  2. Sigma notation and the standard sums
  3. The structure of a proof by induction
  4. Induction for series
  5. Induction for divisibility
  6. Try this

What this dot point is asking

The SQA wants you to sum series using the standard sigma formulae and to prove results for all positive integers by mathematical induction. Induction questions cover series, divisibility and inequalities, and a full, correctly structured proof is what earns the marks.

Sigma notation and the standard sums

Sigma notation compresses a sum. Because summation is linear, you can split a sum across addition and pull out constant factors, then apply the standard formulae term by term.

The structure of a proof by induction

Mathematical induction proves a statement P(n)P(n) for every positive integer. Think of it as toppling dominoes: knock over the first, and show each one knocks over the next.

Induction for series

For a series result, the inductive step adds the (k+1)(k + 1)th term to the assumed sum for kk and shows the total matches the formula with n=k+1n = k + 1.

Induction for divisibility

For a divisibility result such as "f(n)f(n) is divisible by mm", write f(k+1)f(k + 1) in terms of f(k)f(k) plus a multiple of mm, so the assumption that mf(k)m \mid f(k) forces mf(k+1)m \mid f(k + 1).

Try this

Q1. Evaluate r=1nr3\displaystyle\sum_{r=1}^{n} r^3 in factorised form. [1 mark]

  • Cue. [n(n+1)2]2\left[\dfrac{n(n + 1)}{2}\right]^2.

Q2. State the four parts of a proof by induction. [2 marks]

  • Cue. Base case, assumption for kk, inductive step to k+1k + 1, concluding statement.

Exam-style practice questions

Practice questions written in the style of SQA exam questions on this dot point, with worked answer explainers. The year tag is the paper they imitate, not the source.

AH style: summation4 marksFind r=1n(r2+2r)\displaystyle\sum_{r=1}^{n} (r^2 + 2r) in terms of nn, simplified.
Show worked answer →

Split the sum: r2+2r\displaystyle\sum r^2 + 2\sum r (1 mark).

Use the formulae: n(n+1)(2n+1)6+2n(n+1)2\dfrac{n(n + 1)(2n + 1)}{6} + 2\cdot\dfrac{n(n + 1)}{2} (1 mark).

=n(n+1)(2n+1)6+n(n+1)= \dfrac{n(n + 1)(2n + 1)}{6} + n(n + 1) (1 mark).

Factor n(n+1)6\dfrac{n(n + 1)}{6}: n(n+1)6[(2n+1)+6]=n(n+1)(2n+7)6\dfrac{n(n + 1)}{6}\left[(2n + 1) + 6\right] = \dfrac{n(n + 1)(2n + 7)}{6} (1 mark). Markers reward splitting, the standard formulae, and a fully factorised simplification.

AH style: induction5 marksProve by induction that r=1nr=n(n+1)2\displaystyle\sum_{r=1}^{n} r = \dfrac{n(n + 1)}{2} for all positive integers nn.
Show worked answer →

Base case n=1n = 1: left side =1= 1, right side =1×22=1= \dfrac{1\times 2}{2} = 1, so true for n=1n = 1 (1 mark).

Assume true for n=kn = k: r=1kr=k(k+1)2\displaystyle\sum_{r=1}^{k} r = \dfrac{k(k + 1)}{2} (1 mark).

Inductive step: r=1k+1r=k(k+1)2+(k+1)=(k+1)(k2+1)=(k+1)(k+2)2\displaystyle\sum_{r=1}^{k+1} r = \dfrac{k(k + 1)}{2} + (k + 1) = (k + 1)\left(\dfrac{k}{2} + 1\right) = \dfrac{(k + 1)(k + 2)}{2} (2 marks).

This is the formula with n=k+1n = k + 1. Since true for n=1n = 1 and truth for kk implies truth for k+1k + 1, it holds for all positive integers by induction (1 mark). Markers reward the base case, the assumption, the algebra of the step, and the concluding statement.

Related dot points

Sources & how we know this