# Video: Introducing Algebraic Proof

A first look at constructing and rearranging algebraic expressions in order to demonstrate or prove the validity of given mathematical statements.

12:00

### Video Transcript

In this video, we’re going to look at how to write out a series of algebraic expressions and statements to prove whether or not a statement is true. When setting out algebraic proofs, you must always explain any assumptions you’re making, define whatever variables you use, and clearly write out a series of statements which tell a logical story which proves or disproves the starting statement. Let’s look at an example.

Prove that the sum of — so the sum is a keyword there — the sum of any odd number and any even number is odd. So there’re a number of things we’ve got to do here. We’ve got to think about an algebraic expression which encapsulates the idea of an odd number or an even number. And we then got to sum- we’ve got to add a couple of expressions together and rearrange that expression in such a way that it proves that it must be an odd number.

Well thinking about it, an even number is an integer which is divisible by two. And an odd number is an integer which isn’t divisible by two. If we take an integer and double it, the result must be an even number. We’ve taken an integer and multiplied it by two, so the result must be divisible by two. If we take an integer and double it and then add one on top of that, then the result must be an odd number because it won’t be divisible by two.

Our question asks for any odd number and any even number, so these two things are completely unrelated. So we’re gonna start off with two completely unrelated integers and we’re gonna call them 𝑚 and 𝑛. So we’re just gonna write this down then. Let 𝑚 and 𝑛 be integers. Then we’re gonna come up with some algebraic expressions which explain the idea of relative even, so then two 𝑚 must be an even number. Remember, we’ve doubled an integer, so that must be an even number. And two 𝑛 plus one must be odd. So that’s defined our expressions for an odd number and an even number. And now we’ve got to get across this idea of summing them. Well summing them is just adding them together.

So we need to state that in our proof. Summing these even and odd numbers gives two 𝑚 plus two 𝑛 plus one. And we can rearrange that. We’ve got two 𝑚 and we’ve got two 𝑛. So if I put those two terms together and factor out the two, I’ve got two lots of 𝑚 plus 𝑛. And then we’ve added one to that. We’ve still got a plus one on the end. And logically if 𝑚 is an integer and 𝑛 is an integer and you add them together, you must get the result of an integer.

So this first part of our expression here, two brackets 𝑚 plus 𝑛 close brackets or two parentheses 𝑚 plus 𝑛 close parentheses is two times an integer and that is an even number. And our expression was two 𝑚 plus 𝑛 plus one, so this means we’ve got an even number plus one which must be an odd number.

So we can see that algebraic proofs require you to do lots of definitions and lots of explaining. They’re not like a lot of other maths cause they can be quite wordy. They require you to define your variables, in our case 𝑚 and 𝑛 being integers. They require you to set out your logic. We’ve explained how to come up with even and odd numbers. And then they require you to come up with some expressions, in this case the sum of an odd and an even number. And then do a bit of rearranging of those expressions to deliver the proof.

Now there is quite a lot of writing and you could probably get away without putting all of those words in there. And for things like this means we could — there’s another word for that, therefore — so therefore, this is true. And we could write that as three dots like this. So there are sort of a few symbols that we can use in order to save a few words on the page, but essentially you’ve got to be prepared to tell the story. That’s what proofs are all about.

Okay next example. Prove that the sum of any three consecutive integers is a multiple of three. Now in this example, we’re not looking for odd and even numbers, but we are looking for consecutive integers, consecutive numbers. And we’re not looking for odd or even. As we say, we’re looking for multiples of three.

We need to think how we can express this concept, multiple of three, as an algebraic expression. And we need to explain each logical step in our proof. So we could start off by defining 𝑛 to be an integer. So if we add one to that and then add one to it again, we’ve got three consecutive integers 𝑛, 𝑛 plus one, and 𝑛 plus two. So we can then state our general algebraic expression representing three consecutive integers: 𝑛, 𝑛 plus one, 𝑛 plus two. And we’re summing them, so we can add them together: 𝑛 plus 𝑛 plus one plus 𝑛 plus two.

Now we can take out that expression and we can simplify it or rearrange it. And 𝑛 plus 𝑛 plus 𝑛 is three 𝑛 and one plus two is three. Now if we look back to the question, we’re looking for an expression to represent a multiple of three. Well that’s gonna be three times some integer, so looking at a little expression down here: three 𝑛 plus three. If we factor out the three, if what’s inside the parentheses is an integer, then we have a multiple of three. So taking out that common factor of three outside the parentheses, we’re left with 𝑛 plus one inside.

Now let’s just set up this next bit and define what a multiple of three is. Well it’s just an integer multiplied by three after all. Remember, we defined 𝑛 to being an integer at the beginning of our proof, so 𝑛 plus one is an integer plus one is another integer. So our expression is three times an integer, therefore, we have a multiple of three. Now this isn’t just our final answer. In these proofs, the whole argument, everything you write down, makes up the final answer. You can’t just write the final answer down. You have to have all those steps along the way. In some format or other, the exact wording might be slightly different, but you do need to include all those steps.

In our last example, we are back to odd numbers, but were also looking at multiples of four. So we’ve gotta unpick the wording to see how we can represent the process with algebra, but it’s still important to explain each logical step in the proof. Prove that the difference between the squares of any two consecutive odd numbers — so we’ve got consecutive odd numbers. We were looking for the difference between those squares — is always a multiple of four.

So we’re gonna be looking to define an odd number, which is gonna mean defining a variable which is an integer and then doubling it and adding one or subtracting one. We’re gonna be looking at an integer times four, a multiple of four, and the difference between the squares, so we’re gonna be squaring these odd numbers and then subtracting one from the other. So we’re gonna start off again, let 𝑛 be an integer. By doubling an integer, we’ve definitely got an even number. And if we had one to that, we’ve definitely got an odd number. So we’ve got our first odd number that we’re looking at here.

And then the next consecutive odd number are for the two 𝑛 plus one would be just two bigger than that, so two 𝑛 plus one plus two, which is two 𝑛 plus three, obviously. Now we could equally have to find two consecutive odd numbers as being two 𝑛 minus one and two 𝑛 plus one. And that would make the algebra slightly different, although the steps will be basically the same. I am gonna stick with two 𝑛 plus one and two 𝑛 plus three for now, but remember you could do this in a slightly alternative way.

And then the difference between the squares of those consecutive odd numbers is simply the biggest of the two squared minus the smallest of the two squared. I mean I could put those the other way round, but this is gonna make them that slightly easier. It’s just gonna leave us with a positive result. And now I’m just going to expand and simplify those- that expression. So two 𝑛 plus three all squared is two 𝑛 plus three times two 𝑛 plus three. And two 𝑛 plus one all squared is two 𝑛 plus one times two 𝑛 plus one.

So multiplying each term in the first parentheses by each term in the second parentheses gives us four 𝑛 squared plus six 𝑛 plus six 𝑛 plus nine. And the second part, the second term in that expression, gives us four 𝑛 squared plus two 𝑛 plus two 𝑛 plus one. Now I’ve included brackets here and here because we’re taking away the whole of that expression. So we need to be really really careful with those signs, so much better to include brackets in these places to try and stop us from making mistakes later on in the calculation.

So just tidying up what’s inside the parentheses slightly, I’ve got four 𝑛 squared plus twelve 𝑛. That’s six 𝑛 plus six 𝑛 plus nine minus four 𝑛 squared plus four 𝑛 which was two 𝑛 plus two 𝑛 plus one. Now remember, we were subtracting the entire second term. So that’s- we’re taking away four 𝑛 squared, we’re taking away four 𝑛, and we’re taking away one. So simplifying that big term then, I’ve got four 𝑛 squared take away four 𝑛 squared, well that’s nothing. So those two cancel out. I’ve got twelve 𝑛 take away four 𝑛, which is eight 𝑛. And I’ve got nine take away one, which is eight. So that whole expression there can be simplified down to eight 𝑛 plus eight.

Right, now I’ve wrapped all that lot out. I’m not suggesting that you don’t show that in your working out. It’s just that I’ve run out of space on the page here, so that is important to include all your steps of working out in your solution. So for the last step then, we’re looking to show algebraically that that expression can be a multiple of four. So we want four times an integer, so I’m gonna factor out four. And we’ve gotta try and prove that what’s inside this bracket here is an integer. And if that is an integer, then we’ve got four times an integer. That’s the definition of a multiple of four. And since 𝑛 is an integer, if we double an integer, we’re still gonna get an integer. And if we add another integer to it, we’ve also still got an integer. So we can say that four brackets two 𝑛 plus two close bracket is four times an integer, i.e. a multiple of four and that’s that proved.

So in our algebraic proofs, we need to make sure that we define any variables that we’re going to use, for example let 𝑛 be an integer. You also have to state algebraically how you can express what you’re trying to prove. So for example, if 𝑛 is an integer, then two 𝑛 must be even. Or if 𝑛 is an integer, two 𝑛 plus one or two 𝑛 minus one must be an odd number or four times an integer is a multiple of four and so on.

And finally, you need to express the statement you’re trying to prove algebraically and then rearrange it to support the statement. So for example, we had three 𝑛 plus three. Well if we factored out the three, we knew that 𝑛 was an integer. So 𝑛 plus one was an integer, so we had three times an integer which proves that that must be a multiple of three.

So overall, algebraic proofs can be a little bit wordy, but they’re such powerful tools in mathematics that you really do need to master them and use them and take pride in telling a fantastic logical mathematical story.