(a) Answer: Write \(S_n\) forwards and backwards and add: each of the \(n\) pairs sums to \(2a + (n - 1)d\).
- M1 for \(S_n = a + (a + d) + \dots + [a + (n - 1)d]\) and the same series written in reverse
- M1 for adding term by term: each pair sums to \(2a + (n - 1)d\)
- A1* for \(2S_n = n[2a + (n - 1)d]\) and the result
Worked solution: \(S_n = a + (a + d) + \dots + [a + (n - 2)d] + [a + (n - 1)d]\)
\(S_n = [a + (n - 1)d] + [a + (n - 2)d] + \dots + (a + d) + a\)
Adding, each of the \(n\) columns sums to \(2a + (n - 1)d\), so \(2S_n = n[2a + (n - 1)d]\) and \(S_n = \frac{n}{2}[2a + (n - 1)d]\).
(b) Answer: \(u_n = S_n - S_{n - 1} = 6n + 2\) for \(n \ge 2\), and \(u_1 = S_1 = 8\) fits; \(u_{n + 1} - u_n = 6\), a constant.
- M1 for \(u_n = S_n - S_{n - 1} = 3n^2 + 5n - [3(n - 1)^2 + 5(n - 1)]\) for \(n \ge 2\)
- A1 for \(u_n = 6n + 2\), and checking \(u_1 = S_1 = 8\) fits the formula
- A1* for \(u_{n + 1} - u_n = 6\), constant, so the sequence is arithmetic
Worked solution: For \(n \ge 2\): \(u_n = S_n - S_{n - 1} = 3n^2 + 5n - 3(n - 1)^2 - 5(n - 1) = 3(2n - 1) + 5 = 6n + 2\).
Also \(u_1 = S_1 = 8 = 6(1) + 2\), so \(u_n = 6n + 2\) for all \(n \ge 1\).
\(u_{n + 1} - u_n = 6\), a constant, so the sequence is arithmetic (first term 8, common difference 6).
(c) Answer: \(u_n = 6n + 2 = 3(2n) + 2\) leaves remainder 2 on division by 3, but a square leaves remainder 0 or 1.
- M1 for showing that squares leave remainder 0 or 1 on division by 3 (from \((3k)^2\) and \((3k \pm 1)^2 = 3(3k^2 \pm 2k) + 1\))
- M1 for \(6n + 2 = 3(2n) + 2\), remainder 2 on division by 3
- A1* for a conclusion
Worked solution: Any integer is \(3k\) or \(3k \pm 1\). \((3k)^2 = 3(3k^2)\) and \((3k \pm 1)^2 = 3(3k^2 \pm 2k) + 1\), so a square leaves remainder 0 or 1 on division by 3.
But \(u_n = 6n + 2 = 3(2n) + 2\) leaves remainder 2. So no term is a square number.