irrationality (proofs of)



\[\large{\sqrt{2} = \frac{p}{q}}\]

…where \(p\) and \(q\) are each integers. (We don’t know what these integers are, but by our assumption they must exist.) If this equation is true, then there is nothing wrong with squaring both sides of the equation, as follows,

\[ \large{\begin{eqnarray*} \color{magenta}\left( \color{black}\sqrt{2} \right)^2 & = & \color{magenta}\left( \color{black}\frac{p}{q} \right)^2 \\ & & \\ & \color{magenta}\Downarrow & \\ & & \\ 2 & = \displaystyle\frac{p^2}{q^2} \end{eqnarray*}}\]

We can then multiply both sides of the equation by the quantity \(q^2\), like this:

\[\large{\begin{eqnarray*} 2 \color{magenta}\times q^2 & = & \displaystyle\frac{p^2}{q^2} \color{magenta}\times q^2 \\ & & \\ & \color{magenta}\Downarrow & \\ & & \\ 2q^2 & = & p^2 \end{eqnarray*}}\]

Now we want to notice something interesting. According to the Fundamental Theorem of Arithmetic, each of the integers \(p\) and \(q\) factors uniquely into primes. That is, each of \(p\) and \(q\) is just some unique collection of primes multiplied together. Since in the above equation both \(p\) and \(q\) are squared, that means that each of these primes must occur in pairs, and moreover there must be exactly the same pairs of each of the primes on each side of the equation, else it wouldn’t be a true equation. But wait, this can’t be! Because—think about it—where’s the prime that pairs with the two?

There isn’t one. Therefore it can’t be a true equation, and therefore none of the earlier equations can be true equations either. Therefore the first equation is false, and we have our result: the assumption that the square root of two is a rational number must be false, so the contrary statement is true—the square root of two is an irrational number.



Professor Richard Palais of Brandeis University writes: “The (classical) proof you give of the irrationality of the square root of two is clear and elegant enough, but hardly the shortest or most revealing.” Professor Palais then relates the following beautiful proof, beautiful not only for its elegance but because it generalizes very easily.

To begin with, we observe that if \(\sqrt{2}\) is rational, then there is some positive integer \(q\) such that \(q\sqrt{2}\) is an integer. Since the positive integers are well ordered, we may suppose that \(q\) is the smallest such number.

We next observe that since \(1 < \sqrt{2} < 2\), then \(\sqrt{2} - 1 < 1\), and consequently \(q (\sqrt{2}-1) = (q\sqrt{2} - q )\) is less than \(q\). Let us call this new number \(r\), and observe that it too is a positive integer. But not only is \(r\) an integer—\(r\sqrt{2}\) is also an integer, since

\[ \begin{eqnarray*} r\sqrt{2} & = & (q\sqrt{2} - q) \sqrt{2} \\ & & \\ & = & 2q - q\sqrt{2} \end{eqnarray*}\]

and since \(q\sqrt{2}\) is an integer and \(q\) is an integer than evidently \(2q-q\sqrt{2}\) is an integer. In short, \(r\) is a positive integer less than \(q\) and \(r\sqrt{2}\) an integer. But we said that \(q\) was the smallest positive integer with this property, and so we have a contradiction.

The nice thing about this proof is how easily it generalizes. Let us denote by \(\left[\sqrt{n}\right]\) the integer part of \(\sqrt{n}\). For example, since the square root of 5 is approximately 2.236, then \(\left[\sqrt{5}\right] = 2\). For any \(n\) that is not a perfect square, we may prove that \(\sqrt{n}\) is irrational exactly as above by considering \(q \times (\sqrt{n}-\left[\sqrt{n}\right])\). On the other hand, if \(n\) is a perfect square (so \(\sqrt{n} = \left[\sqrt{n}\right]\)) then there is no contradiction.

For the more advanced reader, Professor Palais adds that if \(x\) is a rational but not integral zero of a monic integer polynomial of degree \(d\), let \(q\) be the least positive integer so that \(qx^j\) is integral for all \(j < d\). Then, considering \(q(x-n)\) where \(n\) is an integer with \(n < x < n + 1\), we get a contradiction. In other words, we have proved that every rational “algebraic integer” is an integer.



  • Richard Palais, author
  • B. Sidney Smith, author

Citation Info

  • [MLA] Palais, Richard, B. Sidney Smith. "irrationality (proofs of)." Platonic Realms Interactive Mathematics Encyclopedia. Platonic Realms, 16 Jul 2013. Web. 16 Jul 2013. <>
  • [APA] Palais, Richard, B. Sidney Smith (16 Jul 2013). irrationality (proofs of). Retrieved 16 Jul 2013 from the Platonic Realms Interactive Mathematics Encyclopedia:


detail from Escher pic Belvedere

Are you a mathematical artist?



Please let us know about yourself using the contact page.