无理数无理性的证明问题

【问题1】求证：$\sqrt{2}$不是有理数.

证明：
假设$\sqrt{2}$是有理数，可设$\sqrt{2}=\frac{p}{q}$，$p、q\in N_+$，$q>1$，且$p、q$互质.
则$p^2=2q^2$，因此$p$是偶数.
可设$p=2n，n\in N_+$，得：$(2n)^2=2q^2$，即$4n^2=2q^2$，即$2n^2=q^2$，因此$q$是偶数.
因为$p、q$都是偶数，所以$p、q$有公因子2，与“$p、q$互质”矛盾.
因此假设不成立，$\sqrt{2}$不是有理数.（证毕）

【问题2】求证：$\sqrt{3}$不是有理数.

证明：
假设$\sqrt{3}$是有理数，可设$\sqrt{3}=\frac{p}{q}$，$p、q\in N_+$，$q>1$，且$p、q$互质.
则$p^2=3q^2$，因此$p、q$都是奇数.
可设$p=2n+1，q=2m+1，n、m\in N_+$，得：$(2n+1)^2=3(2m+1)^2$.
化简得：$2n^2+2n=6m^2+6m+1$.
由于上述等式左边为偶数，右边为奇数，所以等式不成立.
因此假设不成立，$\sqrt{3}$不是有理数.（证毕）

【问题3】求证：当$n$不是完全平方数时，$\sqrt{n}$不是有理数.

（完全平方数：若$x\in N_+$，则$x^2$为完全平方数.）
证明：
假设$\sqrt{n}$是有理数，可设$\sqrt{n}=\frac{p}{q}$，$p、q\in N_+$，$q>1$，且$p、q$互质.
则$p^2=nq^2$，因此$q^2$是$p^2$的因子.
由$p、q$互质可得$p^2、q^2$互质，即$p、q$仅有公因子1，又因为$q^2$是$p^2$的因子，因此$q=1$，与“$q>1$”矛盾.
因此假设不成立，当$n$不是完全平方数时，$\sqrt{n}$不是有理数.