初等证明：2、3不是同余数

后言：后一天回来看看了发现，错误不少，不严谨，犹如一个问题想了许久，突然灵光一闪，有了突破口，那个兴奋劲，事后仔细想想，忽又淡然了，原来那个突破口存在严重的漏洞，再过一会方才相通，只是已经经过严谨的推理证明。不过冥想许久的灵光一闪还是十分令我兴奋，即使走在路上手舞足蹈，也难免科学家在常人眼里是怪胎，但是人类的发展历程中科学家无处不在。

再后言：又回头看看了，发现了些许地方的误写，特此修改一下

证：采用反证法

$1.$假设$N=2$为同余数，那么存在有理数边直角三角形$A,B,C$使得

$A^2+B^2=C^2,\frac{AB}{2}=N$

又设$A,B,C$的分母最小公倍数为$s$，则$a=sA,b=sB,c=sC$同样满足

$a^2+b^2=c^2,\frac{ab}{2}=s^{2}N$

这里证明一下$(a,b,c)$构成毕达哥拉斯本原三元组

如果整数$M=(a,b,c)$，那么$(\frac{a}{M},\frac{b}{M},\frac{c}{M})$构成毕达哥拉斯本原三元组

且其面积为$\frac{ab}{2M^2}=\frac{s^{2}N}{M^2}$为整数(因为$\frac{a}{M},\frac{b}{M}$奇偶互异，必有一偶)

因此有$M^2|s^{2}N$，又因$N$无平方因子，所以$M|s$

设$s=tM$，又因为$(\frac{a}{M},\frac{b}{M},\frac{c}{M})=(tA,tB,tC)$为整数三元组，则有$s|t$

因此，可得$s=t,M=1$，因而$(a,b,c)$构成毕达哥拉斯本原三元组

回归正题，这里费马的无穷下降法证明(这里的证明都是看《初等数论及其应用第六版》后书上并未具体说明的问题，虽然也是费马采用的证明法，于是乎就来证明一下，说明一下本人并未观摩其证明)

$\because (a,b,c)=(m^2-n^2,2mn,m^2+n^2)$，其中$m,n$为奇偶互异的互素整数

$\therefore \frac{ab}{2}=(m^2-n^2)mn=(m+n)(m-n)mn=s^{2}N=2s^2$

$\because (m+n,m-n,m,n)=1\bigwedge 2|n$

$\therefore m+n=x^2,m-n=y^2,m=z^2,n=2w^2$，其中$x,y,z,w$为相互互素整数，且$x,y,z$为奇数

$\because 2n=4w^2=(m+n)-(m-n)=x^2-y^2=(x+y)(x-y)$

$\because (x+y,x-y)=(2x,x-y)=(2,x-y)=2$

$\therefore w^2=(\frac{x+y}{2})(\frac{x-y}{2})$，所以有$\frac{x+y}{2}=u^2,\frac{x-y}{2}=v^2$
这里$u,v$为整数且$(u,v)=1$

$\because x,y\equiv 1,3(\mathrm{m}\mathrm{o}\mathrm{d}4)$
(误写$1$：应为模$4$而非$8$，而当$8$时$5-1,5+1̸\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}8)$没有模整除这个结论，只有当$2$个模数为模的互补或相等时有这个结论，明显关于$4$的话$1,3$时互补的)

$\therefore x-y\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}4)\bigvee x+y\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}4)$

因此，可设$v=2d,d\in Z^{+}$

$\therefore x=\frac{x+y}{2}+\frac{x-y}{2}=u^2+v^2=u^2+4d^2$

$y=\frac{x+y}{2}-\frac{x-y}{2}=u^2-v^2=u^2-4d^2$

$\therefore m=\frac{x^2+y^2}{2}=u^4+16v^4=z^2$，可知$(u^2,4v^2,z)$构成一个毕达哥拉斯本原三元组

且其面积为$2u^2{v}^2=2(uv{)}^2$，可知此三元组也对应同余数$2$

而其斜边$z\le m<m^2+n^2=c$，即存在一个斜边更小的正整数直角三角形其对应同余数$2$

然而根据正整数的良序性可知，这是矛盾的，因此$2$不是同余数

$2.$假设$N=3$为同余数，则同理可得

$\because (m+n)(m-n)mn=s^{2}N=3s^2$

$$\begin{gathered} \therefore \{\begin{array}{l} \\ m+n=3x^2,m-n=y^2,m=z^2,n=(2w{)}^2\\ m+n=x^2,m-n=3y^2,m=z^2,n=(2w{)}^2\\ m+n=x^2,m-n=y^2,m=3z^2,n=(2w{)}^2\\ m+n=x^2,m-n=y^2,m=z^2,n=3(2w{)}^2\end{array} \end{gathered}$$

第一种情况

$2n=8w^2=(m+n)-(m-n)=3x^2-y^2$
(误写$2$：应为$8w^2$而非$4w^2$)

$y^2=3x^2-8w^2$，这可以通过两边同余$4$可知无整数解($x,y$为奇数)

第二种情况

$2n=8w^2=(m+n)-(m-n)=x^2-3y^2$
(误写$3$：应为$8w^2$而非$4w^2$)

$x^2=3y^2+8w^2$，这可以通过两边同余$4$可知无整数解($x,y$为奇数)

第三种情况

$\frac{n}{2}=2w^2=(\frac{x+y}{2})(\frac{x-y}{2})$

$\frac{x+y}{2}=u^2,\frac{x-y}{2}=v^2,(u,v)=1$，同样可设$2|v$，则$2\nmid u$

$\therefore x=\frac{x+y}{2}+\frac{x-y}{2}=u^2+v^2=u^2+4d^2$

$y=\frac{x+y}{2}-\frac{x-y}{2}=u^2-v^2=u^2-4d^2$

$\therefore m=\frac{x^2+y^2}{2}=u^4+16v^4=3z^2$，两边同余$4$可知无整数解($z$为奇数)

第四种情况

$\frac{n}{2}=6w^2=(\frac{x+y}{2})(\frac{x-y}{2})$

可设$x-y\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}4)$

$\frac{x+y}{2}=3u^2,\frac{x-y}{2}=2v^2,(u,v)=1$

$\therefore x=\frac{x+y}{2}+\frac{x-y}{2}=3u^2+2v^2$

$y=\frac{x+y}{2}-\frac{x-y}{2}=3u^2-2v^2$

$\therefore m=\frac{x^2+y^2}{2}=9u^4+4v^4=z^2$，可得$(3u^2,2v^2,z)$构成一个毕达哥拉斯本原三元组

且其面积为$3u^2{v}^2=3(uv{)}^2$，可知此三元组也对应同余数$3$

而其斜边$z\le m<m^2+n^2=c$，即存在一个斜边更小的正整数直角三角形其对应同余数$3$

然而根据正整数的良序性可知，这是矛盾的，因此$3$不是同余数

而如果是

$\frac{x+y}{2}=u^2,\frac{x-y}{2}=6v^2,(u,v)=1$

$\therefore x=\frac{x+y}{2}+\frac{x-y}{2}=u^2+6v^2$

$y=\frac{x+y}{2}-\frac{x-y}{2}=u^2-6v^2$

$\therefore m=\frac{x^2+y^2}{2}=u^4+36v^4=z^2$，可得$(u^2,6v^2,z)$构成一个毕达哥拉斯本原三元组

且其面积为$3u^2{v}^2=3(uv{)}^2$，可知此三元组也对应同余数$3$，同样是矛盾的

同理可证当$x+y\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}4)$，同样是矛盾的
(补充$1$：之前只对$x-y\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}4)$情况进行了证明而忽略了$x+y\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}4)$，这是不严谨的)

证毕.
(补充$2$：添加证明的标准结尾)