费尔马大定理证明

福建福州大学 张国平

在an+bn=cn中，当n＞2 时，若等式成立，则a，b，c，n不能同时为正整数。

证明：假设an+bn=cn中，当n＞2 时，若a，b，c，n同时为正整数时等式成立。

那么，在a+b=c中（a，b，c同时为正整数是成立的），由于当a，b为正整数时，总能够找到一个正整数c使得等式成立。

在a+b=c中，规定a≤b＜c，

则 在 等 式 中， 假 设a÷a=[a，0]；b÷a=[a，k1](0 ≤k1＜a)；c÷a=[a，k2](0 ≤k2＜a)(k1，k2为整数)（平余式运算知识），

等式可转化为：[a，0]+[a，k1]=[a，k2]或[a，0]+[a，k1]=[a，k2-a]，

得：[a，0]=[a，k2-k1]或[a，0]=[a，k2-a-k1]，

即k1=k2或a+k1=k2(与0 ≤k2＜a矛盾，舍去)，也就是说，b和c关于a同余。

同理，在an+bn=cn（a≤b＜c）中，若a，b，c，n同时为正整数时等式是成立的，也就表示bn和cn关于a同余。

假设：an÷a=[a，0]n=[a，0]；

所以[a，0]+[a，k1n]=[a，k2n]或[a，0]+[a，k1n]=[a，(k2-a)n]，

即：k2n-k1n=0 或k1n=(k2-a)n。

（1）当n为奇数时，即n=2N+1，

当k1=k2时，b=[a，k1]=ax+k1；c=[a，k2]=a(x+t)+k2(x∈Z+)。

由于c＞b，故c最接近b的数为a(x+1)+k1（t=1 时）。

由k1=k2得：an+（ax+k1）n=[a(x+t)+k1]n（1 ≤t），

由于1 ≤t，故而[(ax+k1)+at]n=(ax+k1)n(at)0+n·(ax+k1)n-1·(at)1+…+(ax+k1)n-n(at)n中，要大于左式an+（ax+k1）n，即an+（ax+k1）n=[a(x+t)+k2]n等式不成立，所以bn和cn不能与a同余，故假设不成立。

即当n=2N+1 时，an+bn=cn(n＞2)中，若等式成立，则a，b，c，n不能同时为正整数。

（2）当n为偶数时，即n=2N（1 ≦N），

则k12N=k22Nk1=k2(同上面证不成立)，或k12N=(k2-a)2N，

所以，只有k12N= (k2-a)2N。

假若令N=1，n=2N=2，得k12= (k2-a)2k1=±(k2-a)，

即k1=k2-a＜0（舍去），或k1=-(k2-a)k1+k2=a。

且a2+b2=c2，所以[a，0]+[a，k12]=[a，k22]（k1≠k2） [a，0]=[a，k22-k12]，得k22-k12=a·n(表示a的整数倍)。

得：（k1+k2）（k2-k1）=an，由于k1+k2=a，所以k2-k1=n＜a，

得：k1=（a-n）÷2；k2=（a+n）÷2。

由a2+b2=c2a2+[(a-n)÷2+a·N]2=[(a+n)÷2+a·N]2a2=(a+2aN)·na=(1+2N)·n。

假设a为奇素数（其他奇数都可由奇素数合成）（a＞1），

所以得n=1，a=1+2NN=(a-1)÷2，k1=(a-1)÷2，k2=(a+1)÷2，

代入得：a2+[(a-1)÷2+a·(a-1)÷2]2=[(a-1)÷2+a·(a-1)÷2]2，

整理得：a2+[(a2-1)÷2]2=[(a2+1)÷2]2（a＞1，a为奇素数）。

由于奇数可由奇素数合成，故若奇素数可用时，奇数也同样可用。故称a2+[(a2-1)÷2]2=[(a2+1)÷2]2（a＞1，a为奇数）为奇数公式。

现令b=2a(由于a是奇数，故b为偶数，且a＞1，则b＞2)，

把a=b÷2 代 入 奇 数 公 式 得：(b÷2)2+[((b÷2)2-1)÷2]2=[((b÷2)2+1)÷2]2（b＞2），

整理得：b2+(b2÷4-1)2=(b2÷4+1)2（b＞2）称为偶数公式。

综上所述：当n=2 时，a2+b2=c2（a≤b＜c），其所有组解必可由奇偶公式求得。

a2+b2=c2（a≤b＜c，a，b，c同时为正整数），

奇数公式：a2+[(a2-1)÷2]2=[(a2+1)÷2]2（a＞1），

偶数公式：b2+(b2÷4-1)2=(b2÷4+1)2（b＞2）。

在奇数公式中：c-b=(a2+1)÷2-(a2-1)÷2=1；

在偶数公式中：c-b=b2÷4+1-(b2÷4-1)=2。

也就是说，在a2+b2=c2中，无论是奇数组解还是偶数组解，其不可约解的c与b的差值不大于2，即c-b≤2。

现假设：a2n+b2n=c2n中，n＞1 时，(an)2+(bn)2=(cn)2是有正整数组解的，那么，不论其是奇数组解还是偶数组解，其不可约解都将满足在a2+b2=c2中，c-b≤2（n＞1，a，b，c同为正整数）。

即：cn-bn≤2（n＞1，b＜c；b，c同为正整数）。

现令n=2，则c2-b2=(c+b)(c-b)≤2，由于b＜c且是正整数，故1 ≤c-b；c+b＞2，得(c+b)(c-b)大于2，与c2-b2≤2 矛盾。

当n＞2 时，cn-bn=cn-2·c2-bn-2·b2=(cn-2÷bn-2)·c2-b2＞c2-b2＞2。

综上所述，cn-bn＞2 与cn-bn≤2 矛盾，故假设不成立。

所以，a2n+b2n=c2n（a≤b＜c，2 ≤n）中，a，b，c，n同时为正整数时等式不成立。

综合上述知，在an+bn=cn（a≤b＜c，n＞2）中，若等式成立，则a，b，c，n不能同时为正整数。（证毕）