费马大定理是如何证明的

费马大定理是由英国数学家安德鲁·怀尔斯（Andrew Wiles）于1994年所证明的。费马大定理指出，当n大于2时，方程x^n + y^n = z^n 没有正整数解。

怀尔斯证明费马大定理的过程非常复杂，涉及到许多高深的数学知识，包括椭圆曲线、模形式、代数几何等。他的证明可以被分为两部分：第一部分是怀尔斯和他的同事理查德·泰勒（Richard Taylor）在1993年发表的论文，证明了一个重要的结论，即一类特殊的数学对象——椭圆曲线——存在一种非常特殊的性质，可以用来证明费马大定理；第二部分是怀尔斯在1994年发表的论文，证明了椭圆曲线确实可以用来证明费马大定理。

怀尔斯的证明非常复杂和深奥，但是它标志着人类数学史上一个重要的里程碑，为后人提供了许多重要的启示和思路。