Websink Prep UKGCSE MathsTextbook contentsMaths textbooksYear 1Year 2Year 4Year 5Year 6GCSEBrowse allPast papersFind a tutorBecome a tutor
GCSE Maths · EdexcelChapter 7 · Algebra basics
GCSE Maths · Algebra Basics · Foundation · Lesson 7.9

GCSE Maths: Identities and algebraic proof (Foundation)

Part of the GCSE Maths algebra basics chapter (Foundation). Chapter overview · Higher version of this lesson · whole chapter on one page · Download worksheet (PDF) · Answers (PDF)

Download worksheet (PDF)Answers (PDF)
7.9

Identities and algebraic proof

Edexcel 1MA1: A3, A6
Grade 4-9

In Section 7.1 you met the words equation and identity. Now we use them properly.

An equation such as 2x + 1 = 9 is true only for particular values of x. (Here only x = 4 works.) You solve an equation to find those values.

An identity such as 2(x + 3) ≡ 2x + 6 is true for every value of x. Try x = 1: 8 and 8. Try x = 10: 26 and 26. The sign ≡ means “is identically equal to”. You do not solve an identity. Instead you show that both sides are the same by expanding, simplifying or factorising.

How do you tell the difference? Simplify both sides. If they turn into exactly the same expression it is an identity. If they do not, it is an equation. Trying a few numbers is not enough to prove an identity: 3x = 12 is true for x = 4 but it is an equation, not an identity. Numbers can only disprove an identity: one value where the two sides differ is enough.

Showing that two expressions are equivalent

In a “show that” question you are told the answer and you must explain how to get there. Pick the side that looks more complicated. Expand brackets, collect like terms or factorise until you reach the other side. Write every step and finish with a sentence.

Using algebra to support an argument

Algebra lets us prove statements about all numbers at once. Testing 3 + 5 = 8 and 7 + 9 = 16 shows that the sum of two odd numbers seems to be even, but it does not prove it. To prove it, use letters:

IdeaAlgebra
any integer (whole number)n
consecutive integersn, n + 1, n + 2, …
an even number2n
an odd number2n + 1 (or 2n − 1)
consecutive even numbers2n, 2n + 2, 2n + 4, …
consecutive odd numbers2n + 1, 2n + 3, …
a multiple of 33 × (an integer), like 3k

If two different numbers are needed, use two different letters (m and n), because the two numbers do not have to be related. A proof always follows the same plan: (1) write the numbers using letters, (2) write the expression, (3) simplify it, (4) show it has the required form, (5) write a conclusion in words.

n × n = n²11n1n1orange L-shape = (n + 1)² − n² = n + n + 1 = 2n + 1
A picture proof that (n + 1)2 − n2 = 2n + 1: the L-shape is made of n + n + 1 small squares.

Disproving with a counter-example

To show that a statement is false, you only need one example where it fails. This is called a counter-example. For instance “the sum of two odd numbers is odd” is false: 3 + 5 = 8, which is even.

Key ideas

  • An equation is true for particular values; an identity (≡) is true for all values.
  • To show an identity, expand or factorise until both sides match. Testing numbers is not a proof.
  • Even: 2n. Odd: 2n + 1. Consecutive integers: n, n + 1, n + 2. Use different letters for different numbers.
  • To prove a multiple of k, show the expression can be written as k × (an integer).
  • One counter-example is enough to prove a statement false.
Worked example 7.9.1
Is 3(x + 2) = 3x + 6 an equation or an identity?

Key words. An equation can be solved: it is true only for particular values of the letter. An identity is true for every value of the letter.

Method. An identity is true for every value of the letter, an equation is true only for some values. Simplify both sides and compare.

  1. Simplify both sides as far as possible. If both sides turn into exactly the same expression then they are equal for every value of x. Expand any brackets and collect like terms.
    Left side: 3(x + 2) = 3x + 6
    Right side: 3x + 6 = 3x + 6
  2. Compare the two sides. They are identical, so the statement is true for every value of x. That is what an identity is. (It is often written with the sign ≡.)
    3x + 6 and 3x + 6 are the same. ✓
  3. State the answer. Both sides are identical, so the statement is true for every value of x.
    It is an identity.

Check. Test two values: x = 2: left = 12, right = 12; x = 5: left = 21, right = 21. They match each time (this supports the answer, but the expanding above is what proves it). ✓

Watch out. Checking one value is never enough to prove an identity: an equation can also be true for one special value.

Worked example 7.9.2
Is (x + 1)2 = x2 + 1 an equation or an identity?

Key words. An equation can be solved: it is true only for particular values of the letter. An identity is true for every value of the letter.

Method. An identity is true for every value of the letter, an equation is true only for some values. Simplify both sides and compare.

  1. Simplify both sides as far as possible. If both sides turn into exactly the same expression then they are equal for every value of x. Expand any brackets and collect like terms.
    Left side: (x + 1)2 = x2 + 2x + 1
    Right side: x2 + 1 = x2 + 1
  2. Compare the two sides. They are different expressions, so they cannot be equal for every value of x.
    x2 + 2x + 1 and x2 + 1 are not the same.
  3. Find a value that shows they are not always equal. One value that makes the two sides different is enough to show it is not an identity.
    Try x = 1: left side = 4, right side = 2. These are different.
  4. Conclude. A statement that is true only for particular values is an equation.
    It is an equation: it is true only when x = 0.

Check. Put x = 0 into both sides: left = 1 and right = 1, which are equal. ✓

Watch out. Checking one value is never enough to prove an identity: an equation can also be true for one special value.

Worked example 7.9.3
Show that (x + 4)2 − 16 ≡ x(x + 8).

Method. Work on the more complicated side (the left). Expand, collect like terms, and factorise, to reach the right side.

  1. Start with the left side. It has a squared bracket, so it is the complicated side.
    (x + 4)2 − 16
  2. Write the squared bracket as two brackets. (x + 4)2 means (x + 4)(x + 4).
    (x + 4)2 − 16 = (x + 4)(x + 4) − 16
  3. Expand the brackets. Multiply every term by every term: x2, 4x, 4x and 16.
    (x + 4)(x + 4) − 16 = x2 + 4x + 4x + 16 − 16
  4. Collect like terms. 4x + 4x = 8x and 16 − 16 = 0.
    x2 + 4x + 4x + 16 − 16 = x2 + 8x
  5. Factorise. x is a common factor of x2 and 8x.
    x2 + 8x = x(x + 8)
  6. Write the conclusion. The last line must be the right side of the question.
    The left side simplifies to x(x + 8), which is the right side. So (x + 4)2 − 16 ≡ x(x + 8). ✓

Check. Test x = 2: left side (2 + 4)2 − 16 = 36 − 16 = 20 and right side 2 × (2 + 8) = 20. ✓ (Testing supports the answer but it is the algebra above that proves it.)

Watch out. Do not start with both sides and "do the same to both". Start with one side and change it into the other.

Worked example 7.9.4
Prove that the sum of three consecutive integers is a multiple of 3.

Key words. An integer is a whole number (it can be positive, negative or zero). Consecutive integers follow one another, like 7, 8, 9. A multiple of 3 is 3 times a whole number. To prove a statement is true for all numbers you must use algebra, because examples can only support a statement.

Method. Use letters for the numbers, write the expression, simplify it, and show that it has the form needed (for example 3 × an integer). Then write a conclusion.

  1. Use a letter for the first integer. Let n be any integer. The next two integers are 1 more and 2 more.
    The three integers are n, n + 1, n + 2.
  2. Write the sum. Add the three numbers.
    n + (n + 1) + (n + 2)
  3. Simplify by collecting like terms. There are three ns and the numbers 1 and 2.
    n + (n + 1) + (n + 2) = 3n + 3
  4. Factorise to show a multiple of 3. A multiple of 3 is 3 times a whole number, so take out the common factor 3.
    3n + 3 = 3(n + 1)
  5. Write the conclusion. A proof must finish with a sentence in words that says what has been shown and why.
    n is an integer, so n + 1 is also an integer. Therefore 3(n + 1) is 3 multiplied by an integer, so it is a multiple of 3. The sum of any three consecutive integers is a multiple of 3. ✓

Check. Test with 7, 8, 9: the sum is 24 = 3 × 8. The formula 3(n + 1) with n = 7 is 3 × 8 = 24. ✓

Watch out. "Let n be any integer" is the start of nearly every proof. Do not choose a particular number.

Worked example 7.9.5
Prove that the sum of any two odd numbers is even.

Key words. An integer is a whole number (it can be positive, negative or zero). Consecutive integers follow one another, like 7, 8, 9. A multiple of 3 is 3 times a whole number. To prove a statement is true for all numbers you must use algebra, because examples can only support a statement.

Method. Use letters for the numbers, write the expression, simplify it, and show that it has the form needed (for example 3 × an integer). Then write a conclusion.

  1. Write each odd number using a letter. An even number is 2 × an integer. An odd number is one more than an even number. The two odd numbers do not have to be linked, so use different letters m and n.
    The odd numbers are 2m + 1 and 2n + 1, where m and n are integers.
  2. Write the sum.
    (2m + 1) + (2n + 1)
  3. Simplify. Collect like terms: 2m + 2n + 1 + 1.
    (2m + 1) + (2n + 1) = 2m + 2n + 2
  4. Factorise to show it is even. An even number is 2 × an integer.
    2m + 2n + 2 = 2(m + n + 1)
  5. Write the conclusion. A proof must finish with a sentence in words that says what has been shown and why.
    m + n + 1 is an integer, so 2(m + n + 1) is 2 multiplied by an integer. So it is even. The sum of any two odd numbers is even. ✓

Check. Test with 3 and 9: 3 + 9 = 12, which is 2 × 6. With m = 1, n = 4: 2(1 + 4 + 1) = 12. ✓

Watch out. Using the same letter for both numbers would only prove the result for equal odd numbers.

Watch out

Checking a few numbers is not a proof. 2x = x + 4 works for x = 4, but it is an equation. In a proof, start with letters (“let n be any integer”), never with particular numbers. And make sure the last line says what has been shown, in words: “so this is a multiple of 3”.

Exercise 7J  Identities and proof

Non-calculator
1
FFor each statement, say whether it is an equation or an identity. Give a reason.
(a)3(x + 2) = 3x + 6
(b)2x + 5 = 11
(c)x2 − 9 = (x − 3)(x + 3)
(d)4x = x + 12
(e)(x + 1)2 = x2 + 1
(f)5x − 2x = 3x
2
FShow that each identity is true.
(a)2(x + 5) + 3 ≡ 2x + 13
(b)4(x + 3) − 2(x + 1) ≡ 2x + 10
(c)x(x + 3) − 3x ≡ x2
(d)3(2x − 1) − 6x ≡ −3
3
RShow that the sum of any four consecutive even numbers is a multiple of 4.
4
RShow that the sum of any two even numbers is even.
5
RShow that the product of an odd number and an even number is always even.
6
RChen says: “The sum of any two odd numbers is odd.” Give a counter-example to show that Chen is wrong.
7
PSBeth says: “Think of a number. Double it. Add 6. Halve the answer. Subtract the number you first thought of. The answer is always 3.” Use algebra to show that Beth is right.
8
PSThink of a number. Add 4. Multiply the answer by 3. Subtract 12. Divide by 3. Show that you always end up with the number you started with.
9
Rn is an integer. Explain why 2n is always even and 2n + 1 is always odd.
10
RShow that (x + 3)2 − 9 ≡ x(x + 6).
11
RMia says that (x + 2)2 ≡ x2 + 4 for all values of x. Is Mia right? Explain.
12
RShow that the sum of an odd number and an even number is always odd.

Websink Prep UK is an independent site. It is not affiliated with, endorsed by or sponsored by AQA, Pearson Edexcel, OCR, WJEC, Eduqas, CCEA, SQA, GL Assessment, CEM or the Department for Education. All exam board names and trademarks belong to their owners. Past papers are linked from the exam boards' own websites and are not hosted here.

About Websink Prep UK · Find a tutor · Privacy · Terms · Cookie settings