GCSE Maths · Algebra

Algebraic proof GCSE Questions and Worked Answers

An algebraic proof represents every allowed case with letters, uses valid algebra and ends by explaining why the resulting form establishes the claim. A few numerical examples cannot prove an unrestricted claim.

Higher tier6 worked examples10 original questions
Free AI tutor · GCSE algebraic proof

Practise GCSE algebraic proof for free with an AI tutor

Ask Ari for an explanation or work through an original exam-style question together.

AriYour maths coach
Chat cost ≈ $0.000000

Hi, I’m Ari. We can start algebraic proof from the beginning, work through an example together, or practise a question. Tell me which step is confusing.

Enter to send · Shift + Enter for a new line · Use $...$ or $$...$$ for math

Ari is an AI tutor and can make mistakes. Use the worked answers below to check important results.

Start with the meaning

What you need to know about algebraic proof

If counters can be put into pairs with none left over, their number is even. Two piles made entirely of pairs still make a pile of pairs when combined. That explains why adding two even counts gives an even count without trying every possible pile.

See the idea first

Letters let the argument cover every allowed number

An integer is a whole number, including zero and negative whole numbers. If n is any integer, 2n represents an even integer and 2n + 1 an odd integer. Use different letters for two arbitrary integers: they need not be equal.

Represent the condition before manipulating it
Numbers describedRepresentationReason
Any even integer2na multiple of 2
Any odd integer2n + 1one more than a multiple of 2
Consecutive integersn, n + 1the next integer is one larger
Consecutive odd integers2n + 1, 2n + 3odd integers are two apart
From problem to method

Typical problems you need to be able to solve

These are the main kinds of question in this topic. Each card first states the problem, then explains how to solve it.

Prove an even or odd result

What the problem asks: Prove that the sum of two odd integers is even.

How to solve it: Write them as 2a + 1 and 2b + 1, with a and b integers. Their sum is 2(a + b + 1), twice an integer, so it is even.

Prove divisibility

What the problem asks: Prove that the sum of three consecutive integers is divisible by 3.

How to solve it: Write n, n + 1, n + 2. Their sum is 3n + 3 = 3(n + 1). Since n + 1 is an integer, the sum is a multiple of 3.

Disprove a universal claim

What the problem asks: Disprove ‘every prime number is odd’.

How to solve it: The number 2 is prime and even. One allowed counterexample is enough because the claim said every prime.

A reliable routine

Build an argument, not a fixed calculation

There is no universal algorithm for every proof. For claims about integers, a useful approach is to encode the stated conditions and transform the expression into a form that makes the required property visible.

  1. State what the letters represent and their allowed values.
  2. Write the full expression described in the claim.
  3. Expand, collect or factorise using equal expressions; do not assume the conclusion.
  4. Translate the final form into words: for example, ‘three times an integer, so divisible by three’.

Check: A counterexample disproves a universal claim. A supporting example does not prove one unless every allowed case has been checked.

Fully worked

Algebraic proof GCSE worked examples

Each solution explains the clue, why the method fits and how to check the result.

Example 1

Two even integers

Higher only3 marks
Question

Prove that the sum of any two even integers is even.

Let a and b be integers, so the even numbers are 2a and 2b.

2a+2b=2(a+b)2a+2b=2(a+b)

Since a + b is an integer, this is twice an integer. Therefore the sum is even. Tip: use separate letters so the two even integers can be chosen independently; they are not forced to be equal.

Example 2

Two odd integers

Higher only3 marks
Question

Prove that the sum of any two odd integers is even.

Write the odd integers as 2a + 1 and 2b + 1.

(2a+1)+(2b+1)(2a+1)+(2b+1) =2a+2b+2=2a+2b+2 =2(a+b+1)=2(a+b+1)

The bracket is an integer, so the sum is even.

Example 3

Three consecutive integers

Higher only3 marks
Question

Prove that three consecutive integers have a sum divisible by 3.

Let the first integer be n.

n+(n+1)+(n+2)n+(n+1)+(n+2) =3n+3=3n+3 =3(n+1)=3(n+1)

This is three times the integer n + 1, proving divisibility by 3.

Example 4

Square of an odd integer

Higher only4 marks
Question

Prove that the square of any odd integer is odd.

Write the integer as 2n + 1.

(2n+1)2(2n+1)^2 =4n2+4n+1=4n^2+4n+1 =2(2n2+2n)+1=2(2n^2+2n)+1

The bracket is an integer. Twice an integer plus one is odd.

Example 5

Consecutive squares

Higher only4 marks
Question

Prove that the difference between the squares of two consecutive integers is odd.

Subtract the square of n from that of n + 1.

(n+1)2n2(n+1)^2-n^2 =n2+2n+1n2=n^2+2n+1-n^2 =2n+1=2n+1

This has the form of an odd integer. The sign of the difference does not affect its oddness.

Example 6

A counterexample

Higher only2 marks
Question

Disprove: ‘If an integer is divisible by 3, it is divisible by 6.’

Choose 9. It is divisible by 3 because 9 ÷ 3 = 3, but not by 6 because 9 ÷ 6 = 1.5 is not an integer. This one counterexample disproves the claim.

10 original questions · total 27 marks

Algebraic proof GCSE exam-style questions

Try each question before opening its fully worked answer. The difficulty rises through the set.

Before you startAllow about 32 minutes · Show your working. Give exact answers unless a question asks you to round, and include units where needed. · answers start collapsed
1

Represent a multiple

Higher only1 mark

Write an expression for any multiple of 5 and define your letter.

Show worked answer

Use 5n, where n is an integer. This covers all integer multiples, not only positive ones.

2

Consecutive even integers

Higher only2 marks

Write two consecutive even integers using one letter.

Show worked answer

Use 2n and 2n + 2, where n is an integer. Consecutive even integers differ by 2, not 1.

3

Odd plus even

Higher only3 marks

Prove that an odd integer plus an even integer is odd.

Show worked answer

Let the numbers be 2a + 1 and 2b.

(2a+1)+2b=2(a+b)+1(2a+1)+2b=2(a+b)+1

As a + b is an integer, the result is odd.

4

Odd times odd

Higher only4 marks

Prove that the product of two odd integers is odd.

Show worked answer

Let a, b be integers.

(2a+1)(2b+1)(2a+1)(2b+1) =4ab+2a+2b+1=4ab+2a+2b+1 =2(2ab+a+b)+1=2(2ab+a+b)+1

The bracket is an integer, so the result is odd.

5

Two consecutive integers

Higher only3 marks

Prove that the sum of two consecutive integers is odd.

Show worked answer

Let them be n and n + 1.

n+(n+1)=2n+1n+(n+1)=2n+1

Since n is an integer, the sum is odd.

6

A difference divisible by four

Higher only4 marks

Prove that the difference of the squares of two consecutive odd integers is divisible by 4.

Show worked answer

Use 2n + 1 and 2n + 3.

(2n+3)2(2n+1)2(2n+3)^2-(2n+1)^2 =(4n2+12n+9)(4n2+4n+1)=(4n^2+12n+9)-(4n^2+4n+1) =8n+8=8n+8 =4(2n+2)=4(2n+2)

The bracket is an integer, so the difference is divisible by 4 (in fact, by 8).

7

Consecutive product

Higher only3 marks

Prove that the product of two consecutive integers is even.

Show worked answer

Write the product n(n + 1). Of consecutive integers, one is even: if n is odd, n + 1 is even; if n is even, it already supplies a factor of 2. The product is therefore even.

8

Expand an identity

Higher only3 marks

Prove that (x+3)2(x3)2=12x(x+3)^2-(x-3)^2=12x for every real x.

Show worked answer

Expand both squares, keeping the subtraction bracket.

x2+6x+9(x26x+9)x^2+6x+9-(x^2-6x+9) =x2+6x+9x2+6x9=x^2+6x+9-x^2+6x-9 =12x=12x

Every step is an identity, so it holds for all real x.

9

Disprove a square claim

Higher only2 marks

Disprove: ‘Squaring any positive number makes it bigger.’

Show worked answer

Take x=12x=\frac12. Then x2=14<12x^2=\frac14<\frac12. This positive input gives a smaller square, so the universal claim is false.

10

Finish the reasoning

Higher only2 marks

A proof ends with 7(k+2)7(k+2), where k is an integer. Explain why the result is divisible by 7.

Show worked answer

Since k is an integer, k + 2 is an integer too. The expression is 7 times an integer, so it is a multiple of 7. Merely showing a factor of 7 without the integer condition would not justify integer divisibility.

Examiner-style feedback

Common algebraic proof mistakes

Testing only a few numbers

Examples support a conjecture but cannot prove every integer case.

Using n + 1 for the next odd number

Consecutive odd numbers are two apart: 2n + 1 and 2n + 3.

Stopping at the algebra

Explain why the final form establishes the required property.

30-second recap

Choose, carry out, check

Translate the wording before you reach for a rule.

  1. Define letters and conditions.
  2. Represent the full claim.
  3. Use valid equalities.
  4. State the conclusion from the final form.
Quick answers

Algebraic proof FAQ

Must a proof be long?

No. A short argument is enough if it covers every allowed case and explains the conclusion.

Can a proof use words?

Yes. Words are essential for definitions, cases and explaining what the algebra proves.

Build connected skills

What to revise next

Content standards

Curriculum and rights review

A6 formal algebraic proofs and counterexamples: Higher tier, with explicit integer and real-number domains. Questions, suggested marks, solutions and diagrams are original practice material, not official past-paper questions.

Official specification references