上面一处应改为：所以m 与d 中，必有一个为不是自然数的无理数，所以没有整数解。

总结证明费马大定理推论思路：

    假若a^n+b^n=c^n (n为≥3的正整数，a.b.c.为大于0的整数且a.b.c互质），则会有c-x =a ，或c-y=b    x和y为大于0的正整数，且x和y中必有一值为≥2。由此最终将会推出等式两边悖谬的结果，从而证明最初的假定不能成立，这是证明费马大定理最关键性的一步！费马大定理的证明将因此而迎刃而解。

“……因为： (2^2n)^2/4 后为2n^2，2n^2 ± 1后为奇数……”  
       纠正为：“……因为： (2^2n)^2/4 后为4n^2，4n^2 ± 1后为奇数……”  

a.b.c为>0正整数，且(a,b,c)=1

假若：

a+b=c 当n为3时，最终推演出的是3c/c-3x/c=r 而c≤3显然无解，而>3，等式左边必为分数，则等式两边产生悖谬，所以a+b=c 当n为3时无正整数解。

上面的贴因有些符号不能显示，修改如下：

a.b.c为>0正整数，且(a,b,c)=1

假若：

a^n+b^n=c^n   当n为3时，最终推演出的是3c/c-3x/c=r^2 而c≤3显然无解，而>3，等式左边必为分数，则等式两边产生悖谬，所以a^n+b^n=c^n  当n为3时无正整数解。

“可见：毕达哥拉斯 a.b.c三元组中， 　（c-a）或（c-b），总有一数的差值为1或2，不可能大于2。”　

修改为：

可见：毕达哥拉斯 a.b.c本原三元组中， 　（c-a）或（c-b），总有一数的差值为1或2，不可能大于2。