A great deal of high school math is about
solving problems. Yet for mathematicians throughout history and right
up to the present, math is about proofs. Are students doing one kind
of math, while mathematicians are doing something quite different?
Not really. The kind of math that professional mathematicians do is much
more challenging and abstract than a high school math problem, but in
its essence the math is the same no matter who does it.

How is this possible? The steps in solving a math problem feel like
the steps in a proof, but in some ways the process feels
different. What is the theorem to be proved, and where is it? It turns
out that theorem and its proof are both hiding just a bit inside the
math problem.

Let’s look first at solving equations, perhaps the most classic form
of algebra problem. A very simple equation to solve could be something
like:

4 ⋅ x + 3 = 15

which has the solution:

x = 3

We could solve it by subtracting 3 from both sides and then dividing both sides by 4.
The steps would look something like this:

4 ⋅ x + 3 - 3 = 15 − 3

4 ⋅ x = 12

(4 ⋅ x) / 4 = 12 / 4

x = 3

There is indeed a proof lurking inside the solution to this problem!
How can this be? None of the statements in the proof is a theorem. A
theorem should always be true, like the commutative law is true for
all real numbers. None of these statements is true unless x is equal
to 3, though each is true if x is indeed equal to 3.

We could say there are two theorems here. Stated in words, one is that
for all real numbers x, if 4 ⋅ x + 3 = 15 then x = 3. Mathematical
notation for this is:

4 ⋅ x + 3 = 15 ⇒ x = 3

(You can read the arrow as “implies”.)

When we solve equations, we usually work in this manner, starting with
the problem statement and applying rules to get a sequence of
statements, each true based on earlier steps.

The problem statement is *assumed* at each step. So the statements
being proved along the way technically are like this:

4 ⋅ x + 3 = 15 ⇒ 4 ⋅ x + 3 - 3 = 15 − 3

4 ⋅ x + 3 = 15 ⇒ 4 ⋅ x = 12

4 ⋅ x + 3 = 15 ⇒ (4 ⋅ x) / 4 = 12 / 4

4 ⋅ x + 3 = 15 ⇒ x = 3

And the final step is the first theorem being proved. Repeating the
assumption every time is tedious, so you can see why the assumptions are
generally not written at each step in solving a problem!

The other theorem is that for all real numbers x, if x = 3 then 4 ⋅ x
+ 3 = 15. In mathematical notation this is:

x = 3 ⇒ 4 ⋅ x + 3 = 15

For many problems like this one, we can confirm this theorem just by
“plugging in” the value 3 for x in the equation 4 ⋅ x + 3 = 15. In
math textbooks this is sometimes called “checking your work”. It can
help you avoid mistakes, and in some problems is necessary even if all
of your steps are done correctly! We will say more about that in
another posting.

Mathematical notation also lets us combine the two statements into a
single theorem. In mathematical notation it looks like this:

4 ⋅ x + 3 = 15 ⇔ x = 3

This has an arrow pointing in both directions, and means that
`4 ⋅ x + 3 = 15 ⇒ x = 3` and also that `x = 3 ⇒ 4 ⋅ x + 3 = 15`.
That is why the arrow in this one points in both directions. In mathematics, a
statement of this kind is called an *equivalence*.

Solving equations is mathematically the same as finding an equivalence between
the given equation (or equations) and the "solution".
In the solution, each variable should be shown equal to some expression, and
the expression should be reasonably simple — the simpler the better.

There are other kinds of math problems too, including simplification of
expressions. More on this later.