费马定理即费马大定理。费马提出当n>2时,方程x^n+y^n=z^n无整数解。公元17世纪,法国数学家皮耶·德·费马提出费马猜想,但没有给出证明。 1678年G·W莱布尼兹证明了n=4时定理成立。1770年C·欧拉证明了n=3和4的情形,P·G狄利克雷和G·拉梅分别证明了n=5和7的情形。
1884年E·E库默尔创立了理想数,从而证明了当n是介于2与100之间的奇数p(除去(p=37,59和67)时,定理成立。 1995年,安德鲁·怀尔斯等人将费马猜想证明过程发表在《数学年刊》,成功证明了这一定理。
费马大定理表述虽简单,但它的证明耗费了数代人的努力,许多数学家在证明过程中发现了许多新的数学理论,拓展了新的数学方法,证明费马大定理的过程可以算得上是一部数学史。
费马定理激发了几个世纪中的数学思维和发现。猜想成为定理,几代顶尖的数学家付出了艰辛努力。
18世纪的数学家欧拉,就n等于3的情况下进行了证明。
德国数学家厄恩斯特E.库默尔,就小于100的数中,除了37、59、67以外的其他所有数,证明了这个定理。
今天的计算机证明指出,对于前面的400万个自然数来说定理是成立的。
20世纪50年代,谷山丰提出了与椭圆曲线和它们在双曲平面内的构造有关的猜想。20世纪80年代。格哈德.弗雷指出,如果谷山猜想对于某一类的椭圆曲线(称作半稳定的),来说是对的,则费马定理可以证明。肯尼思A.李贝特证明了弗雷的命题
1995年问题得到彻底证明。由此可见,解决费马大定理的过程,极大地丰富了数学的思想、方法。