2008-04-01 15:24| 
32 Comments | 本文内容遵从April Fools' Day!
Fermat大定理指出，对于任何大于等于3的整数n，a^n + b^n = c^n没有非零解。Andrew Wiles在1995年完成了这个命题的证明。昨天，美国Stetson大学的一位数学教授竟找到了一个Fermat大定理(Fermat's last theorem)的反例。他找到了一种非常巧妙的方法来寻找，对于给定的自然数x和n，是否存在自然数y和z使得x^n + y^n = z^n。采用这种算法，他发现了若干个n>=3时的自然数解，从而推翻了Fermat大定理，并且也宣告了Wiles的“证明”是错误的。这些反例的数字规模相当大，最小的一组数就有1297位，它满足x^738 + y^738 = z^738。其中，(x,y,z)=
(
26757406659821805140785264680010372274498430542512150820986648726614825442628080
91409263288326737142002148749934726109139254900116220406265850072136111512929830
65198618746106622253544881885933434709673389867009228596678085502285308023374893
02467012686745009109518058010479088391269648165236867504012711060969236304159220
71430558979067304851331649552552467178281406985568026629647622220237594738159148
00043191525971232658406595766680914087737164113947666256743185572811766528273340
62674869564505398843317850004262057083707748113800290144472528953749231157766083
95401756248064445708944314033786607241345125837072843335201510179715179534760872
93128456693004621117531158137808348506442099496907211820280291824213378453221921
87763943541340276023617482914643980442283423755891918053237014787270701049209222
35075019215005156242424587588786599596477679714166845958342737936156469253351183
75093257232442272644125485043803053470811646595876045708111150554646694314437317
13347415735904949662684655124330034465272628173401723704326212964152602007685240
12178436851567696760403249281106823787338807719381042519556157268766917912043271
34895113831354288868858048316351171656992495726941884432586669961554383173727113
37747500144985002838787294776710705120216755777942955788797078395886026540711795
4162686093144623,
26761730098282716803947593724260480255296034114187936403361247608951058184769844
60420976780905654792098662517637350299686500668308633704296523790793770843468344
20599038793437354280614428269764521820856869592028199317487734329415322057391948
49848606740400086083242607437880096786781347948737402572364911534937526957718260
30923982416821271366747779961821976063472798970713731648885890849905286876921929
76216599291230543157159901441920715195645671598342007979769036670028375467322902
31140789945467286971777977741826583850863700015059770083184119798302136430032350
00106306154961428942292398561494099317556431148398780181448921052476051415642488
71108619084861816219619176179712787196080135857392743061351805539054944065099162
37625184190100394708740095790423456493572281774573812955348444075379236208868477
61498994659548002628172403011686078081883295161114666757195730464535315824733031
84636364271726528464982352061238813706702831738765327394196974529586011943780616
44472101748670599333668387455579091574038012339752343697462915067355856631141857
07781168215431652936089940154093316976341655197768193613282526291356914854067698
14995717041606308592709248905451534737560186226678687871137639010679123992586406
61809452218895617192485271227366919107611356527661932203497851014861529835200408
1683209185728255,
26784777783315257955569644447676409747215608969744276840107858657123815776249338
43686946157865123055266174513730298261198246882551030216647013919677418859378636
08329535747542129312286593424140038189055792635256013059196877415895651031975729
29109464228448287734340370821208692638033867373210677115808231521091420386248501
30220424586379921508186305868632421589829901476305649417244389963551163693372648
20937886061801469477823760810485575487668158022125290329209872105147770033623623
82505113501091838109263667231APRIL.FOOL!0479905083037813070526884513291104499500
96457982569706735378040161385942949385065869492641856190152837721401091093923455
58669712627971546688194013886085678610396700539278434453320045174082158548613661
11587496580214554520403476566807032038430089287258781339813590240511874399148567
46444071338703609505017025243109413770825805271369738718371414879405345006534898
18253915297691249763821775693158297518260620049867590096585369171568726812598119
90133751945268337613143003129593014812524495909490835034044823851300118037035889
14526990039773990863235526120105895868749988107895047450007297249939007063598914
51604253602524109179174240201396699819278177375598746896239386135879516490344339
17468727128717841400047373319344925109958154680265165309222845689371671299515993
26240065141385210961890495070585915837982265498697910594053796674661962946943778
45689080502901556509272617407136165053510739697236930805745912184085270273178866
7709596078031262
)
虽然这个数字巨大无比，但借助计算机我们可以很快验证其正确性。目前的问题是，Fermat大定理的反例是否有无穷多个，以及Wiles的“证明”的漏洞在哪里。
天！太震惊了!
在机房，回去就用Python算一下。
机房没有Python，还是SSH到远程服务器用服务器上的Python算了一下。啊……不可思议，真的不可思议。
算过了，太神奇了～～～
真另人难以置信～
M67该不是4.1来耍人吧~~~
没想到这种名不见经传的大学也能出现如此之大师级人物啊……
Stetson大学主页：http://www.stetson.edu/home/
早就感觉这个点发布这个东西不太对劲了……果然……
不知道的用网页搜索 搜搜某个关键词就知道是怎么回事了……
我觉得如果是真的。。按M牛的作风会在前面强调这不是愚人节的内容（虽然越写越不让人相信）
今天被Google.cn和Google.com忽悠了两次...
气死了，程序编了一半，才发现数据里隐藏的东西……
我承认我...到晚上就放松警惕了
!!!害得我激动了一把
呃 想起来今天是愚人节了~
弓虽!
P.S. 我是通过Google的关键字分析的~
ELS-Stetson University 还是全美前几吧?
...9楼看出什么了...我怎么没发现什么数据里的问题...
不过这发布时间有些问题...
一会儿写个程序算算...不会python真不好,还得用高精度...
Z的第七行中间有个硕大的APRIL.FOOL!
明摆着是耍人..
我在十秒的时间内发现了那个令人抓狂单词。。。。
［转载］Stetson大学教授发现Fermat大定理反例 Wiles的“证明”宣告错误...
Fermat大定理指出，对于任何大于等于3的整数n，a^n + b^n = c^n没有非零解。Andrew
Wiles在1995年完成了这个命题的证明。昨天，美国Stetson大学的一位数学教授竟找到了一个Fermat大...
http://www.matrix67.com/blog/archives/367
m牛不厚道
真疼…………
..靠...贴到我blog上时因为我blog宽度比较小发现问题了...
愚人,愚人...
解释一下题目:愚可以做动词,也可以做形容词...解释完毕.今天愚人节,事情不少啊.首先是身边的事.倒数第二节课即将下课时,wjf说最后一节课有事情,让我们留下别走.当时我根据他的语气和用词...
程序都写好了,被耍了
郁闷了。。 python提示语法错误才发现。。。。
靠~~幸亏看了评论！！
dd，wgxmz有严重的协助愚人嫌疑！！
这个AF Joke 好啊 ：）
怎么证明捏?python语言真的这么强大么?
为啥现在的trackback这么囧..
那个Z不是十进制数...
幸好我看到那行了。。。
我直接贴到Mathematica 5.0里面，马上发现了April.Fool!