フェルマーの最終定理の簡単な証明3
【証明】x^p+y^p=z^p…?を、z=x+rとおいて、x^p+y^p=(x+r)^p…?とする。
?を積の形に変形してrを求める。x,y,z,r,aは0をのぞく有理数とする。
?を(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)}となる。?は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)…?となる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。?はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…?となる。
?のX,Y,Zは?のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、?も式は成り立たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
p=2の場合は、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となりません。
と漫才のような珍答を与えている。
> p=2の場合は、x,y,zが無理数で、整数比となります。
だから、大嘘確定。
とりあえずコメント入れてみました。
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=z^p…①を、z=x+rとおいて、x^p+y^p=(x+r)^p…②とする。
〔コメント〕
書き方が不適切。
「r=z-xとおくと、x^p+y^p=(x+r)^p…②となる。」
なら意味は通じる。
②を積の形に変形してrを求める。x,y,z,r,aは0をのぞく有理数とする。
②を(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)}となる。②はX^p+Y^p=(X+p^{1/(p-1)})^p…④となる。
〔コメント〕
③はr^(p-1)=pとならない。
④でX,Yを説明なく使っている。定義が不明。
④はrが無理数となるので、式は成り立たない。
③の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…⑤となる。a(1/a)=1となる。
〔コメント〕
aを説明なく使っている。定義が不明。
r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。②はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…⑥となる。
〔コメント〕
⑤はr^(p-1)=paとならない。
⑥でX,Yを説明なく使っている。④にもX,Yが使われているが関連が不明。
⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、⑥も式は成り立たない。
〔コメント〕
④にx,y,zは使われていない。意味不明。
「よって、⑥も式は成り立たない。」の根拠が不明。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
「ある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ではない。
ここが日高氏の証明の誤りの中核部分だと思う。
（スレッドが変わったので再投稿。）
> >反省なし。ゴミ
>
> すみません。よく見て貰えないでしょうか。
～となるというのは意味不明だろ言われているだろうが。直らない限りみる価値無し。
> すみません。よく見て貰えないでしょうか。
よく見てと言われたって，肝心のところは証明が書かれていないのだから，
どうしようもありません。
変わりはありません。
まちがいでしょうか？
だから、大嘘確定。
理由を教えていただけないでしょうか。
> 理由を教えていただけないでしょうか。
何で理由を教えなければならないのか、具体的に説明してくれ。
日高に何かを教える必要はないよ
日高ははどんなに具体的に説明されても、自分の意見に沿わないものは徹底的に無視する
こんな無駄な行為が他にあろうか
書き方が不適切。
「r=z-xとおくと、x^p+y^p=(x+r)^p…②となる。」
なら意味は通じる。
一般的には、そうだと思います。
〔コメント〕
③はr^(p-1)=pとならない。
④でX,Yを説明なく使っている。定義が不明。
X,Yは、r^(p-1)=paの場合に使っています。
〔コメント〕
④にx,y,zは使われていない。意味不明。
「よって、⑥も式は成り立たない。」の根拠が不明。
④は、z=x+p^{1/(p-1)}です。
「よって、⑥も式は成り立たない。」の根拠は、
X:Y:Z=x:y:zとなるからです。
----------
988 名前：１３２人目の素数さん[sage] 投稿日：2019/11/29(金) 10:48:43.73 ID:JxAs7OyT [1/2]
あと>>134の指摘も致命的だよね
995 名前：日高[] 投稿日：2019/11/29(金) 14:12:59.47 ID:yqQadrDU [9/10]
何度も書くが、Case BとCase Aは独立なので、
* Case Aで書いたことはCase Aの中でのみ有効。
* なのでCase B中でCase A中の式は使えない。（正確に言えば、使おうとするとCase Aのときの証明とは独立に定義・証明が必要）
ということ。
理由を教えていただけないでしょうか。
996 名前：１３２人目の素数さん[sage] 投稿日：2019/11/29(金) 14:16:39.12 ID:JxAs7OyT [2/2]
>>995
すまん。俺は
「数学のルールだから」
としか言えない。
(X/d)^p+(Y/d)^p=(X/d+r)^pではない。
これは、正しいと、思いますが、
なぜ、
「ここが日高氏の証明の誤りの中核部分だと思う。」
ということになるのでしょうか？
申し訳ございません
どうしようもありません。
どの部分でしょうか？
> >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ではない。
>
> これは、正しいと、思いますが、
そう思われるなら、ご自分の誤りに気づかれると思います。
>p=2の場合は、x,y,zが無理数で、整数比となります。
だから、大嘘確定。
「大嘘確定。」といわれたからです。
> >よく見てと言われたって，肝心のところは証明が書かれていないのだから，
> どうしようもありません。
>
> どの部分でしょうか？
>>1 の
> ⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。
と
> よって、⑥も式は成り立たない。
との間です。
> (X/d)^p+(Y/d)^p=(X/d+r)^pではない。
>
> これは、正しいと、思いますが、
そう思われるなら、ご自分の誤りに気づかれると思います。
すみません。
誤りに気づくことができませんので、教えていただけないでしょうか。
> >何で理由を教えなければならないのか、具体的に説明してくれ。
>
> >p=2の場合は、x,y,zが無理数で、整数比となります。
> だから、大嘘確定。
>
> 「大嘘確定。」といわれたからです。
フーン。
で説明しなければならない理由ではないね。単なる事実だから。
と
> よって、⑥も式は成り立たない。
との間です。
すみません。もうすこし、詳しく説明していただけないでしょうか。
rを最初に決めた値とするときx^p+y^p=(x+r)^pに有理数解がないという推論は正しい。
しかしX/d,Y/dはこの方程式の解ではなくx^p+y^p=(x+r/d)^pの解だから何の矛盾も生じない。
> すみません。もうすこし、詳しく説明していただけないでしょうか。
この意味がわかりませんか？ 隣接する文章の間です。そこの理由が述べられていません。
しかしX/d,Y/dはこの方程式の解ではなくx^p+y^p=(x+r/d)^pの解だから何の矛盾も生じない。
x^p+y^p=(x+r/d)^pは、(X/d)^p+(Y/d)^p=(X/d+r/d)^pのことなので、
(X/d)^p+(Y/d)^p=(X/d+r/d)^pの両辺をd^pで割ると、X^p+Y^p=(X+r)^pとなります。
x^p+y^p=(x+r)^pに有理数解がないので、X^p+Y^p=(X+r)^pにも有理数解はありません。
すみません。②はX^p+Y^p=(X+p^{1/(p-1)})^p…➃となる。
これは、小文字の、x,yです。
【証明】x^p+y^p=z^p…①を、z=x+rとおいて、x^p+y^p=(x+r)^p…②とする。
②を積の形に変形してrを求める。x,y,z,r,aは0をのぞく有理数とする。
②を(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)}となる。②は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)…⑤となる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。②はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…⑥となる。
⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、⑥も式は成り立たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
3行目は
＞ x^p+y^p=(x+r/d)^p
5行目は
＞ x^p+y^p=(x+r)^p
になってるよ
は？勝手に問題を変えるな痴呆野郎。
> 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
> 【証明】x^p+y^p=z^p…①を、z=x+rとおいて、x^p+y^p=(x+r)^p…②とする。
> ②を積の形に変形してrを求める。x,y,z,r,aは0をのぞく有理数とする。
> ②を(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)}となる。②は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)…⑤となる。a(1/a)=1となる。
> r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。②はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…⑥となる。
> ⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、⑥も式は成り立たない。
> ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
ゴミ。
＞ x^p+y^p=(x+r)^p
になってるよ
＞ x^p+y^p=(x+r)^pは、一行目のx^p+y^p=(x+r)^pのことです。
>>32の3,4行目で
x^p+y^p=(x+r/d)^p から X^p+Y^p=(X+r)^p
を導いたんでしょ？
だったら、5行目の
＞ x^p+y^p=(x+r)^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は、自然数解を持たない。
は？勝手に問題を変えるな痴呆野郎。
どういうことでしょうか？
x^p+y^p=(x+r/d)^p から X^p+Y^p=(X+r)^p
を導いたんでしょ？
だったら、5行目の
＞ x^p+y^p=(x+r)^p
からは何も言えないんじゃない？
x^p+y^p=(x+r/d)^pは、(X/d)^p+(Y/d)^p=(X/d+r/d)^pのことです。
x^p+y^p=(x+r)^pは、有理数解をもちません。
よって、X^p+Y^p=(X+r)^pの、X,Yは、無理数ですが、整数比となりません。
ひょっとして『式の形が同じだから』
＞ x^p+y^p=(x+r)^p から X^p+Y^p=(X+r)^p
が言えると思ってる？
前スレでやってたわ。
----------
>>331あたりから、
>>495まで。
----------
俺はもう大丈夫だ。
＞ x^p+y^p=(x+r)^p から X^p+Y^p=(X+r)^p
が言えると思ってる？
x^p+y^p=(x+r)^pのx,yは、有理数です。
X^p+Y^p=(X+r)^pのX,Yは、無理数です。
X,Yを、共通の無理数dでわると、有理数となります。
つまり、x,yと同じとなります。
初めからやり直し。
> 【定理】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は、自然数解を持たない。
ゴミ
> >>32
> は？勝手に問題を変えるな痴呆野郎。
>
> どういうことでしょうか？
ああ、問題の区別もできない痴呆老人だったんだっけ。
> x^p+y^p=(x+r)^pは、有理数解をもちません。
> よって、X^p+Y^p=(X+r)^pの、X,Yは、無理数ですが、整数比となりません。
大嘘付き
> x^p+y^p=(x+r/d)^pは、(X/d)^p+(Y/d)^p=(X/d+r/d)^pのことです。
>
> x^p+y^p=(x+r)^pは、有理数解をもちません。
この２つのことから
> よって、X^p+Y^p=(X+r)^pの、X,Yは、無理数ですが、整数比となりません。
を結論とする理由が全くわかりません。
詳しく説明してください。
> x^p+y^p=(x+r)^pは、有理数解をもちません。
この２つのことから
> よって、X^p+Y^p=(X+r)^pの、X,Yは、無理数ですが、整数比となりません。
を結論とする理由が全くわかりません。
詳しく説明してください。
X^p+Y^p=(X+r)^pの、X,Y,Zが、無理数で、整数比となると、仮定すると、
共通の無理数dで割ったX/d,Y/d,Z/dは、、有理数となります。
x^p+y^p=(x+r)^pは、x,y,zを有理数とすると、式は成り立ちません。
> x^p+y^p=(x+r)^pは、有理数解をもちません。
> よって、X^p+Y^p=(X+r)^pの、X,Yは、無理数ですが、整数比となりません。
大嘘付き
理由を教えていただけないでしょうか？
X/d,Y/d,Z/dが有理数だとなぜ最後の式が成り立たないのですか?
必要条件と十分条件が分かってないのかなあ。
X/d,Y/d,Z/dが有理数だとなぜ最後の式が成り立たないのですか?
rが無理数なので、
x^p+y^p=(x+r)^pは、x,y,zが有理数のとき、式は成り立ちません。
X/d,Y/d,Z/dが有理数だとなぜ最後の式が成り立たないのですか?
rが無理数なので、
x^p+y^p=(x+r)^pは、x,y,zが有理数のとき、式は成り立ちません。
必要条件と十分条件が分かってないのかなあ。
すみません。ま違い箇所をを指摘していただけないでしょうか。
X/d,Y/d,Z/dはこの式の解にはならないので関係ないと思います。
【証明】x^p+y^p=z^p…①を、z=x+rとおいて、x^p+y^p=(x+r)^p…②とする。
②を積の形に変形してrを求める。x,y,z,r,aは0をのぞく有理数とする。
②を(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)}となる。②は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)…⑤となる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。②はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…⑥となる。
⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、⑥も式は成り立たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
X/d,Y/d,Z/dはこの式の解にはならないので関係ないと思います。
「この式」とは、どの式のことでしょうか。
x^p+y^p=(x+r)^p
です
すまん。自分の勘違いだったわ。
x^p+y^p=(x+r)^p
x^p+y^p=(x+r)^pこの式は、x,y,zを、有理数とした場合の式です。
X/d,Y/d,Z/dも、有理数です。
>x^p+y^p=(x+r)^pこの式は、x,y,zを、有>理数とした場合の式です。
>X/d,Y/d,Z/dも、有理数です。
X/d, Y/dは x^p+y^p=(x+r)^p の解にならないので、矛盾はありません
＞x^p+y^p=(x+r)^pのx,yは、有理数です。
＞X^p+Y^p=(X+r)^pのX,Yは、無理数です。
＞X,Yを、共通の無理数dでわると、有理数となります。
＞つまり、x,yと同じとなります。
ほらね。案の定 x,y と X,Y が同じだと思ってる
「比が同じ」理論はrを固定したら成り立たない
ハイ、やり直し
＞x^p+y^p=(x+r)^pのx,yは、有理数です。
＞X^p+Y^p=(X+r)^pのX,Yは、無理数です。
＞X,Yを、共通の無理数dでわると、有理数となります。
＞つまり、x,yと同じとなります。
ほらね。案の定 x,y と X,Y が同じだと思ってる
「比が同じ」理論はrを固定したら成り立たない
ハイ、やり直し
整数比となる X,Yは、 x,yと同じとなります。
なぜ指摘を押し切れると思っているのか理解不能。
> 整数比となる X,Yは、 x,yと同じとなります。
でもX=x,Y=yではありませんよね。どの観点から「同じ」なのか説明してください。
なぜ指摘を押し切れると思っているのか理解不能。
どの指摘のことでしょうか？
> 整数比となる X,Yは、 x,yと同じとなります。
でもX=x,Y=yではありませんよね。どの観点から「同じ」なのか説明してください。
整数比となる無理数 X,Yは、 X,Yが無理数であっても、共通の無理数ｄで割ると、
X/d,Y/dは、有理数となります。
【証明】x^p+y^p=z^p…①を、z=x+rとおいて、x^p+y^p=(x+r)^p…②とする。
②を積の形に変形してrを求める。x,y,z,r,aは0をのぞく有理数とする。
②を(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)}となる。②は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)…⑤となる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。②はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…⑥となる。
⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、⑥も式は成り立たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
爺さん、零点だ
爺さん、零点だ
理由を教えていただけないでしょうか。
爺さんが零点というのは、リーマン予想と関係ありますか？
> >>66
> > 整数比となる X,Yは、 x,yと同じとなります。
>
> でもX=x,Y=yではありませんよね。どの観点から「同じ」なのか説明してください。
>
> 整数比となる無理数 X,Yは、 X,Yが無理数であっても、共通の無理数ｄで割ると、
> X/d,Y/dは、有理数となります。
この説明ではx,yが登場しないので「x,yと同じ」の説明になっていません。
> >>66
> > 整数比となる X,Yは、 x,yと同じとなります。
>
> でもX=x,Y=yではありませんよね。どの観点から「同じ」なのか説明してください。
>
> 整数比となる無理数 X,Yは、 X,Yが無理数であっても、共通の無理数ｄで割ると、
> X/d,Y/dは、有理数となります。
この説明ではx,yが登場しないので「x,yと同じ」の説明になっていません。
X/d,Y/dは、有理数,となります。x,yも有理数です。
> X/d,Y/dは、有理数,となります。x,yも有理数です。
有理数ならなんでも「同じ」ですか？
> X/d,Y/dは、有理数,となります。x,yも有理数です。
有理数ならなんでも「同じ」ですか？
有理数ならなんでも「同じ」ですか？
すみません。この意味はどんな意味でしょうか？
>>68 に「どの観点から「同じ」なのか説明してください」と書きました。
>>77 で「X/d,Y/dは、有理数,となります。x,yも有理数です」とだけ
答えられたので，「有理数ならなんでも「同じ」ですか？」とお尋ねしました。
確認ですが、X/d Y/d は(X/d)^p+(Y/d)^p=(X/d+r)^pをみたす、で合っていますか？
・簡潔に表現できるが実は難問、である問題を独自に解いたと主張するが、もちろん解けていない
・解けていない理由は、着眼点が最初から誤っているからであるが、再三指摘されても当人は気づきもしない
・同じ証明を何度も繰り返し投稿する。微妙に修正を施すことはあるが、本質的に何も正しくなっていない
・誤りを指摘すると、指摘したことと違う点について反論したうえ、やり取りを続けると最初の指摘を忘れてしまう
・証明なのに結論を書かずに終わらせる癖がある
・数学の知識は小学生レベルである
・除数がゼロの商を数であると主張する
・本職の数学者にとって迷惑この上ない
> 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
> 【証明】x^p+y^p=z^p…①を、z=x+rとおいて、x^p+y^p=(x+r)^p…②とする。
> ②を積の形に変形してrを求める。x,y,z,r,aは0をのぞく有理数とする。
> ②を(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)}となる。②は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)…⑤となる。a(1/a)=1となる。
> r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。②はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…⑥となる。
> ⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、⑥も式は成り立たない。
> ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
ゴミ
>>68 に「どの観点から「同じ」なのか説明してください」と書きました。
>>77 で「X/d,Y/dは、有理数,となります。x,yも有理数です」とだけ
答えられたので，「有理数ならなんでも「同じ」ですか？」とお尋ねしました。
確認ですが、X/d Y/d は(X/d)^p+(Y/d)^p=(X/d+r)^pをみたす、で合っていますか？
X/d Y/d は(X/d)^p+(Y/d)^p=(X/d+r)^pを満たしません
・簡潔に表現できるが実は難問、である問題を独自に解いたと主張するが、もちろん解けていない
・解けていない理由は、着眼点が最初から誤っているからであるが、再三指摘されても当人は気づきもしない
・同じ証明を何度も繰り返し投稿する。微妙に修正を施すことはあるが、本質的に何も正しくなっていない
・誤りを指摘すると、指摘したことと違う点について反論したうえ、やり取りを続けると最初の指摘を忘れてしまう
・証明なのに結論を書かずに終わらせる癖がある
・数学の知識は小学生レベルである
・除数がゼロの商を数であると主張する
・本職の数学者にとって迷惑この上ない
奇数芸人のことは、ぞんじません
もしかしたら、あなたは本職の数学者？
> 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
> 【証明】x^p+y^p=z^p…?を、z=x+rとおいて、x^p+y^p=(x+r)^p…?とする。
> ?を積の形に変形してrを求める。x,y,z,r,aは0をのぞく有理数とする。
> ?を(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)}となる。?は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)…?となる。a(1/a)=1となる。
> r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。?はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…?となる。
> ?のX,Y,Zは?のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、?も式は成り立たない。
> ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
ゴミ
申し訳ございません
�は推理してもらえないでしょうか
【証明】x^p+y^p=z^p…①を、z=x+rとおいて、x^p+y^p=(x+r)^p…②とする。
②を積の形に変形してrを求める。x,y,z,r,aは0をのぞく有理数とする。
②を(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)}となる。②は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)…⑤となる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。②はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…⑥となる。
⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、⑥も式は成り立たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
もっかいいうが
数学板の中の
フェルマー最終定理について
のスレッドの一番上の数式を見なかったのか。
あの式計算すると合ってるぞ。
それかお前はぼっとのふりしたろしあのすぱいか! ！?？
ぺんぱいなっぽーあっぽーぺんって言われるぞ。
> 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
> 【証明】x^p+y^p=z^p…?を、z=x+rとおいて、x^p+y^p=(x+r)^p…?とする。
> ?を積の形に変形してrを求める。x,y,z,r,aは0をのぞく有理数とする。
> ?を(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)}となる。?は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)…?となる。a(1/a)=1となる。
> r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。?はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…?となる。
> ?のX,Y,Zは?のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、?も式は成り立たない。
> ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
ゴミ
まあ、書きましょう。
名前は梅田悠祐で
(31104)’3+(1292966)’3=(1292972)’3
です。
>>86
もっかいいうが
数学板の中の
フェルマー最終定理について
のスレッドの一番上の数式を見なかったのか。
あの式計算すると合ってるぞ。
それかお前はぼっとのふりしたろしあのすぱいか! ！?？
「あの式計算すると」
手計算、もしくは、計算ソフトで確認してみてください。
間違っています。
関数電卓で計算してください。
移項して右辺を左辺にマイナスすれば0です。
私ですら間違えるのに。
手計算の事ね。
あなたしてないでしょ。それか間違えてるか。
計算ソフトの方がみすをしている上
手計算は一日かかりますよ。体力的に。
手計算の事ね。
あなたしてないでしょ。それか間違えてるか。
手計算は、していません。計算ソフトを使いました。
計算ソフトの扱い方も常人なら数週間かかります。
入力ミスか計算ソフトが回避しているか。
回避とは意図して違う値を出すことです。
例えばペル方程式61の一般解は関数電卓でも合っているようになりますが、手計算するとまた恒等式の論理からいくと解が違うものになります。
つまり巷が嘘をつき始めている訳です。
その恒等式を教えていただけないでしょうか。
0.000000000 1.9999999とかは嘘つかれますが。
5000枚入った段ボールに無造作に入っているので出せません。
知りたければスレッドの一番上の一つの整数を二つの平方数の差で表す方法のスレでさがしてください。
lかmに100までの値を入れました。
そしたら平方根が外れました。
100～のスレッドの続きを読む
