无理数相关的几个证明

不存在平方等于$m/n$的有理数，除非$m和n$两者都是完全平方数（$m/n$既约）。

假设存在这样的有理数，则有$p^2/q^2=m/n$，即$n{p}^2=m{q}^2$.
因此$q^2$的每个因子整除$n{p}^2$，而$p,q$互素，因此$q^2$的每个因子整除$n$.
从而有$n=\lambda q^2$,但由于上式$m=\lambda p^2$.
由于$m,n$互素，$\lambda =1$.从而$m=p^2,n=q^2$.

一般地：有理根定理

如果$a/b$是整系数代数方程$p_0{x}^n+p_1{x}^{n-1}+p_2{x}^{n-2}+\dots +p_n=0$的一个根，那么$a$是$p_n$的一个因子，而$b$是$p_0$的一个因子。

如果$a/b$是整系数代数方程$p_0{x}^n+p_1{x}^{n-1}+p_2{x}^{n-2}+\dots +p_n=0$的一个根，代入有
$$p_0(\frac{a}{b}{)}^n+p_1(\frac{a}{b}{)}^{n-1}+\dots +p_n=0$$
两边同乘$b^n$,
$$p_0{a}^n+p_1{a}^{n-1}b+\dots +p_n{b}^n=0$$$$-p_n{b}^n=a(p_0{a}^{n-1}+p_1{a}^{n-2}+\dots +p_{n-1})$$
由于$a,b$互质，故$a,b^n$也互质，因此，$a是p_n$因子。
对原方程两边同乘$b^{n-1}$:$$-\frac{p_0{a}^n}{b}=p_1{a}^{n-1}+p_2{a}^{n-2}b+\dots +p_n{b}^{n-1}$$
等式右边是一个整数，因此左边也应该是一个整数。因此，$b是p_0$的因子。

如果$m/n$是$\sqrt{2}$的一个好的近似值，那么$(m+2n)/(m+n)$就是一个更好的近似值，且在这两种情形下，误差有相反的符号。

设$\frac{m}{n}-\sqrt{2}<\delta$,那么$$\sqrt{2}-\frac{m+2n}{m+n}=\frac{(\sqrt[]{2}-1)m+(\sqrt[]{2}-2)n}{m+n}<\frac{(\sqrt[]{2}-1)m-(2-\sqrt[]{2})n}{2n}=\frac{\sqrt[]{2}-1}{2}(\frac{m}{n}-\frac{2-\sqrt[]{2}}{\sqrt[]{2}-1})=\frac{\sqrt[]{2}-1}{2}(\frac{m}{n}-\sqrt[]{2})=\frac{\sqrt[]{2}-1}{2}\delta$$

且$0<\frac{\sqrt[]{2}-1}{2}\delta <\delta$,得证。