There is a right way to think about equations and there is a wrong way to think about equations. Let us not speak of the wrong way…

The equations I have in mind are those equations written in the form

,

where the aim is to find all the real numbers that ‘satisfy’ the equation.

We aren’t always taught the logic behind solving equations. The first thing to say is that many of us are trained to believe that this ‘‘ means the ‘the answer is’. This is not what equals means. This may have happened to us because while young children our textbooks had stuff like

written in them… the ‘answer’ of course being eight and the = sign almost suggests that we have to ‘do something’ to . Of course, this is not what equals means, and while the pupil who writes

*is *correct, the pupil who writes e.g.

,

has written a statement just as true as .

Equals, in this context, signifies that two numbers are the same… or three numbers are the same:

.

It is also a consequence of the way we read English that we say things like ‘we have on the left and 4 on the right’ when we see

.

In reality there is no ‘left’ and ‘right’ just a pair of numbers that are the same number. This means that to solve an equation of the form

,

what we really want to do is find real numbers such that and are the same number.

We do usually want to end up with, where there is a unique solution ,

,

but this is a function of how we read more than anything. It is just as valid to write

.

The one thing we are never told when we meet equations is the logic of how this works… the first thing we do, although we never explicitly say it, is say:

Assume satisfies the equation.

What we do from here on is make a series of implications about the number until we are forced to conclude that *must *be equal to, say, two. Let us demonstrate this with an example.

### Example

*Solve .*

*Solution:* Assume that has the property that

If these numbers are equal, then adding two to both of them will yield two more numbers that are still equal:

.

Of course, , and so that has the property that

.

If these numbers are equal, then multiplying both of them by one third will yield two more numbers that are still equal:

.

Of course, and and so we are led to conclude that

Here we see that by assuming that , we were *forced *to conclude that .

Suppose that is a statement. For example, :=”Today is Wednesday”. If a statement is true whenever , then we write . For example,

“Today is Wednesday” “Today is a Weekday”.

This symbol has this meaning and is called “implies that”. Of course, if

then ,

and so we can build up a chain of ‘implications’ and then cut it down to size. This is what we did above in our example:

satisfies

,

so “ satisfies the equation” .

This is the basic logic behind solving equations. In a later post we will explore how to use this logic to strategically solve equations.

## 1 comment

Comments feed for this article

October 28, 2016 at 1:32 pm

Solving ‘Easy’ Equations: Part I | J.P. McCarthy: Math Page[…] post follows on from this post where the logic for the below is discussed. I am not going to define here what easy […]