The Art of Contradiction: Proving Irrationality

The Art of Contradiction: Proving Irrationality

Have you ever been lost and realized you took a wrong turn only because the road ended in a giant brick wall? That is the core intuition behind a proof by contradiction. Instead of marching directly toward a difficult mathematical truth, we intentionally take the opposite path. We start by assuming what we want to prove is actually false.

Let's map this out. We want to prove our statement is true. But that direct path looks incredibly steep. So, we try a clever detour: we actively assume the opposite is true. We walk down this alternative path, step by step, using flawless logic. But suddenly, we hit a massive, undeniable wall: a logical contradiction, like discovering an even number is also odd. Since our logical steps were perfect, the starting assumption must be the mistake. That path is a dead end, leaving us with only one choice: our original statement must be true.

To prove that the square root of three is irrational, we begin with a bold assumption: let's pretend it is rational. This means we can write it as a fraction, a over b, in its simplest form, where a and b share no common factors.

Let's do some algebra to see where this leads. First, we square both sides to clear the radical, giving us three equals a-squared over b-squared. Then, multiplying by b-squared, we get a-squared equals three times b-squared. This tells us a-squared must be a multiple of three, which mathematically forces a itself to be a multiple of three.

Now, let's substitute this back. If a equals three k, then a-squared becomes nine k-squared. Substituting this back into our original equation, we get nine k-squared equals three b-squared. Dividing both sides by three reveals that b-squared equals three k-squared. This means b-squared, and therefore b itself, is also a multiple of three!

Look at the trap we have sprung. We assumed a over b was in simplest form, but we just proved that both a and b are multiples of three. This is a direct contradiction! Our initial assumption that the square root of three could be written as a fraction must be false.

What happens when we mix the orderly world of rational numbers with the wild world of the irrational? Let's take a known irrational number, like the square root of five, and add a rational number like three to it. Is the result rational or irrational? Once again, our trusty tool of contradiction will give us an elegant, bulletproof answer.

Let's assume the opposite of what we want to prove. Suppose that three plus the square root of five is actually a rational number, which we will call r. With a quick algebraic shuffle, we subtract three from both sides to isolate the square root of five. But look closely at the right side: a rational number minus another rational number must be rational. This forces the square root of five to be rational, which we know is absolutely false! The assumption collapses.

The exact same logic applies to multiplication. What if we multiply the square root of five by a rational number like two? If we assume two times the square root of five equals a rational number q, then dividing both sides by two gives us the square root of five equals q over two. Since a rational divided by a non-zero rational is always rational, we are trapped in the same contradiction. The irrationality of our starting number acts like a shield, keeping the entire expression irrational.