What is algebraic proof and why is it important in Edexcel IGCSE Mathematics?

Algebraic proof is a method of demonstrating the truth of a mathematical statement using algebraic techniques and logical reasoning. It is important in Edexcel IGCSE Mathematics because it helps students develop critical thinking skills and understand the underlying principles of equations, formulae, and identities. By mastering algebraic proof, students can solve complex problems and validate mathematical concepts.

How do you prove an identity using algebraic proof in the Edexcel IGCSE curriculum?

To prove an identity using algebraic proof, you need to show that both sides of the equation are equivalent for all values of the variable. This involves manipulating one or both sides of the equation using algebraic techniques such as expanding, factoring, or simplifying expressions. The goal is to transform one side to match the other, thereby proving the identity is true.

What are common mistakes to avoid when constructing an algebraic proof?

Common mistakes in algebraic proof include assuming what you are trying to prove, not justifying each step logically, and making algebraic errors such as incorrect simplification or factorization. To avoid these, ensure each step is based on valid mathematical principles and double-check calculations to maintain accuracy throughout the proof.

Can you provide an example of a simple algebraic proof problem and its solution?

Certainly! Consider proving the identity (a + b)^2 = a^2 + 2ab + b^2. Start by expanding the left side: (a + b)(a + b) = a(a + b) + b(a + b) = a^2 + ab + ab + b^2 = a^2 + 2ab + b^2. Both sides are now identical, proving the identity is true.

What strategies can help in solving algebraic proof questions effectively?

Effective strategies for solving algebraic proof questions include understanding the properties of numbers and operations, practicing different algebraic techniques, and breaking down complex problems into simpler parts. Additionally, reviewing past Edexcel IGCSE exam questions can provide insight into common proof problems and enhance problem-solving skills.

Why is "Proving with specific examples instead of in general" a common mistake in Algebraic Proof?

Why it happens: Examples seem convincing. How to avoid it: PROOF requires GENERALITY. Use letters (n, x) for arbitrary values, not specific numbers. 'For n = 3' is not a proof.

Why is "Not stating the conclusion clearly" a common mistake in Algebraic Proof?

Why it happens: Working ends; student forgets to conclude. How to avoid it: End with: 'QED', 'as required', '', or 'which is divisible by 3' — make the conclusion explicit.

Why is "Choosing variables that complicate the algebra" a common mistake in Algebraic Proof?

Why it happens: First instinct. How to avoid it: For 'three consecutive integers', try n - 1, n, n + 1 (centered) instead of n, n + 1, n + 2. Often simpler.

Equations, Formulae and IdentitiesEdexcel IGCSE Mathematics (4MA1)

Algebraic Proof

Work through the notes, try the practice questions, then take the quiz. The report tells you exactly what to revise next.

PreviousNext

Learn this Topic

Start with the slides for the quick version, then go deeper with the full study notes.

Short Study Notes in the form of Slides

Read the notes first. If the method in a worked example clicks, you're ready for the questions.

Page 1 / 0

Detailed Study Notes

Full prose, callouts and a recap — built for A* mastery, not just a quick scan.

Take these study notes with you

Download a branded PDF — full prose, callouts, recap and memorise list for Algebraic Proof, ready to print or save offline.

Algebraic Proof Study Notes — Edexcel IGCSE 4MA1 Higher Tier (2026 onwards)

Use algebra to prove identities and properties of integers. A* topic — uncommon but worth marks when it appears.

What you’ll learn

Mapped to the Cambridge IGCSE 4MA1 syllabus (2026 onwards).

2.9 — Prove algebraic identities.
2.9 — Prove properties of integers (oddness, evenness, divisibility).
2.9 — Use general variables to argue for all cases.

Proving identities

Expand both sides until they match. State QED.

An identity is an equation true for ALL values of the variable.

To prove an identity:

Take the LHS.
Expand and simplify.
Show it equals the RHS.

Example. Prove $(2n + 1)^{2} - (2n - 1)^{2} = 8n$ .

LHS: $(2n + 1)^{2} - (2n - 1)^{2}$ $= (4n^{2} + 4n + 1) - (4n^{2} - 4n + 1)$ $= 4n^{2} + 4n + 1 - 4n^{2} + 4n - 1$ $= 8n$ .

LHS = RHS. QED.

Difference of squares trick.

Often $(a + b)^{2} - (a - b)^{2}$ simplifies via the identity $(a + b)^{2} - (a - b)^{2} = 4ab$ . (Where $a = 2n, b = 1$ gives $4(2n)(1) = 8n$ .)

Worked qualitative. Why prove identities algebraically?

Numerical examples are not proofs.
$\sin^{2} + \cos^{2} = 1$ for $\theta = 30°, 45°, 60°$ — but this is just verification.
Algebraic proof works for ALL angles.

Edexcel tip. Always work from one side to the other. Don't 'meet in the middle' — that's circular reasoning.

Identity: true for all values.
Expand and simplify LHS.
Match to RHS.
QED at the end.

Properties of integers

Set up with letters; manipulate to show desired structure.

Standard variable choices:

Set	Variable choice
Two consecutive integers	$n, n+1$
Three consecutive integers	$n-1, n, n+1$ (symmetric) or $n, n+1, n+2$
Two consecutive even integers	$2n, 2n+2$
Two consecutive odd integers	$2n+1, 2n+3$
Even integer	$2n$
Odd integer	$2n + 1$

Example: Prove three consecutive integers sum to a multiple of $3$ .

Let them be $n-1, n, n+1$ .
Sum: $(n-1) + n + (n+1) = 3n$ .
$3n$ is divisible by $3$ . QED.

Example: Difference of squares of two consecutive integers is odd.

Two consecutive: $n, n+1$ .
Difference of squares: $(n+1)^{2} - n^{2} = 2n + 1$ .
$2n + 1$ is odd. QED.

Example: Sum of squares of consecutive odds is even.

Two consecutive odd: $2n+1, 2n+3$ .
Sum of squares: $(2n+1)^{2} + (2n+3)^{2}$ $= 4n^{2} + 4n + 1 + 4n^{2} + 12n + 9$ $= 8n^{2} + 16n + 10 = 2(4n^{2} + 8n + 5)$ .
This is $2 \times$ integer = even. QED.

Worked qualitative. Why use $n-1, n, n+1$ instead of $n, n+1, n+2$ ?

Symmetric choice often simplifies.
$(n-1) + n + (n+1) = 3n$ is cleaner than $n + (n+1) + (n+2) = 3n + 3$ .
Both work; choose the simpler.

Edexcel tip. Always START by defining variables: 'Let $n$ be an integer'. This earns the M1.

Define variables symbolically.
Even = $2n$ . Odd = $2n+1$ .
Consecutive: $n, n+1$ or symmetric.
Show structure (factor out, manipulate).

'Show that' problems

Algebra to verify a stated equation.

'Show that' questions ask you to verify an algebraic equation by manipulation.

Method:

Start from one side (usually the messier one).
Expand, simplify, factor as appropriate.
Reach the form on the other side.

Example. Show that $(x + 2)(x - 1)(x - 3) = x^{3} - 2x^{2} - 5x + 6$ .

LHS: Expand step by step. $(x + 2)(x - 1) = x^{2} + x - 2$ . $(x^{2} + x - 2)(x - 3) = x^{3} - 3x^{2} + x^{2} - 3x - 2x + 6 = x^{3} - 2x^{2} - 5x + 6$ .

LHS = RHS. QED.

Worked qualitative. What's the difference between 'solve' and 'show that'?

'Solve' asks for value of $x$ .
'Show that' asks you to PROVE a given equation/identity.
Different tasks; different approaches.

Edexcel tip. ALL working must be shown for 'show that' questions. Mark schemes specifically deduct for missing steps.

Start from one side.
Manipulate to reach the other.
ALL steps shown.
Conclude clearly.

How it’s examined

Algebraic proof appears Paper 2H (3-5 marks). Less common than other Topic 2 areas but reliable for A* grades. Examiner reports flag (1) using specific examples instead of general, (2) missing the conclusion, (3) poor variable choice complicating the proof.

Sources: Pearson Edexcel International GCSE Mathematics A 4MA1 specification (2026 onwards); 4MA1 Examiner Reports — Jan and May/Jun 2022-2024 series; Past Papers — 4MA1/2H May/Jun 2024. Last reviewed 2026-05-07.

Master this Topic

Worked examples, formulae, definitions and the mistakes examiners flag — everything you need to push from a pass to an A*.

Take this whole topic with you

Download a branded revision sheet — worked examples, formulae, definitions and common mistakes for Algebraic Proof, ready to print or save as PDF.

Step-by-step worked examples — Algebraic Proof

Step-by-step solutions to past-paper-style questions on algebraic proof, written exactly the way a tutor would explain them at the board.

1Prove an identity
Higher• proof, identity
Question
Prove that $(2n + 1)^{2} - (2n - 1)^{2} = 8n$ for all integers $n$ .
Step-by-step solution
1. Step 1
  Expand the LHS: $(2n + 1)^{2} = 4n^{2} + 4n + 1$ .
2. Step 2
  $(2n - 1)^{2} = 4n^{2} - 4n + 1$ .
3. Step 3
  Subtract: $(4n^{2} + 4n + 1) - (4n^{2} - 4n + 1) = 8n$ .
4. Step 4
  LHS = RHS. QED.
Answer
$8n$
Examiner tip
Always START with the LHS, work to match RHS. State QED or '∎' to indicate proof is complete.
2Prove a divisibility property
Higher• Adapted from 4MA1/2H May/Jun 2024 Q22• proof, divisibility
Question
Prove that the difference between the squares of two consecutive integers is always odd.
Step-by-step solution
1. Step 1
  Let two consecutive integers be $n$ and $n + 1$ .
2. Step 2
  Difference of squares: $(n + 1)^{2} - n^{2}$ .
3. Step 3
  Expand: $n^{2} + 2n + 1 - n^{2} = 2n + 1$ .
4. Step 4
  $2n + 1$ is one more than an even number, so it's ODD. QED.
Answer
Difference is $2n + 1$ , always odd.
Examiner tip
Define variables CAREFULLY. 'Two consecutive integers $n$ and $n + 1$ ' is the standard setup. Mark schemes credit this clarity.
3Prove an expression is a multiple of $n$
Higher• proof, multiple
Question
Prove that the sum of three consecutive integers is always a multiple of $3$ .
Step-by-step solution
1. Step 1
  Let three consecutive integers be $n - 1, n, n + 1$ .
2. Step 2
  Sum: $(n - 1) + n + (n + 1) = 3n$ .
3. Step 3
  $3n$ is divisible by $3$ . QED.
Answer
Sum is $3n$ , a multiple of $3$ .
Examiner tip
Choosing variables symmetrically ( $n - 1, n, n + 1$ ) often simplifies proofs. Try this pattern when you see 'three consecutive'.
4Show that — algebraic manipulation
Higher• proof, show that
Question
Show that $(x + 4)(x + 2)(x - 3) = x^{3} + 3x^{2} - 10x - 24$ .
Step-by-step solution
1. Step 1
  Expand the first two: $(x + 4)(x + 2) = x^{2} + 6x + 8$ .
2. Step 2
  Multiply by $(x - 3)$ :
  $(x^{2} + 6x + 8)(x - 3) = x^{3} - 3x^{2} + 6x^{2} - 18x + 8x - 24$
3. Step 3
  Simplify: $x^{3} + 3x^{2} - 10x - 24$ . ✓
Answer
Verified.

Key Definitions and Keywords — Algebraic Proof

Definitions to memorise and the exact keywords mark schemes credit for algebraic proof answers — sharpened from recent examiner reports for the 2026 Pearson Edexcel IGCSE 4MA1 sitting.

Proof
Examiner keyword
A logical demonstration that a statement is true for ALL specified cases.
Consecutive integers
Integers that follow one another. Often written $n, n+1, n+2, \ldots$ or $n-1, n, n+1, \ldots$ .
Example
$5, 6, 7$ are three consecutive integers.
Even / Odd integer
Examiner keyword
Even: $2n$ for some integer $n$ . Odd: $2n + 1$ (or $2n - 1$ ).

Common Mistakes and Misconceptions — Algebraic Proof

The traps other students keep falling into on algebraic proof questions — taken from recent Pearson Edexcel IGCSE 4MA1 examiner reports and mark schemes — and how to avoid them.

✕Proving with specific examples instead of in general
Why it happens
Examples seem convincing.
How to avoid it
PROOF requires GENERALITY. Use letters ( $n, x$ ) for arbitrary values, not specific numbers. 'For $n = 3$ ' is not a proof.
✕Not stating the conclusion clearly
Why it happens
Working ends; student forgets to conclude.
How to avoid it
End with: 'QED', 'as required', ' $\therefore$ ', or 'which is divisible by $3$ ' — make the conclusion explicit.
✕Choosing variables that complicate the algebra
Why it happens
First instinct.
How to avoid it
For 'three consecutive integers', try $n - 1, n, n + 1$ (centered) instead of $n, n + 1, n + 2$ . Often simpler.

Practice questions

Exam-style questions with step-by-step worked solutions. Try one before checking the method.

Past paper style quiz

Get a report showing which sub-topics you've nailed and which ones still need work.

Video lesson

Short walkthrough of the concepts students most often get stuck on.

Algebraic Proof — frequently asked questions

The things students keep getting wrong in this sub-topic, answered.

An identity is an equation true for ALL values of the variable.

To prove an identity:

Take the LHS.
Expand and simplify.
Show it equals the RHS.

Example. Prove $(2n + 1)^{2} - (2n - 1)^{2} = 8n$ .

LHS: $(2n + 1)^{2} - (2n - 1)^{2}$ $= (4n^{2} + 4n + 1) - (4n^{2} - 4n + 1)$ $= 4n^{2} + 4n + 1 - 4n^{2} + 4n - 1$ $= 8n$ .

LHS = RHS. QED.

Difference of squares trick.

Often $(a + b)^{2} - (a - b)^{2}$ simplifies via the identity $(a + b)^{2} - (a - b)^{2} = 4ab$ . (Where $a = 2n, b = 1$ gives $4(2n)(1) = 8n$ .)

Worked qualitative. Why prove identities algebraically?

Numerical examples are not proofs.
$\sin^{2} + \cos^{2} = 1$ for $\theta = 30°, 45°, 60°$ — but this is just verification.
Algebraic proof works for ALL angles.

Edexcel tip. Always work from one side to the other. Don't 'meet in the middle' — that's circular reasoning.

Set

Variable choice

Two consecutive integers

n, n+1

Three consecutive integers

n-1, n, n+1

(symmetric) or

n, n+1, n+2

Two consecutive even integers

2n, 2n+2

Two consecutive odd integers

2n+1, 2n+3

Even integer

2n

Odd integer

2n + 1

Algebraic Proof

Short Study Notes in the form of Slides

Detailed Study Notes

What you’ll learn

How it’s examined

1Prove an identity

2Prove a divisibility property

3Prove an expression is a multiple of nnn

4Show that — algebraic manipulation

Proof

Consecutive integers

Even / Odd integer

✕Proving with specific examples instead of in general

✕Not stating the conclusion clearly

✕Choosing variables that complicate the algebra

Practice questions

Past paper style quiz

Assess your understanding

Video lesson

Algebraic Proof — frequently asked questions

Algebraic Proof

Short Study Notes in the form of Slides

Detailed Study Notes

What you’ll learn

How it’s examined

1Prove an identity

2Prove a divisibility property

3Prove an expression is a multiple of nnn

4Show that — algebraic manipulation

Proof

Consecutive integers

Even / Odd integer

✕Proving with specific examples instead of in general

✕Not stating the conclusion clearly

✕Choosing variables that complicate the algebra

Practice questions

Past paper style quiz

Assess your understanding

Video lesson

Algebraic Proof — frequently asked questions

3Prove an expression is a multiple of $n$

3Prove an expression is a multiple of $n$