如何证明根号2和根号3是无理数

如何证明根号2和根号3是无理数

这要用到一个重要结论：任何有理数都可以表示成 p/q 的形式，其中 p、q 是不可约分的整数。
用反证法。假设 √2 是有理数，则存在不可约分的两个整数 p、q 使 √2 = p/q，
平方后去分母得 2q^2 = p^2，
左边是偶数，则右边也是偶数，因此 p 为偶数，设 p = 2m，
代入可得 q^2 = 2m^2，右边是偶数，则左边也是偶数，所以 q 是偶数，
这样一来，p、q 都是偶数，就可以用 2 约分，
与假设矛盾，所以 √2 不是有理数。（不是有理数当然就是无理数）

√2是无理数
欧几里得《几何原本》中的证明方法：
证明:√2是无理数
假设√2不是无理数
∴√2是有理数
令 √2=p/q (p、q互质)
两边平方得：
2=(p/q)^2
即：
2=p^2/q^2
通过移项,得：
2q^2=p^2
∴p^2必为偶数
∴p必为偶数
令p=2m
则p^2=4m^2
∴2q^2=4m^2
化简得：
q^2=2m^2
∴q^2必为偶数
∴q必为偶数
综上,q和p都是偶数
∴q、p互质,且q、p为偶数
矛盾 原假设不成立
∴√2为无理数
√3类似证明方法