费马大定理

费马大定理（（Fermat's Last Theorem）又被称为“费马猜想”，是指：不存在三个正整数x,y,z使得n大于2时，方程x^n + y^n = z^n（即费马方程）有解。这是法国数学家彼埃尔·德·费马(Pierre de Fermat)于1637年提出的著名数学难题。

费马被称为近代数论之父，他一生都在钻研古代的经典著作，表述了许多数学定理。这些定理于1840年左右相继被证明，其中仅剩下费马大定理还未被证明，所以，该定理也被称为费马最后定理。

无数数学家尝试证明该命题但都以失败告终，直到命题提出358年后的1994年，英国数学家安德鲁·怀尔斯 (Andrew Wiles)才成功完成证明，并于1995年在《数学年刊》上发表了论文《模椭圆曲线与费马大定理》，为这一数学难题画上句号。

费马大定理引导和促进了理想素数论、代数几何等学科的创立与发展。在费马大定理的证明过程中，为数学研究提供了很多有价值的思路和方法，它的相关理论也被广泛应用于其他数学领域和科学领域。

定理内容

一般地讲，当时，一个整数的次幂不可能表示为两个整数的同幂次之和。即对于，当时，除平凡解外，不定方程无全正整数解。

费马大定理包含两层意义：

（1）当（为任意奇素数时），中一定有一个不为整数；

（2）当时，出现两个方程，，若为正整数，则必须不为整数，因此不为整数。

这两层含义也给出了费马大定理的证明思路，即只要证明当时，不为整数即可。

历史

1637年前后，费马在研读古希腊数学家丢番图（Diophantus）的《算术》拉丁文译本时，在书的页边空白处、丢番图平方和问题旁边写下了一句话："不可能将一个三次方数拆分为两个三次方数之和，也不可能将一个四次方数拆分为两个四次方数之和，一般地，一个次数大于2的方幂不可能表为两个同次方幂之和"。他还声称自己已经找到一个"真正奇妙的证明"，但因为页边空白太窄而无法写下，后来被称为费马大定理。

在费马猜想提出后的两个世纪（1637-1839）中，该猜想的证明进展缓慢，直到1832年左右，德国数学家库默尔（德语：Ernst Eduard Kummer）引入理想数和分圆数，开创理想数域论，使费马大定理的证明取得了突飞猛进的发展。

1955年左右，在东京举办的国际学术讨论会上，日本数学家谷山（Taniyama）和志村（Shimura）留意到椭圆曲线与模形式这两个数学分支之间可能存在关联，并提出一个猜想：有理数域上的椭圆曲线都是模曲线。

1986年，德国数学家符莱(G.Frey)把费马大定理与椭圆曲线联起来，按照符莱所作的对应，从谷山志村猜想（Taniyama-Shimura theorem）可以推出费马大定理，而1990年李贝(K.Ribet)证明了符莱的这一想法。

1993年，英国数学家安德鲁·怀尔斯（Andrew Wiles）公布了一套关于费马大定理的证明，但因报告长达二百多页，在送交审查时，人们发现证明中存在漏洞。1994年9月，他补上了全部漏洞，并通过了权威部门的严格审查。怀尔斯的证明中使用了形变环与赫克代数等同起来的方法（现称为R=T 定理），这一方法可以证明模性提升定理，并有力推动了代数数论的发展。1995年5月，美国《数学年刊》的41卷第3期全面登载了怀尔斯关于费马大定理的两篇论文，他通过证明半稳定椭圆曲线情形的模性定理完成了这一证明，自此费马大定理终于获得圆满证明，怀尔斯本人也因此成就获得沃尔夫奖，并在1998年柏林国际数学大会上被授予特别奖。

费马大定理指的是：当时不定方程其中为自由未知量，除平凡解外，没有正整数解。

当时，费马大定理公式具有无穷多的解，即：这个方程叫做勾股定理。勾股定理是平面几何中的一个重要定理，它描述了直角三角形中三边之间的关系。

费马小定理（Fermat's Little Theorem）是一条数论定理，由法国数学家费马在17世纪提出，它表述为：如果p是一个质数而a是p的整数倍数，则：

费马小定理指出，在模p意义下，a的p次方与a本身同余。这个定理虽然看起来比费马大定理简单，但其实在数论和密码学中有着广泛的应用，利用费马小定理，可以快速求出一个数的模p意义下的倒数、幂和阶等性质。同时，在密码学中，费马小定理被用于实现一些非对称算法中的加密和解密操作。比如，RSA加密算法中，密钥的生成就依赖于两个较大质数的费马小定理性质。

欧拉定理（Euler's Theorem）是由瑞士数学家莱昂哈德·欧拉（Leonhard Euler）在18世纪提出的，它表述为：如果a、n是正整数且互质，则。其中，是n的欧拉函数，表示小于等于n的所有正整数中与n互质的数的个数。

举个例子，假设a=3，n=7，那么a和n互质，因为它们没有共同的质因子。接下来，我们需要通过欧拉函数计算出φ(7)的值。小于等于7且与7互质的正整数有{1,2,3,4,5,6}，因此φ(7)=6。带入欧拉定理公式，得到。

欧拉定理的意义在于它提供了一种快速计算的方法，其中k是一个大的正整数。通过欧拉定理，我们可以先求出φ(n)，再计算出，这样就可以利用模重复平方的方法快速计算的值，最后我们可以利用欧拉定理的无穷递降法得出存在整数解的矛盾，从而证明费马大定理。

费马大定理的公式中，如果当n取负数时，费马大定理无法适用，但当n为负整数时，同样不存在正整数解，至于n为其他有理数的情况，比如当n=0时，也是无解的。

证明

代数证明

证明：当n大于2时，n是2的幂或能被奇数 p整除，当n是2的幂时，n=4k ，方程无正整数解，当n=pk时，可化为因为p是奇数，所以只须证明n=奇数。

设x，y 是任意正整数，x >y ，n>2 奇数，设

将两边开n次方得：

因为x，y是任意正整数所以是正有理小数。

因为无理数，所以无理数。

所以无正整数解。费马大定理证明完成。

几何证明

费马大定理几何证明的基本思路是构造一个满足“最短网络”条件的三角形，从而证明费马大定理成立。

首先，我们需要明确费马大定理所断言的问题：对于给定的三个点 A、B、C，假设它们的连线长度分别为a、b、c，要找到一个点 P，使得AP、BP、CP相加的长度最小。即，AP+BP+CP的值最小。

我们在三角形ABC的内部构造一条直线，使得直线上每一点到点A、点B的距离之和等于它到点C的距离。这条直线被称为斯特里克兰线。

在斯特里克兰线上找到点P，使得AP、BP、CP相加的长度最小。这里需要采用数学计算方法，利用极值的概念求解。

对比费马大定理的问题和我们构造的问题，可以发现它们的形式是一样的。我们只需要证明斯特里克兰线上的点P就是费马点，即AP+BP+CP的值最小。

利用反证法，假设在斯特里克兰线上有一点P'，使得AP'+BP'+CP'的值比AP+BP+CP的值更小。我们将P' 在斯特里克兰线上的投影点记为Q。

因为P'在斯特里克兰线上，所以AQ=AP'+P'Q，BQ=BP'+P'Q，CQ=CP'-P'Q。

对于AP'+BP'+CP'的值比AP+BP+CP的值更小这个假设来说，AQ+BQ+CQ的值也必须更小，即

AQ+BQ+CQ < AP+BP+CP

将AQ、BQ、CQ分别展开，用AP'、BP'、CP'表示出来，并利用勾股定理和余弦定理推导出矛盾。

模论证明

费马大定理的模论证明是在模p下进行的，其中p是一个不为2或5的素数，利用反证法，假设费马大定理不成立，即存在整数解：

，其中且。然后我们就可以用反证法证明费马大定理在模p的情况下成立。

其中且。

即a是b在模p下的逆元。此时我们将分别乘以次方。这样有：

其中， , ，。

同理有

其中。因为 n > 2，所以 s≥1，即n-1的二进制表示中至少有两个1。

其中，最后一步是通过展开，然后通过递归展开得到的。

把a=xyz代入

这样就出现了矛盾，因此假设不成立，费马大定理在模p的情况下成立。

费马方程的推广

广义费马方程

广义费马方程考虑满足以下条件的正整数解

与费马大定理不同的是，此处可以不全相等。费马大定理考虑的是的情况。

比尔猜想指出，当时，不存在满足方程的正整数解。

Fermat–Catalan猜想指出，广义费马方程只有有限多个解且具有不同的三重值 ,其中和为正整数且满足

该猜想已知解有十个，体现了解集的有限性。

反费马方程

对于费马大定理中的方程，当指数是一个整数的倒数时，即对于某个整数，，就可以得到反费马方程 .该方程的所有解均由亨德里克-伦斯特拉（Hendrik Lenstra）于 1992 年计算得出。在第 m 次根必须为实数且为正数的情况下，所有解均由以下公式给出

，其中均为正整数，且互素。

指数为有理数的情况

对于丢番图方程，Bennett, Glass, 和Székely在2004年证明了时，如果和互素，方程存在整数解。

负整数指数的情况

n=-1

光学方程的所有整数解（没有共有的质因子）可写成如下形式

其中，为互质的正整数。

n=-2

的情况有无穷多个解，这些解的几何解释为整数边，到斜边高为整数的直角三角形。正整数解可表示为

其中，为互质整数，且 .几何解释为和是直角三角形的整数边，是斜边的整数高。那么斜边就是整数 .

n<-2

对于，方程没有整数解。假设方程有解，方程乘以得到，与皮耶·德·费玛大定理矛盾。

应用

在费马大定理的证明过程中，为数学研究提供了很多有价值的思路和方法。此外，它的相关理论也被广泛应用于其他数学领域和科学领域。

素数判定

费马大定理具有素数判定的功能。对于某个自然数和任意整数，如果，那么是素数的概率很高。这个方法被称为费马小定理。

密码学中的应用

椭圆曲线加密算法和RSA加密算法都使用了费马大定理相关的数学理论和方法，这些算法在计算机网络安全领域得到了广泛应用，比如，车联网安全通信方案，利用费马定理的非对称加密技术，采用ECC和 AES 结合的混合加密方案，信道编码部分采用QR码，使之对于短码通信有着比LDPC更高的编码效率和更加安全。

数学其他领域的应用

费马大定理的相关理论在代数几何、代数、模形式等领域得到了应用。例如，安德鲁·怀尔斯证明费马大定理时使用的模椭圆曲线理论就是在研究这个问题时发展起来的。

意义

费马大定理的证明过程展示了数学思想的创新和发展，它不仅仅是为了得出新的结论，更为重要的是对数学的发展产生了巨大的推动作用。1816年和1850年，法国科学院都为费马大定理的普遍证明颁发奖金。

例如，在费马大定理的证明过程中，曾有数学家的证明存在错误，因为其错误地假设了相关域上的“整数”具有唯一分解性质；后来数学家库默尔受费马问题的启发，引入了理想数这一精妙的概念，这一概念在一定意义下恢复了唯一分解性质。这个定理在任意代数数域中都占有重要的中心地位，推动了近代数论的发展。另外，英国数学家安德鲁·怀尔斯也通过证明费马大定理，推动了模椭圆曲线理论中的研究，拓展了数学领域的边界。

证明费马大定理还需要进行学术交流和合作。怀尔斯证明费马大定理时是在与泰勒一起的基础上完成的，这也表明学术交流与合作是非常重要的，常常是创新思维的产生或突破难点的催产素。学科之间的交叉也至关重要。创造良好的学术交流环境同样是值得重视的。

费马大定理的证明体现了数学家追求真理、严谨科学的理性态度，同时也蕴含着数学本身就是一种锲而不舍、勇于创新的探索精神。因此，在今天的数学教育中，我们需要从数学的角度逐渐融入数学人文价值观，使数学教育为整个民族承担起提升实事求是科学态度和勇于探索创新意识的重任。