Prove That Square Root 2 Is Irrational

Hey there, math adventurer! Today, we're going on a wild ride to prove that the square root of 2 is irrational. Now, don't let your eyes glaze over just yet. This isn't your typical math class snoozefest. We're talking about a number that's been driving mathematicians bonkers for centuries. So, buckle up and let's dive in!

What's the Big Deal with √2?

You might be wondering, "Why should I care about the square root of 2?" Well, my friend, √2 is no ordinary number. It's the length of the diagonal of a square whose sides are 1 unit long. In other words, it's the distance between two opposite corners of a square. And here's where it gets interesting: the ancient Greeks, namely Pythagoras and his crew, couldn't express this length as a simple fraction. Nope, not even with their fancy geometric proofs. Spoiler alert: we're going to show you why!

Let's Get Rational

First things first, let's talk about rational numbers. These are the numbers that can be expressed as a fraction, like 1/2, 3/4, or even 17/23. They're the cool kids on the number line, and they're easy to spot because they can be written as a ratio of two integers. Now, their irrational cousins, on the other hand, can't be expressed as fractions. They're the rebels of the number world, and √2 is one of the most famous.

Proof by Contradiction: The Math Detective's Best Friend

Alright, let's get down to business. We're going to use a fancy math technique called "proof by contradiction" to show that √2 is irrational. It's like playing a game of detective, where we assume the opposite of what we want to prove and see where it leads us. If our assumption leads us to a dead end (or, in math terms, a contradiction), then we know we were right all along!

Assumption Time: Let's Assume √2 is Rational

So, let's assume that √2 is a rational number. This means we can write it as a fraction, say a/b, where a and b are integers with no common factors (that's just math speak for "they're coprime").

Let's Square Up

Now, let's square both sides of our equation to get rid of that nasty square root. This gives us:

2 = a² / b²

And we can rewrite this as:

How To Prove That Root 2 Is Irrational at Ilene Haase blog

2b² = a²

This tells us that a² is an even number (because it's equal to 2 times some other number). And you know what that means? It means that a must also be even. Why? Because the square of an odd number is always odd, and the square of an even number is always even. So, if a² is even, a must be even.

But Wait, There's More!

If a is even, we can write it as 2c, where c is some integer. Plugging this back into our equation, we get:

2b² = (2c)²

Simplifying this, we get:

PPT - CS322 PowerPoint Presentation, free download - ID:2097945

2b² = 4c²

And dividing both sides by 2, we get:

b² = 2c²

This tells us that b² is also even, which means b is even too. So, both a and b are even, which means they have a common factor of 2. But wait a minute! We said at the beginning that a and b were coprime, with no common factors. So, we've just contradicted ourselves!

Case Closed!

And there you have it, folks! Our assumption that √2 is rational has led us to a contradiction. Therefore, √2 must be irrational. It's like solving a mystery, isn't it? And the best part is, this proof works for any non-perfect square root. So, next time you're feeling irrational (pun intended), remember that you're in good company with √2!

So, go forth and spread the joy of irrational numbers. Who knows, you might just inspire someone to become the next great math detective. And remember, every time you look at a square, you're looking at a little bit of mathematical history. Isn't that just the coolest?