You may also like

problem icon

Be Reasonable

Prove that sqrt2, sqrt3 and sqrt5 cannot be terms of ANY arithmetic progression.

problem icon

The Root Cause

Prove that if a is a natural number and the square root of a is rational, then it is a square number (an integer n^2 for some integer n.)

problem icon

Good Approximations

Solve quadratic equations and use continued fractions to find rational approximations to irrational numbers.

Proof Sorter - the Square Root of 2 Is Irrational

Age 16 to 18 Challenge Level:
Full screen version

If you can see this message Flash may not be working in your browser
Please see to enable it.
This method of proof can easily be generalised to prove that $\sqrt n$ is irrational when $n$ is not a square number .

What is the length of the diagonal of a square with sides of length 2?
How do we find the value of $\sqrt 2$?
What number has 2 as its square?
What is the side of a square which has area 2?

Now $(1.4)^2=1.96$, so the number $\sqrt 2$ is roughly $1.4$. To get a better approximation divide $2$ by $1.4$ giving about $1.428$, and take the average of $1.4$ and $1.428$ to get $1.414$. Repeating this process, $2\div 1.414 \approx 1.41443$ so $2\approx 1.414 \times 1.41443$, and the average of these gives the next approximation $1.414215$. We can continue this process indefinitely getting better approximations but never finding the square root exactly.

If $\sqrt 2$ were a rational number, that is if it could be written as a fraction $p/q$ where $p$ and $q$ are integers, then we could find the exact value. The proof sorter shows that this number is IRRATIONAL so we cannot find an exact value.