Algebraic Proof (Edexcel IGCSE Maths B): Revision Note

Exam code: 4MB1

Roger B

Written by: Roger B

Reviewed by: Jamie Wood

Updated on

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 Error converting from MathML to accessible text.

    • This may require rewriting the expression

      • and then factorising out a k

    • For example, 7 n squared plus 14 n equals 7 open parentheses n squared plus 2 n close parentheses 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 Error converting from MathML to accessible text.

    • This may require rewriting the expression

      • and then factorising

    • For example, open parentheses 2 n squared plus 7 close parentheses plus open parentheses 6 n plus 2 minus n squared close parentheses equals n squared plus 6 n plus 9 equals open parentheses n plus 3 close parentheses squared 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 Error converting from MathML to accessible text.

    • This may require rewriting the expression

      • and then factorising out a 2

    • For example, 2 n is even

      • and so is 2 open parentheses n squared minus 3 n close parentheses

  • To prove something is odd, show that it can be written as Error converting from MathML to accessible text. or Error converting from MathML to accessible text.

    • For example, 2 n plus 1 is odd

      • and so is 2 n plus 2 open parentheses n minus 1 half close parentheses equals 2 n plus 2 n minus 1 equals 2 open parentheses 2 n close parentheses minus 1

    • 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 Error converting from MathML to accessible text. really is an integer.

  • For example, 2 open parentheses n plus 1 half close parentheses is not even as 1 half 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 fraction numerator 6 n plus 1 over denominator 2 end fraction equals 3 n plus 1 half is not an integer

      • Neither is 7 open parentheses n minus 2 close parentheses plus pi

    • or show that it can be written as an odd number divided by (a multiple of) 2

      • For example fraction numerator 2 n plus 1 over denominator 2 end fraction 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 "n squared is an integer, so n squared minus 1 third 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 7 n squared plus 14 n is a multiple of 7"

Worked Example

Prove that open parentheses 6 n plus 5 close parentheses squared minus open parentheses 6 n minus 5 close parentheses squared is a multiple of 20 for all positive integer values of n.

Answer:

Method 1 (Expanding brackets)

Start by expanding the brackets

table row cell open parentheses 6 n plus 5 close parentheses squared end cell equals cell open parentheses 6 n plus 5 close parentheses open parentheses 6 n plus 5 close parentheses end cell row blank equals cell open parentheses 6 n close parentheses squared plus 6 n cross times 5 plus 5 cross times 6 n plus 5 squared end cell row blank equals cell 36 n squared plus 60 n plus 25 end cell end table

table row cell open parentheses 6 n minus 5 close parentheses squared end cell equals cell open parentheses 6 n minus 5 close parentheses open parentheses 6 n minus 5 close parentheses end cell row blank equals cell open parentheses 6 n close parentheses squared minus 6 n cross times 5 minus 5 cross times 6 n plus open parentheses negative 5 close parentheses squared end cell row blank equals cell 36 n squared minus 60 n plus 25 end cell end table

Substitute that back into the expression

table row cell open parentheses 6 n plus 5 close parentheses squared minus open parentheses 6 n minus 5 close parentheses squared end cell equals cell open parentheses 36 n squared plus 60 n plus 25 close parentheses minus open parentheses 36 n squared minus 60 n plus 25 close parentheses end cell row blank equals cell 36 n squared plus 60 n plus 25 minus 36 n squared plus 60 n minus 25 end cell row blank equals cell 120 n end cell end table

Factorise out a 20

equals 20 open parentheses 6 n close parentheses

That algebraically proves your result

  • But to get full marks explain your reasoning and state your conclusion

open parentheses 6 n plus 5 close parentheses squared minus open parentheses 6 n minus 5 close parentheses squared equals 20 open parentheses 6 n close parentheses
This proves that open parentheses 6 n plus 5 close parentheses squared minus open parentheses 6 n minus 5 close parentheses squared is a multiple of 20.
 

Method 2 (Difference of two squares)

Use the difference of two squares, a squared minus b squared equals open parentheses a plus b close parentheses open parentheses a minus b close parentheses

  • Here a equals 6 n plus 5 and b equals 6 n minus 5

table row cell open parentheses 6 n plus 5 close parentheses squared minus open parentheses 6 n minus 5 close parentheses squared end cell equals cell open parentheses open parentheses 6 n plus 5 close parentheses plus open parentheses 6 n minus 5 close parentheses close parentheses open parentheses open parentheses 6 n plus 5 close parentheses minus open parentheses 6 n minus 5 close parentheses close parentheses end cell row blank equals cell open parentheses 12 n close parentheses open parentheses 10 close parentheses end cell row blank equals cell 120 n end cell end table

Factorise out a 20

equals 20 open parentheses 6 n close parentheses

That algebraically proves your result

  • But to get full marks explain your reasoning and state your conclusion

open parentheses 6 n plus 5 close parentheses squared minus open parentheses 6 n minus 5 close parentheses squared equals 20 open parentheses 6 n close parentheses
This proves that open parentheses 6 n plus 5 close parentheses squared minus open parentheses 6 n minus 5 close parentheses squared is a multiple of 20.

Worked Example

The nth term of a sequence is a subscript n, where a subscript n equals fraction numerator 2 n squared plus 5 n plus 2 over denominator 2 n plus 4 end fraction

By simplifying the expression for a subscript n, 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 fraction numerator 2 n squared plus 5 n plus 2 over denominator 2 n plus 4 end fraction is not an integer for any positive integer n

Start by factorising the top and bottom of the expression

table row cell a subscript n end cell equals cell fraction numerator 2 n squared plus 5 n plus 2 over denominator 2 n plus 4 end fraction end cell row blank equals cell fraction numerator open parentheses 2 n plus 1 close parentheses open parentheses n plus 2 close parentheses over denominator 2 open parentheses n plus 2 close parentheses end fraction end cell end table

Cancel common factors

table row blank equals cell fraction numerator open parentheses 2 n plus 1 close parentheses up diagonal strike open parentheses n plus 2 close parentheses end strike over denominator 2 up diagonal strike open parentheses n plus 2 close parentheses end strike end fraction end cell row blank equals cell fraction numerator 2 n plus 1 over denominator 2 end fraction end cell end table

From here there are two ways to write your conclusion

Method 1

2 n plus 1 is odd because it is one more than an even number

  • and an odd number divided by 2 is never an integer

a subscript n equals fraction numerator 2 n plus 1 over denominator 2 end fraction. space 2 n plus 1 is odd, and an odd number divided by 2 is not an integer. Therefore a subscript n is not an integer for any value of n.

Method 2

Split the expression into two fractions and simplify

table row cell a subscript n end cell equals cell fraction numerator 2 n plus 1 over denominator 2 end fraction end cell row blank equals cell fraction numerator 2 n over denominator 2 end fraction plus 1 half end cell row blank equals cell n plus 1 half end cell end table

That is equal to an integer (n) plus something that is not an integer open parentheses 1 half close parentheses

a subscript n equals n plus 1 half. space n is an integer, so n plus 1 half is not an integer. Therefore a subscript n is not an integer for any value of n.

Unlock more, it's free!

Join the 100,000+ Students that ❤️ Save My Exams

the (exam) results speak for themselves:

Roger B

Author: Roger B

Expertise: Maths Content Creator

Roger's teaching experience stretches all the way back to 1992, and in that time he has taught students at all levels between Year 7 and university undergraduate. Having conducted and published postgraduate research into the mathematical theory behind quantum computing, he is more than confident in dealing with mathematics at any level the exam boards might throw at you.

Jamie Wood

Reviewer: Jamie Wood

Expertise: Maths Content Creator

Jamie graduated in 2014 from the University of Bristol with a degree in Electronic and Communications Engineering. He has worked as a teacher for 8 years, in secondary schools and in further education; teaching GCSE and A Level. He is passionate about helping students fulfil their potential through easy-to-use resources and high-quality questions and solutions.