# Types of Numbers

Let's start with an overview of the proof, and then we'll get into the guts of it. Remember to sterilize your hands first.

Overview of the proof:

This is a **proof by contradiction**. And yet, this is *not* a proof by contradiction. See what we did there?

We will start out with the assumption that is rational. This means the statement (*) below has to be true. We'll then show that our assumption also implies the statement (*) has to be false. Since no statement can be both true and false, we must have made a bad assumption to start out with. This means can't be rational after all. Ready for us to prove ourselves wrong? Here we go...

Guts of the proof:

If were rational, we could write as a fraction . Since any fraction has an equivalent fraction in lowest terms, we can assume is in lowest terms. Someone must have already come by and simplified it for us. We'll have to send them a card.

(*) and there is no whole number that divides both *a* and *b*.

; therefore, by multiplying both sides by *b*, we get:

Let's show that *a* has to be even:

Square both sides of the equation :

*a*^{2} is 2 x (some number, doesn't matter which one); this means *a*^{2} is even. This means *a* must also be even (think about it - whenever you square an even number, the result is always even). So *a *= 2 × *n* for some number *n*.

Now that that's settled, let's show that *b* has to be even. We do have a point, and we are getting to it. Bear with us.

Substitute 2 × *n* for *a* in the equation :

Again, square both sides:

Divide both sides by 2:

This means *b* must be even, for the same reasons that *a* had to be even. (Come on, *b*, that's not cool - come up with your own reasons.)

But if both *a* and *b* are even, then 2 would divide both *a* and *b*, which means the fraction isn't in lowest terms. Uh-oh. This is a contradiction: you're saying there's no whole number that divides both *a* and *b*, but 2 divides both *a* and *b*? It's okay if this gives you a bit of a headache; it's hard to imagine things that are impossible! Like the idea of anyone enjoying figuring this stuff out for a living!

Since our initial assumption led to a contradiction, our initial assumption must have been false.

This means can't be rational.

This is pretty much the opposite of a real life scenario. Generally, when two people both have even tempers, they can be *quite* rational.