(修正28)
【定理】pが奇素数のとき、x^p+y^p=z^pは自然数解x,y,zを持たない。
【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
(1)を積の形にすると、r^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(2)となる。
(2)はa=1、r^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(2)はa=1以外、r^(p-1)=apのとき、x^p+y^p=(x+(ap)^{1/(p-1)})^p…(4)となる。
(3)はp^{1/(p-1)}が無理数なので、x,yに有理数を代入すると、成り立たない。
(4)の解は、(3)の解のa^{1/(p-1)}倍となるので、(4)のx,yに有理数を代入すると、成り立たない。
∴pが奇素数のとき、x^p+y^p=z^pは自然数解x,y,zを持たない。
(参考)
(3)を(sw)^p+(tw)^p=(sw+p^{1/(p-1)})^p、s^p+t^p=(s+(p^{1/(p-1)})/w}^p…(3')と
する。
(s,tは有理数、wは無理数)
(4)はx、y、(ap)^{1/(p-1)}を有理数とすると成り立たないので、
(3')も(p^{1/(p-1)})/wを有理数とすると成り立たない。
探検
二項展開によるフェルマーの最終定理の証明
レス数が950を超えています。1000を超えると書き込みができなくなります。
982日高
2020/10/17(土) 11:30:20.81ID:GETDVM1Zレス数が950を超えています。1000を超えると書き込みができなくなります。
ニュース
- 「米価このまま維持されてしかるべきだ」佐賀県知事、稲作農家の経営踏まえ言及 ★3 [蚤の市★]
- 約700頭のコアラを狙撃し殺処分 森林火災が影響 オーストラリア [少考さん★]
- 【米国】「就任初日に戦争止める」と訴えていたトランプ氏「面白半分で言っていただけだ」★2 [あしだまな★]
- 【芸能】永野芽郁「彼氏いたらダメでしょ」 ラジオで語っていた“恋愛観” 好きな人に恋人がいる場合、仲良くなってはならないと持論 [jinjin★]
- 【広島】上司を呼び捨てにして「アイスを買ってこい」などと命令、「中抜け」してパチンコ…福山市職員(55)を懲戒処分 [ぐれ★]
- 【米米】米を「月30キロ」家族で消費する女性、カリフォルニア米を「4キロ2900円」で購入してみた感想は…… [ひぃぃ★]
- ベビーカー、重い荷物...なぜ日本人は手を差し伸べないのか?「困っている人=自業自得」一橋大×名大調査で明らかになった共感の欠如 [377482965]
- 🏡
- 2chて便所の落書きやら痰壺とか言われてきたけどまさかスマホの普及で俺たち以下の民度のやつらが出現するとは予想できなかったよな [472617201]
- 【次期衆院選】自民神奈川、義家氏の後釜に佐藤氏(30)、甘利氏の後釜に元維新の金沢氏(34)を選任 偉いぞ若造 [196352351]
- 記事「中国の原発は世界一😉」日本人さん「大事故起きたら埋めて無かった事にすんの?😄」「チャイナジョーク😂」 [441660812]
- 石破、東大でAI集中講座を受講「これから先、人口が急激に減っていく中にあってAIが果たす役割は非常に大きい。規制取り払っていかないと [377482965]