(修正23)
【定理】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)となる。rは有理数となり得る。
(3)はp^{1/(p-1)}が無理数なので、yを有理数とすると、xは無理数となる。x,y,zは整数比とならない。
(4)の解x,y,zは、(3)の解x,y,zのa^{1/(p-1)}倍となるので、(4)のx,y,rを有理数とすると、成り立たない。
(3)のx,yが無理数の場合は、(sw)^p+(tw)^p=(sw+p^{1/(p-1)})^p…(5)とする。(s,tは有理数、wは無理数)
(5)の両辺をw^pで割って、s^p+t^p=(s+(p^{1/(p-1)})/w)^p…(5')とする。
(5')は(p^{1/(p-1)})/w=(ap)^{1/(p-1)}を有理数、s=x、t=yとしたとき、(4)が成り立たないので、成り立たない。
∴pが奇素数のとき、x^p+y^p=z^pの解x,y,zは、整数比とならない。
二項展開によるフェルマーの最終定理の証明
■ このスレッドは過去ログ倉庫に格納されています
797日高
2020/10/13(火) 19:55:24.73ID:pgYxfR/A■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 「米価このまま維持されてしかるべきだ」佐賀県知事、稲作農家の経営踏まえ言及 ★4 [蚤の市★]
- 【大阪・関西万博】“空飛ぶクルマ” デモ飛行中に機体の一部破損 [香味焙煎★]
- 永野芽郁、衝撃の“肉食W不倫”の代償「CMドミノ降板」『キャスター』出演シーン大幅カット [阿弥陀ヶ峰★]
- 【訃報】大宮エリーさん死去 49歳 映画監督、脚本家、演出家など幅広く活躍… 電通デビュー作は広末涼子のドコモCM [冬月記者★]
- 【MLB】大谷翔平が急ブレーキ パパ初の本拠地も4の0 真美子夫人が選曲の登場曲も復帰後打率.125… 試合終了13分後に足早帰宅 [冬月記者★]
- 【テレビ】前田日明氏、大阪の高校時代「もう1人の大物喧嘩番長」の実名告白 “電車内大喧嘩”伝説に言及 [湛然★]
- 大谷、スランプwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww [333919576]
- 猫可愛いし飼いたいんだけど
- 銭湯の男湯にパパと来ていた7歳の女子を「奇貨置くべし」とスマホで写したオッサン、人生が終わる [389326466]
- なにがとは言わないがこの子デカくね
- 近所のジジイさん、朝6時半から草刈り機で草刈りをスタート [389326466]
- 万博で「ダンジョン飯」のマルシルのコスプレをして話題になったコスプレイヤー、カドカワ版権のキャラクターのグッズを個人で売っていた [384232311]