Algebraic proof — Notes & Worked Examples Show / Hide
Explanation:
Never use numerical examples to prove an algebraic statement—you must use general algebra for any integer n: an even number is 2n, an odd number is 2n + 1, consecutive integers are n, n + 1, n + 2, and consecutive odd numbers are 2n + 1, 2n + 3.
Expand and simplify the expression, then factorise out the required multiple (e.g. write 8n + 4 as 4(2n + 1) to prove it is a multiple of 4) and finish with a concluding sentence explaining why the result holds for all integers n.
Example 1: Prove algebraically that the difference between the squares of any two consecutive odd numbers is always a multiple of 8.
Solution:
Example 2: Prove that n2 − 6n + 13 is positive for all real values of n.
Solution:
Worked Solution & Answer
n is an integer.
Prove algebraically that the sum of 12n(n + 1) and 12(n + 1)(n + 2) is always a square number.
Worked Solution & Answer
Worked Solution & Answer
(2n)2 + (2n + 2)2 = 4n2 + 4n2 + 8n + 4 = 8n2 + 8n + 4 = 4(2n2 + 2n + 1), which is a multiple of 4. C1
the sum of the squares of the smallest even number and the largest even number is 8 more than twice the square of the middle even number.
Worked Solution & Answer
Sum of squares of smallest and largest: (2n - 2)2 + (2n + 2)2 = (4n2 - 8n + 4) + (4n2 + 8n + 4) = 8n2 + 8 = 2(2n)2 + 8, which is 8 more than twice the square of the middle even number. C1
2n2(3n + n) + 6n(n2 - 1)
is a cube number.
Worked Solution & Answer
2n2(3n + n) = 2n2 × 3n + 2n2 × n = 6n + 2n3
6n(n2 - 1) = 6n3 - 6n
2. Add the two expressions together: M1
(6n + 2n3) + (6n3 - 6n) = 2n3 + 6n3 + 6n - 6n = 8n3
3. Rewrite as a perfect cube:
8n3 = (2n)3
Since n is a positive integer, 2n is an integer, so (2n)3 is a cube number. A1
Worked Solution & Answer
The integers are multiplied together.
9 is then added.
Prove algebraically that the result is always a square number.
Worked Solution & Answer
n(n + 6) + 9 = n² + 6n + 9 = (n + 3)², which is a square number for any integer n. C1
Worked Solution & Answer
n is an integer greater than 1
Prove algebraically that n2 - 2 - (n - 2)2 is always an even number.
Worked Solution & Answer
Since 2n – 3 is an integer, 2(2n – 3) is always a multiple of 2 (even). C1