费马大定理(Fermat's last theorem)是指在整数域中,对于大于2的任何正整数n,方程 $a^n + b^n = c^n$ 都没有正整数解。这个问题由17世纪法国数学家费马提出,他声称自己有一种证明方法,但却没有在他的笔记中留下详细的证明,因此这个问题被称为“费马大定理”。
费马大定理在几个世纪的时间里一直是数学家们研究的热门问题之一,直到1994年,英国数学家安德鲁·怀尔斯(Andrew Wiles)发表了一篇长达100多页的论文,给出了这个问题的证明。怀尔斯的证明经过了严格的检验,被公认为是正确的。
怀尔斯的证明是基于数论中的一些深刻结论和方法,包括椭圆曲线和模形式等。他的证明被认为是数学史上最伟大的成就之一,也证明了数学上的一个重要思想,即“一个问题的难度并不在于问题本身的形式,而在于问题所在的数学领域和难以捉摸的本质”。