私はフェルマー予想を解いた
■ このスレッドは過去ログ倉庫に格納されています
0001筝拿珂都痲
2005/12/27(火) 01:22:06私の証明に注目すべき点があるとすれば、それは
証明の過程で志村・谷山予想を経由しなかった点であろう。
私の証明を理解するには、楕円曲線論、および代数幾何学の
知識がかなり必要である。
しかし、それだけの知識を持った人材は、日本だけでも2,30人
はいるであろうと思う。そう期待したい。
少なくとも、Wiles氏の証明よりは遥かに簡明である。
ここに、数日に渡って全証明を書き連ねたいと思う。
それでは、証明をお見せしよう。
0002132人目の素数さん
2005/12/27(火) 01:25:330003132人目の素数さん
2005/12/27(火) 01:27:010004132人目の素数さん
2005/12/27(火) 01:27:320005132人目の素数さん
2005/12/27(火) 01:31:090006132人目の素数さん
2005/12/27(火) 01:31:480007筝拿珂都痲
2005/12/27(火) 01:32:37�@を満たすx、y、z、n∈N、n≧3、の組が存在しない
ことを示す。n=1728p^r(pは素数、r∈N)のときは
n=4のケースに帰着する。故にn≠1728p^rとする。
非特異射影曲線X上の0でない有理函数f∈k(x)の零点および
極が定義する因子(f)0、(f)∞を、
(f)0:=Σordp(f)>0ordp(f)P
(f)∞:=Σord(f)<0ordp(f)P
と定める。
0008132人目の素数さん
2005/12/27(火) 01:36:180009132人目の素数さん
2005/12/27(火) 01:39:460010筝拿珂都痲
2005/12/27(火) 01:46:48div(f)=(f)0−(f)∞
よって、f∈k(x)×に対し、
deg(r(f)∞)−l(r(f)∞)
はr∈Zにかんして上に有界である。
従って、�@によって生じるCの(Σ(ω)不変な)付解部分体k0上で
定義された楕円曲線をEとすると、Eのj不変量は1728で割り切れない
ので、擬似楕円曲線
Y^2Z+X^3+Y+2jE/γ0^2(jE−1728)YZ^2+Z^3
とk0−同型である。
0011132人目の素数さん
2005/12/27(火) 01:52:430012筝拿珂都痲
2005/12/27(火) 01:55:231+p^r−2g√(p^r)≦♯C(kr)≦1+p^r+2g√(p^r)
となることが知られている。
この事実より、
k1=Fp(p:prime,p≧5)のとき、射影平面曲線
C:=V〜(X^(p−1)+Y^(p−1))⊆P^2
は非特異である。
0013筝拿珂都痲
2005/12/27(火) 01:56:55私は期待を裏切らない。
0014132人目の素数さん
2005/12/27(火) 01:58:170015132人目の素数さん
2005/12/27(火) 02:23:27「筝拿珂都痲」って「そうだかつま」って読むの?
0016132人目の素数さん
2005/12/27(火) 02:35:310017132人目の素数さん
2005/12/27(火) 02:36:190018132人目の素数さん
2005/12/27(火) 03:37:080019132人目の素数さん
2005/12/27(火) 06:02:400020筝拿珂都痲
2005/12/27(火) 09:20:03これらの事実より、上の(k0−同型な)楕円曲線は半安定である。
従って、p|nを満たすような素数pに対し、モーデル・ヴェイユ群
Ep(Q)のrankは0であるか、max(x^γ0、y^γ0、z)より
大きいかのいずれかである。
rankEp(Q)=0ならば、n≧3であっても、�@のGCD1の解は
1つ存在すれば無限に構成できる。(例の古典的手法で)。
n≧3のとき�@に関する楕円曲線の種数は2以上であるから、これは
Faltingsの定理に矛盾する。
0021132人目の素数さん
2005/12/27(火) 09:21:270022筝拿珂都痲
2005/12/27(火) 09:31:42�@の解のひとつを(a,b,c)とし、楕円曲線
y^2=x(x−a^p)(x+a^p)
を構成する。
先に出てきた曲線をG、上の楕円曲線をHpとすると、
GHp /Jp^degG+degHp<(G /Jp^degG)(Hp /Jp^degHp)
であるが、このとき、G,Hpからindeceされる射影曲線V(GHp・G^−1Hp^2)は
非特異となる。
0023筝拿珂都痲
2005/12/27(火) 09:43:28よって、GHp・G^−1Hp^2の判別式(を16で割ったもの)
Δ:=(ab^2−bc^2)(a^3b−bc)^2
−4(a−bc)^3b^2−4γ0(a^p+b^p)
は0でない。
従って、kp上の楕円曲線GHp・G^−1Hp^2(種数1)に対し、
♯GHp・G^−1Hp^2(kp)≧1+p^p+2(|Δ|+1)√p^p
+|Δ|^p
>1+p^p+2√p^p
が成り立つが、これはHasseの定理に矛盾する。
よって、n≧3のとき、�@は自然数解を持たない。 証明終
0024筝拿珂都痲
2005/12/27(火) 09:50:36終わってしまったな。
念のため、証明中の・は関数の合成記号であり、積ではないことを
付け加えておく。白マルが出なかった。
ではそろそろ私は消えるが、皆さん良いお年を。
0025132人目の素数さん
2005/12/27(火) 09:51:130026132人目の素数さん
2005/12/27(火) 11:06:10記念カキコ。
0027132人目の素数さん
2005/12/27(火) 11:12:51すげぇw
0028132人目の素数さん
2005/12/27(火) 11:23:370029132人目の素数さん
2005/12/27(火) 11:48:30もし証明が合っているとして、
これだけ簡単な方法が何でwilesは出せなかったんだろう?
ここ10年間に理論が進んだってこと?
0030132人目の素数さん
2005/12/27(火) 12:11:15>これだけ簡単な方法が何でwilesは出せなかったんだろう?
フライのアイデアを経由したから。
0031132人目の素数さん
2005/12/27(火) 12:24:14>>20
楕円曲線の種数は1なわけで。。。
0032132人目の素数さん
2005/12/27(火) 12:26:20よいこのみんなは信じないでね^^;
0033132人目の素数さん
2005/12/27(火) 12:28:190034132人目の素数さん
2005/12/27(火) 12:33:17数学好きの女子中学生
0035132人目の素数さん
2005/12/27(火) 14:02:51m9(^Д^)プギャー
0036筝拿珂都痲
2005/12/27(火) 15:52:5620のやつは「楕円曲線」ではなく「代数曲線」が正解だね。
このことは証明の本質には関係ないので気にしないでほしい。
0037132人目の素数さん
2005/12/27(火) 16:16:36まだやるの?^^;
じゃあ
>>10
>(Σ(ω)不変な)付解部分体k0
>擬似楕円曲線
の定義と
>定義された楕円曲線をE
の構成法きぼん
0038132人目の素数さん
2005/12/27(火) 19:07:330039132人目の素数さん
2005/12/27(火) 20:03:14>>1 あなたもしかして天才?
0040麒麟 ◆Hg54SDDlfg
2005/12/27(火) 20:08:00Σ(οД〇;)
0041132人目の素数さん
2005/12/27(火) 20:27:292文字目は「な」と読まないと!
このスレのあらゆる事象がそう示唆している。
0042利
2005/12/27(火) 20:35:140043132人目の素数さん
2005/12/27(火) 21:00:540044132人目の素数さん
2005/12/27(火) 21:04:150045132人目の素数さん
2005/12/27(火) 21:07:07これ全部校長のヤラセだろ?
おかし?くだらねぇよ、命に関わる問題で遊んでんじゃねぇよ
絶対校長が考えたあいうえお作文だろ、いい加減にして欲しいよな
上の奴って言うのはいつもそうだ、道楽で下の人間に苦労かけさせやがって
それからファミレスの店員、上の奴呼べって言ったからって本当に店長呼んでんじゃねぇよ
こういう場合黙って勘定タダにするのが筋だろうが、空気嫁よな。
あと食べ放題に一日いるデブ、てめぇもなめてる。ピザでもとってろよ。
ピザで思い出したんだけどピザ屋の電話番もクソだ、どもってんじゃねぇよ
男に電話番やらせんな、感じ悪いしよ。なんかこうもっと萌える女店員とかにしろよ。
宅配担当の奴もそうだ、途中で絶対このピザ落としたろ。本当DQNばっかだな今の日本は
ところで今俺三越の4階の男子トイレ入って一番奥の部屋で紙がなくなって閉店前から
まさに今まで閉じ込められてるんだけど誰か黙って紙投げ入れてくれない?
0046132人目の素数さん
2005/12/27(火) 21:15:06「記念カキコ」の代わりに「kingは死ね。」と書き込む。
kingは死ね。
0047132人目の素数さん
2005/12/27(火) 22:10:26モッチーには無理。高度すぎる。Wilesに見せるほかないのでは?
0048132人目の素数さん
2005/12/27(火) 22:41:00そうなかつま
まつかなうそ
0049132人目の素数さん
2005/12/27(火) 22:49:19加藤和也先生は無理?
0050132人目の素数さん
2005/12/27(火) 22:55:050051132人目の素数さん
2005/12/27(火) 23:35:440052132人目の素数さん
2005/12/28(水) 02:23:200053132人目の素数さん
2005/12/28(水) 02:29:180054132人目の素数さん
2005/12/28(水) 03:25:230055king 氏ね
2005/12/28(水) 03:29:340056132人目の素数さん
2005/12/28(水) 03:48:11nihonjin unnunwa kankei gozaran!!
0057132人目の素数さん
2005/12/28(水) 05:29:01ちょwwwこういうことはエイプリルフールにやってくれ。
0058GiantLeaves ◆6fN.Sojv5w
2005/12/28(水) 06:31:290059132人目の素数さん
2005/12/28(水) 16:55:220060132人目の素数さん
2005/12/28(水) 17:13:210061132人目の素数さん
2005/12/28(水) 21:17:28kingでもいいから証明の検証してくれよ。
0062132人目の素数さん
2005/12/28(水) 21:19:530063132人目の素数さん
2005/12/29(木) 00:34:370064132人目の素数さん
2005/12/29(木) 01:05:540065132人目の素数さん
2005/12/29(木) 02:29:28ヘルマー予想と関係してんの?
0066132人目の素数さん
2005/12/29(木) 03:09:59いわゆるモーデル予想のことだね。
有限次代数体上定義された種数≧2の代数曲線上の有理点は有限個ってやつ。
フェルマー予想との関係はよく分からん。関係してるかも。
0067132人目の素数さん
2005/12/29(木) 04:12:02俺が全く知らない事ばかりだ
0068GiantLeaves ◆6fN.Sojv5w
2005/12/29(木) 06:56:41talk:>>61 Hasseの定理って何?この分野はあまり知らないもので。
0069132人目の素数さん
2005/12/29(木) 09:14:040070ニトログリセリン ◆FwEu25ENpg
2005/12/29(木) 09:38:57よく分からんから教えてエロい人
0071GiantLeaves ◆6fN.Sojv5w
2005/12/29(木) 09:51:20Pの真偽を確かめるために、仮定の部分、つまりPが正しいを前提に推論しよう。
すると、Pにより、フェルマー予想が正しいことが結論できる。
つまり、Pが正しいことを仮定することによってフェルマー予想が正しいことが分かったのだ。
これは命題Pそのものである。よって、Pが証明された。
Pの仮定の部分は真なので、フェルマー予想も真。
よってフェルマー予想は証明された。d.q.n.
0072132人目の素数さん
2005/12/29(木) 11:15:380073132人目の素数さん
2005/12/29(木) 11:45:040074132人目の素数さん
2005/12/29(木) 11:56:13まさか上にある証明のこと言ってるの?
証明の体すらなしてないから、
つっこみようもなく放置してるだけだと思うよ。
0075132人目の素数さん
2005/12/29(木) 11:59:00>>1にもそれくらいの度胸が欲しかったねw
0076132人目の素数さん
2005/12/29(木) 14:48:02それはわからないから?
0077132人目の素数さん
2005/12/29(木) 14:50:400078132人目の素数さん
2005/12/29(木) 15:03:49誰かが本気にしたらどうすんだ?
起の部分からすでに詭弁だろうが、ぼけ。
0079132人目の素数さん
2005/12/29(木) 15:10:150080132人目の素数さん
2005/12/29(木) 15:11:18数板の矜持
0081132人目の素数さん
2005/12/29(木) 15:14:00あらしすらやってこない状況をよくかんがえてみるんだ。
0082132人目の素数さん
2005/12/29(木) 15:20:19x^n+y^n=z^n・・・�@
�@を満たすx、y、z、n∈N、n≧3、の組が存在しない
ことを示す
これの対偶は
�@を満たすx、y、z、nが整数以外の全ての数、n<3、の組が存在する。
たくさんあるじゃん
証明終わり
0083132人目の素数さん
2005/12/29(木) 15:22:380084132人目の素数さん
2005/12/29(木) 15:25:46point in the process of proof without the passing stopping Shimura
and the Taniyama expectation if there is a point to have to pay
attention to my proof. The knowledge of an oval curve theory and the
algebraic geometry is considerably necessary to understand my proof.
However, 2 or 30 people think even only Japan will as for talent who
has the knowledge only of it. I want to expect it so. At least, it is
concise far of Mr. Wiles's proof. I want to write all proofs here for
several days. Then, I will show proof.
0085132人目の素数さん
2005/12/29(木) 15:26:22?It is shown that the class of x that fills @, y, z, n∈N, and n≧3
doesn't exist. It returns in the case with n=4 at n=1728p^r (p is a
prime number, and r∈N). Therefore, it is assumed n≠1728p^r. Factor
(f), 0 that zero and the pole of rational function f∈k(x) that 0 on
non-peculiar projection curve X define, and (f) ∞(f)0:=Σordp(f)>0
ordp(f)P
(f)It is provided 0 ∞:=Σord(f) <ordp(f) P.
0086132人目の素数さん
2005/12/29(木) 15:28:410087132人目の素数さん
2005/12/29(木) 15:28:43up against (f) div(f) = 0?(f) ∞ f∈k(x) ×. Therefore, because an
invariable amount of j of E cannot be divided when the oval curve
defined on solution partial body k0 with) of invariable Σ(ω) is
assumed to be E by 1728, it is pseudoand oval curve Y^2Z+X^3+Y+2jE/γ0^
2(jE?1728) YZ^2+Z^3 and k0? this ..(.. types of caused C.
0088132人目の素数さん
2005/12/29(木) 15:30:31日本人の恥を晒すようなもんだぞ。
絶対だぞ。俺は止めたからな。
0089132人目の素数さん
2005/12/29(木) 15:36:070090132人目の素数さん
2005/12/29(木) 15:41:430091132人目の素数さん
2005/12/29(木) 15:43:23seeds1+p^r?It is known to become 2g√(p^r) ≦♯C(kr) ≦1+p^r+2g√(p^r).
Projection plane curve from this fact at k1=Fp(p:prime,p≧5)
C:=V?(X^(p?1)+Y^(p?1))⊆P^2 is non-peculiar.
0092132人目の素数さん
2005/12/29(木) 15:43:58An oval curve of ..k0? this type..) is half ..(above.. steadier than
these facts. Therefore, p. |It is either 0 rank of Mordel Veiyu group
Ep(Q) or larger to prime number p that fills n than max(x^γ0,y^γ0,z).
The solution of GCD1 can be infinitely composed if existing by one
even in case of n≧3 in case of rankEp(Q) =0. (In a classic technique
of the example. )
Whether n≧3Because the number of seeds of oval curves concerning @
is two or more, this contradicts the theorem of Faltings.
0093132人目の素数さん
2005/12/29(木) 15:44:48?One of the solutions of @ is assumed to be (a,b,c), and oval and curve y^2=x(x?a^p)
(x+a^p) is composed. Early..go out..curve..oval..curve..do..at this time..do..
projection..curve..peculiar..become.
0094132人目の素数さん
2005/12/29(木) 15:45:19Therefore, the distinction type of GHp・G^?1Hp^2. (what divided with 16)Δ:
=(ab^2?bc^2)(a^3b?bc)^2
?4(a?bc) ^3b^2?4γ0(a^p+b^p) is not 0. Therefore, to curve GHp・G^?1Hp^2
oval (number 1 of seeds) on kp♯GHp・G^?1Hp^2(kp)≧1+p^p+2(|Δ|+1)√p^p
+|Δ|This contradicts the theorem of Hasse though ^p>1+p^p+2√p^p
consists. Therefore, n≧3 doesn't have the natural number solution. Proof
end
0095132人目の素数さん
2005/12/29(木) 16:50:06天才がいた
0096132人目の素数さん
2005/12/29(木) 18:00:460097132人目の素数さん
2005/12/29(木) 21:44:320098132人目の素数さん
2005/12/29(木) 22:32:470099132人目の素数さん
2005/12/30(金) 13:31:46例をいえよはげ
0100132人目の素数さん
2005/12/30(金) 13:33:120101132人目の素数さん
2005/12/30(金) 13:43:160102132人目の素数さん
2005/12/30(金) 14:03:510103132人目の素数さん
2005/12/30(金) 14:42:02そっちの検証でもしてみたら?
0104ドリーニュの知り合い
2005/12/30(金) 22:33:52ドリーニュ:
「え?なんやこれ。フェルマー予想の証明かいな。あれ、確かもう
解けたんちゃうの?ああ、なんや、別証明かいな。
ほお・・・なになに・・・おお、あっとるやんけ。凄いわ、これ。
今度グロタンデークせんせに会うから見せてみるわ。
せんせもビックリしよるで。はぁー、ええもん拝んだわ。」
とのことでした。
0105132人目の素数さん
2005/12/30(金) 22:35:100106132人目の素数さん
2005/12/31(土) 00:24:500107132人目の素数さん
2005/12/31(土) 00:26:0530過ぎても業績が無く、あせってムシャクシャ
してる研究生か何か。
0108132人目の素数さん
2005/12/31(土) 03:52:460109132人目の素数さん
2005/12/31(土) 13:27:380110132人目の素数さん
2005/12/31(土) 21:25:54フェルマー大定理の短証明―フェルマー大定理の別証明
山田 正治 (著)
この爺さんか?
0111132人目の素数さん
2005/12/31(土) 22:01:47この人の論文ならここにあるよ。
http://www.mito.ne.jp/~yamatrix/
0112132人目の素数さん
2005/12/31(土) 22:18:170113132人目の素数さん
2005/12/31(土) 22:27:12ワイルズ:
「え?なんやこれ。ワイルズの定理(とワイルズは呼ぶ)の別証明でっか。
ほお・・・なになに・・・おおおお、ものごっつ短かなっとるやんけ。
信じられへんわ、これ。 テーラー君にもメールで知らせたらんとなあ。
あいつもビックリしよるで。いや。ほんまにええもん拝ませてもろたわ。
これでもういつ死んでもええわ。ほんまやで。わかっとるけぇ〜〜。」
とのことでした。
0114132人目の素数さん
2006/01/01(日) 07:59:20こんな爺さんとか>>1の証明もどきなんて、誰かが既にやってるんじゃない?
0115132人目の素数さん
2006/01/01(日) 08:12:41>>110の人と>>1を同列に扱ったら>>110の人が気の毒だよw
0116132人目の素数さん
2006/01/01(日) 15:24:440117 【吉】
2006/01/01(日) 15:54:020119テーラー
2006/01/01(日) 17:00:35あの証明のあと気が抜けてしもて、ジャパン気触れしとったからなぁ、
ね・ん・がメールかいな?
お、おお、おおお、おおおお、おおおおお。おぇ、ほ〜んまかい。
いまさらこんな簡単な証明やて〜?
万が一でもトンデモやったりしたら、お〜こ〜る〜で〜、ホンマに。
せやけど、ワイルズ先生もエライいれこんどるみたいやないか。
いや、先生もこの間は自信満々の証明にエライ穴をあけとったからな。
ここは慎重を期さなあかん。リベ先生やカッツ先生、ファルティングス先生は
知っとんのやろか
0120132人目の素数さん
2006/01/01(日) 17:41:51まわりはめっちゃしらけてて、
でも当人はまったくそれに気づいてないってことってあんなあ?
>>119
0121132人目の素数さん
2006/01/01(日) 17:49:280122132人目の素数さん
2006/01/01(日) 18:49:40お前はDQNか?
0123132人目の素数さん
2006/01/01(日) 20:01:360124132人目の素数さん
2006/01/02(月) 02:46:590125132人目の素数さん
2006/01/06(金) 00:59:570126132人目の素数さん
2006/01/06(金) 08:00:540127132人目の素数さん
2006/01/06(金) 09:07:170128132人目の素数さん
2006/01/06(金) 10:09:38>>20>>31>>36-37
0129132人目の素数さん
2006/01/06(金) 13:19:48>>110の爺さんは、自分の証明は合っていると、
自分はそう確信し、満足しながら死んでいくのである。
こんな一節がなんかの本にあったな。フェルマー関係の本に。
0130132人目の素数さん
2006/01/06(金) 18:01:52そういう人って自分が世間からは認められていないということについては
どう考えているんだろう
いつかわかってもらえると思ってるのかな
0131132人目の素数さん
2006/01/09(月) 03:24:520132132人目の素数さん
2006/01/09(月) 03:30:34いやあってないに決まってるけど。
>この論文が2002年1月7日に完成してからかなりの日数が経過した.
>その間、時々取り出して眺め、
>また二、三の整数論学者(ただし名を秘す)の閲覧にも供したが、
>論文の誤りを指摘できたものは誰もいなかった.
自分は学部生だから間違いが全然分からないけど、
リアル数学者がすぐに間違い見つけられないって何事よ。
0133132人目の素数さん
2006/01/09(月) 13:21:44√(1/2)+√(1/2)=2√(1/2)
0134132人目の素数さん
2006/01/18(水) 20:42:360135132人目の素数さん
2006/01/18(水) 21:04:27題名は忘れた。何故か平積みされてた。
0136132人目の素数さん
2006/01/18(水) 22:11:38http://www.amazon.co.jp/exec/obidos/ASIN/4901880519/
これ?
0137132人目の素数さん
2006/01/19(木) 09:06:000138132人目の素数さん
2006/01/19(木) 11:26:24http://www.mito.ne.jp/~yamatrix/MyFLT.html
0139132人目の素数さん
2006/01/19(木) 13:13:310140132人目の素数さん
2006/01/19(木) 13:22:07それ読もうとしたとけど、記号の使い分けができてなくて読めない。
0141132人目の素数さん
2006/01/19(木) 23:00:02いや、違うやつ。
さらっとしか読んでないけど、整数の問題で複素数が出てくるのはおかしいとのたまっておりました。
a^n + b^n = c^n
a^n - c^n = -b^n
( a - c )( a^(n-1) + ・・・ + c^(n-1) ) = -b^n
とか因数分解すると、明らかに整数解なしとか書いてあったようなきがする。
著者は埼玉大学出身だったかな。
0142132人目の素数さん
2006/01/19(木) 23:05:37あった。多分コレ。なぜ平積みされてたのかわからん。
0143132人目の素数さん
2006/01/19(木) 23:38:060144132人目の素数さん
2006/01/20(金) 00:02:46この人って、ワイルズがいなければもしかして歴史に残る
数学者になったかもしれないの?
だってワイルズを経由せずに別個に新しい証明を発見したってことは、
ワイルズがいなければ一番手になった可能性が高いからな。
0145132人目の素数さん
2006/01/20(金) 01:20:000146132人目の素数さん
2006/01/20(金) 09:32:140147132人目の素数さん
2006/01/20(金) 09:42:46フェルマーとか四色定理とかは眉唾なのが多いんだろうけど
0148132人目の素数さん
2006/01/20(金) 18:41:40それは言えてる。
研究のついでにフェルマー予想が解けました、
って感じがする。
0149132人目の素数さん
2006/01/20(金) 22:22:50もしほんとに別証明できたのであれば、何百年も誰も思いつかなかったことを
なしえた訳だから、十分に価値のあることであろう。限定的な証明であったとしても。
>>148
フェルマー予想が谷山-志村に帰着されたことがワイルズのモチベーション
になったそうだから、研究のついでとは言えまい。
0150132人目の素数さん
2006/01/20(金) 22:28:43すでに感じていたのかもしれないが。
■ このスレッドは過去ログ倉庫に格納されています