Printable · GCSE Higher · ages 14-16
Identities, equivalence and algebraic proof worksheet — GCSE Higher
Fifteen questions on "identities, equivalence and algebraic proof" — DfE statement A6. Print it, or print three versions so neighbours cannot copy by letter; the key gives the letter for each version.
part HigherNon-calculator
Identities, equivalence and algebraic proof worksheet — GCSE Higher
MathsUKwww.geekhero.co.uk
- 1.A photo printing service has two adverts for its price. Advert A: cost in pounds = 3(2n + 4) for n photos. Advert B: cost in pounds = 6n + 12. A customer says the two adverts always charge the same amount. Is the customer correct?
- 2.A student is asked whether 3(x − 4) = 3x − 4 is an identity. Which statement gives the correct verdict and reason?
- 3.n is an integer. Which of these expressions is always an even number?
- 4.A student says that (x + 4)² is equivalent to x² + 16. For which value of x do the two expressions give the SAME result, making it look (misleadingly) like the student could be right?
- 5.Two expressions are 4(x + 3) and 4x + 3. A student checks whether they are equivalent by substituting x = 2. Which statement correctly interprets the result?
- 6.Which of these is an identity?
- 7.Which expression is equivalent to 3(x + 4) − 2(x − 1)?
- 8.A student claims: 'For every positive integer n, n² + n + 1 is a prime number.' Which value of n shows that this claim is false?
- 9.A proof that (n + 3)² − (n − 3)² is always a multiple of a certain number begins: Line 1: (n + 3)² − (n − 3)² = (n² + 6n + 9) − (n² − 6n + 9). Which expression correctly completes Line 2?
- 10.A student is proving that (n + 1)² − n² is always an odd number. Which of these correctly completes the first line of algebra?
- 11.A student says 4(2x − 3) is equivalent to 8x − 3. Which statement gives the correct verdict and reason?
- 12.A student attempts to prove that the product of two consecutive integers is always even: (i) Let the two consecutive integers be n and n + 1. (ii) Since n(n + 1) is even, one of n and n + 1 must be an even number. (iii) Therefore, n(n + 1) is even. At which statement does the proof first assume the very fact it is trying to prove?
- 13.An equation has exactly one value of x that makes it true, but an identity is true for every value of x. Which of these best explains why 3x + 5 = 20 is an equation rather than an identity?
- 14.Which expression is equivalent to 0.5(4x + 6) − x?
- 15.A proof sets out to show that the sum of the squares of two consecutive odd numbers, written as 2n + 1 and 2n + 3, is always 2 more than a multiple of 8. Four attempts to expand (2n + 1)² + (2n + 3)² and reach a conclusion are shown below. Which attempt correctly proves this claim?
Answer key
- (a) They always charge the same, since 3(2n + 4) = 6n + 12. — Expand Advert A's formula by multiplying both terms inside the bracket by 3: 3 × 2n = 6n, and 3 × 4 = 12, giving 3(2n + 4) = 6n + 12, which is identical to Advert B's formula — so the two adverts always charge the same amount, whatever n is. Getting 6n + 4 comes from multiplying the 2n by 3 but leaving the 4 unmultiplied. Getting 2n + 7 comes from adding 3 to the bracket instead of multiplying by it. Saying it depends on n avoids expanding the bracket at all — once expanded, both formulas are identical for every value of n, so the cost can be compared directly.
- (b) It is not even an ordinary equation with a solution: expanding the left-hand side gives 3x − 12, and 3x − 12 = 3x − 4 would require −12 = −4, which is never true. — Expanding the left-hand side, 3(x − 4) = 3x − 12. Setting this equal to the right-hand side, 3x − 12 = 3x − 4, gives −12 = −4 once the 3x terms are removed from both sides — a statement that is never true, so no value of x satisfies the equation at all, and it is certainly not an identity. The option about substituting a specific value misunderstands algebraic expansion, which holds for every x, not one chosen value. The option matching the first term wrongly assumes that is enough to prove equivalence. The option about multiplying the 4 by 3 on both sides is nonsensical, since there is only one bracket to expand, on the left-hand side.
- (a) n² + n — n² + n = n(n + 1), the product of two consecutive integers. One of any two consecutive integers is always even, so their product is always even, whatever whole number n is. n² − n + 1 = n(n − 1) + 1 is always ODD, since n(n − 1) is even and adding 1 makes it odd — the opposite of what's asked. 2n + 1 is always odd by definition, not even. n² + 1 is not always even at all: it depends on whether n is odd or even, and testing n = 2 gives 5, which is odd.
- (c) x = 0 — Expand (x + 4)² correctly: (x + 4)² = x² + 8x + 16. This equals x² + 16 only when 8x is zero, i.e. when x = 0 — at every other value of x the two expressions differ by 8x. Choosing x = 4 confuses the constant inside the bracket with the value of x that makes the expressions match. Choosing x = −4 makes the same confusion but with the sign flipped. Choosing x = 8 mistakes the coefficient of the middle term, 8x, for the value of x itself.
- (a) 4(x + 3) = 20 and 4x + 3 = 11 when x = 2, so the two expressions are not equivalent, because the bracket means the 3 must be added before multiplying by 4. — Substituting x = 2: 4(x + 3) = 4 × 5 = 20, and 4x + 3 = 8 + 3 = 11. The two values are different, and expanding 4(x + 3) algebraically gives 4x + 12, which can never equal 4x + 3 (that would require 12 = 3) — so the two expressions are never equivalent, for any value of x. The option claiming they become equal for a larger x is wrong: 4x + 12 = 4x + 3 has no solution at all. The option claiming they are equivalent because they share the terms 4x and 3 ignores that the bracket changes the constant term. The option that calculates 4(x + 3) as 11 ignores the bracket completely, applying the 4 only to the x term.
- (a) 2(3x + 1) = 6x + 2 — Expanding 2(3x + 1) = 6x + 2 gives an expression that matches the right-hand side exactly for every value of x — it is an identity. 4x − 3 = 3x + 5 is an ordinary equation with one solution, x = 8. 7 − x = x − 7 is also an ordinary equation with one solution, x = 7. 5x + 1 = 5(x + 1) never holds for any value of x at all, since expanding the right-hand side gives 5x + 5, and 5x + 1 = 5x + 5 would require 1 = 5, which is impossible.
- (a) x + 14 — Expand each bracket separately: 3(x + 4) = 3x + 12, and −2(x − 1) = −2x + 2 (multiply −2 by both x and −1). Combine: 3x + 12 − 2x + 2 = x + 14. Writing x + 10 comes from taking −2(x − 1) as −2x − 2, not flipping the sign of the −1 inside the bracket. Writing 5x + 10 comes from treating the second bracket as +2(x − 1) instead of subtracting it, so the x-terms are added rather than subtracted. Writing x + 13 comes from only multiplying the 2 by the x, and carrying the −1 across unmultiplied.
- (c) n = 4 — Testing n = 4: 4² = 16, and 16 + 4 + 1 = 21, and 21 = 3 × 7 is not a prime number, so this value disproves the claim. Testing n = 1: 1² = 1, and 1 + 1 + 1 = 3, which is prime, so it does not disprove the claim. Testing n = 2: 2² = 4, and 4 + 2 + 1 = 7, which is prime. Testing n = 3: 3² = 9, and 9 + 3 + 1 = 13, which is also prime — a counterexample has to give a result that isn't prime, and only n = 4 does that.
- (b) 12n — Distributing the minus sign across the second bracket gives n² + 6n + 9 − n² + 6n − 9, and the n² terms and the +9/−9 cancel, leaving 6n + 6n = 12n. Writing 18 comes from only negating the first term of the second bracket, n², and treating the −6n and +9 as unchanged, which gives n² + 6n + 9 − n² − 6n + 9 = 18. Writing 2n² + 18 comes from adding the two brackets instead of subtracting them, (n² + 6n + 9) + (n² − 6n + 9) = 2n² + 18. Writing 6n comes from correctly negating the bracket but then only counting one of the two 6n terms, missing that they add rather than cancel.
- (b) (n + 1)² − n² = 2n + 1 — (n + 1)² = n² + 2n + 1, so (n + 1)² − n² = n² + 2n + 1 − n² = 2n + 1, which is odd because it is one more than the even number 2n. Expanding (n + 1)² as n² + 1 uses the false rule (a + b)² = a² + b², and subtracting n² from that leaves just 1 — always expand (a + b)² as a² + 2ab + b². Writing n² + 2n + 1 expands correctly but never carries out the subtraction of n². Writing 2n forgets the constant term left after subtracting.
- (a) False — 4(2x − 3) = 8x − 12, not 8x − 3. — Expand the bracket by multiplying both terms by 4: 4 × 2x = 8x and 4 × (−3) = −12, so 4(2x − 3) = 8x − 12, which is not 8x − 3 — the student is wrong. Saying 4(2x − 3) = 8x − 3 comes from multiplying only the 2x by 4 and copying the −3 across unchanged. Saying 4(2x − 3) = 2x − 12 comes from multiplying only the −3 by 4 and leaving 2x unmultiplied. Claiming it is true because both expressions are linear ignores that equivalence depends on the actual coefficients, not the type of expression.
- (c) Statement (ii) — Statement (ii) opens with 'Since n(n + 1) is even', treating the very fact the proof is meant to establish as if it were already known — that is circular reasoning, assuming the conclusion to help derive itself. Statement (i) only names the two consecutive integers as n and n + 1; it makes no claim about whether their product is even, so it introduces nothing circular. Statement (iii) states the conclusion, and would be a valid final step if statement (ii) had reached 'one of n and n + 1 is even' by a genuine argument, such as considering the cases where n is even or odd separately. Saying the proof assumes nothing circular is wrong, because statement (ii)'s opening clause is exactly that assumption.
- (c) Only x = 5 satisfies 3x + 5 = 20, not every value of x. — 3x + 5 = 20 is only true when x = 5, since 3 × 5 + 5 = 20; for any other value of x the two sides are not equal, so it is an equation, not an identity. Saying it cannot be simplified confuses simplifying with the equation/identity distinction, which is about how many values of x make it true. Saying it has an = sign is not a valid test, since identities are also written with an = or ≡ sign. A number on the right-hand side does not decide it either — what matters is whether both sides match for every value of x, not the form of the right-hand side.
- (c) x + 3 — Expand the bracket: 0.5(4x + 6) = 2x + 3. Then subtract the x: 2x + 3 − x = x + 3. The option 2x + 3 comes from expanding the bracket correctly but then forgetting to subtract the x at all. The option x + 6 comes from forgetting to multiply the 6 inside the bracket by 0.5 (treating it as 2x + 6), then subtracting x. The option 3x + 3 comes from adding the x instead of subtracting it: 2x + 3 + x = 3x + 3.
- (c) (2n + 1)² + (2n + 3)² = (4n² + 4n + 1) + (4n² + 12n + 9) = 8n² + 16n + 10 = 8(n² + 2n + 1) + 2, and n² + 2n + 1 is an integer, so the sum is always 2 more than a multiple of 8. — Expand each square carefully: (2n + 1)² = 4n² + 4n + 1 and (2n + 3)² = 4n² + 12n + 9, since the cross term is 2 × 2n × 3 = 12n. Adding gives 8n² + 16n + 10, and factorising out 8 from every term that can hold one gives 8(n² + 2n + 1) + 2; since n² + 2n + 1 is always an integer, the sum is always 2 more than a multiple of 8. The attempt reaching 8(n² + 2n) + 10 has the correct expansion but stops the factorisation one step early — it never pulls a further 8 out of the 10 (10 = 8 + 2), so 'always 10 more than a multiple of 8' should be reduced to 'always 2 more than a multiple of 8'. The attempt reaching 2(4n² + 8n + 5) also has the correct expansion, and the factorisation is true, but 'always even' only shows the sum is a multiple of 2 — being even is necessary but nowhere near sufficient to be a multiple of 8, and the argument never finds the extra factor of 4. The fourth attempt makes an expansion slip, using (2n + 3)² = 4n² + 9 instead of 4n² + 12n + 9 — dropping the 12n cross term entirely — so it works from the wrong expression 8n² + 4n + 10 throughout, and no amount of correct working afterwards can recover the right conclusion.
Build your own mix at the worksheet builder.