费马定理，也被称为费马最后定理，是由17世纪法国数学家皮埃尔·德·费马提出的一个著名数学猜想。该定理的表述为： 当整数n大于2时，方程x^n + y^n = z^n没有正整数解。
费马定理的证明历程经历了数百年的努力，最终在1993年被英国数学家安德鲁·怀尔斯证明。怀尔斯的证明对于数学界产生了深远的影响，并且与黎曼猜想一起，成为广义相对论和量子力学融合的m理论几何拓扑载体。