Standard +0.3 This is a standard proof by induction question with straightforward algebra. While it requires knowledge of the induction framework and some manipulation of powers, the algebraic steps are routine (factoring out 7 from 8^{k+1} - 8^k) and the question follows a well-practiced template. It's slightly above average difficulty only because it's a proof question requiring formal structure, but it's easier than most Further Maths content.
Question 6:
6 | Uses proof by induction and
investigates the expression
for n = 0 and n = k (must
see evidence of both n = 0
and n = k being considered) | AO3.1a | B1 | Let f(n)8n 7n6
f(0)167
f(n) is divisible by 7 when n = 0
Consider n = k
Assume that f(k) is divisible by 7
f(k1)8k17(k1)6
fk18fk56k7k1648
fk18fk49k49
fk 18fk49k 1
8fk7(7k 7)
f(k 1) is divisible by 7 since f(k)
is divisible by 7
Therefore
f(k) is divisible by 7 f(k + 1) is divisible
by 7
Since f(0) is divisible by 7 and
f(k) is divisible by 7 ⇒f(k + 1) is divisible
by 7
then, by induction, f(n)8n 7n6 is
divisible by 7 for all integers n 0
Shows that statement is true
for n = 0 | AO1.1b | B1
Commences argument by
considering f(k + 1) in
terms of f(k) | AO2.1 | R1
Makes correct deduction
that if f(n) is divisible by 7
then f(n + 1) is also divisible
by 7 | AO2.2a | R1
Completes a rigorous
argument and explains how
their argument proves the
required result. AG | AO2.4 | R1
Total | 5
Q | Marking Instructions | AO | Marks | Typical Solution
6 | Let f(n)8n7n6
ALT
f(0)167
f(n) is divisible by 7 when n=0
Consider n = k
Assume that f(k) is divisible by 7
f(k1)8k17(k1)6
8 8k 7k6 87k7k148
8fk49k49
8fk7(7k7)
f(k 1) is divisible by 7 since f(k)
is divisible by 7
Therefore
f(k) is divisible by 7 f(k + 1) is divisible
by 7
Since f(0) is divisible by 7 and
f(k) is divisible by 7 ⇒f(k + 1) is divisible
by 7
then, by induction, f(n)8n7n6 is
divisible by 7 for all integers n0
Total | 5
Q | Marking Instructions | AO | Marks | Typical Solution