费马大定理证明过程(模椭圆曲线和费马大定理)

编程之家2024-06-10241次浏览

费马大定律是由法国数学家费马提出的，但他并没有给出详细的证明。直到数学家安德鲁·怀尔斯在1994年提出了一种证明方法，这个方法被称为“怀尔斯证明”。

怀尔斯证明利用了数论和代数几何的知识，通过构造一种特殊的曲线来证明费马大定律。这个证明方法经过了严格的数学推导和验证，被广泛接受并被认为是费马大定律的有效证明之一。

如下

费马大定理被证明，是一个长期和艰辛的过程。代表性的进程是：

1983年，GerdFsltings证明了，当n＞2时，不存在互质的a，b，c，使得a^n+b^n=c^n。

1986年，GerhardFrey提出epsilon猜想，显示了费马大定理与椭圆曲线及modularforms的密切关系。

1995年，怀尔斯和泰勒在一特例范围内证明了谷山志村猜想，Frey的椭圆曲线刚好在这一特例范围内，从而证明了费马大定理。

证明费马大定理（证明过程详解）

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

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

因为，整数c必然要比a与b都要大，而且至少要大于1，所以k=1.2.3……

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

则a^2+b^2=c^2就可以写成d^n+h^n=p^n，n=1.2.3……

当n=1时，d+h=p，d、h与p可以是任意整数。

当n=2时，a=d，b=h，c=p，则d^2+h^2=p^2=>a^2+b^2=c^2。

当n≥3时，a^2=d^n，b^2=h^n，c^2=p^n。

因为，a=d^(n/2)，b=h^(n/2)，c=p^(n/2)；要想保证d、h、p为整数，就必须保证a、b、c必须都是完全平方数。

∴a、b、c必须是整数的平方，才能使d、h、p在d^n+h^n=p^n公式中为整数。

假若d、h、p不能在公式中同时以整数的形式存在的话，则费马大定理成立。

设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（非整数）。

此外，当m/2=(m^2-1)时，（也可以让）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。

验证：当m=±1时，b=h^(n^2)=(m^2-1)^2=0；即a^2=c^2。与题要求不符。

假若d、h、p可以以整数的形式出现，说明等式d^n+h^n=p^n成立，费马大定理不成立。否则，d^n+h^n≠p^n不等式成立，费马大定理成立。