2 §1.1 一个数论经典结论证明剖析

先展示题目：
《数学分析 第四版 华东师范大学数学组编》§1.1
8.设 $p$ 为正整数.证明：若 $p$ 不是完全平方数，则 $\sqrt{p}$ 是无理数.

证明：
（序号便于下文还原思维过程）

1. 用反证法，假设 $\sqrt{p}$ 为有理数.
2. 则 $\exists m,n\in N^{\ast }$ 使得 $\sqrt{p}=\frac{m}{n}$，且 $m$ 与 $n$ 互质.
3. 于是$m^2=p{n}^2$.
4. 可见 $n$ 能整除 $m^2$.
5. 由于 $m$与 $n$ 互质，从而他们的最大公约数为 $1$.
6. 由辗转相除法知： $\exists u,v\in N^{\ast }$使得 $mu+nv=1$.
7. 则 $m^{2}u+mnv=m$ .
8. 因 $n$ 能整除 $m^2$; m 2 n m^{2}n