Math Wiki

Proof that the square root of any non-square number is irrational.

First let's look at the proof that the square root of 2 is irrational. First, let's suppose that the square root of two is rational. Therefore, it can be expressed as a fraction: . Then let's suppose that is in lowest terms, meaning are relative primes, meaning their greatest common factor is 1.

So far, . Let's square both sides. . Then multiply both sides by , meaning, and you can test this out, has to be divisible by two, or in other words, it is even.

Let's keep on going. I'm going to replace with , because since is even, it is the product of 2 and some number () . Divide both sides by 2: , and we are left with a situation where has to be divisible by 2. Meaning both are even.

This means that the square root of 2 is irrational because you can replace with and with and get the same results.

Let's try it with a square number now, 4. now notice that that this doesn't mean that is divisible by 4. It means it is even, because the situation could be that is 2. While with 2 and any other non-square number, there is no possible whole number that when squared equals that number. Examples: . has to be divisible by 35. Let's try 81, a square number. . doesn't have to be divisible by 81, but only by 9 because could be 9 and .

Let's continue. Replacing with . . We have no proof that is divisible by 2 so we can assume(even though we already know) that the square root of 4 is rational. Now for any positive intiger, you will end up with where is the square root of whatever number you are trying to prove the square root of is rational.

In conclusion, that is the proof that the square root of any natural numbers (positive integers) that isn't a square number is irrational.