(修正27)
【定理】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を有理数としたとき解x,y,zは整数比とならない。
(3)の解x=X,y=Y,z=Zが無理数で整数比となるならば、それらの解を共通の無理数wで割ると、商X/w、Y/w、Z/wは有理数となる。
(3)に有理数x=X/w、y=Y/wを代入すると、解x,y,zは整数比とならない。
(4)の解x,y,zは、(3)の解x,y,zのa^{1/(p-1)}倍となるので、(4)の解x,y,zも整数比とならない。
∴pが奇素数のとき、x^p+y^p=z^pの解x,y,zは、整数比とならない
二項展開によるフェルマーの最終定理の証明
■ このスレッドは過去ログ倉庫に格納されています
892日高
2020/10/15(木) 17:02:37.63ID:Ki4+ZGsR■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【トランプ関税】車関税、米ビッグスリーにも重荷 GM、利益吹き飛ぶ恐れ [ぐれ★]
- 【悪質】吐き気がし道端にしゃがんだ10代女性に「大丈夫ですか?」40~50代くらいの男が”介抱”しながら女性の体に手を 札幌 ★3 [おっさん友の会★]
- 【フジ】女性アナに下半身露出の出演者 ヒアリングに「多忙で協力できない」と不誠実な対応 「実名出して」SNSが震撼した恐怖の夜★2 [冬月記者★]
- 秋田産コメからカドミウム 基準値超、回収進める [蚤の市★]
- 「どんだけ並ばせるねん!」 並ばない万博のはずが…入場まで1時間半 テストラン2日目 [蚤の市★]
- 【兵庫】「お前もとっとと自殺しろ」兵庫県議らに大量の脅迫メール 激化する“言論への攻撃”の実態「フラグを立てられたら終わり」 [ぐれ★]
- えっほえっほえっほっえっほっ
- 【動画】Xのメンヘラ女子、自殺 [632966346]
- 【悲報】アメリカ人「関税なら知ってるよ。日本人がアメリカ政府に25%納めるんだろ?」 [858219337]
- コメ、もうすぐ完全枯渇。去年4月と比べて在庫が1/5しかない [263288856]
- 【先着っ!】Ave Mujicaで一つ屋根の下で愛し合いたい女の子っ!!!!!!!!!!!!!!!!!!!
- 松本人志さん、テレビから永久追放が確定wwwwwwwwwwwwwwww [977790669]