费马大定理，也被称为费马最后的定理，是由17世纪法国数学家皮耶·德·费马提出的一个数学猜想。这个定理的内容是：对于任何大于2的整数n，方程x^n + y^n = z^n没有正整数解。这个猜想曾经是一个数学界的难题，困扰了数学家们数百年之久，直到1995年，英国数学家安德鲁·怀尔斯和他的学生理查德·泰勒最终证明了这一定理。
费马大定理的证明过程非常复杂，并且在其证明过程中，怀尔斯引入了椭圆曲线和伽罗瓦表示等现代数学工具，并将其与数学中的其他领域如代数几何和数论相结合，最终完成了证明。这个证明被认为是数学史上最重要的成就之一，并且对现代数学的发展产生了深远的影响。