フェルマーの最終定理の簡単な証明3
■ このスレッドは過去ログ倉庫に格納されています
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。 【証明】x^p+y^p=z^p…@を、z=x+rとおいて、x^p+y^p=(x+r)^p…Aとする。 Aを積の形に変形してrを求める。x,y,z,r,aは0をのぞく有理数とする。 Aを(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r}, r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…➂とする。 ➂はr^(p-1)=pとなるので、r=p^{1/(p-1)}となる。AはX^p+Y^p=(X+p^{1/(p-1)})^p…➃となる。 ➃はrが無理数となるので、式は成り立たない。 ➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…Dとなる。a(1/a)=1となる。 r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。AはX^p+Y^p=(X+(pa)^{1/(p-1)})^p…Eとなる。 EのX,Y,ZはCのx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、Eも式は成り立たない。 ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。 >>219 > >X^p+Y^p=(X+r)^p が最初の前提になっているので、当然これは成り立ちます。 > 両辺をd^p で割ると > (X/d)^p+(Y/d)^p=(X/d+r/d)^p > になります。両辺を同じ数で割っただけなので、この式も成り立ちます。 > > 成り立つでしょうか? > 成り立つ可能性があるだけでは、ないのでしょうか? 考え直せ。やり直し。 216について、 「(2)についていえたのは有理数解がないことだけであって、 背理法で考えるならばX,Yは自然数なのでx=X/d,y=Y/dは無理数である。よって矛盾は生じない。」 よろしければ、この部分を詳しく説明して、いただけないでしょうか。 x^p+y^p=(x+p^{1/(p-1)}^pは、無理数解を持つ場合があるという意味でしょうか? ,、i`ヽ ,r‐'ァ `ヽ:: ::´ ヽ ヽ / / ヽ \ 彡≡≡ミ_ _ / / ヽ ヽ ωH-高ω ,,/ , ' a^{1/(1-1) は特定できない「数」です。 ヽ ` ー 、.,,( 皿 )ュ_, - ' r' ` 、_ /::: `山'::::: / ヽ:::::::::::|::::::::"",r‐' さあ!きょうもヴァカどもを論破するぞ! 〉::::::::|::::::::::¨/ /;;;;;;;/;;;;;;;;;;/ /;;;;;;;/:::::::::::《 下半身は人格がないくらい元気です! <;;;;;;;《:::::::::::::ヽ / ヽI,r''"""^~ヽ どうだ、立派じゃろう / | __( "''''''::::. / / /--;;;; ______,,,,,,---'''''''"""" ヽ ゛゛:ヽ. ../ / / ::::::::"""" ・ . \::. 丿 / / / ::::::: ..........::::::::::::彡''ヘ::::....ノ | ( く ::::::::::;;;;;,,---""" ̄ ^`` | \ \ /...  ̄ ̄ | / | \ /:::::::: : ヽ | / | _――-\|::::: :: ヘ | / |/ ⊂⌒ ヽ:::::: :::.. ノ |/ \::::::: /\:::;;;;;;__ ノ >>219 何が言いたいのかわかりませんが、 反論があるのなら根拠を示してください。 >X^p+Y^p=(X+r)^p が最初の前提になっているので、当然これは成り立ちます。 X^p+Y^p=(X+r)^pが成り立つ理由を教えていただけないでしょうか。 命題の仮定とは存在の可能性をいうものではない 含意命題の前件からやり直した方がよい 真⇒真 が保証された所で論証をする つまり 検討するものは 真⇒真 真⇒偽 で十分である たしかこんな説明もどこかにあったと思う 偽⇒真と偽⇒偽について 詳しく書いている論理学の本は 和書に存在しない 例 明日晴れた ならば 公園に行く 前件後件ともに真とする このときもし前件で曇ったり雨が降った場合については この命題は何も言っていないので もし晴れてない場合に公園に行かなくても偽にならない 検討すべき問題は 明日晴れたら公園に行くか行かないか である またある本では含意命題における前件が偽の場合は不定である とも言う 前件が偽の場合も真理値を定めることで形式論理学が完全だとも言えるので 不定説を採らない者も多い なんだかわかったようなわからない問題であることは確かだ >>224 日高 > >X^p+Y^p=(X+r)^p が最初の前提になっているので、当然これは成り立ちます。 > > X^p+Y^p=(X+r)^pが成り立つ理由を教えていただけないでしょうか。 わかったよ。日高氏は背理法を理解していない。 だから、最後には成り立たないことがわかる式 「X^p+Y^p=(X+r)^pが成り立つ理由」を求めているんだ。 > スレ主は以下の命題の真偽がわかるかね? > (1) sin(π/2) = 0 ⇒ cos(π/3) = 1 > (2) sin(π/2) = 1 ⇒ cos(π/3) = 1 > (3) sin(π/3) = 0 ⇒ cos(π/3) = 1 という質問に対しては 問題の意味がよくわかりません。 ⇒の意味は、〜ならば〜である。と思いますが、 sin(π/2) = 0, sin(π/3) = 0となりません。 sin(π/2) = 1となりますが、 cos(π/3) = 1となりません。 と漫才のような珍答を与えている。 >>224 >>X^p+Y^p=(X+r)^p が最初の前提になっているので、当然これは成り立ちます。 >X^p+Y^p=(X+r)^pが成り立つ理由を教えていただけないでしょうか。 X^p+Y^p=(X+r)^p は前提です。もともと >>11 から始まった議論です。 X,YがX^p+Y^p=(X+r)^pをみたしX/d,Y/d,(X+r)/dが自然数だとするとどうなるかという流れの話です。 用語としては、前提でなく仮定と言った方が正しそうですね。 訂正しておきます。 11を再掲しておきます。 「あるrに対してはx^p+y^p=(x+r)^pに有理数解がない」は言えたとしても これの無理数解X,YでX:Y:X+rが自然数比になるものがないとは言えない。 X,YがX^p+Y^p=(X+r)^pをみたしX/d,Y/d,(X+r)/dが自然数だとする。 X/d,Y/dがみたすのは(X/d)^p+(Y/d)^p=(X/d+r/d)^pであって (X/d)^p+(Y/d)^p=(X/d+r)^pではない。 ここが日高氏の証明の誤りの中核部分だと思う。 >11を再掲しておきます。 「あるrに対してはx^p+y^p=(x+r)^pに有理数解がない」は言えたとしても これの無理数解X,YでX:Y:X+rが自然数比になるものがないとは言えない。 X,YがX^p+Y^p=(X+r)^pをみたしX/d,Y/d,(X+r)/dが自然数だとする。 X/d,Y/dがみたすのは(X/d)^p+(Y/d)^p=(X/d+r/d)^pであって (X/d)^p+(Y/d)^p=(X/d+r)^pではない。 >ここが日高氏の証明の誤りの中核部分だと思う。 すみません。間違えていました。 X,YがX^p+Y^p=(X+r)^pをみたしX/d,Y/d,(X+r)/dが自然数だとする。 X/d,Y/dがみたすのは(X/d)^p+(Y/d)^p=(X/d+r/d)^pでした。 ただ、X:Y:Z=x:y:zとなるので、X,Y,Zは、X^p+Y^p=(X+r)^pをみたしません。 >>229 > X,YがX^p+Y^p=(X+r)^pをみたしX/d,Y/d,(X+r)/dが自然数だとする。 > X/d,Y/dがみたすのは(X/d)^p+(Y/d)^p=(X/d+r/d)^pでした。 > > ただ、X:Y:Z=x:y:zとなるので、X,Y,Zは、X^p+Y^p=(X+r)^pをみたしません。 よろしければ、この最後の行を詳しく説明して、いただけないでしょうか。 >>230 の最後の文は >>221 の > よろしければ、この部分を詳しく説明して、いただけないでしょうか。 を踏まえている。 >>229 > X,YがX^p+Y^p=(X+r)^pをみたしX/d,Y/d,(X+r)/dが自然数だとする。 > X/d,Y/dがみたすのは(X/d)^p+(Y/d)^p=(X/d+r/d)^p > > ただ、X:Y:Z=x:y:zとなるので、X,Y,Zは、X^p+Y^p=(X+r)^pをみたしません。 X^p+Y^p=(X+r)^p=Z^pが式を満たすかは、不明 x^p+y^p=(x+r)^p=z^pは、式を満たさない。(確定) X:Y:Z=x:y:zとなるので、X^p+Y^p=(X+r)^p=Z^pも、式を満たさない。 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。 【証明】x^p+y^p=z^p…(1)を、z=x+rとおいて、x^p+y^p=(x+r)^p…(2)とする。 (2)を積の形に変形してrを求める。x,y,z,r,aは0をのぞく有理数とする。 (2)を(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r}, r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…(3)とする。 (3)はr^(p-1)=pとなるので、r=p^{1/(p-1)}となる。(2)はx^p+y^p=(x+p^{1/(p-1)})^p…(4)となる。 (4)はrが無理数となるので、式は成り立たない。 (3)の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…(5)となる。a(1/a)=1となる。 r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。(2)はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…(6)となる。 (6)のX,Y,Zは(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、(6)も式は成り立たない。 ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。 >>232 > X:Y:Z=x:y:zとなるので、X^p+Y^p=(X+r)^p=Z^pも、式を満たさない。 よろしければ、この部分を詳しく説明して、いただけないでしょうか。 X^p+Y^p=(X+r)^p=Z^pが式を満たすかは、不明 x^p+y^p=(x+r)^p=z^pは、式を満たさない。(確定) X:Y:Z=x:y:zとなるので、X^p+Y^p=(X+r)^p=Z^pも、式を満たさない。 X^p+Y^p=(X+r)^p=Z^pが整数比となるかは、不明 x^p+y^p=(x+r)^p=z^pは、整数比とならない。(確定) X:Y:Z=x:y:zとなるので、X^p+Y^p=(X+r)^p=Z^pも、整数比とならない。 (x,y,zを仮定しない場合) >>236 > X^p+Y^p=(X+r)^p=Z^pが式を満たすかは、不明 > x^p+y^p=(x+r)^p=z^pは、式を満たさない。(確定) x y zが何であるか制限されてないので嘘つきのデタラメ。 > X^p+Y^p=(X+r)^p=Z^pが式を満たすかは、不明 > x^p+y^p=(x+r)^p=z^pは、式を満たさない。(確定) x y zが何であるか制限されてないので嘘つきのデタラメ。 x,y,zを有理数とした場合です。 >>239 > > x^p+y^p=(x+r)^p=z^pは、式を満たさない。(確定) > x,y,zを有理数とした場合です。 x y zが無理数の場合を考えてないじゃんか。 > > x^p+y^p=(x+r)^p=z^pは、式を満たさない。(確定) > x,y,zを有理数とした場合です。 x y zが無理数の場合を考えてないじゃんか。 X^p+Y^p=(X+r)^p=Z^pが式を満たすかは、不明 この式が、X,Y,Zが無理数の場合の式です。 >>241 そういう仮定だったら X:Y:Z=x:y:z なんて言えないですね >そういう仮定だったら X:Y:Z=x:y:z なんて言えないですね どういう意味でしょうか? >日本語がわかりませんか? はい、よく意味がわかりません。 フェルマーの最終定理? もう釣れないよ (xa^{1/(1-1)})+(ya^{1/(1-1)})=(xa^{1/(1-1)}+(1a)^{1/(1-1)})…Dとなる。 ヴァカだなあ・・・ __ ___/ ,/ヽ ∨ ↓H高 ,/ ヽ数学の本は、読んでいませんwww ∧_∧ ∧_∧ ,/ ヽ学力は、小学校もあやしいですwww ( ´∀`) ( ´∀`),/ ヽDをxa^{1/(1-1)}=X,ya^{1/(1-1)}=Y ( ) ( つつ@ ヽxa^{1/(1-1)}+(1a)^{1/(1-1)}=Z | | | ___ | | | とおくと (__)_) |――| (__)_) ヽX:Y:Z=x:y:zとなると本気で思っています。  ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄| ヽ<・フェルマーの最終定理─< \/⌒\/⌒\/⌒\/⌒\|彡~゚ ゜~ ~。゜ ~ ~ ~ ~~ ~ ~~ ~ ~~ ~~ ~~ /⌒\/⌒\/⌒\/⌒\/⌒\彡 〜 〜〜 〜〜 〜〜 〜 〜 \/⌒\/⌒\/⌒\/⌒\|彡~゚ ゜~ ~。゜ ~ ~ ~ ~~ ~ ~~ ~ ~~ ~~ ~~ /⌒\/⌒\/⌒\/⌒\/⌒\彡 〜 〜〜 〜〜 〜〜 〜 〜 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。 【証明】x^p+y^p=z^p…(1)を、z=x+rとおいて、x^p+y^p=(x+r)^p…(2)とする。 (2)を積の形に変形してrを求める。x,y,z,r,aは0をのぞく有理数とする。 (2)を(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r}, r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…(3)とする。 (3)はr^(p-1)=pとなるので、r=p^{1/(p-1)}となる。(2)はx^p+y^p=(x+p^{1/(p-1)})^p…(4)となる。 (4)はrが無理数となるので、式は成り立たない。 (3)の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…(5)となる。a(1/a)=1となる。 r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。(2)はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…(6)となる。 (6)のX,Y,Zは(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、(6)も式は成り立たない。 ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。 >>235 > >>232 > > X:Y:Z=x:y:zとなるので、X^p+Y^p=(X+r)^p=Z^pも、式を満たさない。 > > よろしければ、この部分を詳しく説明して、いただけないでしょうか。 は無視ですか? >>247 > (6)のX,Y,Zは(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、(6)も式は成り立たない。 >248 (X/d)^p+(Y/d)^p=(X/d+r/d)^pは、x^p+y^p=(x+r/d)^pとなるので、 r/dが無理数の場合、式を満たさない。 r/dが有理数の場合、x'^p+Y'^p=(x'+m)^pとなる。 m=(pa)^{1/(p-1)}とすると、a^{1/(p-1)}=m/{p^{1/(p-1)}となる。 (xm/{p^{1/(p-1)})^p+(ym/{p^{1/(p-1)})^p=(xm/{p^{1/(p-1)}+p^{1/(p-1)}m/{p^{1/(p-1)})^pとなるので、x':y':z'=x:y:zとなる。 x:y:zが、整数比とならないので、x':y':z'も整数比とならない。 >>250 途中からだと記号の意味がわかりづらいので、 これも含めた証明全体を載せてください。 >251 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。 【証明】x^p+y^p=z^p…(1)を、z=x+rとおいて、x^p+y^p=(x+r)^p…(2)とする。 (2)を積の形に変形してrを求める。x,y,z,r,aは0をのぞく有理数とする。 (2)を(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r}, r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…(3)とする。 (3)はr^(p-1)=pとなるので、r=p^{1/(p-1)}となる。(2)はx^p+y^p=(x+p^{1/(p-1)})^p…(4)となる。 (4)はrが無理数となるので、式は成り立たない。 (3)の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…(5)となる。a(1/a)=1となる。 r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。(2)はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…(6)となる。 (6)のX,Y,Zは(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、(6)も式は成り立たない。 ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。 【補足】(4)のx,y,zが無理数で、整数比となるかを考える。 x',y',z'を無理数とする。dを共通の無理数とする。 (x'/d)^p+(y'/d)^p=(x'/d+r/d)^p,r=p^{1/(p-1)},x'/d=x,y'/d=y,z'/d=z r/dが無理数の場合は、x^p+y^p=(x+r/d)^pは、有理数解を持たない。 r/d=mの場合は、有理数解を持つ可能性がある。(mは有理数) x^p+y^p=(x+m)^pを、m=(pa)^{1/(p-1)}とおいて、(6)のX^p+Y^p=(X+(pa)^{1/(p-1)})^pとする。 (6)のX,Y,Zは、(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。 x:y:zが整数比とならないので、X:Y:Zも整数比とならない。 爺さん、爺さん、零点もやれんぞ。まるで進歩がないwwwwwww 【定理】pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。 【証明】x^p+y^p=z^p…(1)を、z=x+rとおいて、x^p+y^p=(x+r)^p…(2)とする。積の形に変形してrを求める。 (2)を(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r}, r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…(3)とする。 (3)はr^(p-1)=pとなるので、r=p^{1/(p-1)}となる。(2)はx^p+y^p=(x+p^{1/(p-1)})^p…(4)となる。 (4)はrが無理数なので、xを有理数としたとき、x,y,zは整数比とならない。 (3)の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…(5)となる。 r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。(2)はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…(6)となる。 (6)のX,Y,Zは(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、(6)も整数比とならない。 (6),(4)は、整数比とならないので、有理数解を持たない。 ∴pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。 【補足】(4)のx,y,zが無理数で、整数比となるかを考える。 x',y',z'を無理数とする。dを共通の無理数とする。 (x'/d)^p+(y'/d)^p=(x'/d+r/d)^p,r=p^{1/(p-1)},x'/d=x,y'/d=y,z'/d=z r/dが無理数の場合は、x^p+y^p=(x+r/d)^pは、有理数解を持たない。 r/d=mの場合は、有理数解を持つ可能性がある。(mは有理数) x^p+y^p=(x+m)^pを、m=(pa)^{1/(p-1)}とおいて、(6)のX^p+Y^p=(X+(pa)^{1/(p-1)})^pとする。 (6)のX,Y,Zは、(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。 x:y:zが整数比とならないので、X:Y:Zも整数比とならない。 >>254 > 【定理】pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。 > 【証明】x^p+y^p=z^p…(1)を、z=x+rとおいて、x^p+y^p=(x+r)^p…(2)とする。積の形に変形してrを求める。 > (2)を(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r}, > r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…(3)とする。 > (3)はr^(p-1)=pとなるので、r=p^{1/(p-1)}となる。(2)はx^p+y^p=(x+p^{1/(p-1)})^p…(4)となる。 > (4)はrが無理数なので、xを有理数としたとき、x,y,zは整数比とならない。 > (3)の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…(5)となる。 > r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。(2)はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…(6)となる。 > (6)のX,Y,Zは(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、(6)も整数比とならない。 > (6),(4)は、整数比とならないので、有理数解を持たない。 > ∴pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。 > > 【補足】(4)のx,y,zが無理数で、整数比となるかを考える。 > x',y',z'を無理数とする。dを共通の無理数とする。 > (x'/d)^p+(y'/d)^p=(x'/d+r/d)^p,r=p^{1/(p-1)},x'/d=x,y'/d=y,z'/d=z > r/dが無理数の場合は、x^p+y^p=(x+r/d)^pは、有理数解を持たない。 > r/d=mの場合は、有理数解を持つ可能性がある。(mは有理数) > x^p+y^p=(x+m)^pを、m=(pa)^{1/(p-1)}とおいて、(6)のX^p+Y^p=(X+(pa)^{1/(p-1)})^pとする。 > (6)のX,Y,Zは、(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。 > x:y:zが整数比とならないので、X:Y:Zも整数比とならない。 補足などは不可。頭から順に読めないようではゴミクズ。やり直し。 >補足は証明じゃないから 補足は間違いでしょうか? >>259 > >補足は証明じゃないから > > 補足は間違いでしょうか? 何百ページ補足をしようが、証明がでたらめで間違いなのは変わらない。 証明を直さないなら進歩はない。ゴミ。 >>254 > 【補足】(4)のx,y,zが無理数で、整数比となるかを考える。 (4)は「x^p+y^p=(x+p^{1/(p-1)})^p」であった。 > x',y',z'を無理数とする。dを共通の無理数とする。 「共通の無理数」って何? x',y',z'が自然数比になるとき、 x'/dが有理数になればy'/d=(x'/d)(y'/x')も有理数。 > (x'/d)^p+(y'/d)^p=(x'/d+r/d)^p,r=p^{1/(p-1)},x'/d=x,y'/d=y,z'/d=z x',y',z'は(4)をみたすx,y,z? > r/dが無理数の場合は、x^p+y^p=(x+r/d)^pは、有理数解を持たない。 これはその通り。 > r/d=mの場合は、有理数解を持つ可能性がある。(mは有理数) > x^p+y^p=(x+m)^pを、m=(pa)^{1/(p-1)}とおいて、(6)のX^p+Y^p=(X+(pa)^{1/(p-1)})^pとする。 > (6)のX,Y,Zは、(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。 (6)に解X,Y,Zがあったとするとその1/a^{1/(p-1)}は(4)をみたす、と言いたいのであろう。 > x:y:zが整数比とならないので、X:Y:Zも整数比とならない。 (4)のx:y:zが整数比にならないのはx,y,zが有理数の場合である。 無理数の場合については何も示されていない。 補足したつもりかもしれないが、ここに肝心な部分を押し込んだだけ。 >261 >「共通の無理数」って何? 例. x=3√2,y=4√2,z=5√2 共通の無理数dとは、√2のことです。 >x',y',z'は(4)をみたすx,y,z? x',y',z'が、(4)をみたすと、仮定して、検討します。 x'/d=x,y'/d=yとなるので、(x'/d)^p+(y'/d)^p=(x'/d+r/d)^pは、 x^p+y^p=(x+r/d)^pとなります。 r/dが無理数の場合は、x^p+y^p=(x+r/d)^pは、有理数解を持ちません。整数比となりません。 r/dが有理数の場合は、X^p+Y^p=(X+(pa)^{1/(p-1)})^p…(6)の (pa)^{1/(p-1)}の部分が、有理数の場合となります。 X:Y:Z=x:y:zとなります。 x:y:zが整数比とならないので、X:Y:Zも整数比となりません。 よって、X,Y,Zも有理数となりません。 >ここに肝心な部分を押し込んだだけ。 「肝心な部分」とは、どの部分のことでしょうか? 【定理】pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。 【証明】x^p+y^p=z^p…(1)を、z=x+rとおいて、x^p+y^p=(x+r)^p…(2)とする。積の形に変形してrを求める。 (2)を(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r}, r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…(3)とする。 (3)はr^(p-1)=pとなるので、r=p^{1/(p-1)}となる。(2)はx^p+y^p=(x+p^{1/(p-1)})^p…(4)となる。 (4)はrが無理数なので、xを有理数としたとき、x,y,zは整数比とならない。 (3)の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…(5)となる。 r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。 (2)はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…(6)となる。 (6)のX,Y,Zは(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、(6)も整数比とならない。 (6),(4)は、整数比とならないので、有理数解を持たない。 ∴pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。 【補足】(4)のx,y,zが無理数で、整数比となる場合を、考える。 x',y',z'を無理数とする。dを共通の無理数とする。 (x'/d)^p+(y'/d)^p=(x'/d+r/d)^p,r=p^{1/(p-1)},x'/d=x,y'/d=y,z'/d=z r/dが無理数の場合は、x^p+y^p=(x+r/d)^pは、整数比とならない。 r/dが有理数の場合は、整数比となる可能性がある。 x^p+y^p=(x+r/d)^pを、r/d=(pa)^{1/(p-1)}とおいて、(6)のX^p+Y^p=(X+(pa)^{1/(p-1)})^pとする。 (6)のX,Y,Zは、(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。 x:y:zが整数比とならないので、X:Y:Zも整数比とならない。 >>262 > x:y:zが整数比とならないので、X:Y:Zも整数比となりません。 これは示されていません。 言えているのは「有理数解x,y,zは存在しない」だけです。 >>263 > >ここに肝心な部分を押し込んだだけ。 > > 「肝心な部分」とは、どの部分のことでしょうか? フェルマーの最終定理の証明の肝心な部分です。 日高氏の証明には全く書かれていません。 > x:y:zが整数比とならないので、X:Y:Zも整数比となりません。 >これは示されていません。 言えているのは「有理数解x,y,zは存在しない」だけです。 X:Y:Z=x:y:zならば、 「x:y:zが整数比とならないので、X:Y:Zも整数比とならない。」 が、言えるのではないでしょうか。 >フェルマーの最終定理の証明の肝心な部分です。 日高氏の証明には全く書かれていません。 どういうことか、教えていただけないでしょうか。 >>267 > > x:y:zが整数比とならないので、X:Y:Zも整数比となりません。 > > >これは示されていません。 > 言えているのは「有理数解x,y,zは存在しない」だけです。 > > X:Y:Z=x:y:zならば、 > 「x:y:zが整数比とならないので、X:Y:Zも整数比とならない。」 > が、言えるのではないでしょうか。 「x:y:zが整数比とならない」は言えていません。 >「x:y:zが整数比とならない」は言えていません。 (4)で言っていますが、間違いでしょうか? >>270 日高 > >「x:y:zが整数比とならない」は言えていません。 > > (4)で言っていますが、間違いでしょうか? (4)に有理数解がないことは確かです。 しかし、(4)の解x,y,zでx:y:zが整数比になるものがないとは言えていません。 >(4)に有理数解がないことは確かです。 しかし、(4)の解x,y,zでx:y:zが整数比になるものがないとは言えていません。 どういう意味でしょうか? 「無理数x,y,zで、x:y:zが整数比になるものがないとは言えていません。」 という意味でしょうか? >そうです。 無理数x,y,zで、x:y:zが整数比になるものについては、補足で説明しています。 >>274 言及はされていますが、証明にはなっていません。 【定理】pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。 【証明】x^p+y^p=z^p…(1)を、z=x+rとおいて、x^p+y^p=(x+r)^p…(2)とする。積の形に変形してrを求める。 (2)を(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r}, r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…(3)とする。 (3)はr^(p-1)=pとなるので、r=p^{1/(p-1)}となる。(2)はx^p+y^p=(x+p^{1/(p-1)})^p…(4)となる。 (4)はrが無理数なので、xを有理数としたとき、x,y,zは整数比とならない。 (3)の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…(5)となる。 r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。 (2)はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…(6)となる。 (6)のX,Y,Zは(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、(6)も整数比とならない。 (6),(4)は、整数比とならないので、有理数解を持たない。 ∴pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。 【補足】(4)のx,y,zが無理数で、整数比となる場合を、考える。 x',y',z'を無理数とする。dを共通の無理数とする。 (x'/d)^p+(y'/d)^p=(x'/d+r/d)^p,r=p^{1/(p-1)},x'/d=x,y'/d=y,z'/d=z r/dが無理数の場合は、x^p+y^p=(x+r/d)^pは、整数比とならない。 r/dが有理数の場合は、整数比となる可能性がある。 x^p+y^p=(x+r/d)^pを、r/d=(pa)^{1/(p-1)}とおいて、(6)のX^p+Y^p=(X+(pa)^{1/(p-1)})^pとする。 (6)のX,Y,Zは、(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。 x:y:zが整数比とならないので、X:Y:Zも整数比とならない。 >言及はされていますが、証明にはなっていません。 「証明にはなっていません。」 理由を教えていただけないでしょうか。 >>276 いつのまにかxなどが0でないという条件が消えています。 証明の中で使っていなかったから忘れたのでしょうね。 >>277 >>言及はされていますが、証明にはなっていません。 > > 「証明にはなっていません。」 > 理由を教えていただけないでしょうか。 x,y,zが(4)の無理数解になる場合を考察していないから。 >いつのまにかxなどが0でないという条件が消えています。 証明の中で使っていなかったから忘れたのでしょうね。 比では、0は使いません。(中等教育では) >>280 そうやって言い逃れをしても、何もよいことはありませんよ。 中等教育の範囲でフェルマーの最終定理を証明しようとしておられるなら、 それは無謀というものです。 >>276 > 【定理】pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。 > 【証明】x^p+y^p=z^p…(1)を、z=x+rとおいて、x^p+y^p=(x+r)^p…(2)とする。積の形に変形してrを求める。 > (2)を(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r}, > r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…(3)とする。 > (3)はr^(p-1)=pとなるので、r=p^{1/(p-1)}となる。(2)はx^p+y^p=(x+p^{1/(p-1)})^p…(4)となる。 > (4)はrが無理数なので、xを有理数としたとき、x,y,zは整数比とならない。 > (3)の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…(5)となる。 > r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。 > (2)はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…(6)となる。 > (6)のX,Y,Zは(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、(6)も整数比とならない。 > (6),(4)は、整数比とならないので、有理数解を持たない。 > ∴pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。 > > 【補足】(4)のx,y,zが無理数で、整数比となる場合を、考える。 > x',y',z'を無理数とする。dを共通の無理数とする。 > (x'/d)^p+(y'/d)^p=(x'/d+r/d)^p,r=p^{1/(p-1)},x'/d=x,y'/d=y,z'/d=z > r/dが無理数の場合は、x^p+y^p=(x+r/d)^pは、整数比とならない。 > r/dが有理数の場合は、整数比となる可能性がある。 > x^p+y^p=(x+r/d)^pを、r/d=(pa)^{1/(p-1)}とおいて、(6)のX^p+Y^p=(X+(pa)^{1/(p-1)})^pとする。 > (6)のX,Y,Zは、(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。 > x:y:zが整数比とならないので、X:Y:Zも整数比とならない。 補足は証明ではない。ゴミクズ。二度と止めろ。 >279 >x,y,zが(4)の無理数解になる場合を考察していないから。 x,y,zが(4)の無理数解になる場合は、補足で説明しています。 >中等教育の範囲でフェルマーの最終定理を証明しようとしておられるなら、 それは無謀というものです。 理由を教えていただけないでしょうか? >>283 日高 > >279 > > >x,y,zが(4)の無理数解になる場合を考察していないから。 > > x,y,zが(4)の無理数解になる場合は、補足で説明しています。 これで証明になっていると思えるならそう思っておられれば幸せかと思います。 >>284 日高 > >中等教育の範囲でフェルマーの最終定理を証明しようとしておられるなら、 > それは無謀というものです。 > > 理由を教えていただけないでしょうか? 中等教育の範囲で証明されたのを見たことがないからです。 【定理】pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。 【証明】x^p+y^p=z^p…(1)を、z=x+rとおいて、x^p+y^p=(x+r)^p…(2)とする。積の形に変形してrを求める。 (2)を(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r}, r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…(3)とする。 (3)はr^(p-1)=pとなるので、r=p^{1/(p-1)}となる。(2)はx^p+y^p=(x+p^{1/(p-1)})^p…(4)となる。 (4)はrが無理数なので、xを有理数としたとき、x,y,zは整数比とならない。 (3)の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…(5)となる。 r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。 (2)はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…(6)となる。 (6)のX,Y,Zは(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、(6)も整数比とならない。 (6),(4)は、整数比とならないので、有理数解を持たない。 ∴pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。 【補足】(4)のx,y,zが無理数で、整数比となる場合を、考える。 x',y',z'を無理数とする。dを共通の無理数とする。 (x'/d)^p+(y'/d)^p=(x'/d+r/d)^p,r=p^{1/(p-1)},x'/d=x,y'/d=y,z'/d=z r/dが無理数の場合は、x^p+y^p=(x+r/d)^pは、整数比とならない。 r/dが有理数の場合は、整数比となる可能性がある。 x^p+y^p=(x+r/d)^pを、r/d=(pa)^{1/(p-1)}とおいて、(6)のX^p+Y^p=(X+(pa)^{1/(p-1)})^pとする。 (6)のX,Y,Zは、(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。 x:y:zが整数比とならないので、X:Y:Zも整数比とならない。 >>287 > 【定理】pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。 > 【証明】x^p+y^p=z^p…(1)を、z=x+rとおいて、x^p+y^p=(x+r)^p…(2)とする。積の形に変形してrを求める。 > (2)を(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r}, > r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…(3)とする。 > (3)はr^(p-1)=pとなるので、r=p^{1/(p-1)}となる。(2)はx^p+y^p=(x+p^{1/(p-1)})^p…(4)となる。 > (4)はrが無理数なので、xを有理数としたとき、x,y,zは整数比とならない。 > (3)の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…(5)となる。 > r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。 > (2)はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…(6)となる。 > (6)のX,Y,Zは(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、(6)も整数比とならない。 > (6),(4)は、整数比とならないので、有理数解を持たない。 > ∴pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。 > > 【補足】(4)のx,y,zが無理数で、整数比となる場合を、考える。 > x',y',z'を無理数とする。dを共通の無理数とする。 > (x'/d)^p+(y'/d)^p=(x'/d+r/d)^p,r=p^{1/(p-1)},x'/d=x,y'/d=y,z'/d=z > r/dが無理数の場合は、x^p+y^p=(x+r/d)^pは、整数比とならない。 > r/dが有理数の場合は、整数比となる可能性がある。 > x^p+y^p=(x+r/d)^pを、r/d=(pa)^{1/(p-1)}とおいて、(6)のX^p+Y^p=(X+(pa)^{1/(p-1)})^pとする。 > (6)のX,Y,Zは、(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。 > x:y:zが整数比とならないので、X:Y:Zも整数比とならない。 ゴミ >>287 日高 何度書いても、証明になっていないものはなっていません。 > x:y:zが整数比とならないので、X:Y:Zも整数比とならない。 x:y:zが整数比とならない理由を説明してごらん。 ***** このスレを初めてご覧になる方へ(歴史に残る日高語録)***** a^{1/(1-1)}は、計算できない数ですが、a^{1/(1-1)}が、数であることには 変わりはありません。 この迷言に対し > 小学校から大学教養レベルあたりまでの数学で、「数」とは > 自然数、整数、実数(有理数、無理数)、複素数 > であるが a^{1/(1-1) は上記のどれにあたるのだ? という指摘がなされたが、これに対しても a^{1/(1-1) は特定できない数です。 という世紀の珍答を与えている。さらに > スレ主は以下の命題の真偽がわかるかね? > (1) sin(π/2) = 0 ⇒ cos(π/3) = 1 > (2) sin(π/2) = 1 ⇒ cos(π/3) = 1 > (3) sin(π/3) = 0 ⇒ cos(π/3) = 1 という質問に対しては 問題の意味がよくわかりません。 ⇒の意味は、〜ならば〜である。と思いますが、 sin(π/2) = 0, sin(π/3) = 0となりません。 sin(π/2) = 1となりますが、 cos(π/3) = 1となりません。 と漫才のような珍答を与えている。 >289 >x:y:zが整数比とならない理由を説明してごらん。 (4)はrが無理数なので、xを有理数としたとき、x,y,zは整数比とならない。 >>291 (3)はr^(p-1)=pとなる理由がない。 >rが無理数 は日高が勝手に決めつけているだけで正しくない。いい加減に諦めろ。 >>291 > >289 > > >x:y:zが整数比とならない理由を説明してごらん。 > > (4)はrが無理数なので、xを有理数としたとき、x,y,zは整数比とならない。 xが無理数のときはどうなるのかな? 【定理】pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。 【証明】x^p+y^p=z^p…(1)を、z=x+rとおいて、x^p+y^p=(x+r)^p…(2)とする。積の形に変形してrを求める。 (2)を(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r}, r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…(3)とする。 (3)はr^(p-1)=pとなるので、r=p^{1/(p-1)}となる。(2)はx^p+y^p=(x+p^{1/(p-1)})^p…(4)となる。 (4)はrが無理数なので、xを有理数としたとき、x,y,zは整数比とならない。 (4)のx,y,zが無理数x',y',z'で、整数比となる場合を考える。dを共通の無理数とする。 (x'/d)^p+(y'/d)^p=(x'/d+r/d)^pとなる。x'/d=x,y'/d=y,r=p^{1/(p-1)}となるので、 x^p+y^p=(x+r/d)^pとなる。 r/dが無理数の場合は、整数比とならない。 (3)の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…(5)となる。 r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。 (2)はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…(6)となる。r/dが有理数の場合も、X^p+Y^p=(X+(pa)^{1/(p-1)})^p…(6)となる。 (6)のX,Y,Zは(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、(6)も整数比とならない。 (6),(4)は、整数比とならないので、有理数解を持たない。 ∴pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。 >292 >(3)はr^(p-1)=pとなる理由がない。 どうしてでしょうか? >293 >xが無理数のときはどうなるのかな? x,y,zが無理数x',y',z'で、整数比となる場合は、共通の無理数dで割ると、 (x'/d)^p+(y'/d)^p=(x'/d+r/d)^p x^p+y^p=(x+r/d)^pとなります。(x,yは、有理数となります。) r/dが、無理数となる場合と有理数となる場合を考えます。 r/dが、無理数の場合は、xを有理数とすると、整数比となりません。(4)と同じとなります。 r/dが、有理数の場合は、X^p+Y^p=(X+(pa)^{1/(p-1)}^p…(6)となります。 (6)と(4)の解の比は等しいので、(6)の解も整数比となりません。 >>296 x^p+y^p=(x+r)^pで、xが無理数のときに x,y,zが整数比にならないことの証明はどこにもないですね。 >297 >x^p+y^p=(x+r)^pで、xが無理数のときに >x,y,zが整数比にならないことの証明はどこにもないですね。 296に書いています。 >>298 > >297 > > >x^p+y^p=(x+r)^pで、xが無理数のときに > >x,y,zが整数比にならないことの証明はどこにもないですね。 > > 296に書いています。 296のどこに書いてあるのですか? x^p+y^p=(x+r)^p, r=p^{1/(p-1)} …(4) で、xが無理数のときですよ。 ごまかさずに、きちんと説明してください。 >299 >x^p+y^p=(x+r)^p, r=p^{1/(p-1)} …(4) で、xが無理数のときですよ。 ごまかさずに、きちんと説明してください。 (4)のx,y,zが無理数x',y',z'で、整数比となる場合を考える。dを共通の無理数とする。 (x'/d)^p+(y'/d)^p=(x'/d+r/d)^pとなる。x'/d=x,y'/d=y,r=p^{1/(p-1)}となるので、 x^p+y^p=(x+r/d)^pとなる。 r/dが無理数の場合は、整数比とならない。 (3)の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…(5)となる。 r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。 (2)はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…(6)となる。r/dが有理数の場合も、X^p+Y^p=(X+(pa)^{1/(p-1)})^p…(6)となる。 (6)のX,Y,Zは(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、(6)も整数比とならない。 (6),(4)は、整数比とならないので、有理数解を持たない。 >>295 >>(3)はr^(p-1)=pとなる理由がない。 >どうしてでしょうか? r^(p-1)=pでなくても(3)は成立するから。 どこまで行っても日高が間違い。諦めろ。 >301 >r^(p-1)=pでなくても(3)は成立するから。 r^(p-1)=p以外の場合は、r^(p-1)=paとなります。 >>303 では>>287 の「(3)はr^(p-1)=pとなる」は成立しない。日高が誤りだ。諦めろ。 >304 >「(3)はr^(p-1)=pとなる」は成立しない。 理由を教えていただけないでしょうか。 【定理】pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。 【証明】x^p+y^p=z^p…(1)を、z=x+rとおいて、x^p+y^p=(x+r)^p…(2)とする。積の形に変形してrを求める。 (2)を(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r}, r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…(3)とする。 (3)はr^(p-1)=pとなるので、r=p^{1/(p-1)}となる。(2)はx^p+y^p=(x+p^{1/(p-1)})^p…(4)となる。 (4)はrが無理数なので、xを有理数としたとき、x,y,zは整数比とならない。 (4)のx,y,zが無理数x',y',z'で、整数比となる場合を考える。dを共通の無理数とする。 (x'/d)^p+(y'/d)^p=(x'/d+r/d)^pとなる。x'/d=x,y'/d=y,r=p^{1/(p-1)}となるので、 x^p+y^p=(x+r/d)^pとなる。 r/dが無理数の場合は、整数比とならない。 (3)の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…(5)となる。 r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。 (2)はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…(6)となる。r/dが有理数の場合も、X^p+Y^p=(X+(pa)^{1/(p-1)})^p…(6)となる。 (6)のX,Y,Zは(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、(6)も整数比とならない。 (6),(4)は、整数比とならないので、有理数解を持たない。 ∴pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。 www.mathnavi.sakura.ne.jp/bbs/file1/1566994774.png ┌日┐ |※| 毎日毎日、暇を持て余している爺さんです。(´・ω・`) |数| |学| 数学力、国語力は小学生レベルも怪しいです |の| |本| a^{1/(1-1)}という表現が可能かどうかわかりませんが、 |は| |読| a^{1/(1-1)}が数であることには変わりはありません。 |ん| |で| 私の下半身でそのことが証明されています。(`⌒´)エッヘン!(`^´) |ま| |せ| ところが、その自慢の下半身がだんだん劣化しつつあります。(´・ω・`) |ん| |!| しかし、睾丸無知ですので投稿し続けます。(`^´) ドヤッ,ドヤッ! └高┘ https://rio2016.5ch.net/test/read.cgi/math/1572998533/516 516 名前:日高[] 投稿日:2019/11/18(月) 15:46:21.69 ID:m12I/9Ir [14/28] >p = 7, x = 100^(1/7), y = 200^(1/7), z = 300^(1/7)のときp = 1であることを証明してください {100^(1/7)}^7+{200^(1/7)}^7={300^(1/7)}^7は、 100+200=300となります。 100+200=300は、100^1+200^1=300^1となります。 ┌日┐ |※| 毎日毎日、暇を持て余している爺さんです。(´・ω・`) |数| |学| 数学力、国語力は人類をはるか超越するレベルです。 |の| |本| p = 7, x = 100^(1/7), y = 200^(1/7), z = 300^(1/7)のとき p = 1 であることを証明 |は| |読| (100^(1/7))^7 + (200^(1/7))^7 = 300^(1/7) ⇔ 100 + 200 = 300 |ん| |で| 100 + 200 = 300 ⇔ 100^1 + 200^1 = 300^1 ∴1 = 7 |ま| |せ| 数学史上、燦然と輝く珍証明です。(`⌒´)エッヘン!(`^´) |ん| |!| おかげで睾丸無知な私の下半身が甦りました。(`^´) ドヤッ,ドヤッ! └高┘ >>305 >>303 で「(3)はr^(p-1)=pとなる」が成立しないことを日高が認めた。諦めろ。 【定理】pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。 【証明】x^p+y^p=z^p…(1)を、z=x+rとおいて、x^p+y^p=(x+r)^p…(2)とする。 (2)を(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r}, r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…(3)とする。 (3)はr^(p-1)=pとなるので、r=p^{1/(p-1)}となる。(2)はx^p+y^p=(x+p^{1/(p-1)})^p…(4)となる。 (4)はrが無理数なので、xを有理数としたとき、x,y,zは整数比とならない。 (4)のx,y,zが無理数x',y',z'で、整数比となる場合を考える。dを共通の無理数とする。 (x'/d)^p+(y'/d)^p=(x'/d+r/d)^pとなる。x'/d=x,y'/d=y,}となるので、x^p+y^p=(x+r/d)^pとなる。 r/dが無理数の場合は、整数比とならない。 (3)の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…(5)となる。 r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。 (2)はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…(6)となる。r/dが有理数の場合も、(6)となる。 (6)のX,Y,Zは(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、(6)も整数比とならない。 (6),(4)は、整数比とならないので、有理数解を持たない。 ∴pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。 >309 >「(3)はr^(p-1)=pとなる」が成立しないことを日高が認めた。諦めろ。 認めていません。 【定理】pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。 【証明】x^p+y^p=z^p…(1)を、z=x+rとおいて、x^p+y^p=(x+r)^p…(2)とする。 (2)を変形して、(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r}, r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…(3)とする。 (3)はr^(p-1)=pとなるので、r=p^{1/(p-1)}となる。(2)はx^p+y^p=(x+p^{1/(p-1)})^p…(4)となる。 (4)はrが無理数なので、xを有理数としたとき、x,y,zは整数比とならない。 (4)のx,y,zが無理数x',y',z'で、整数比となる場合を考える。dを共通の無理数とする。 (x'/d)^p+(y'/d)^p=(x'/d+r/d)^pとなる。x'/d=x,y'/d=yとなるので、x^p+y^p=(x+r/d)^pとなる。 r/dが無理数の場合は、整数比とならない。 (3)の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(5)となる。 r^(p-1)=p以外の場合は、r^(p-1)=apとなる。r=(ap)^{1/(p-1)}となるのでrは有理数となる。 (2)はX^p+Y^p=(X+(ap{1/(p-1)})^p…(6)となる。r/dが有理数の場合も、(6)となる。 (6)のX,Y,Zは(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、(6)も整数比とならない。 (6),(4)は、整数比とならないので、有理数解を持たない。 ∴pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。 【定理】pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。 【証明】x^p+y^p=z^p…(1)を、z=x+rとおいて、x^p+y^p=(x+r)^p…(2)とする。 (2)を変形して、(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r}, r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…(3)とする。 (3)はr^(p-1)=pとなるので、r=p^{1/(p-1)}となる。(2)はx^p+y^p=(x+p^{1/(p-1)})^p…(4)となる。 (4)はrが無理数なので、xを有理数としたとき、x,y,zは整数比とならない。 (4)のx,y,zが無理数x',y',z'で、整数比となる場合を考える。dを共通の無理数とする。 (x'/d)^p+(y'/d)^p=(x'/d+r/d)^pとなる。x'/d=x,y'/d=yとなるので、x^p+y^p=(x+r/d)^pとなる。 r/dが無理数の場合は、整数比とならない。 (3)の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(5)となる。 r^(p-1)=p以外の場合は、r^(p-1)=apとなる。r=(ap)^{1/(p-1)}となるのでrは有理数となる。 (2)はX^p+Y^p=(X+(ap)^{1/(p-1)})^p…(6)となる。r/dが有理数の場合も、(6)となる。 (6)のX,Y,Zは(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、(6)も整数比とならない。 (6),(4)は、整数比とならないので、有理数解を持たない。 ∴pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。 ***** このスレを初めてご覧になる方へ(歴史に残る日高語録)***** a^{1/(1-1)}は、計算できない数ですが、a^{1/(1-1)}が、数であることには 変わりはありません。 この迷言に対し > 小学校から大学教養レベルあたりまでの数学で、「数」とは > 自然数、整数、実数(有理数、無理数)、複素数 > であるが a^{1/(1-1) は上記のどれにあたるのだ? という指摘がなされたが、これに対しても a^{1/(1-1) は特定できない数です。 という世紀の珍答を与えている。さらに > スレ主は以下の命題の真偽がわかるかね? > (1) sin(π/2) = 0 ⇒ cos(π/3) = 1 > (2) sin(π/2) = 1 ⇒ cos(π/3) = 1 > (3) sin(π/3) = 0 ⇒ cos(π/3) = 1 という質問に対しては 問題の意味がよくわかりません。 ⇒の意味は、〜ならば〜である。と思いますが、 sin(π/2) = 0, sin(π/3) = 0となりません。 sin(π/2) = 1となりますが、 cos(π/3) = 1となりません。 と漫才のような珍答を与えている。 >>311 >>303 で日高は確かに「r^(p-1)=p以外の場合」があることを認めている。 すなわち、日高は09 「(3)はr^(p-1)=pとなる」が誤りであることを認めているのだ。諦めろ。 >314 >もう荒らしやん タイプミスがあったので、書き換えました。 316 >>303 で日高は確かに「r^(p-1)=p以外の場合」があることを認めている。 すなわち、日高は09 「(3)はr^(p-1)=pとなる」が誤りであることを認めているのだ。諦めろ。 「r^(p-1)=p以外の場合」も、あります。r^(p-1)=apも、あります。 「(3)はr^(p-1)=pとなる」が誤りと言う訳では、ありません、 >316 >>303 で日高は確かに「r^(p-1)=p以外の場合」があることを認めている。 すなわち、日高は09 「(3)はr^(p-1)=pとなる」が誤りであることを認めているのだ。諦めろ。 「r^(p-1)=p以外の場合」も、あります。r^(p-1)=apも、あります。 「(3)はr^(p-1)=pとなる」が誤りと言う訳では、ありません。 r^(p-1)=pの場合は、x^p+y^p=(x+p^{1/(p-1)})^p…(4)となります。 r^(p-1)=apの場合は、X^p+Y^p=(X+(ap)^{1/(p-1)})^p…(6)となります。 ■ このスレッドは過去ログ倉庫に格納されています
read.cgi ver 07.5.4 2024/05/19 Walang Kapalit ★ | Donguri System Team 5ちゃんねる