Edexcel AS Paper 1 2024 June — Question 14 4 marks

Exam BoardEdexcel
ModuleAS Paper 1 (AS Paper 1)
Year2024
SessionJune
Marks4
PaperDownload PDF ↗
Mark schemeDownload PDF ↗
TopicTrig Proofs
TypeAlgebraic proof about integers
DifficultyEasy -1.8 This is a very straightforward algebraic proof requiring only factorization to n(n+1) and recognition that consecutive integers include one even number. It's a routine proof-writing exercise with minimal steps, well below average A-level difficulty and simpler than typical proof questions which often involve modular arithmetic or more complex reasoning.
Spec1.01a Proof: structure of mathematical proof and logical steps

  1. Prove, using algebra, that
$$n ^ { 2 } + 5 n$$ is even for all \(n \in \mathbb { N }\)

Question 14:
Case 1: n even
Let \(n = 2k\):
AnswerMarks Guidance
\((2k)^2 + 5(2k) = 4k^2 + 10k\)M1 Sets up proof by exploring when \(n = 2k\) or \(n = 2k+1\); expands to achieve a quadratic expression (may be unsimplified); condone slips e.g. \(2k(2k+5) = 2k^2 + 10k\)
\(4k^2 + 10k = 2(2k^2 + 5k)\) which is evenA1 Correct quadratic for either odds or evens; must show or give reason why expression is even (e.g. "2 is a factor of both terms"); expression must be fully multiplied out or factorised completely
Case 2: n odd
Let \(n = 2k+1\):
AnswerMarks Guidance
\((2k+1)^2 + 5(2k+1) = 4k^2 + 14k + 6\)dM1 Explores both \(n = 2k\) and \(n = 2k+1\), leading to two quadratic expressions
\(4k^2 + 14k + 6 = 2(2k^2 + 7k + 3)\) which is evenA1* Requires: correct quadratic for both odds and evens; reason why each is even; concluding statement e.g. "Hence \(n^2 + 5n\) is even for all \(n(\in\mathbb{Z})\)"
Alternative (factorisation/logic):
AnswerMarks Guidance
\(n^2 + 5n = n(n+5)\)SC When \(n\) is odd, \(n+5\) is even so odd × even = even; when \(n\) is even, \(n+5\) is odd so even × odd = even; both cases score SC1010 if fully correct
Alternative (proof by induction):
AnswerMarks Guidance
Assumes true for \(n = k\), substitutes \(n = k+1\) into \(n^2 + 5n\), expands to quadratic e.g. \(k^2 + 7k + 6\)M1 Condone arithmetical slips
\(f(k+1) = k^2 + 5k + 2k + 6 = f(k) + 2(k+3)\), which is even + even = evenA1
Attempts to substitute \(n=1 \Rightarrow 1^2 + 5\times1 = 6\) (true)dM1 Condone arithmetical slips
States: true for \(n=1\); if true for \(n=k\) then true for \(n=k+1\); therefore true for all \(n(\in\mathbb{Z})\)A1*
(4 marks total)
## Question 14:

**Case 1: n even**

Let $n = 2k$:

$(2k)^2 + 5(2k) = 4k^2 + 10k$ | M1 | Sets up proof by exploring when $n = 2k$ or $n = 2k+1$; expands to achieve a quadratic expression (may be unsimplified); condone slips e.g. $2k(2k+5) = 2k^2 + 10k$

$4k^2 + 10k = 2(2k^2 + 5k)$ which is even | A1 | Correct quadratic for either odds or evens; must show or give reason why expression is even (e.g. "2 is a factor of both terms"); expression must be fully multiplied out or factorised completely

---

**Case 2: n odd**

Let $n = 2k+1$:

$(2k+1)^2 + 5(2k+1) = 4k^2 + 14k + 6$ | dM1 | Explores both $n = 2k$ **and** $n = 2k+1$, leading to two quadratic expressions

$4k^2 + 14k + 6 = 2(2k^2 + 7k + 3)$ which is even | A1* | Requires: correct quadratic for **both** odds and evens; reason why each is even; concluding statement e.g. "Hence $n^2 + 5n$ is even for all $n(\in\mathbb{Z})$"

---

**Alternative (factorisation/logic):**

$n^2 + 5n = n(n+5)$ | SC | When $n$ is odd, $n+5$ is even so odd × even = even; when $n$ is even, $n+5$ is odd so even × odd = even; both cases score SC1010 if fully correct

---

**Alternative (proof by induction):**

Assumes true for $n = k$, substitutes $n = k+1$ into $n^2 + 5n$, expands to quadratic e.g. $k^2 + 7k + 6$ | M1 | Condone arithmetical slips

$f(k+1) = k^2 + 5k + 2k + 6 = f(k) + 2(k+3)$, which is even + even = even | A1 |

Attempts to substitute $n=1 \Rightarrow 1^2 + 5\times1 = 6$ (true) | dM1 | Condone arithmetical slips

States: true for $n=1$; if true for $n=k$ then true for $n=k+1$; therefore true for all $n(\in\mathbb{Z})$ | A1* |

**(4 marks total)**
\begin{enumerate}
  \item Prove, using algebra, that
\end{enumerate}

$$n ^ { 2 } + 5 n$$

is even for all $n \in \mathbb { N }$

\hfill \mbox{\textit{Edexcel AS Paper 1 2024 Q14 [4]}}