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
Answer key: Identities, equivalence and algebraic proof worksheet — GCSE Higher
MathsUKwww.geekhero.co.uk
- (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.
- (d) n and n + 1 are consecutive integers, so one of them must be even; this makes n(n + 1) even, so 4n(n + 1) is 4 × an even number, which is a multiple of 8. — The proof needs a reason why n(n + 1) is even, not just an assertion. n and n + 1 are consecutive integers, so exactly one of them is even; multiplying by that even number keeps n(n + 1) even, so 4n(n + 1) = 4 × (an even number), and 4 × an even number always has a further factor of 2 hidden inside it, making the whole product a multiple of 8. The option 'is a multiple of 4, and because n and n + 1 are consecutive integers, it must be a multiple of 8' asserts the multiple-of-8 conclusion directly from 'multiple of 4' and 'consecutive integers' without ever showing that n(n + 1) itself is even — the missing step is exactly what earns the mark. The option '4n is always a multiple of 4 ... which means it is a multiple of 8' mistakes 4n being a multiple of 4 for the whole product 4n(n + 1) being a multiple of 8; that extra factor of 2 only comes from n(n + 1) being even, not from 4n alone. The option that expands to 4n² + 4n and calls it 'clearly a multiple of 8' never checks for a factor of 2 beyond the 4 already there — the word 'clearly' is standing in for a missing argument.
- (a) It is 2(w + (w + 3)) = 4w + 6, not 2w + 3. — The perimeter of a rectangle is twice the width plus twice the length: 2 × w + 2 × (w + 3) = 2w + 2w + 6 = 4w + 6, so the gardener's 2w + 3 is wrong. Writing w + (w + 3) = 2w + 3 forgets to double the sides at all, only adding one width and one length once. Writing 4(w + 3) = 4w + 12 wrongly treats all four sides as equal to the length, as if the garden were a square. Writing 3w + 6 comes from doubling the length correctly but adding the width only once instead of doubling it too.
- (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.
- (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.
- (d) 4x + 5 — A minus sign directly before a bracket changes the sign of both terms inside it: 6x − (2x − 5) = 6x − 2x + 5 = 4x + 5. The option 4x − 5 comes from only changing the sign of the 2x term and not the −5, giving 6x − 2x − 5. The option 8x − 5 comes from adding 2x instead of subtracting it, as if the minus sign did not apply to the bracket, giving 6x + 2x − 5. The option 8x + 5 repeats that same addition mistake and also changes the sign of the −5 term.
- (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) (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.
- (c) 10x − 15 — Expand the bracket first: 3(2x − 5) = 6x − 15. Then add the 4x: 6x − 15 + 4x = 10x − 15. The option 10x − 5 comes from forgetting to multiply the 5 inside the bracket by 3 (treating it as 6x − 5), then adding 4x. The option 10x + 15 comes from a sign error when expanding, treating 3 × (−5) as +15 instead of −15, then adding 4x. The option 6x − 15 comes from expanding the bracket correctly but forgetting to add the 4x term at all.
- (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.
- (a) (2n + 1) + (2n + 3) = 4n + 4 = 4(n + 1) — Two consecutive odd numbers can be written as 2n + 1 and 2n + 3, for a whole number n. Adding them: (2n + 1) + (2n + 3) = 4n + 4 = 4(n + 1), which is a multiple of 4 for every whole number n, proving the general result. Using 2n + 1 twice does not represent two different numbers, so it proves nothing about a sum of two numbers; writing n + (n + 2) drops the +1 that makes the numbers odd in the first place, and only shows a multiple of 2; and check every constant term is added correctly — 1 + 3 is 4, not 3.
- (c) x + 18 — Expand −3(2x − 6) by multiplying both terms by −3: −3 × 2x = −6x and −3 × (−6) = 18, giving 7x − 6x + 18 = x + 18. Writing x − 18 comes from not flipping the sign of the −6 inside the bracket, so −3 × (−6) is treated as −18 instead of +18. Writing x + 6 comes from forgetting to multiply the −6 by 3, only carrying its sign. Writing 13x − 18 comes from treating the whole bracket as being added rather than subtracted, so 3(2x − 6) = 6x − 18 is added to 7x.
- (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.
- (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.
- (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.
Build your own mix at the worksheet builder.