Key points about algebraic reasoning and proof
Proof is a way to show a statement is always true by using worded or algebraic reasoning.
A An example to show a rule does not work all the time. can be used to show a statement is not always true.
βββββββHigher tier β There are algebraic ways to describe odd, even and consecutive integers, which are needed for some proofs.
Refresh your knowledge around this topic with this guide on expanding brackets and simplifying expressions. β
Check your understanding
How to use algebra to demonstrate an argument
To argue mathematically, a statement must be backed up with evidence.
Examples can be used to demonstrate that rules are true for certain numbers. However, to prove a rule is true all the time, a clear, logical argument using words or algebra is needed.
Many proofs involve odd and even numbers. There are specific rules that apply:ββββ
| Adding | Multiplying |
|---|---|
| βeven + even = even | βeven Γ even = even |
| βodd + odd = even | βodd Γ odd = odd |
| even + odd = odd | βeven Γ odd = even |
| βodd + even = odd | βodd Γ even = evenβ |
An example that disproves a rule is called a An example to show a rule does not work all the time.. Finding one counterexample is enough to disprove a rule.βββ
ββAn ββAn equation that is true no matter what values are chosen. The identity symbol β‘ links expressions that are identities.β shows two A mathematical sentence expressed either numerically or symbolically made up of one or more terms, eg 8 + 2, or 6π₯, or 5π₯Β² + 3π¦, or 3πππ. that are always equal.βββ
ββββAlgebraic reasoning can be used to show that the left-hand side is the same as the right-hand side. This can involve Expanding means to multiply to remove the brackets., To make an expression shorter by collecting terms of the same kind. or To express a number or an expression as the product of its factors, eg 6 can be factorised as 2 Γ 3, and 6π β 12 can be factorised as 6(π β 2)..
Missing values can also be found by considering the An element within an algebraic sentence, eg π₯ or 5π¦ or 3πΒ². on each side.
Follow the working out below
GCSE exam-style questions
- Show that 4(π₯ β 2) + 6π₯ + 10 ββ‘ 2(5π₯ + 1)β.
ββββββThe identity symbol ββ‘ means 'is always equal to'. ββ
The aim is to show that the left-hand side is equal to the right-hand side. ββ
βββStart with the left-hand side. ββ
βββExpand 4(π₯ β 2) to get 4π₯ β 8. ββ
βββSimplify the left-hand side by collecting like terms. ββ
βββ4. Factorise the left-hand side to get 2(5π₯ + 1). ββ
βββThe left-hand side and the right-hand side are the same, so the statement has been proven. ββ
- βββHusnia says βπ₯Β² is always greater than π₯β.
Find a counterexample to show that Husnia is wrong.βββ
ββThe statement is not true when π₯ is \(\frac{1}{2} \).
Squaring means multiplying by itself.
Squaring \(\frac{1}{2} \) gives the answer \(\frac{1}{4} \).
\(\frac{1}{4} \) is less than \(\frac{1}{2} \).
\(\frac{1}{2} \) is a counterexample that shows Husnia is wrong.
Any fraction or decimal between 0 and 1 could be used as a counterexample to show the statement is not always true.β
- If π‘ is odd, explain why 5π‘ + 3 is even.
If π‘ is odd then 5π‘ is also odd, because odd Γ odd = odd.
5π‘ is odd and 3 is odd. βAddingβ two odd terms together gives an even result.
Quiz - Algebraic reasoning
Practise what you've learned about algebraic reasoning with this quiz.
Higher - Proof
Video β Algebraic proof
Watch this video to work through example questions on algebraic proof for odd, even and consecutive integers.
Algebraic proof β Higher tier.
It is often helpful to use algebraic expressions to represent different types of numbers. 2π, 6 times π add 1, and 4π add 2 are all even algebraic expressions. This means that you can replace π with any integer and you would get an even number.
Remember, integer just means a whole number, positive or negative.
Just like even numbers, these expressions have a factor of 2. Odd numbers are always 1 more or 1 less than even numbers. The same is true for algebraic expressions. Add or subtract 1 from an even expression and it is now odd. In fact, for any integer π, 2π can be used to represent any even number, and 2π add 1 represents any odd number.
These are called general expressions, and they are used in lots of algebraic proofs, which are statements that prove that something about a set of numbers is true.
Let's try a couple of questions.
Prove that the sum of three consecutive odd integers is always a multiple of 3.
Consecutive means numbers that are next to each other on a number line. For example, 1, 3, and 5 are three consecutive odd numbers. To get from one to the next, you add 2. This is true for all consecutive odd numbers. So, using the general expression for an odd number, 2π add 1, add 2 to get to the next one, 2π add 3, then add another 2 to get to the next, 2π add 5.
In algebraic proof questions, it's especially important to write down all your working out.
So, write βLet three consecutive odd numbers be 2π add 1, 2π add 3, add 2π add 5, where π is any integer.β
Then, the question asks about their sum. So that's 2π add 1 add 2π add 3 add 2π add 5. Adding like terms gives 6π add 9.
Then, the question asks you to show this is a multiple of 3. 6π and 9 both have a factor of 3, so you can factorise this expression to 3 times 2π add 3. The multiplier 3 shows that it is always true that the sum of three consecutive odd integers is a multiple of 3.
The next question says: prove that the product of two consecutive even integers is always a multiple of 4.
Pause the video and have a go.
Before answering the question, letβs look at a number line. To get from one even number to the next, you add 2. So, start with the general expression for an even integer, 2π, and then add 2 to get to the next consecutive even integer: 2π add 2.
Writing this formally, βLet two consecutive even numbers be 2π and 2π add 2, where π is any integer.β
Product just means multiply by, so this is 2π multiplied by 2π add 2. 2π multiplied by 2π equals 4π squared and 2π multiplied by 2 equals 4π, giving 4π squared add 4π. This has a factor of 4, meaning it is a multiple of 4.
You should always finish a proof with a final statement: βSo, it is always true that the product of two consecutive even integers is a multiple of 4.β
A mathematical proof is a sequence of statements that follow on logically from each other to show that something is always true.
Using letters to stand for numbers means that statements can be made about all numbers in general, rather than specific numbers.
Sometimes a proof may require certain types of Integers are numbers with no fraction or decimal part. They can be positive, negative or zero. 42, β8, and 10,000 are examples of integers..
There are algebraic ways to describe odd and even integers, and Integers which follow on from each other continuously without gaps. For example, 1, 2, 3, 4, 5 and so on are consecutive numbers. 2, 4, 6, 8 are consecutive even numbers. integers that follow on from each other.
| Type of integers | Numerical examples | Algebraic examples |
|---|---|---|
| 3 different integers | 4, 7, 99 | π, π, π |
| 3 consecutive integers | 4, 5, 6 | π, π + 1, π + 2 |
| 3 different even integers | 6, 8, 42 | 2π, 2π, 2π |
| 3 different odd integers | 9, 11, 37 | 2π + 1, 2π + 1, 2π + 1 |
| 3 consecutive even integers | 10, 12, 14 | 2π, 2π + 2, 2π + 4 |
| 3 consecutive odd integers | 13, 15, 17 | 2π + 1, 2π + 3, 2π + 5 |
Follow the working out below
GCSE exam-style questions
- Prove that the sum of four Integers which follow on from each other continuously without gaps. For example, 1, 2, 3, 4, 5 and so on are consecutive numbers. 2, 4, 6, 8 are consecutive even numbers. odd numbers is always a An integer that is in the multiplication table of a specific number. For example, 20 is a multiple of ten because 20 is in the ten times table. of 8.
ββWrite the first odd number as 2π + 1. βββ
ββTo find the next three odd numbers, add on 2 each time. βββ
The next odd number is 2π + 3.
The next two consecutive odd numbers would be 2π + 5 and 2π + 7.
ββAdd the four expressions by collecting terms. This gives 8π + 16. βββ
ββTo show this is a multiple of 8, factorise to take 8 out as a factor. β ββ
The expression has now been written as an integer (π + 2) multiplied by 8.
- Show that (3π + 2)Β² β (3π + 1)Β² ββ‘ 3(2π + 1)
For a βshow thatβ question, the left-hand side (LHS) of the identity needs to be shown to equal the right-hand side (RHS).
Start with the LHS. (3π + 2)Β² means (3π + 2) multiplied by itself.
Expand the brackets.
Simplify by collecting the π terms in each section.
9nΒ² β 6π β 1 is subtracted so each term here needs to be multiplied by β1.
Simplify by collecting like terms.
Factorise. The left-hand side of the identity is now shown to be the same as the right-hand side.
Higher - Quiz - Proof
Practise what you've learned about algebraic proof with this quiz for Higher tier.
Now you have revised algebraic reasoning and proof, why not try looking at inequalities?
Play Sudoku with BBC Bitesize!
Every weekday we release brand new easy, medium and hard Sudoku puzzles. Perfect for testing your skill with numbers and logic.
More on Algebra
Find out more by working through a topic
- count4 of 14
- count5 of 14
- count6 of 14
- count7 of 14
