# Investigating irrationals

**R. Sivaraman**

It is well-known that real numbers are comprised of both rational and irrational numbers. Though it is fairly easy to understand rational numbers (which are the quotient of two integers of the form say p/q where q is non-zero and p, q are relatively prime), the understanding of irrational numbers has been quite a nightmare for students as well as many others. The most interesting aspect of irrationals is that they are present throughout the number line and yet it is quite difficult to recognize them as precisely as their counterparts, the rational numbers.

History tells us that

$\sqrt{2}$

is the first discovered irrational number. In particular, a disciple of Pythagoras, upon investigating numbers suddenly stumbled upon it, when he tried to determine the diagonal of an isosceles right triangle whose legs are of one unit length each.

This discovery led to the complete devastation of Pythagorean principles, which believed that everything in the universe is expressible through rational numbers. But here was a line segment of some particular length which was not equal to any of the known rational numbers. This became the first step in our understanding of irrational numbers. Often, one of the very first exercises for training in mathematics begins with the classic theorem proving that

$\sqrt{2}$

is not rational. Here we see some versions of proving

$\sqrt{2}$

as irrational. Using this as the template, we can prove that several classes of numbers are not rational numbers.

**Proving irrationality**

We begin our exploration by first showing

$\sqrt{2}$

that is not rational.

**Theorem 1**

The number

$\sqrt{2}$

is not rational.

**First proof**

We present the standard classical proof, which is quite well-known. We follow a method of proof called “Proof by Contradiction”, in which we assume the conclusion to be false and prove eventually that the hypothesis itself is false. Hence, if the hypothesis is true, then the conclusion must be true.

So, we start by assuming that

$\sqrt{2}$

is a rational number say of the form

$\sqrt{2}=\frac{p}{q}$

where *p, q* are

relatively prime and *q* is the smallest possible denominator (that is, it is in reduced form).

Now from

$\sqrt{2}=\frac{p}{q}$

we get, *2p ^{2}=q^{2}*. Since

*q*is even,

^{2}*q*must be even. Otherwise, if q is odd, then from the equation

*2p*, we find that the left hand side is even, whereas the right hand side is odd, which is not possible. Hence,

^{2}=q^{2}*q*must be even, say

*q=2s*for some integer

*s*. With this value of

*q*, we have

*2p*. As above,

^{2}=q^{2}=4s^{2}→ p^{2}=2s^{2}*p*is even and so

^{2}*p*must be even.

But wait, we have come to a situation where both *p* and *q* are even, contradicting the assumption that *p* and *q* are relatively prime. Moreover, since *p* is even, we have *p=2r* for some integer *r*. Also note that *r<p, s<q*. Hence from

$\sqrt{2}=\frac{p}{q}$

we have

$\sqrt{2}=\frac{p}{q}=\frac{2r}{2s}=\frac{r}{s}\to \sqrt{2}=\frac{r}{s}$

.

Note that we have written

$\sqrt{2}$

as

$\frac{r}{s}$

where *r<p, s<q *contradicting the assumption that *q* is the smallest possible denominator in expressing

$\sqrt{2}$

in the simplest rational form. Hence, these contradictions prove that

$\sqrt{2}$

is not rational and so must be irrational.

**Second proof**

We now present the second proof by American logicist Stanley Tennenbaum. This proof will provide a visual representation of the required truth. As with the first proof, we assume that

$\sqrt{2}$

is rational say

$\sqrt{2}=\frac{a}{b}$

where *a, b *are integers. Since

$\sqrt{2}$

>1, we see that *a>b* and *b* is the least possible denominator such that

$\sqrt{2}=\frac{a}{b}$

.

Now from

$\sqrt{2}=\frac{a}{b}$

we get *a ^{2}=2b^{2}*. We try to construct a square of side length a as shown in Figure 2.

We see that in the whole square of side length a, there are two red squares of side length *b* which overlap forming a pink square of side length *a – (a–b) – (a–b) = 2b–a* as shown in Figure 2.

Since *a ^{2}=2b^{2}*, the area of the two red squares of side length

*b*, must be equal to the whole square whose side length is

*a*. But according to Figure 2, we see that two red squares miss two smaller squares of side length a-b, but double count a square with side length

*2b–a*.

Consequently, the double counted region must have the same area as the two missing squares, that is, *(2b–a) ^{2}=2(a–b)^{2}* giving $\sqrt{2}=\frac{2b\u2013a}{a\u2013b}$. Also we observe that since

*a>b, 2b–a<a*. Similarly, since

*2b–a > 0, a–b < b*. But this contradicts the fact that

*b*is the smallest possible denominator in expressing $\sqrt{2}$as a rational number. This contradiction thus proves that $\sqrt{2}$is not rational.

We arrived at the same conclusion as in the first proof but this time presented it in visual form. There are at least half a dozen other proofs that can be adopted in showing that $\sqrt{2}$is irrational. We now prove a more general theorem regarding identifying irrationals in square root radical forms.

**Theorem 2**

If a natural number n is not a perfect square, then $\sqrt{n}$is not rational.

**Proof**

We adopt the same technique of Proof by Contradiction to show that $\sqrt{n}$is irrational.

If possible, let $\sqrt{n}$be rational of the form $\sqrt{n}=\frac{a}{b}$, where *a, b *are relatively prime integers such that *b* is the smallest possible denominator in expressing $\sqrt{n}$in such form.

Since *a, b* are relatively prime integers there exists integers *x, y* such that *ax+by=1*. Now from $\sqrt{n}=\frac{a}{b}$we have $a=\sqrt{n}b,\sqrt{n}a=bn$.

We now make the following manipulation: $\sqrt{n}=\sqrt{n}x1=\sqrt{n}x(ax+by)=\left(\sqrt{n}a\right)x+\left(\sqrt{n}b\right)y=bnx+ay$

Since, *a, b, n, x, y* are all integers it follows that *bnx + ay* is also an integer. Hence $\sqrt{n}$must also be an integer implying that *n* is a perfect square, contrary to our assumption that *n* is not a perfect square. This contradiction proves that $\sqrt{n}$is not rational.

**Note:**

Theorem 2 helps us generate infinitely many irrational numbers each of square root radical type.

We now prove a more general theorem regarding irrational numbers, but before doing that we provide the following known theorem (without proof) famously called as Fermat’s Last Theorem. This notorious theorem was proved by English Mathematician Andrew Wiles in 1995.

**Theorem 3:** (Fermat’s Last Theorem)

There do not exist natural numbers *a, b, c, n* such that *a ^{n} + b^{n} = cn* if

*n≥3*.

However, in the words of the great French mathematician Fermat, who is the originator of this theorem, “Mathematicians have discovered truly marvelous proof of this, which this magazine is too narrow to contain”.

Using Fermat’s Last Theorem as stated in Theorem 3, we now prove the following theorem.

**Theorem 4**

The number is $\sqrt[n]{2}$not rational for any natural number *n*, such that *n≥2*.

**Proof**

If *n=2*, then = $\sqrt[n]{2}$is not rational by Theorem 1. Hence, we assume *n≥3*. As in the previous theorems, let us assume that $\sqrt[n]{2}$is rational and arrive at a contradiction.

Let $\sqrt[n]{2}=\frac{a}{b}$, where *a, b* are some natural numbers. Then *a ^{n}=2b^{n}=b^{n}+b^{n}*. Thus if $\sqrt[n]{2}$is a rational number, then the sum of two

*n*powers is another

^{th}*n*power, contradicting Fermat’s Last Theorem stated in Theorem 3. This contradiction proves that $\sqrt[n]{2}$is not rational.

^{th}**Conclusion**

In this article we not only proved that $\sqrt{2}$is irrational but several class of numbers of the form $\sqrt{n}$(*n* is not a perfect square) and $\sqrt[n]{2}$are irrationals using the same technique of Proof by Contradiction. This method is the finest weapon that is used by mathematicians to prove numerous theorems in most branches of mathematics.

The author is Associate Professor of Mathematics, D.G. Vaishnav College, Chennai. He has more than two decades of teaching experience. He has provided more than 300 lectures conveying the beauty and application of mathematics. He has written 20 books to popularize mathematics among the common man. He has won more than 30 awards for his distinguished service to mathematics. He can be reached at rsivaraman1729@yahoo.co.in.