扩展证明费马大定理.docVIP

扩展证明费马大定理： 　　证明： 　　m,n属于非负整数， x，y，z是正整数。j 表示“奇数”，k=2^（m+1）j 表示“偶数”。 　　按奇数与偶数的加法形式讨论费马方程： 　　1）偶数+偶数： 　　k1^n+k2^n=k3^n 　　2^n 2^m1n j1^n + 2^n 2^m2n j2^n = 2^n 2^m3n j3^n 　　2^m1n j1^n + 2^m2n j2^n = 2^m3n j3^n 　　等式两边同时除以 min (2^m1n，2^m2n ，2^m3n)，又分七种情况： 　　A)m1=m2=m3 　　得：j1^n + j2^n = j3^n，偶数=奇数，产生矛盾。 　　B)仅m1=m2 　　j1^n + j2^n = 2^(m3-m1)n j3^n ， 　　令m4=m3-m1 　　若m40 　　j1^n + j2^n = [ j3 /2^(-m4)]^n，　 　　[j3 /2^(-m4)]^n为小数， j1^n + j2^n 为整数，产生矛盾。 　　可见，m40时，不成立。 　　若m40， 　　j1^n + j2^n = j3^n 2^(m4)n，n2 　　若j3是j1^n与j2^n的公因数j1=j2=j3 　　则有j4^n+j5^n=2^(m4)n ——待证明 　　2^(m4)n不是j1^n与j2^n的公因数