费马大定理有没有被证明出来？给谁证明出来了？在什么时候
马猜想〔Fermat'sconjecture〕又称费马大定理或费马问题，是数论中最著名的世界难题之一。1637年，法国数学家费马在巴歇校订的希腊数学家丢番图的《算术》第II卷第8命题旁边写道：「将一个立方数分为两个立方数，一个四次幂分为两个四次幂，或者一般地将一个高于二次的幂分为两个同次的幂，这是不可能的。关于此，我确信已发现一种美妙的证法，可惜这里空白的地方太小，写不下。」费马去世后，人们找不到这个猜想的证明，由此激发起许多数学家的兴趣。欧拉、勒让德、高斯、阿贝尔、狄利克雷、柯西等大数学家都试证过，但谁也没有得到普遍的证法。300多年以来，无数优秀学者为证明这个猜想，付出了巨大精力，同时亦产生出不少重要的数学概念及分支。
若用不定方程来表示，费马大定理即：当n
>
2时，不定方程xn
+
y
n
=
z
n
没有xyz≠0的整数解。为了证明这个结果，只需证明方程x4
+
y
4
=
z
4
，(x
,
y)
=
1和方程xp
+
yp
=
zp
，(x
,
y)
=
(x
,
z)
=
(y
,
z)
=
1〔p是一个奇素数〕均无xyz≠0的整数解。
n
=
4的情形已由莱布尼茨和欧拉解决。费马本人证明了p
=
3的情，但证明不完全。勒让德〔1823〕和狄利克雷〔1825〕证明了p
=
5的情形。1839年，拉梅证明了p
=
7的情形。1847年，德国数学家库默尔对费马猜想作出了突破性的工作。他创立了理想数论，这使得他证明了当p
<
100时，除了p
=
37，59，67这三个数以外，费马猜想都成立。后来他又进行深入研究，证明了对于上述三个数费马猜想也成立。在近代数学家中，范迪维尔对费马猜想作出重要贡献。他从本世纪20年代开始研究费马猜想，首先发现并改正了库默尔证明中的缺陷。在以后的30余年内，他进行了大量的工作，得到了使费马猜想成立一些充分条件。他和另外两位数学家共同证明了当p
<
4002时费马猜想成立。
现代数学家还利用大型电子计算器来探索费马猜想，使p
的数目有很大的推进。到1977年为止，瓦格斯塔夫证明了p
<
125000时，费马猜想成立。《中国数学会通讯》1987年第2期据国外消息报导，费马猜想近年来取得了惊人的研究成果：格朗维尔和希思—布龙证明了「对几乎所有的指数，费马大定理成立」。即若命N(x)表示在不超过x的整数中使费马猜想不成立的指数个数，则
证明中用到了法尔廷斯〔Faltings〕的结果。另外一个重要结果是：费马猜想若有反例，即存在x
>
0，y
>
0，z
>
0，n
>
2，使xn
+
y
n
=
z
n
，则x
>
101,800,000。
绛旓細锛屼簬鏄病鏈夌暀涓嬨備絾鍚庝汉璁や负浠栦笉鍙兘鏈璇佹槑銆傛渶缁堢殑璇佹槑鏉ヨ嚜鑻卞浗鏁板瀹禔ndrew Wiles (1995), 鎵鐢ㄧ殑宸ュ叿鏄簩鎴樺悗鍙戝睍鍑烘潵鐨勩傛湁涓鏈緢涓嶉敊鐨勪功灏辨槸鎻忚堪鍏舵暣涓巻鍙诧紝鏈夊叴瓒ｅ彲浠ョ湅鐪:Fermat's Enigma: The Epic Quest to Solve the World's Greatest Mathematical Problem by Simon Singh....
绛旓細浠庝笂闈㈠畨寰烽瞾路鎬灏旀柉璇佹槑璐归┈澶у畾鐞鐨勬晠浜嬩腑鎴戜互涓鸿嚦灏戝彲浠ュ緱鍒颁互涓嬪嚑鐐瑰惎绀猴細涓銆佷紭绉鐨勭鏅功绫嶅浜烘皯缇や紬銆佺壒鍒槸闈掑皯骞存湁宸ㄥぇ鐨勫奖鍝嶃傚鏋滃畨寰烽瞾路鎬灏旀柉娌℃湁鐪嬪埌鏈夊叧绉戝钁椾綔锛屽鏋滆繖浜涚瀛﹁憲浣滄病鏈変互鐢熷姩褰㈣薄鐨勬墜娉曢氫織鍦颁粙缁嶇瀛﹂棶棰橈紝鍒欏緢闅炬湁瀹夊痉椴伮锋灏旀柉鐨勬垚鍔熴傜洰鍓嶏紝鎴戝浗瀵圭鎶宸ヤ綔锛屽寘鎷鏅簨涓...
绛旓細鎬灏旀柉棣栧厛璇佹槑浜嗕竴涓噸瑕佺殑鍓骇鍝侊細瀵逛簬浠讳綍濂囩礌鏁皃锛岃垂椹柟绋媥^p+y^p=z^p娌℃湁闈為浂鏁存暟瑙ｃ傝繖涓粨鏋滆绉颁负鈥滄灏旀柉-娉板嫆瀹氱悊鈥濓紝瀹冩槸鎬灏旀柉璇佹槑璐归┈澶у畾鐞鐨勫叧閿楠や箣涓銆傛帴涓嬫潵锛屾灏旀柉鍒╃敤浠ｆ暟鍑犱綍鐨勬柟娉曪紝灏嗚垂椹ぇ瀹氱悊杞寲涓轰竴涓叧浜庢き鍦嗘洸绾跨殑闂銆備粬鍙戠幇锛屽綋n涓哄绱犳暟鏃讹紝璐归┈鏂圭▼鍙互琛ㄧず涓轰竴...
绛旓細璐归┈澶у畾鐞鐨勭‘鏄細褰搉>2鏃讹紝x^n+y^n=z^n娌℃湁姝ｆ暣鏁拌В锛屼絾鏄凡缁琚瘉鏄庡嚭鏉浜嗭紝鏃╁湪1994骞达紝鑻卞浗鐨勬暟瀛﹀鎬灏旀柉灏卞凡缁忚瘉鏄庤繃浜嗐傝繃绋嬫瀬鍏跺鏉傦紝鎴戝彧鑳藉憡璇変綘锛屾槸鍒╃敤鈥滄暟璁衡濈殑鐩稿叧鐭ヨ瘑璇佹槑鐨勩
绛旓細璐归┈澶у畾鐞鐨璇佹槑鏂规硶锛歺+y=z鏈夋棤绌峰缁勬暣鏁拌В锛岀О涓轰竴涓笁鍏冪粍锛泋^2+y^2=z^2涔熸湁鏃犵┓澶氱粍鏁存暟瑙ｏ紝杩欎釜缁撹鍦ㄦ瘯杈惧摜鎷夋柉鏃朵唬灏辫浠栫殑瀛︾敓璇佹槑锛岀О涓烘瘯杈惧摜鎷夋柉涓夊厓缁勶紝鎴戜滑涓浗浜虹О浠栦滑涓哄嬀鑲℃暟銆備絾x^3+y^3=z^3鍗村缁堟病鎵惧埌鏁存暟瑙ｃ傛渶鎺ヨ繎鐨勬槸锛6^3+8^3=9^-1锛岃繕鏄樊浜1銆備簬鏄縿浠...
绛旓細璐归┈澶у畾鐞鐨璇佹槑鏂规硶锛歺+y=z鏈夋棤绌峰缁勬暣鏁拌В锛岀О涓轰竴涓笁鍏冪粍锛泋^2+y^2=z^2涔熸湁鏃犵┓澶氱粍鏁存暟瑙ｏ紝杩欎釜缁撹鍦ㄦ瘯杈惧摜鎷夋柉鏃朵唬灏辫浠栫殑瀛︾敓璇佹槑锛岀О涓烘瘯杈惧摜鎷夋柉涓夊厓缁勶紝鎴戜滑涓浗浜虹О浠栦滑涓哄嬀鑲℃暟銆備絾x^3+y^3=z^3鍗村缁堟病鎵惧埌鏁存暟瑙ｃ傛渶鎺ヨ繎鐨勬槸锛6^3+8^3=9^-1锛岃繕鏄樊浜1銆備簬鏄縿浠...
绛旓細璇佹槑瀹屾垚锛1986骞达紝鑻卞浗鏁板瀹跺畨寰烽瞾路鎬灏旀柉鍚埌閲岃礉鐗硅瘉鏄庡紬闆峰懡棰樺悗锛屾劅鍒版敾鍏璐归┈澶у畾鐞鍒颁簡鏈鍚庢敾鍏抽樁娈碉紝骞朵笖杩欏垰濂芥槸浠栫殑鐮旂┒棰嗗煙锛屼粬寮濮嬫斁寮冩墍鏈夊叾瀹冩椿鍔紝绮惧績姊崇悊鏈夊叧棰嗗煙鐨勫熀鏈悊璁猴紝涓烘鍑嗗浜嗕竴骞村崐鏃堕棿鎶婃き鍦嗘洸绾夸笌妯″舰寮忛氳繃浼界綏鐡﹁〃绀烘柟娉曗滄帓闃熲濄傛帴涓嬫潵鐨勮灏嗕袱绉嶁滄帓闃熲濆簭鍒楀搴旈厤瀵癸紝杩欎竴...
绛旓細璐归┈澶у畾鐞锛屽張琚О涓衡滆垂椹渶鍚庣殑瀹氱悊鈥濓紝鐢辨硶鍥芥暟瀛﹀璐归┈鎻愬嚭銆傚畠鏂█褰撴暣鏁皀 >2鏃讹紝鍏充簬x, y, z鐨勬柟绋 x^n + y^n = z^n 娌℃湁姝ｆ暣鏁拌В銆傝鎻愬嚭鍚庯紝缁忓巻澶氫汉鐚滄兂杈╄瘉锛屽巻缁忎笁鐧惧骞寸殑鍘嗗彶锛屾渶缁堝湪1995骞磋鑻卞浗鏁板瀹跺畨寰烽瞾路鎬灏旀柉璇佹槑銆
绛旓細璐归┈澶у畾鐞锛氬璐归┈鏂圭▼x^n+y^n=z^n鏁存暟瑙ｅ叧绯荤殑璇佹槑锛屽骞存潵鍦ㄦ暟瀛︾晫涓鐩撮澶氫簤璁傛湰鏂囧埄鐢ㄥ钩闈㈠嚑浣曟柟娉曪紝鍏ㄩ潰鍒嗘瀽浜嗙洿瑙掍笁瑙掑舰杈归暱a^2+b^2=c^2鏁存暟瑙ｇ殑瀛樺湪鏉′欢锛屾彁鍑哄澶氬厓浠ｆ暟寮忓簲鐢ㄥ鍏冩眰鍊笺傛湰鏂囩粰鍑虹殑鐩磋涓夎鍨嬭竟闀縜^2+b^2=c^2鏁存暟瑙ｇ殑鈥滃畾a璁＄畻娉曞垯鈥濄傗滃姣旇绠楁硶鍒欌濓紱鈥滃畾宸...
绛旓細涓轰簡鑾峰緱瀹冪殑涓涓偗瀹氱殑鎴栬呭惁瀹氱殑璇佹槑锛屽巻鍙蹭笂鍑犳鎮祻寰佹眰绛旀锛屼竴浠ｅ張涓浠ｆ渶浼樼鐨勬暟瀛﹀閮芥浘鐮旂┒杩囷紝鍗充娇鐢ㄧ幇浠ｇ殑鐢靛瓙璁＄畻鏈轰篃鍙兘璇佹槑锛氬綋n灏忎簬绛変簬4100涓囨椂锛璐归┈澶у畾鐞鏄纭殑銆傜敱浜庡綋鏃惰垂椹０绉颁粬宸茶В鍐充簡杩欎釜闂锛屼絾鏄粬娌℃湁鍏竷缁撴灉锛屼簬鏄暀涓嬩簡杩欎釜鏁板闅鹃涓皯鏈夌殑鍗冨彜涔嬭皽銆傝鍏鎵т笘鐣...
