證明費(fèi)馬大定理（證明過(guò)程詳解）

已知：a^2+b^2=c^2

令c=b+k，k=1.2.3……，則a^2+b^2=(b+k)^2。

因?yàn)椋麛?shù)c必然要比a與b都要大，而且至少要大于1，所以k=1.2.3……

設(shè)：a=d^(n/2)，b=h^(n/2)，c=p^(n/2)；

則a^2+b^2=c^2就可以寫(xiě)成d^n+h^n=p^n，n=1.2.3……

當(dāng)n=1時(shí)，d+h=p，d、h與p可以是任意整數(shù)。

當(dāng)n=2時(shí)，a=d，b=h，c=p，則d^2+h^2=p^2 => a^2+b^2=c^2。

當(dāng)n≥3時(shí)，a^2=d^n，b^2=h^n，c^2=p^n。

因?yàn)?，a=d^(n/2)，b=h^(n/2)，c=p^(n/2)；要想保證d、h、p為整數(shù)，就必須保證a、b、c必須都是完全平方數(shù)。

∴a、b、c必須是整數(shù)的平方，才能使d、h、p在d^n+h^n=p^n公式中為整數(shù)。

假若d、h、p不能在公式中同時(shí)以整數(shù)的形式存在的話，則費(fèi)馬大定理成立。

設(shè)a=mk，則b=k(m^2-1)/2。

令m=k，則a=m^2，b=m(m^2-1)/2，令m/2=(m^2-1)，則b=(m/2)^2，c=(m/2)^2+m。

則a^2+b^2=c^2 => m^4+(m/2)^4=[(m/2)^2+m]^2=>m^2(2m^2-m-2)=0，m1=0（舍去），m2=(1±√17)/4（非整數(shù)）。

此外，當(dāng)m/2=(m^2-1)時(shí)，（也可以讓）b=(m^2-1)^2

則a^2+b^2=c^2 => m^4+(m^2-1)^4=[(m^2-1)^2+m]^2=> m(m^2-1)(2m^2-m-2)=0，m1=0，m2=±1，m3=(1±√17)/4。

驗(yàn)證：當(dāng)m=±1時(shí)，b=h^(n^2)=(m^2-1)^2=0；即a^2=c^2。與題要求不符。

假若d、h、p可以以整數(shù)的形式出現(xiàn)，說(shuō)明等式d^n+h^n=p^n成立，費(fèi)馬大定理不成立。否則，d^n+h^n≠p^n不等式成立，費(fèi)馬大定理成立。