Edexcel CP1 2020 June — Question 6 12 marks

Exam BoardEdexcel
ModuleCP1 (Core Pure 1)
Year2020
SessionJune
Marks12
PaperDownload PDF ↗
Mark schemeDownload PDF ↗
TopicProof by induction
TypeProve summation formula
DifficultyStandard +0.3 Part (i) is a standard summation proof by induction requiring routine algebraic manipulation. Part (ii) is a divisibility proof with odd integers, slightly less routine but still follows standard templates. Both are typical Core Pure 1 induction questions with no novel insights required, making this slightly easier than average.
Spec4.01a Mathematical induction: construct proofs4.06a Summation formulae: sum of r, r^2, r^3

  1. (i) Prove by induction that for \(n \in \mathbb { Z } ^ { + }\)
$$\sum _ { r = 1 } ^ { n } ( 3 r + 1 ) ( r + 2 ) = n ( n + 2 ) ( n + 3 )$$ (ii) Prove by induction that for all positive odd integers \(n\) $$f ( n ) = 4 ^ { n } + 5 ^ { n } + 6 ^ { n }$$ is divisible by 15

Question 6:
Part (i):
AnswerMarks Guidance
Answer/WorkingMark Guidance
When \(n=1\): \(\sum_{r=1}^{1}(3r+1)(r+2) = 4\times3 = 12\) and \(1(1+2)(1+3)=12\), true for \(n=1\)B1 Verifies base case
Assume true for \(n=k\): \(\sum_{r=1}^{k}(3r+1)(r+2) = k(k+2)(k+3)\)M1 States assumption for \(n=k\)
\(\sum_{r=1}^{k+1}(3r+1)(r+2) = k(k+2)(k+3) + (3k+4)(k+3)\)M1 Adds \((k+1)\)th term to assumed sum
\(= (k+3)(k^2+5k+4)\)A1 Correct factorisation
\(= (k+1)(k+3)(k+4)\)A1 Correct form matching \(n=k+1\)
\(= (k+1)(k+1+2)(k+1+3)\); conclusion: true for \(n=k \Rightarrow\) true for \(n=k+1\), true for \(n=1\), therefore true for all positive integers \(n\)A1 Correct conclusion with all elements
Part (ii) Way 1:
AnswerMarks Guidance
Answer/WorkingMark Guidance
When \(n=1\): \(4^1+5^1+6^1=15\), divisible by 15, true for \(n=1\)B1 Verifies base case
Assume true for \(n=k\): \(4^k+5^k+6^k\) divisible by 15M1 States assumption
\(f(k+2) = 4^{k+2}+5^{k+2}+6^{k+2}\)M1 Considers \(f(k+2)\)
\(= 16\times4^k+16\times5^k+16\times6^k+9\times5^k+20\times6^k\)A1 Correct expansion
\(= 16f(k)+45\times5^{k-1}+120\times6^{k-1}\)A1 Written in terms of \(f(k)\)
Since 15 divides \(f(k)\), 45 and 120, 15 divides \(f(k+1)\); true for \(n=1\), true for \(n=k \Rightarrow\) true for \(n=k+2\), true for all positive odd integers \(n\)A1 Correct conclusion
Part (ii) Way 2:
AnswerMarks Guidance
Answer/WorkingMark Guidance
When \(n=1\): \(4^1+5^1+6^1=15\), true for \(n=1\)B1 Verifies base case
Assume true for \(n=k\): \(4^k+5^k+6^k\) divisible by 15M1 States assumption
\(f(k+2)-f(k) = 4^{k+2}+5^{k+2}+6^{k+2}-4^k-5^k-6^k\)M1 Considers difference
\(= 15\times4^k+24\times5^k+35\times6^k = 15f(k)+45\times5^{k-1}+120\times6^{k-1}\)A1 Correct simplification
\(f(k+2) = 16f(k)+45\times5^{k-1}+120\times6^{k-1}\)A1 Correct expression for \(f(k+2)\)
\(f(k+2) = 16f(k)+15(3\times5^{k-1}+8\times6^{k-1})\); true for \(n=k \Rightarrow\) true for \(n=k+2\), true for \(n=1\), true for all positive odd integers \(n\)A1 Correct conclusion
Question 6(ii) Way 3:
AnswerMarks Guidance
Answer/WorkingMark Guidance
When \(n=1\), \(4^1 + 5^1 + 6^1 = 15\), so statement true for \(n=1\)B1 Shows statement true for \(n=1\) by evaluating both sides
Assume true for \(n=2k+1\) so \(f(2k+1) = 4^{2k+1} + 5^{2k+1} + 6^{2k+1}\) is divisible by 15M1 Makes assumption statement that result is true for some odd value of \(n\)
\(f(2k+3) = 4^{2k+3} + 5^{2k+3} + 6^{2k+3}\) or \(f(2k+3) - f(2k+1) = 4^{2k+3}+5^{2k+3}+6^{2k+3}-4^{2k+1}-5^{2k+1}-6^{2k+1}\)M1 Attempts \(f(2k+3)\) or \(f(2k+3)-f(2k+1)\)
\(f(2k+3) = 16\times 4^{2k+1}+25\times 5^{2k+1}+36\times 6^{2k+1}\) \(= 16(4^{2k+1}+5^{2k+1}+6^{2k+1})+9\times 5^{2k+1}+20\times 6^{2k+1}\) OR \(f(2k+3)-f(2k+1) = 15\times 4^{2k+1}+120\times 5^{2k}+210\times 6^{2k}\)A1 Reaches \(16(4^{2k+1}+5^{2k+1}+6^{2k+1})+9\times 5^{2k+1}+20\times 6^{2k+1}\) or suitable equivalent
\(f(2k+3) = 16(4^{2k+1}+5^{2k+1}+6^{2k+1})+45\times 5^{2k}+120\times 6^{2k}\) OR \(f(2k+3) = f(2k+1)+15\times 4^{2k+1}+120\times 5^{2k}+210\times 6^{2k}\)A1 Correct expression of form \(Af(2k+1)+15(\ldots)\)
\(f(2k+3) = 16(4^{2k+1}+5^{2k+1}+6^{2k+1})+15(3\times 5^{2k}+8\times 6^{2k})\) OR \(f(2k+3) = f(2k+1)+15(4^{2k+1}+8\times 5^{2k}+14\times 6^{2k})\) and: If true for \(n=2k+1\) then true for \(n=2k+3\), true for \(n=1\) so true for all positive odd integers \(n\)A1 Correct conclusion with all four underlined ideas conveyed; do not allow "true for all \(n\)" where \(n\) represents natural numbers
# Question 6:

## Part (i):

| Answer/Working | Mark | Guidance |
|---|---|---|
| When $n=1$: $\sum_{r=1}^{1}(3r+1)(r+2) = 4\times3 = 12$ and $1(1+2)(1+3)=12$, true for $n=1$ | B1 | Verifies base case |
| Assume true for $n=k$: $\sum_{r=1}^{k}(3r+1)(r+2) = k(k+2)(k+3)$ | M1 | States assumption for $n=k$ |
| $\sum_{r=1}^{k+1}(3r+1)(r+2) = k(k+2)(k+3) + (3k+4)(k+3)$ | M1 | Adds $(k+1)$th term to assumed sum |
| $= (k+3)(k^2+5k+4)$ | A1 | Correct factorisation |
| $= (k+1)(k+3)(k+4)$ | A1 | Correct form matching $n=k+1$ |
| $= (k+1)(k+1+2)(k+1+3)$; conclusion: true for $n=k \Rightarrow$ true for $n=k+1$, true for $n=1$, therefore true for all positive integers $n$ | A1 | Correct conclusion with all elements |

## Part (ii) Way 1:

| Answer/Working | Mark | Guidance |
|---|---|---|
| When $n=1$: $4^1+5^1+6^1=15$, divisible by 15, true for $n=1$ | B1 | Verifies base case |
| Assume true for $n=k$: $4^k+5^k+6^k$ divisible by 15 | M1 | States assumption |
| $f(k+2) = 4^{k+2}+5^{k+2}+6^{k+2}$ | M1 | Considers $f(k+2)$ |
| $= 16\times4^k+16\times5^k+16\times6^k+9\times5^k+20\times6^k$ | A1 | Correct expansion |
| $= 16f(k)+45\times5^{k-1}+120\times6^{k-1}$ | A1 | Written in terms of $f(k)$ |
| Since 15 divides $f(k)$, 45 and 120, 15 divides $f(k+1)$; true for $n=1$, true for $n=k \Rightarrow$ true for $n=k+2$, true for all positive odd integers $n$ | A1 | Correct conclusion |

## Part (ii) Way 2:

| Answer/Working | Mark | Guidance |
|---|---|---|
| When $n=1$: $4^1+5^1+6^1=15$, true for $n=1$ | B1 | Verifies base case |
| Assume true for $n=k$: $4^k+5^k+6^k$ divisible by 15 | M1 | States assumption |
| $f(k+2)-f(k) = 4^{k+2}+5^{k+2}+6^{k+2}-4^k-5^k-6^k$ | M1 | Considers difference |
| $= 15\times4^k+24\times5^k+35\times6^k = 15f(k)+45\times5^{k-1}+120\times6^{k-1}$ | A1 | Correct simplification |
| $f(k+2) = 16f(k)+45\times5^{k-1}+120\times6^{k-1}$ | A1 | Correct expression for $f(k+2)$ |
| $f(k+2) = 16f(k)+15(3\times5^{k-1}+8\times6^{k-1})$; true for $n=k \Rightarrow$ true for $n=k+2$, true for $n=1$, true for all positive odd integers $n$ | A1 | Correct conclusion |

## Question 6(ii) Way 3:

| Answer/Working | Mark | Guidance |
|---|---|---|
| When $n=1$, $4^1 + 5^1 + 6^1 = 15$, so statement true for $n=1$ | B1 | Shows statement true for $n=1$ by evaluating both sides |
| Assume true for $n=2k+1$ so $f(2k+1) = 4^{2k+1} + 5^{2k+1} + 6^{2k+1}$ is divisible by 15 | M1 | Makes assumption statement that result is true for some odd value of $n$ |
| $f(2k+3) = 4^{2k+3} + 5^{2k+3} + 6^{2k+3}$ or $f(2k+3) - f(2k+1) = 4^{2k+3}+5^{2k+3}+6^{2k+3}-4^{2k+1}-5^{2k+1}-6^{2k+1}$ | M1 | Attempts $f(2k+3)$ or $f(2k+3)-f(2k+1)$ |
| $f(2k+3) = 16\times 4^{2k+1}+25\times 5^{2k+1}+36\times 6^{2k+1}$ $= 16(4^{2k+1}+5^{2k+1}+6^{2k+1})+9\times 5^{2k+1}+20\times 6^{2k+1}$ OR $f(2k+3)-f(2k+1) = 15\times 4^{2k+1}+120\times 5^{2k}+210\times 6^{2k}$ | A1 | Reaches $16(4^{2k+1}+5^{2k+1}+6^{2k+1})+9\times 5^{2k+1}+20\times 6^{2k+1}$ or suitable equivalent |
| $f(2k+3) = 16(4^{2k+1}+5^{2k+1}+6^{2k+1})+45\times 5^{2k}+120\times 6^{2k}$ OR $f(2k+3) = f(2k+1)+15\times 4^{2k+1}+120\times 5^{2k}+210\times 6^{2k}$ | A1 | Correct expression of form $Af(2k+1)+15(\ldots)$ |
| $f(2k+3) = 16(4^{2k+1}+5^{2k+1}+6^{2k+1})+15(3\times 5^{2k}+8\times 6^{2k})$ OR $f(2k+3) = f(2k+1)+15(4^{2k+1}+8\times 5^{2k}+14\times 6^{2k})$ and: If true for $n=2k+1$ then true for $n=2k+3$, true for $n=1$ so true for all positive odd integers $n$ | A1 | Correct conclusion with all four underlined ideas conveyed; do not allow "true for all $n$" where $n$ represents natural numbers |

---
\begin{enumerate}
  \item (i) Prove by induction that for $n \in \mathbb { Z } ^ { + }$
\end{enumerate}

$$\sum _ { r = 1 } ^ { n } ( 3 r + 1 ) ( r + 2 ) = n ( n + 2 ) ( n + 3 )$$

(ii) Prove by induction that for all positive odd integers $n$

$$f ( n ) = 4 ^ { n } + 5 ^ { n } + 6 ^ { n }$$

is divisible by 15

\hfill \mbox{\textit{Edexcel CP1 2020 Q6 [12]}}