## What is a mathematical proof?

The answer is… much simpler than one might think. A mathematical proof is just a set of steps that only produce true statements given the premises.

"Huh?"

Well, when you want to prove something mathematically, you start with a few premises A, B, C, etc. And then you apply operations upon the premises that will always yield true statements given those premises, and you get to where you wanted to.

"Um… what exactly… does that mean?"

Well, I’ll show you a way *not* to do it. I’ll start with the premise

**A: ‘x = y’**

And now I’ll produce a number of operations upon this premise and prove that 1 = 2.

"What?!"

Don’t worry, the proof will be wrong. And I’ll show where. But let’s go, then.

Let’s see what we did wrong.

**Premise.****Multiplied both sides by x.****Added x^2 to both sides.****Subtracted 2xy from both sides.****Rearranged the numbers.****Divided both sides by (x**^{2}-xy).

As I said, we need all the steps to produce only true results. If our premise is an equality, then which of the above operations on an equality produces only true statements?

- Multiplying both sides of an equality by the same number always produces true statements.
- Adding the same number to both sides of an equality always produces true statements.
- Subtracting the same number from both sides of an equality always produces true statements.
- Rearranging the symbols we’re using, without changing their truth-value, is a null-operation.
- Dividing both sides of an equality by the same number always produces true statements, unless that number happens to be zero.

**Unless that same number happens to be zero.** We had defined that x = y, right? So how much is (x^{2}-xy)?

"Oh! So since one of the operations you performed didn’t always produce a true statement, you picked exactly the case where it *wouldn’t*, and with that you proved something impossible!”

Yes, exactly. Just look at it:

That’s obviously true. In fact, you can replace 3 and 528 by any numbers at all, and that will still be a true statement. But you *can’t* divide both sides by 0, because that is not an operation that produces only true statements from true statements. And that’s exactly what we did, by cleverly hiding the invalid step behind murky language.

So that’s what a mathematical proof is: a number of operations applied on true statements that always yields true statements. Let me give you an example of a mathematical proof that *is* valid, and was used in another post of mine.

—-

Premises:

Since I’m always talking about probabilities, I will use this opportunity to show what a mathematical proof is with one that is useful to the logic of a previous post. Based on these premises, I want to prove that

But first I’ll give you the meaning of the premises.

Premise A means that the probability that a proposition is true plus the probability that it is false equals 100%. That is, no matter what the proposition X stands for, we are always sure that it’s either true or it’s not.

Premise B means that we think X is *possible*, but not *certain *(in fact, we can never be certain of anything at all, so that’s always valid).

Premise C means that by multiplying the probability that X is false for some *a*, adding it to the probability that X is true will give a number that’s smaller than one.

Conclusion Z means that the only way the above premises are true is if a < 1.

Let’s go step-by-step. First, we have premise C.

Now let’s perform the first operation: adding 0 to both sides of the inequality.

That is true because the operation of adding any number to both sides of an inequality will always maintain the inequality. Now we’ll remember that

Since a number is always equal to itself, subtracting a number from itself always equals 0. Now, substituting 3. on the left-hand side of 2.:

Replacing a number by another that is equal to it is an operation that always maintains the truth-value of the statement. And now we’ll rearrange the above numbers.

Now if we replace P(X) + P(¬X) with 1:

This is a valid step because of premise A, and because replacing a number by another that is equal to it always maintains the truth-value of the statement.

We subtracted 1 from both sides of the inequality. Subtracting a number from both sides of an inequality always produces another true inequality. And so, we will add P(¬X) to both sides, and get:

And then we can divide both sides of the inequality above to reach our conclusion.

We were allowed to do that because P(¬X) is a positive number, and dividing both sides of an inequality by a positive number maintains its truth-value. I will leave it for you to prove that P(¬X) is a positive number. You will only need premises A and B.

So we just performed a number of steps which, when working in conjunction with the previous statements, always produced new true statements. Since we *know* that about each of the steps, then we can trust the truth of the conclusion.

Of course, I chose a rather simple example that could be reliably guessed by pure intuition. Still, it’s good to understand what it means to actually *prove* stuff mathematically. Formally, that is. Mathematics is an art, the art of discovering true things based on other true things. And sometimes you will discover the most incredible and counter-intuitive things, by just applying a number of steps that produce only true statements from other true statements.

### Notes

- ratteler50 reblogged this from scientiststhesis
- earnbraggingrights reblogged this from scientiststhesis
- miklc likes this
- unexpectedlyeducated likes this
- try-and-touch-my-asymptote reblogged this from scientiststhesis
- deewhydeetee reblogged this from math-is-beautiful
- can-i-leave-this-blank reblogged this from math-is-beautiful
- nerdymishmash likes this
- math-is-beautiful reblogged this from scientiststhesis
- hindsightedforesight likes this
- goodgirlsdivein likes this
- cab1729 likes this
- bagelstorm likes this
- cataclysme likes this
- edmeatune reblogged this from imathematicus
- root2 likes this
- math-a-magic likes this
- imathematicus reblogged this from scientiststhesis
- imathematicus likes this
- justdoabackflip likes this
- yep2yel likes this
- ranalynamic likes this
- laviesupernova likes this
- scientiststhesis posted this