证明：假设√2不是无理数，而是有理数。 既然√2是有理数，它必然可以写成两个整数之比的形式： √2=p/q 又由于p和q没有公因数可以约去，所以可以认为p/q 为既约分数,即最简分数形式。 把 √2=p/q 两边平方 得 2=(p^2)/(q^2) 即 2(q^2)=p^2 由于2q^2是偶数，p 必定为偶数，设p=2m 由 2(q^2)=4(m^2) 得 q^2=2m^2 同理q必然也为偶数，设q=2n 既然p和q都是偶数，他们必定有公因数2，这与前面假设p/q是既约分数矛盾。这个矛盾是有假设√2是有理数引起的。因此√2是无理数。
