### 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.