【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。x,yは有理数とする。
(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)の右辺を展開すると、x,yが有理数、p^{1/(p-1)}が無理数なので、(3)は成り立たない。
(4)の(ap)^{1/(p-1)}が有理数のとき、x,yは、(3)のx,yのa^{1/(p-1)}倍となるので、(4)も成り立たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
探検
二項展開によるフェルマーの最終定理の証明
■ このスレッドは過去ログ倉庫に格納されています
1日高
2020/09/30(水) 20:02:28.14ID:LSjp8KRv441132人目の素数さん
2020/10/09(金) 19:40:05.03ID:001Azy09 >>434の証明を流用しました。
(修正12♪)
【定理】p=2のとき、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}=p{x^(p-1)+…+r^(p-2)x}…(2)となる。
(2)をさらに変形して、r^p{(y/r)^p-1}(1/r) = p{x^(p-1)+…+r^(p-2)x} …(2')となる。
これを、左辺の左=右辺の左として、
(2')はr^p=pのとき、x^2+y^2=(x+√2)^2…(3)となる。
(3)はx,yを有理数とすると、r=√2なので、解x,yは整数比とならない。
(3)をx'=xw、y'=ywとして、x'^p+y'^p=(x'+(p^{1/p})/w)^p…(3')とする。(wは無理数)
(3)の解x,yが整数比とならないので、(3')の解x',y'も整数比とならない。
(3)のrが有理数のとき、X^p+Y^p=(X^p+(ap)^{1/p})^p…(4)となる。
(4)の解X=x(a^{1/p})、Y=y(a^{1/p})も整数比とならない。
∴p=2のとき、x^p+y^p=z^pの解x,y,zは、整数比とならない。
(修正12♪)
【定理】p=2のとき、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}=p{x^(p-1)+…+r^(p-2)x}…(2)となる。
(2)をさらに変形して、r^p{(y/r)^p-1}(1/r) = p{x^(p-1)+…+r^(p-2)x} …(2')となる。
これを、左辺の左=右辺の左として、
(2')はr^p=pのとき、x^2+y^2=(x+√2)^2…(3)となる。
(3)はx,yを有理数とすると、r=√2なので、解x,yは整数比とならない。
(3)をx'=xw、y'=ywとして、x'^p+y'^p=(x'+(p^{1/p})/w)^p…(3')とする。(wは無理数)
(3)の解x,yが整数比とならないので、(3')の解x',y'も整数比とならない。
(3)のrが有理数のとき、X^p+Y^p=(X^p+(ap)^{1/p})^p…(4)となる。
(4)の解X=x(a^{1/p})、Y=y(a^{1/p})も整数比とならない。
∴p=2のとき、x^p+y^p=z^pの解x,y,zは、整数比とならない。
442132人目の素数さん
2020/10/09(金) 19:42:23.86ID:001Azy09■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【米米】米を「月30キロ」家族で消費する女性、カリフォルニア米を「4キロ2900円」で購入してみた感想は…… [ひぃぃ★]
- 【MLB】大谷翔平が急ブレーキ パパ初の本拠地も4の0 真美子夫人が選曲の登場曲も復帰後打率.125… 試合終了13分後に足早帰宅 [冬月記者★]
- なぜ?「就職氷河期世代」への支援続々 石破首相が“就労支援”など3本柱の対策を指示するなど各党が発表★4 [煮卵★]
- 【米国】「就任初日に戦争止める」と訴えていたトランプ氏「面白半分で言っていただけだ」★2 [あしだまな★]
- GACKT、永野芽郁と田中圭の不倫疑惑で「事務所が謝るのが全く理解できない」「日本の世論に謝罪を強要されているならマジでキモい」 [muffin★]
- 【北海道】自ら「泥棒ね」とレジ前を通過 パキスタン国籍の男は盗んだ日本酒を駐車場で飲酒 [樽悶★]
- 大阪万博の空飛ぶクルマ、デモ飛行中にプロペラ部品が外れるwwwwwwwwwwwwww🤣 [931948549]
- 万博で「ダンジョン飯」のマルシルのコスプレをして話題になったコスプレイヤー、カドカワ版権のキャラクターのグッズを個人で売っていた [384232311]
- 【GW暇な奴来い】安価で指定されたものを全力で探してうpするスレ
- ▶シオンたんお別れ会
- ベビーカー、重い荷物...なぜ日本人は手を差し伸べないのか?「困っている人=自業自得」一橋大×名大調査で明らかになった共感の欠如 [377482965]
- 政府「2030年、日本の高齢化、異次元です。いいアイデアないと本気で終わります。助けてください。」 [677076729]