简述费马大定理的内容、从提出猜想到解决的大致过程。

费马大定理：不存在正整数x、y、z，使得；n为大于2的正整数。
1、1676年，数学家根据费马的少量提示用无穷递降法证明n＝4。
2、1770年，欧拉证明了n=3的情形。
3、1825年，狄利克雷和勒让德证明了n=5的情形，用的是欧拉所用方法的延伸。
4、1839年，法国数学家拉梅证明了n=7的情形，他的证明使用了跟7本身结合的很紧密的巧秒工具，只是难以推广到n=11的情形；于是，他又在1847年提出了“分圆整数”法来证明，但没有成功。
5、库默尔在1844年提出了“理想数”概念，他证明了：对于所有小于100的素指数n，费马大定理成立，此一研究告一阶段。
6、1983年，德国数学家法尔廷斯证明了一条重要的猜想——莫德尔猜想这样的方程至多有有限个正整数解，他由于这一贡献，获得了菲尔兹奖。
7、1955年，日本数学家谷山丰首先猜测椭圆曲线于另一类数学家们了解更多的曲线——模曲线之间存在着某种联系；谷山的猜测后经韦依和志村五郎进一步精确化而形成了所谓“谷山——志村猜想”，这个猜想说明了有理数域上的椭圆曲线都是模曲线。这个很抽象的猜想使一些学者搞不明白，但它又使“费马大定理”的证明向前迈进了一步。
8、1985年，德国数学家弗雷指出了“谷山——志村猜想”和“费马大定理”之间的关系。
9、1986年，美国数学家里贝特证明了弗雷命题，于是希望便集中于“谷山——志村猜想”。
10、1993年6月，英国数学家维尔斯证明了：对有理数域上的一大类椭圆曲线，“谷山——志村猜想”成立。由于他在报告中表明了弗雷曲线恰好属于他所说的这一大类椭圆曲线，也就表明了他最终证明了“费马大定理”；但专家对他的证明审察发现有漏洞，于是，维尔斯又经过了一年多的拼搏，于1994年9月彻底圆满证明了“费马大定理”。

略