GCSEMathsAQAHigherRevision Notes2. AlgebraAlgebraic ProofAlgebraic Proof

Algebraic Proof (AQA GCSE Maths: Higher): Revision Note

Exam code: 8300

Written by: Mark Curtis

Reviewed by: Dan Finlay

Updated on 20 January 2026

Algebraic proof

What is algebraic proof?

Algebraic proof means proving a result using algebra
- This is different to proving a result by individually testing all possible values
The proofs may require algebraic skills such as
- expanding brackets
- factorising
- collecting like terms
  - The difference of two squares factorisation can also be helpful

How do I prove results about integers?

To prove results about integers (whole numbers), you need to first represent the integers as algebraic letters or terms
- The following table shows the most commonly used algebraic terms

Type of integer	Term	Comment
Any integer	$n$
Consecutive integers	$n, n + 1$	This means one after the other. Could also use $n - 1, n$
Any two integers	$n, m$	A different letter is used (to show it is not necessarily consecutive)
An even integer	$2 n$
Consecutive even integers	$2 n, 2 n + 2$	Could also use $2 n - 2, 2 n$
Any two even integers	$2 n, 2 m$
An odd integer	$2 n + 1$	Could also use $2 n - 1$
A multiple of 5	$5 n$
A multiple of $k$	$k n$
One more than a multiple of 3	$3 n + 1$
A square number	$n^{2}$
A cube number	$n^{3}$
A rational number	$\frac{a}{b}$	Where $a$ and $b$ are integers and $b \neq 0$

You then need to be able to apply operations to the terms above
- Common operations are the
  - sum ( $+$ )
  - difference ( $-$ )
  - product ( $\times$ )
  - square ${(. . .)}^{2}$

How do I show that a result is odd or even?

To prove an expression is even, show that it can be written as $2 \times (integer)$
- For example, $2 (n^{2} - 3 n)$ is even
  - This may require factorising out a 2
To prove something is odd, show that it can be written as $2 \times (integer) + 1$
- For example, $2 (n + m) + 1$ is odd
Make sure the part inside the brackets is an integer
- For example, $2 (n + \frac{1}{3})$ is not even as $\frac{1}{3}$ is not an integer
You can apply similar ideas to prove expressions are multiples of other numbers
- For example, $7 (n^{2} + 2 n)$ is a multiple of 7

How do I prove results with prime numbers?

When proving results with prime numbers, remember that primes only have two factors: 1 and themselves
- If p is prime then 1 × p or p × 1 are the only ways to write it as a product of two integers

Examiner Tips and Tricks

At the end of an algebraic proof, you need to write a conclusion in full sentences
- A good trick is to copy word-for-word the phrases used in the question
  - for example, "this proves that all squares of odd numbers are odd"

Worked Example

Prove that the difference of the squares of two consecutive even numbers is divisible by 4.

Answer:

Break down the question into smaller parts
First find expressions for two consecutive even numbers
The first even number can be written as follows:

$2 n$

Write down an expression for the next consecutive even number after $2 n$

$2 n + 2$

Now square the two consecutive even numbers
Then write down the difference of these squares
Write the larger value subtract the smaller value

${(2 n + 2)}^{2} - {(2 n)}^{2}$

Method 1

Expand the brackets (using a double-bracket expansion)
Collect any like terms (the $4 n^{2}$ and the $- 4 n^{2}$ cancel out)

$(2 n + 2) (2 n + 2) - 4 n^{2} = 4 n^{2} + 4 n + 4 n + 4 - 4 n^{2} = 8 n + 4$

Show that the final answer is divisible by 4 (a multiple of 4)
Do this by writing it as $4 \times (integer)$

$= 4 (2 n + 1)$

Write a conclusion that copies the wording in the question

$4 \times (2 n + 1)$ is a multiple of 4
The difference between the squares of two consecutive even numbers is divisible by 4

Method 2

Use the difference of two squares to factorise, $a^{2} - b^{2} = (a - b) (a + b)$

${(2 n + 2)}^{2} - {(2 n)}^{2} = (2 n + 2 - 2 n) (2 n + 2 + 2 n)$

Simplify inside both brackets

$= (2) (4 n + 2) = 2 (4 n + 2)$

Factorise out a 2 from the second bracket

$= 2 \times 2 (2 n + 1) = 4 (2 n + 1)$

This has the form $4 \times (integer)$ so it is divisible by 4 (a multiple of 4)
Write a conclusion that copies the wording in the question

$4 \times (2 n + 1)$ is a multiple of 4
The difference between the squares of two consecutive even numbers is divisible by 4

Unlock more, it's free!

Join the 100,000+ Students that ❤️ Save My Exams

the (exam) results speak for themselves:

I would just like to say a massive thank you for putting together such a brilliant, easy to use website.I really think using this site helped me secure my top gradesin science and maths. You really did save my exams! Thank you.

Beth
IGCSE Student

This website is soooo useful and I can’t ever thank you enough for organising questions by topic like this. Furthermore, the name of the website could not have been more appropriate as it literally did SAVE MY EXAMS!

Fathima
A Level Student

Incredible! SO worth my money, the revision notes have everything I need to know and are so easy to understand. I actually enjoy revising! It makes me feel a lot more confident for my GCSEs in a few months.

Kate
GCSE Student

Absolutely brilliant, both my girls used it for A levels and GCSE. It's saves on paper copies, also beneficial exam questions ranked from easy to hard. It's removed a lot of stress from the exams.

Sameera
Parent

Just to say that your resources are the best I have seen and I have been teaching chemistry at different levels for about 40 years

Mark
Chemistry Teacher

Excellent