フェルマーの最終定理の証明を解読するスレ

1 ：10/09 〜 最終レス ：12/07

教えて？

2 ：

志村谷山予想から導かれるんだよー、という所まで解説すればいいのだね
志村谷山予想をどうやって証明すればいいかは論文を読んでもらうとして

3 ：

マー

4 ：

>>2
すみません英語よめません…

5 ：

>>4
http://www.amazon.co.jp/%E3%83%95%E3%82%A7%E3%83%AB%E3%83%9E%E3%83%BC%E4%BA%88%E6%83%B3-%E6%96%8E%E8%97%A4-%E6%AF%85/dp/4000059580
日本語でちゃんと証明が書いてある本があるからこれを読みたまえ

6 ：

最終定理の証明に楕円関数が必要らしいのですが本当ですか？
フェルマーは本当にこの定理の証明を見つけていたのでしょうか？

7 ：

そんな事はだえんも知らない

8 ：

戦争・災害等で所有物もろとも消滅してしまった数学者の中にフェルマーの定理の証明を得ていた者がいたかもしれない。

9 ：

谷山志村予想もフライの結果も知らない状態からスタートして
ワイルズとほぼ同じ道で証明した人はたぶんいない

10 ：

バビロニア人が証明しています。粘土版を発掘するだけ。

11 ：

>>8
ワシズを読め

12 ：

１００歳の毛利老人がいるぞよ。

13 ：

＜基本的な流れ＞
フェルマーの定理が偽と仮定すると、
フライ曲線が存在する。
フライ曲線は半安定な楕円曲線の一種である
フライ曲線はモジュラーではない
半安定な楕円曲線はモジュラーである
矛盾が生じた。
ゆえにフェルマーの定理は真。

14 ：

数学的帰納法じゃできないの？

15 ：

で…どーなの？

16 ：

まあゴリ押しですわ

17 ：

>>13
なるほど！

18 ：

（まったくわからん！）

19 ：

一番えらいのはひょっとして　フライですか？

20 ：

>>13
フライ曲線は半安定な楕円曲線の一種である
フライ曲線はモジュラーではない
半安定な楕円曲線はモジュラーである
※矛盾が生じた。
フライ曲線は半安定な楕円曲線の一種ではないとしか導けないが。
フェルマーの定理とは関係ないと思われ。

21 ：

通俗本読みかじりで、
フェルマーの定理が偽と仮定すると、
x^n+y^n=z^n の解（n>2, xyz≠0）が存在するから、それを使って
モジュラーではなくかつ半安定なある楕円曲線（谷山志村予想の反例）が作れる
というのがフライの予想（リベットが証明を完成した）で、
この曲線がフライ曲線と呼ばれている。
ワイルズは半安定な楕円曲線は必ずモジュラーである（従ってフライ曲線のような
モジュラーではなくかつ半安定な楕円曲線は存在しない）ことを証明した。
ちなみに谷山志村予想は半安定であろうとなかろうと楕円曲線は必ず
モジュラーであるという主張。
…と理解しているんだけど、正しい？

22 ：

x^n+y^n=z^n
z=x+yw
w^n=1

23 ：

なんかわらわらみたいに見える。

24 ：

なんか悲しい。上の解説読んでも
フライさんと海老フライの違い位しか分からねえよ。
なんでこんなに難しいんだ？

25 ：

http://en.wikipedia.org/wiki/Moduli_of_algebraic_curves

26 ：

じゃ、まず、無限降下法の説明からすればいいのか？

27 ：

>>24

海老フライのうた (2009/06/13)
http://www.youtube.com/watch?v=aYCWneB57yw

惣菜協会はどう考える？

ナゴヤの謎 (2004/06)
http://www.aichima.net/nazo/02_ebi/index.html

28 ：

>>27
鳥居いわく「エビフライが楽しく愉快な食べ物であるので、
悲しいこととセットでプラマイゼロ」とのこと。

http://wiki.livedoor.jp/laboratorii/d/%C4%BB%B5%EF%A4%DF%A4%E6%A4%AD%BC%AD%C5%B5(%A4%A2%A1%C1%A4%CA)

29 ：

直感主義、論理主義、形式主義について詳しく教えて頂けませんか？

30 ：

直感主義はやだなあ

31 ：

結局、解答は？

32 ：

あの問題は奇跡の問題だよね
問題文自体はやさしいけどいざといてみると超難解だし
問題文に素数が関係してる未解決ならたくさんあるけど…
x^3+y^3≠z^3（x,y,z∈Ｎ）だけでも解けんかったわ！

33 ：

学校の勉強がんばれよ

34 ：

z=(x^3+y^3)^1/3w

35 ：

ホー
良く知っとるなぁ

36 ：

知
↑
之は、「し」

37 ：

憂鬱月曜日さんへ
多分・・・今では普通？

38 ：

vＯv=3

39 ：

tst

40 ：

毛利老人のフェルマーの定理の証明って
あれって結局、どうだったの？

41 ：

無論。。

42 ：

対応は１０秒程度ですわナ。
猫

43 ：

なるほど、ボットではないんや。
猫

44 ：

猫はボット
電車で
出所後ボッチ

45 ：

話しはかわるけど、勝手に○○予想とかしちゃっていいもんなの？ある程度、偉くなってからじゃないとダメなの？(´･ω･`)

46 ：

少なくとも日本じゃ権威が無い奴が何を言っても見向きもされない

47 ：

いや、面白い内容が含まれていそうな予想なら。。。

48 ：

日本など相手にせずに勝手に海外に向けて発表したら。歴史に名前が残れば儲け物だし

49 ：

そうか……そうだよね
ちょっと考えてみる。ありがとう

50 ：

猫に小判、まで読んだ。

51 ：

猫

52 ：

猫が寝転んだ。

53 ：

予想の意味が明瞭で重要なら、言いだしっぺが誰でも受け入れられるはず。
ただ、良い予想（問題）はかなりの実力と運がないと発見自体は難しい。
（理由：現在の数学自体が高度に発達したため）

54 ：

x^n+y^n=z^n
m^nx^n+m^ny^n=m^nz^n
a^n+b^n=c^n mod a
b^n=c^n

55 ：

>>54
そ。

56 ：

ソウル大学の金博士の金予想。

57 ：

働くのよそう(´･ω･`)

58 ：

俺今18歳だけど30歳までに必ず谷山志村予想の証明を理解するぜ！！

59 ：

やる夫が谷山志村予想に興味持ったようです(´･ω･`)

60 ：

まずは一瞬で扇形台数と微積終わらせて
集合移送、台数、多様対、副祖関数やって
果敢間論と第数期か じっくりやるぜ！！
ここでようやくスタート地点だな
このあとは何をやればいいんだ？整数論か？

61 ：

>>60
漢字

62 ：

楕円曲線論、保型形式論、類体論、p進なんとかをやる必要があるみたいだな
どういう順番でどういう本でやればいいんだ？
親切な神を待つぜ！

63 ：

楕円曲線はSilvermanよりもKnappがおすすめ。
こちらのほうがモジュラー形式の解説も詳しくてお得。
類体論は色々ありすぎて判らんが、Cassels-Frohlichの中の
解説が色々とあり勉強になる。確か、局所と大域に分かれていたはず。

64 ：

類体論はNeukirchのClass field theoryが手っ取り早くていいかな。
でも類体論は必ずしも必要ではないんじゃないかな？
Diamond,Shurmanを読んでHidaを読めばおｋな気がする。

65 ：

Knappの方が読みやすいけど、Sivermanの方が後々役に立つかもね。

66 ：

アドバイスありがとうだぜ
それらの本は洋書なのか？調べてみるかな
洋書も敬遠せずに読むべきか？

67 ：

>>61
ちょっと面白いｗ

68 ：

Silvermanは知識の宝庫。
因みに洋書のほうが断然、本が揃っている。
和書だと、岩波の現代の基礎数学の数論がまとまっているが、
あれだけで全てを勉強するのは少しきついが、行間を読める
実力があれば問題なし。研究者気分も味わえるし。

69 ：

silverman楕円曲線論入門ってやつ？和書みたいだね

70 ：

楕円曲線論概説上下ってのもあった

71 ：

それじゃなくて英語版しかないやつだよ。
なんであのベストセラー本を日本語訳しないのか不思議だ。

72 ：

The Arithmetic of Elliptic Curves

73 ：

それらは学部何年までにやるべきなんだ？

74 ：

楕円曲線と言っても、範囲が広すぎるから、
上のシルバーマン本なら４年から修士１年程度かな。
ハーツホーンにある様な代数幾何の知識は余り必要ないし。
ラングも楕円曲線の本を書いていなかったか？

75 ：

調べてみたら岩波のフェルマー予想って本を見つけた。俺の目標は多分この本を理解する事だ
楕円曲線論はsilvermanでやるとして、尼のレビューによるとハーツホーン程度の代数幾何、Ｃ上のモジュラー曲線（志村本）、コホモロジーによる類体論（ノイケルヒ）などが最々低でも必要らしい
俺にはよくわからんけど
他にやるべき事とかオススメの本とか勉強のアドバイス希望
努力は惜しまない。まあ受験終わってからの話だけど

76 ：

大学入ってから来い。それまでは来るな。

77 ：

そうだな。もう書き込まない
たまに携帯で覗きに来るけど

78 ：

>>76
そんな事はアラヘンがな。誰が来ても、また誰が何をカキコしてもエエからこそ、
ココ２ちゃんの価値が皆に認められてるのや。そやから大学に入る前でもナンボ
でも好きな事をカキコしたらエエのや。オマエはそういうアホな事を言うたらア
カンがな。そやないとワシがアンタを攻撃スルぞ。
ソレこそ来たらアカンのはアンタみたいな馬鹿だけや。エエな。
猫

79 ：

>>78
受験生が落ちたら、おまいが責任とるのならいいぞ。

80 ：

>>79
受験生が受験に失敗スルのは「オマエの責任」やのうて「受験スル本人の責任」
やがな。幾ら頭が悪いからと言っても「そういう馬鹿な発言」を堂々とスナや。
オマエの知能が疑われるだけや
猫

81 ：

閑なので受験生でもいいから一緒に遊びたがる猫なのでありました。
警告：こんな痴漢のおっさんの真似したらいけないよ高校生は。

82 ：

え、何ほざいてるん？
この猫は。

83 ：

当たり前の事を言うてるだけや。ソレが何でアカンのや？　コラ、言うてみ！
猫

84 ：

何がコラじゃ！
え！コラ！
コラ、コラ言うとったらしばくぞ？
あ〜ん、しばき猫が

85 ：

アホは邪魔やさかい、アッチへ行ってろや
猫

86 ：

え、単にからかっただけやのに。
本気にするなんて猫もまだまだ修行が足らんな。

87 ：

フェルマーの定理の証明も簡略化されてるらしいぞ。
話し聞いてもさっぱりわからんが。

88 ：

>>86
ワシは修行が足りてるとでも思っとるんかァ！　そういう考えは甘いのや。
ワシのやり方は問答無用やさかいナ。今後も超ストレートで行くがな。
猫

89 ：

わしはふぇるま〜！

90 ：

ワシハチカン〜
猫

91 ：

今自分で読み直してみたんやけど、
よく考えたらワシの考えはちょっとばかしおかしいナ。
もう１度考えてレスし直すさかい、さっきまでのレスはなかった事にしてくれんかナ。

92 ：

>>91
ほしたら「どういう風にオカシイ」のかをワシみたいな馬鹿にでも判る様に説明
せえや。詳しくやデ。エエな。
猫

93 ：

何一人で遊んでんの？

94 ：

>>93
子供は先に寝なさい。
猫

95 ：

それはわしの勝手や。

96 ：

なるほど、ソレは正論。そやし寝るも寝ないもアンタの勝手や
猫

97 ：

夜寝る前も朝起きた後も代数幾何学の事を考えなさい

98 ：

寝ても覚めても考えることは女とやるコト。
Rは硬く鉄のよう。
抜いても、抜いても変わらず。|の皮が精子でかぶれるだけ。
持てあまします。
by 高校生

99 ：

数論幾何学について語ろうぜー猫ぉー

100read 1read

1read 100read

TOP カテ一覧 スレ一覧 2ch元 削除依頼 ▲

絶対数学 (676)
こんな板復活させなくてよかったのに (251)
高校から大学になるときの本 (224)
【ミルカさん】数学ガール【テトラちゃん】（２） (267)
ヤン-ミルズ方程式と質量ギャップ問題 (420)
【激しく】解析と線型代数の本何がいい？【既出】6 (754)
--log9.info------------------
ネットでストーカー被害に合って困っています。 (274)
fusianasanトラップになんらかの対処を (905)
トレンドマイクロいい加減にしろ (655)
ウイルスバスター2006のスパイウェア疑惑について (660)
ノートンとか金払って導入してるやつはアホ (953)
何でフリーのセキュリティソフト使うの？ver2 (449)
会社のネットワークでやってはいけない三箇条 (412)
【無料ｱﾝﾁｳｲﾙｽ】Dr.Web CureIt!【ｲﾝｽﾄｰﾙ不要】 (812)
何故ウイルスバスターは馬鹿にされるのか (525)
【ﾄﾚﾝﾄﾞﾏｲｸﾛ】スパイバスター2006（仮称）β版 (344)
ウィルスバスターに騙された！ (621)
ウィルスバスター(笑) (473)
ｳｲﾙｽﾊﾞｽﾀｰ2006(仮称)ﾍﾞｰﾀ版　Part1 (639)
【VB】ウイルスバスター2006 Part30【TrendMicro】 (507)
ESET Smart Securityのパッケージはすごい (404)
私はトレンドマイクロを信頼します (830)
--log55.com------------------
初心者が気軽に何でも撮影してUPして評価してもらうスレ 2
パクリの大魔王　HASEO（ハセガワハセオ)5
フレッシュ少人数撮影会＆スタジオ撮影会Part.56
サンバイベント情報73 [無断転載禁止](c)2ch.net
コミケ等で撮ったコスプレ写真うpスレ part888
コミケ等で撮ったコスプレ写真うpスレ part889
東海大学中長距離ブロック応援スレpart242
【紫紺の襷】明治大学競走部スレPart103