关于根号p是无理数的另类证明

这个证明是窝和房姐姐的第一次接触时候完成的。那个时候经常上那个什么鬼计算机基础，科科，经常玩进位制，于是灵感大法，完成于2013年的中秋节假期。

问题：若$p$不是完全平方数，那么$\sqrt{p}$为无理数。
证明：
1.若$\sqrt{p}$为整数，那么设$\sqrt{p}=k,k \in N_+$,$p=k^2$,与题设矛盾！
2.若$\sqrt{p}$为分数，$(m,n)=1$,$m$不等于1，设$\sqrt{p}=\frac{n}{m}$

引理：对于无限小数（有理数）$\frac{a}{b}(a,b \in N_+)$,存在进位制$h$，使得$\frac{a}{b}$在进位制$h$下为有限小数
引理的证明：
我们取$h=b$，表示出$a$在$b$进制下的形式

$$a=S_k\cdot b^k+S_{k-1} \cdot b^{k-1}+...+S_1 \cdot b^1+S_0\cdot b_0,$$
其中 $S_i\in \{0,1,...,b-1\}$, $i=1,2,...,k$, $S_i$不全为0.那么有
$$\frac{a}{b}=S_k\cdot b^{k-1}+S_{k-1} \cdot b^{k-2}+...+S_1 \cdot +S_0\cdot b^{-1}\cdot b_0=(S_kS_{k-1}...S_2S_1.S_0).$$
故引理得证.

回到原题，下面证明$\left(\frac{n}{m}\right)^2$不为正整数

1.若$\frac{n}{m}$为有限小数，那么设：

$$\frac{n}{m}=\overline{a_pa_{p-1}...a_l.a_{l-1}a_{l-2}...a_1},a_i \in \{0,1,...9\}$$
$a_i$不全为0，上式为 $\frac{n}{m}$的十进制表达式。
则有 $10^{l-1}\left(\frac{n}{m}\right)=\overline{a_pa_{p-1}...a_1}$,由于 $\frac{n}{m}$有小数位故 $l-1$不为0，两边平方有
$$10^{2(l-1)}\cdot \left(\frac{n}{m}\right)^2=(\overline{a_pa_{p-1}...a_1})^2=(\sum_{j=2}^pa_j\cdot 10^{j-1}+a_1)^2,$$

$\therefore 10^{2l-2}\cdot \left(\frac{n}{m}\right)^2\equiv (\sum_{j=2}^pa_j \cdot 10^{j-1}+a_1)^2 \equiv a_1^2\equiv 0(mod 10)$
$\therefore a_1=0,$同理$a_1=a_2=....a+{l-1}=0,$矛盾！所以当$\frac{n}{m}$为有限小数时，$\left(\frac{n}{m}\right)^2$不为正整数.

2.若$\frac{n}{m}$为无限小数，那么由引理$\frac{n}{m}$在$m$进制下为有限小数,$n=\sum_{j=0}^kS_j \cdot m^j$.设：

$$\frac{n}{m}=S_k\cdot m^{k-1}+S_{k-1} \cdot m^{k-2}+...+S_1 \cdot +S_0\cdot m^{-1}\cdot m_0=(S_kS_{k-1}...S_2S_1.S_0).$$
而 $c=(\sum_{j=0}^kS_j\cdot m^{j-1})^2$中产生 $m^{-2}$项，其系数为 $S_0^2$,由假定m不为1，所以 $S_0$不为0，所以 $\left(\frac{n}{m}\right)^2$在 $m$进制下至少存在小数位$m^{-2}$，与 $p \in N_+$在 m <script id="MathJax-Element-18618" type="math/tex">m</script>进制下午小数位矛盾！

综上（1），（2）知命题得证。