Algebraic Proof (Edexcel IGCSE Maths B): Revision Note
Exam code: 4MB1
Algebraic proof
What is algebraic proof?
Algebraic proof means proving a result using algebra
This is different to proving a result by individually testing all possible values
The proofs may require algebraic skills such as
expanding brackets
factorising
collecting like terms
The difference of two squares factorisation can also be helpful
Examiner Tips and Tricks
Algebraic proof questions will usually involve proving things involving integers.
In these questions letters like k, m, and n are used to stand for 'any (positive) integer' rather than for 'any number'.
How do I show that a result is a multiple of a number?
To prove an expression is a multiple of k, show that it can be written as
This may require rewriting the expression
and then factorising out a k
For example,
is a multiple of 7
How do I show that a result is a square number?
To prove an expression is a square number, show that it can be written as
This may require rewriting the expression
and then factorising
For example,
is a square number
How do I show that a result is odd or even?
To prove an expression is even, show that it can be written as
This may require rewriting the expression
and then factorising out a 2
For example,
is even
and so is
To prove something is odd, show that it can be written as
or
For example,
is odd
and so is
This is because one more or one less than an even number is an odd number
Examiner Tips and Tricks
For the examples above, make sure the part inside the brackets marked as really is an integer.
For example,
is not even as
is not an integer
How do I show that a result is (or isn't) an integer?
If n is an integer, then
Any positive power of n is also an integer
I.e., n2, n3, n4, etc. are all integers
Any linear sum or difference of regular integers with multiples or positive powers of n is also an integer
E.g. n+3, n2-2n, and 5n4-3n2-7 are all integers
To show that an expression is an integer, show that it can be written in one of those forms
To show that an expression is not an integer,
show that it can be written as an integer plus or minus something that isn't an integer
For example
is not an integer
Neither is
or show that it can be written as an odd number divided by (a multiple of) 2
For example
is an odd number
This is because half of an odd number is never an integer
Examiner Tips and Tricks
Be sure to explain your reasoning in an algebraic proof question.
For example "
is an integer, so
is not"
It is also important to state your conclusion.
A good trick is to copy word for word the phrases used in the question
For example, "this proves that
is a multiple of 7"
Worked Example
Prove that is a multiple of 20 for all positive integer values of
.
Answer:
Method 1 (Expanding brackets)
Start by expanding the brackets
Substitute that back into the expression
Factorise out a 20
That algebraically proves your result
But to get full marks explain your reasoning and state your conclusion
This proves that is a multiple of 20.
Method 2 (Difference of two squares)
Use the difference of two squares,
Here
and
Factorise out a 20
That algebraically proves your result
But to get full marks explain your reasoning and state your conclusion
This proves that is a multiple of 20.
Worked Example
The th term of a sequence is
, where
By simplifying the expression for , or otherwise, explain why no term in the sequence is an integer.
Show algebraic working and clearly explain your answer.
Answer:
At first glance this may look like a question about sequences
But really it is an algebraic proof question
You need to prove that
is not an integer for any positive integer
Start by factorising the top and bottom of the expression
Cancel common factors
From here there are two ways to write your conclusion
Method 1
is odd because it is one more than an even number
and an odd number divided by 2 is never an integer
.
is odd, and an odd number divided by 2 is not an integer. Therefore
is not an integer for any value of
.
Method 2
Split the expression into two fractions and simplify
That is equal to an integer () plus something that is not an integer
.
is an integer, so
is not an integer. Therefore
is not an integer for any value of
.
Unlock more, it's free!
Was this revision note helpful?