# Is this proof that $\sqrt 2$ is irrational correct?

Suppose $\sqrt 2$ were rational. Then we would have integers $a$ and $b$ with $\sqrt 2 = \frac ab$ and $a$ and $b$ relatively prime.

Since $\gcd(a,b)=1$, we have $\gcd(a^2, b^2)=1$, and the fraction $\frac{a^2}{b^2}$ is also in lowest terms.

Squaring both sides, $2 = \frac 21 = \frac{a^2}{b^2}$.

Lowest terms representations of rational numbers are unique, so we have $a^2 = 2$ and $b^2=1$.

But there is no such integer $a$, and therefore we have a contradiction and $\sqrt 2$ is irrational.

I am not interested in the pedagogical value of this purported proof; I am only interested in whether the logic is sound.

• It's fine. You are essentially reducing to the Rational Root Test and then noting that there is no integer root. Of course, you might want to prove that there is no such $a$ (and your argument depends on the claim that "lowest term representations are unique"; that's only true if you require the denominator to be positive as well, though of course here you can assume $a,b$ are both positive). Commented Jun 23, 2012 at 19:59
• This seems OK, the only question being what is hidden in the statement that "lowest terms representations of rational numbers are unique" (which is true if everything in sight is positive, but needs qualification in general), and whether you need further justification of that step. Commented Jun 23, 2012 at 20:05
• @Mark The polynomial $x^2 -2$ is irreducible over $\Bbb{Q}$ by Eisenstein which implies that $2$ is irrational.
– user38268
Commented Jul 30, 2012 at 13:00
• The same proof appears in this MathOverflow thread.
– MJD
Commented Nov 12, 2014 at 3:29

Your proof is correct. Quicker, from $$\rm\:\color{#0a0}{(a,b)\!=\!1},\ 2\:\!b^2 = a^2\:$$ we deduce by Euclid's Lemma ($$\color{#c00}{\rm EL}$$) that $$\rm\:\color{#0a0}{b\:|\:a}\:\!a\:\Rightarrow\:b\:|\:a\,\$$ so $$\rm\:\sqrt{2} = a/b\in \mathbb Z.\:$$

In your proof, the only "uniqueness" result we need on reduced fractions is the following:

$$\rm{\bf Lemma}\ \ (a,b)\!=\!1,\ \dfrac{a}b = \dfrac{A}B\:\Rightarrow\:b\:|\:B\ \$$ Proof $$\rm\ \ Ab=aB\:\Rightarrow\:b\:|\:aB\:\Rightarrow\:b\:|\:B\:$$ by $$\rm\color{#c00}{EL}.\ \small\bf QED$$

$$\rm Hence\quad\ \, (a,b)\!=\!1,\ \dfrac{a}b = \dfrac{2b}{a}\ \Rightarrow\:b\:|\:a\ \Rightarrow\ \sqrt{2}=\dfrac{a}b\in\mathbb Z.\$$ So you don't need $$\rm\:(a^2,b^2)=1.$$

This method of proof generalizes to arbitrary square roots, e.g. see here.

The converse of the Lemma is also true, i.e. Euclid's Lemma is equivalent to this uniqueness property of reduced fractions. For more on this topic see my posts on unique fractionization.

• Out of curiosity, why do you \rm all of your letters? Commented Sep 13, 2014 at 16:02
• @alexqwx Because, back then, MathJax had problems with italic fonts, which complicated intricate alignments, etc. Commented Sep 13, 2014 at 16:18

Hhmmm ... Here is a short one.

We all know that $$\sqrt{2}$$ is a root of $$x^2-2 = 0$$

Apply Rational Root Theorem and you're done

It goes something like this : if $$\sqrt{2} = \dfrac{p}{q}$$, then $$q=1$$ and $$p$$ is a factor of $$2$$. Hence the only possible rational root of $$x^2-2=0$$ would be $$-2,-1,1,-2$$.

A quick check shows that this is not the case. Therefore $$\sqrt{2}$$ is irrational.

A bit further now : using the same Theorem, shiw that $$\sqrt{n^2+1}$$ is irrational.

• To apply RRT requires assuming $\,p/q\,$ is in lowest terms. The question is not about other proofs such as this well-known one but, rather, only about the logic of the OP's proof, cf. "I am only interested in...". Commented Jul 9, 2012 at 16:25

Here's a proof that a rational algebraic integer is an integer, using matrices. An algebraic integer occurs as an eigenvalue of a matrix with integer entries. Let $A$ be an $n \times n$ matrix with integer entries. Suppose that $Av = \lambda v$ for some rational number $\lambda$ where $v$ is a non-zero rational column vector. Multiplying through by a suitable integer, we may suppose that $v$ has integer entries. Dividing through if necessary, we may suppose that the entries of $v$ have no common divisor greater than $1.$ Write $\lambda = \frac{r}{s},$ where $r$ and $s$ are relatively prime integers. Then $sAv = rv.$ However, all entries of the column vector on the left are integer multiples of $s$. On the other hand, since the entries of $v$ have gcd 1, the gcd of the entries of the column vector on the right is $r$ (more precisely, we may write $r$ as an integer combination of the entries of $rv$). Hence $s$ divides $r.$ But ${\rm gcd}(r,s) =1,$ so $s = \pm 1,$ and $\lambda$ is an integer. (Background: An algebraic integer, $\alpha$ say, is a root of a monic polynomial with integer coefficients. There is a unique such polynomial of minimal degree called the minimum polynomial of $\alpha.$ Then $\alpha$ is an eigenvalue of the companion matrix of its minimum polynomial).