I’ve always felt a certain undercurrent of awe at how elegant and beautiful the idea of a mathematical proof is.

Don’t get me wrong, I’m not a math geek, but I can’t help but admire the beauty of the proving process. (While, on paper, I fit the bill for a math geek, I’m too results oriented and learned to resent theoretical math because it was “drudgework my computer is supposed to be doing but the teacher would mark me down for that”.)

That said, I wanted to see if I could help people feel that sense of minor awe without all of the “First, you must ~~complete three quests~~ learn more math” that turns people off… so, here we go. I’ve decided to put my communication skills to the test on a couple of simple proofs. (Sorry for the lack of proper math typesetting)

If I’ve done my job, even someone who didn’t finish high school and doesn’t remember their high-school math courses should have a fair shot at understanding this.

**TL;DR: **If you’re not willing to try reading this, at least scroll down to the bottom where I’ve provided some very short, but awe-inspiring YouTube videos.

Both of these proofs use a technique called “proof by contradiction”. The idea is that, if you can make math that’s the right kind of nonsense, you can say “Statement X must be false because, if it was true, we’d get nonsense”.

It’s a lot easier to explain by example, so let’s get started:

## 1. Why you cannot divide by zero

Dividing by zero is one of those things everyone seems to wonder about, so let’s use it to demonstrate proof by contradiction.

- Suppose that anything divided by zero is zero. (Makes intuitive sense. Cut something into zero pieces and you have none of it.)
- That would mean that
`1/0 = 0`

and`2/0 = 0`

. - Ok, an equals sign is just a fancy way of saying “these two things are the same, so let’s use that zero to combine the two equations:

`1/0 = 0 = 2/0`

- …which means that
`1/0 = 2/0`

- Now, since we can do anything to an equation as long as we do the same thing to both sides, let’s get rid of that “divided by zero” by multiplying both sides by zero. (Remember,
`5 * 2 / 2`

is the same as`5`

. The twos cancel each other out.) **Oops.**Now we’ve got`1 = 2`

Well, the only thing we assumed was that something divided by zero equals zero, so that must be what caused us to get nonsense.

That’s proof by contradiction. Assume one (and only one) thing, then show that it causes nonsense.

You also can’t use infinity (or anything else where you always get the same result) but infinity has the additional problem that it isn’t a number in the same way that “east” and “west” aren’t places.

If you’re still curious, I recommend the Numberphile video Problems with Zero, which shows multiple ways to explore this “dividing by zero” thing as well as other math quirks zero has. (And, unlike me, they draw graphs too)

## 2. How we know that `√2`

is irrational

One of the things you might have been told by your high-school math teacher is that `√2`

(the square root of 2) is irrational.

- Refresher (square root):
- If
`n*n = x`

, then “`n`

” is the square root of “`x`

“. For example,`2*2 = 4`

, so`2`

is the square root of`4`

. - Refresher (irrational number):
- When a number can be represented as a ratio (fraction), such as 0.25 = 1/4, we call it “rational”. An irrational number is a number that
**can’t**be represented as a ratio (fraction). Irrational numbers have an infinite number of decimals which don’t get stuck in a repeating loop. (Pi is the most famous irrational number)

Here’s how you prove that `√2`

is irrational (that the number you have to multiply by itself to get 2 has an infinite number of decimal places without repeating, like Pi):

- For the purpose of our proof, lets assume that
`√2`

is rational. - If
`√2`

is rational, that means that we can find some ratio (fraction)`a/b`

that’s equal to`√2`

. - Before we start, we’ll say that
`a`

and`b`

have already been put in simplest terms. (eg. There’s no number that both a and be can be divided by without getting decimals)√2 = a/b

- Algebra says that you can do anything you want to an equation as long as you make the same change to both sides of the equals sign, so they stay equal.
- Let’s multiply both sides by
`b`

√2 * b = a/b * b

- Dividing by
`b`

and then multiplying by`b`

is the same as doing nothing, so`a / b * b`

is the same as`a`

`√2 * b = a`

- Now, let’s get rid of that
`√`

symbol. First, since`√n * √n = n`

(that’s the whole point of square roots), we’ll just square both sides (multiply both sides by themselves):(√2 * b) * (√2 * b) = a * a

- Now, to actually get rid of the symbol, we use another rule that’s already been proven called the associative property, which says that you can reorder the numbers and move the parentheses around in a sequence that’s all multiplication or all addition:
(√2 * √2) * (b * b) = a * a

2 * (b * b) = a * a

- This can also be written:
2 * b² = a²

**Now for the clever bits:** - Since the left-hand side is 2 times something and both sides are equal, the right hand side must also be 2 times something (eg
`2*8 = 4*4`

is the same as`2*8 = 2*2*4`

). - Let’s say that
`a = 2 * c`

and replace`a`

in the equation. (We can do this because we’re not adding any new limits on what`a`

can be. We’re just saying that`c`

is`1/2`

of whatever`a`

is.)2 * b² = (2 * c)²

- OK, now we use the definition of what an exponent is (2² = 2 * 2) and the associative property to get rid of those brackets:
2 * b² = (2 * c) * (2 * c)

2 * b² = (2 * 2) * (c * c)

2 * b² = 2² * c²

2 * b² = 4 * c²

- Now let’s divide both sides by 2
b² = 2 * c²

- OK, we’re half-way around to step 9. One side can be divided by 2, so the other side must also be divisible by 2. If we were to repeat steps 10, 11, and 12, we’d be back to step 9
*exactly*. - The only way you get this behaviour is if
`a`

and`b`

are even numbers, which means that`a`

and`b`

are both divisible by 2. **…but, in step 3, we already assumed we’d divided them until they***weren’t*divisible by 2 anymore!

This means that we’ve got a nonsense equation and the **only** thing we assumed without proving it was that `√2`

is rational (that there exist integers (numbers without decimals)` a`

and `b`

where `√2 = a/b`

)

Therefore, √2 must *not* be rational.

And, indeed, if you’ve got an irrational number, that would explain why step 3 failed. If you’ve got an infinitely complex number, then you’d have to divide `a`

and `b`

by `2`

an infinite number of times to prepare it for this proof and, as I said earlier, infinity is a direction, not a destination.

**UPDATE 2017-06-03:** If you’d like some visual examples, check out 5 Unusual Proofs by PBS Infinite Series.

## 3. Awe-Inspiring YouTube Videos

So, yeah. If you really don’t want to read the proofs, get your dose of awe from these instead, please:

**Jason Silva**(at*least*one of these should do it for you, but it may vary from person to person):- A Mind Made For Mating (1 minute, 35 seconds)
- Shots of Awe: Awe (2 minutes, 48 seconds)
- What Is Language? (2 minutes, 25 seconds)
- Technology Made Us Human (2 minutes, 32 seconds)
- The Biological Advantage of Being Awestruck (3 minutes, 20 seconds)

- I also strongly recommend these:
**Science Saved My Soul**(Even if you stop at the 5 minute mark, you**must**hear the beginning of this)- A Universe Not Made For Us (Carl Sagan, poetic, humbling, and has a beautiful alternative interpretation of the story of the Garden of Eden)

A couple of simple proofs, made easier to grasp by Stephan Sokolow is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.

By submitting a comment here you grant this site a perpetual license to reproduce your words and name/web site in attribution under the same terms as the associated post.

All comments are moderated.

If your comment is generic enough to apply to any post, it will be assumed to be spam.Borderline comments will have their URL field erased before being approved.