作者clovevcat (坚定一个目标)
看板Ju-88
标题[转录]Re: [好奇] 有没有废马定理的八卦?
时间Mon May 19 01:34:17 2008
※ [本文转录自 Gossiping 看板]
作者: DreamYeh (天使) 看板: Gossiping
标题: Re: [好奇] 有没有废马定理的八卦?
时间: Sun May 18 03:21:58 2008
※ 引述《bota (llll)》之铭言:
: 前面推文,有人提到费马定理,
: 印象中,是上世纪末英国人证出来的(这个故事,台湾还同时出现两家出版社
: 出书,其中一间是商务印书馆),
: 据商务版的说法,
: 那个证明,厚厚的一本书(有谁去找来翻过?)
: 这时候我就很好奇了,
: 当年费马真的有证出来吗(书的页边太小,写不下......) ?
: 还是他根本是唬烂的,他只发现这个现象,
: 没能力证明(类似商高只发现毕氏定理的特例,但却没办法证明)
: ,骗大家说,纸不够?
费马在写那个定理时候,是在一本丢番图《算术》拉丁文译本
第11卷第8命题旁写的。
他原先写法是:(我改成容易理解的写法)
===============================
A^3+B^3 = C^3 无正整数解(更白话文是 找不到一组A B C满足这个等式)
A^4+B^4 = C^4 无正整数解
事实上若N>2 A^N+B^N = C^N 也是无正整数解的
我已经想到一个美妙证明,可惜这边空白太小,写不下。
===============================
为什麽大家相信他的推论是对的呢?
一方面他身为业余数学家,对於数学却有相当多惊人的贡献。
(八卦是,连微积分他都有参一脚!)
另一方面,他一生中声称他已经证明,但是没有给出详细证明过程的
只有两个猜想,其他全部都经由数学家证明是正确的!
其中一个猜想是 2^(2^N)+1 一定是质数,这个猜想是错误的
另一个就是他在这边提出的猜想(科学所谓猜想是有人提出,但还没被证明的理论)
因此大家习惯把这个猜想称为
费马最後定理 (Dernier théorème de Fermat)
千百个人们想去证明这个定理
大家会这麽相信他还有个理由,因为有信件证明,
费马的确证明了 A^4+B^4 = C^4 无正整数解
而且用的就是他最得意的「无穷递降法」
费马对他这个无穷递降法有无比信心,这使得人们相信所谓美妙证明就是无穷递降法
这个定理有哪些
八卦呢?
首先,德国有个叫做 佛尔夫斯克
他有天觉得人生没意义,准备一了百了,
但他是很严谨的人(数学家很多怪咖),於是他写好一个计画书,
预计某年某月某日几点,准备怎麽自杀。
就在那一天快到自杀时刻,他想说看看书消磨时间也好,结果他就去看看书
刚好看到这个定理,他或许想反正时间多的是,解解也好!
没想到一解就很投入,最後终於超过他预定的自杀时刻
事後他认为这样在自杀,就不合乎自己定的原则,於是放弃自杀。
但他终究无法破解费马最後定理,为了感谢这个定理「救」了他,
他悬赏
十万马克 给能破解这个定理的人,这笔钱当时是很大一笔数目
消息一传出,吸引成千上万个人去解这个定理!
八卦就是,当中还有人学费马,他写着一些简单推理前提,像是做些简单因式分解
然後写着:
这是解答最前面,如果你先给我订金的一半,我就将所有解答附上!
否则我就把解答寄给俄国,让荣耀归於他们!
这种作弊当然被否决之
但是最後还是没有人能证明这个定理!成千上万个「证明」都被认为是错误的。
大家於是开始发现,要解这个问题居然是奇难无比!
八卦是曾经有个人写一本小说,内容是有个聪明绝顶的大魔王
要吃掉主人翁,主人翁耻笑大魔王不够聪明,不可以吃掉他
大魔王对自己知识很有自信,因此呛说:
「你出个问题!如果我可以解出!就证明我够聪明!就可以吃掉你!」
主人翁出的题目就是,证明费马最後定理
魔王於是用他法力跑遍宇宙、地狱
最後狼狈回来跟他说:「我认输了!想要证明这个定理是疯狂的!
你看我甚至找到一个人,他可以在一秒内解开高阶微分方程
可是他也放弃了!」
由於这个定理让大家碰一鼻子灰,人们普遍认为,
费马他或许给了一个「证明」,但这个证明是
错的。
就跟上千上万个「证明」一样
最後由於一战爆发,马克贬值,十万马克只能买卫生纸擦屁屁,这才不了了之
============================
最後这个定理还是被证明了!
以下有用到点数学知识,大家看看就好,
首先有个叫做谷山的人,他和他同伴志村 提出个猜想:
所有在有理数域椭圆曲线都是模的
这边就不解释什麽叫「是模的」
接着有叫做 Gerhard Frey 又提出ε猜想
这个猜想是「如果费马定理是错的,则谷山猜想也会是错的」
因为 若是 a^n+b^n=c^n有正整数解
那麽 y^2=x(x-a^n)(x+b^n) 是不可模的!
而这个猜想很快被Kenneth Ribet证实
这边有个简单逻辑,如果「如果费马最後定理是错的,则谷山猜想也会是错的」
那意思就是
「如果谷山‧志村定理是对的,则费马最後也会是对的」
而英国这位怀尔斯,就是去证明,谷山‧志村猜想在某种情况下是对的,
而这部分刚好可以对应到费马猜想,(也就是他没有证明谷山‧志村猜想)
於是证明费马最後定理的功劳就归功於他罗!
他也因此获得了数学奖以及前面说的那份奖金。
乡民们如果想证明一个数学问题,就不愁吃穿,建议可以去解一个叫做「黎曼猜想」
的问题!据说解出这个问题就可以扬名古今中外了!
==============================
最後再补两个八卦,
第一个八卦是,若要把怀尔斯证明过程写在《算术》边缘中,据说
就是有上万本也写不下!整个证明流程厚的像是一本百科一样!
第二个八卦是,当时不是很多人去解那个问题解不出来吗?
於是这些人们转而将不爽转到费马身上,他们开始酸费马
巴黎某车站留言板写着:
我已经证明了费马最後定理,可是我火车要来了,写不完。
可见得乡民酸人文化,并不是PTT独有的XD
报告完毕^^ 有任何不解可来信敝人信箱
--
— 请多指教喔!!
/\●/\ ))
(( / /▲\ \
\\
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 118.169.75.24
1F:→ fluteman:巴哈的kuso板主... 05/18 03:22
2F:推 limit: 05/18 03:22
3F:推 vinousred:那两个日本人後来变成东大教授 其中一人後来自杀 05/18 03:24
4F:推 uilmas1:ptt 暴民文化 来久了聪明的孩子都会变脑残 05/18 03:28
6F:推 AllenHuang:推 05/18 03:33
7F:推 gb20015:推!!!!真专业 05/18 03:38
8F:推 Xenomorph:这篇文章是那两本中译科普书的摘要XD 05/18 03:39
9F:推 sexyrickysky:这些资讯去看一本叫做费码最後定理的书上都有写.... 05/18 03:39
10F:推 ethanjava: 这是科普书的书摘 XD 05/18 03:40
11F:→ sexyrickysky:算是一本科普书...........可以当故事看看 05/18 03:40
12F:推 dendrobium:专业 05/18 03:40
13F:推 Alexboo:Ex:我已经找到了费玛证明了最後定理的方法 可是一行推不完 05/18 03:41
14F:推 evoWiz:喔喔天啊 是DreamYeah 05/18 03:43
15F:→ evoWiz:多打个a XD 05/18 03:43
16F:→ anbr:半夜看完这篇...突然变好困.. 05/18 03:43
17F:推 abian:推 05/18 03:44
18F:推 firedragen:我只记得粪便丁丁问过清人这个问题...清人暴走 XD 05/18 03:44
19F:推 Ghosts:推荐大家也可以去看一本叫做遇见哥德巴赫猜想 的科普书 05/18 03:44
20F:→ Ghosts:她内容也是跟 废马最後定理 差不多 都是在解很难的数学 05/18 03:45
21F:推 tonyian:我只知道为了解这猜想,数学家创造了很多新数学 害我读的.. 05/18 03:46
22F:→ tonyian:代数说有一半以上因它而发明一点都不夸张 还有几何领域也 05/18 03:47
23F:→ tonyian:也受影响极深 05/18 03:48
24F:→ DreamYeh:话说若有乡民可破解「黎曼猜想」并发表在数学期刊 05/18 03:50
25F:→ DreamYeh:我愿自掏腰包大请这位台湾之光! 05/18 03:50
26F:推 dearevan:推好文 05/18 03:53
27F:推 khungd2:推专业好文 数学家真的都是神 05/18 03:56
28F:→ esl0: 楼上嘴炮 这篇本版看懂人数率低於 1% 香民能出数学家?? 05/18 03:56
29F:→ esl0: 看看本版推文的水准 再来造数学家之梦 05/18 03:57
30F:→ esl0: 费马定理有大定理和小定理 这点本版香民知道吗? 05/18 03:58
31F:推 khungd2:当历史故事来看不看专业部分也真的是篇精采好文阿 05/18 03:58
32F:推 chi30:P=\=NP 05/18 03:58
33F:→ khungd2:就算是TIGERBLUE也是真精采 QQ 05/18 03:58
34F:推 dd1w5:你太小看乡民了 10po之内必有高手来电你 05/18 03:59
35F:推 AllenHuang:小定理有学过资讯安全的会听过 05/18 03:59
36F:推 KIL:专业推 05/18 04:03
37F:推 fluteman:dd不要做梦 po在math板或许会有高手出来电 这里喔... 05/18 04:04
38F:推 AllenHuang:召换t2d来解 05/18 04:15
39F:→ AllenHuang: 唤 05/18 04:16
40F:推 dmjohnny:废马就像是骗人布是个豪洨王,只是骗人布都真的是骗人的 05/18 04:24
41F:→ dmjohnny:但是废马却几乎都是真的... 05/18 04:24
42F:→ dmjohnny:豪洨功力能够如废马一般那这辈子大概就不愁吃穿了XD 05/18 04:25
43F:→ Herlin:证明黎曼假说有一百万美金,他自己去吃就好了 XD 05/18 04:25
44F:→ Herlin:费马并不是随便豪洨的 - - 05/18 04:27
45F:推 GVR13:哥德巴赫猜想:任何一个大於2的偶数整数皆可表示为两个质数 05/18 04:32
46F:→ GVR13:之和 例如4=2+2;6=3+3;8=5+3 等等... 05/18 04:33
48F:→ birdy590:百万美金问题 05/18 04:36
49F:推 amazed312:推 05/18 08:29
50F:推 bestgeorge:你好强orz.. 05/18 08:36
51F:推 ilove305mmm:中文以外的数字都看不懂啊啊啊 05/18 08:52
52F:推 sworddragon:推 05/18 08:55
53F:推 alexroc:这篇故事证明了数学的确无聊透顶 05/18 10:09
54F:推 toosalt:楼上的推文证明自己的确是无知透顶 05/18 10:41
55F:推 joe2:数学就是宇宙,你否定了宇宙也等於否定了自己 05/18 11:38
56F:推 LittleMiko:听说如果没有这些数学基础 你现在不可能在这上网打B... 05/18 11:52
57F:推 kewang:专业!!! 05/18 13:00
58F:推 maxi247:推 05/18 13:57
59F:推 Kamelie:推 虽然都看不懂 XDD 05/18 14:22
60F:推 shumath:我已经想到一个美妙的方法来证明,但是这里推文太短写不下 05/18 17:16
61F:推 minivanilla:感谢您的认真发文 05/18 17:42
62F:推 minivanilla:感谢您的认真发文 05/18 17:42
63F:推 minivanilla:感谢您的认真发文 05/18 17:42
64F:推 pokannumber1:数论题目很简单 但真的不是正常人在研究的 05/18 21:34
65F:推 JohnnyWalker:好文 05/18 22:10
66F:推 cettce:shumath:我已经想到一个美妙的方法来证明,但是这里推文太 05/18 23:48
67F:→ cettce: 短写不下 05/18 23:48
68F:→ cettce: XDDDDD 05/18 23:48
69F:推 OpenSkyWin:很多猜想表面看来很简单,意思也了解,证明就好几个头大! 05/19 00:45
70F:→ OpenSkyWin:对了,希尔伯特的23个猜想都被证明完了吗? 05/19 00:46
71F:推 hengyen:推一个 05/19 01:18
--
真心的付出与情感的回馈是高度负相关...
付出的越多 所得到的回应却是越少...
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 218.172.177.129