19/11/29 15:23:27 yqQadrDU.net
>つまり、有理数解が無ければ整数比にならないと言っていたのは、大嘘確定。
p=2の場合は、x,y,zが無理数で、整数比となります。
3:日高
19/11/29 15:27:10.85 yqQadrDU.net
>反省なし。ゴミ
すみません。よく見て貰えないでしょうか。
4:１３２人目の素数さん
19/11/29 16:16:52.23 9mo+3WW5.net
もう誰が見てもね
反省なし。ゴミ確定
高木の同類
5:日高
19/11/29 16:51:09.35 yqQadrDU.net
>高木の同類
高木とは？
6:日高
19/11/29 17:52:24.12 yqQadrDU.net
>次の段階に進みましょう
② 二つの内角が等しい三角形は二等辺三角形である
仮定:二つの内角が等しい三角形
結論:(その三角形は)二等辺三角形である(つまり二つの辺の長さが等しい)
です。
これを証明してみましょう。
三角形の合同条件を三つ覚えていますか？言えますか？
三角形の合同条件
①３辺が等しい。
②
7:日高
19/11/29 17:55:23.50 yqQadrDU.net
>次の段階に進みましょう
② 二つの内角が等しい三角形は二等辺三角形である
仮定:二つの内角が等しい三角形
結論:(その三角形は)二等辺三角形である(つまり二つの辺の長さが等しい)
です。
これを証明してみましょう。
三角形の合同条件を三つ覚えていますか？言えますか？
三角形の合同条件
①３辺が等しい。
②２辺とその間の角が等しい。
➂１辺と両端の角が等しい。
です。
8:１３２人目の素数さん
19/11/29 18:33:35.84 /m1zJVqd.net
***** このスレを初めてご覧になる方へ（歴史に残る日高語録）*****
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となりません。
と漫才のような珍答を与えている。
9:１３２人目の素数さん
19/11/29 19:29:27.81 AWVDac8D.net
>>2
> p=2の場合は、x,y,zが無理数で、整数比となります。
だから、大嘘確定。
10:１３２人目の素数さん
19/11/29 19:43:21.85 rkdxJ4TN.net
>>1
とりあえずコメント入れてみました。
【定理】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は、自然数解を持たない。
11:１３２人目の素数さん
19/11/29 19:58:10.51 NTRMbciJ.net
>>1
「ある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ではない。
ここが日高氏の証明の誤りの中核部分だと思う。
（スレッドが変わったので再投稿。）
12:１３２人目の素数さん
19/11/29 20:47:34.31 AWVDac8D.net
>>3
> >反省なし。ゴミ
>
> すみません。よく見て貰えないでしょうか。
～となるというのは意味不明だろ言われているだろうが。直らない限りみる価値無し。
13:１３２人目の素数さん
19/11/29 21:18:16.12 NTRMbciJ.net
>>3
> すみません。よく見て貰えないでしょうか。
よく見てと言われたって，肝心のところは証明が書かれていないのだから，
どうしようもありません。
14:日高
19/11/29 22:53:57 yqQadrDU.net
>a^{1/(1-1)}は、計算できない数ですが、a^{1/(1-1)}が、数であることには
変わりはありません。
まちがいでしょうか？
15:日高
19/11/29 22:55:28 yqQadrDU.net
>p=2の場合は、x,y,zが無理数で、整数比となります。
だから、大嘘確定。
理由を教えていただけないでしょうか。
16:１３２人目の素数さん
19/11/29 23:00:25.86 AWVDac8D.net
>>15
> 理由を教えていただけないでしょうか。
何で理由を教えなければならないのか、具体的に説明してくれ。
17:１３２人目の素数さん
19/11/29 23:10:09.14 SayaN22/.net
>>16
日高に何かを教える必要はないよ
日高ははどんなに具体的に説明されても、自分の意見に沿わないものは徹底的に無視する
こんな無駄な行為が他にあろうか
18:日高
19/11/29 23:11:19.69 yqQadrDU.net
>〔コメント〕
書き方が不適切。
「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となるからです。
19:１３２人目の素数さん
19/11/29 23:17:03.88 JxAs7OyT.net
いちおう貼っとく
----------
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
すまん。俺は
「数学のルールだから」
としか言えない。
20:日高
19/11/29 23:23:32.70 yqQadrDU.net
>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ではない。
これは、正しいと、思いますが、
なぜ、
「ここが日高氏の証明の誤りの中核部分だと思う。」
ということになるのでしょうか？
21:１３２人目の素数さん
19/11/29 23:24:56.24 /m1zJVqd.net
おお、爺さん。今日は遅くまで頑張っとるなwwww
22:日高
19/11/29 23:26:42.49 yqQadrDU.net
>～となるというのは意味不明だろ言われているだろうが。直らない限りみる価値無し。
申し訳ございません
23:日高
19/11/29 23:29:10.10 yqQadrDU.net
>よく見てと言われたって，肝心のところは証明が書かれていないのだから，
どうしようもありません。
どの部分でしょうか？
24:１３２人目の素数さん
19/11/29 23:34:04.79 NTRMbciJ.net
>>20
> >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ではない。
>
> これは、正しいと、思いますが、
そう思われるなら、ご自分の誤りに気づかれると思います。
25:日高
19/11/29 23:34:35.96 yqQadrDU.net
>何で理由を教えなければならないのか、具体的に説明してくれ。
>p=2の場合は、x,y,zが無理数で、整数比となります。
だから、大嘘確定。
「大嘘確定。」といわれたからです。
26:１３２人目の素数さん
19/11/29 23:36:25.97 NTRMbciJ.net
>>23
> >よく見てと言われたって，肝心のところは証明が書かれていないのだから，
> どうしようもありません。
>
> どの部分でしょうか？
>>1 の
> ⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。
と
> よって、⑥も式は成り立たない。
との間です。
27:日高
19/11/29 23:38:17.06 yqQadrDU.net
> >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ではない。
>
> これは、正しいと、思いますが、
そう思われるなら、ご自分の誤りに気づかれると思います。
すみません。
誤りに気づくことができませんので、教えていただけないでしょうか。
28:１３２人目の素数さん
19/11/29 23:39:23.54 AWVDac8D.net
>>25
> >何で理由を教えなければならないのか、具体的に説明してくれ。
>
> >p=2の場合は、x,y,zが無理数で、整数比となります。
> だから、大嘘確定。
>
> 「大嘘確定。」といわれたからです。
フーン。
で説明しなければならない理由ではないね。単なる事実だから。
29:日高
19/11/29 23:41:23.87 yqQadrDU.net
> ⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。
と
> よって、⑥も式は成り立たない。
との間です。
すみません。もうすこし、詳しく説明していただけないでしょうか。
30:１３２人目の素数さん
19/11/29 23:42:28.93 NTRMbciJ.net
>>27
rを最初に決めた値とするときx^p+y^p=(x+r)^pに有理数解がないという推論は正しい。
しかしX/d,Y/dはこの方程式の解ではなくx^p+y^p=(x+r/d)^pの解だから何の矛盾も生じない。
31:１３２人目の素数さん
19/11/29 23:44:35.21 NTRMbciJ.net
>>29
> すみません。もうすこし、詳しく説明していただけないでしょうか。
この意味がわかりませんか？ 隣接する文章の間です。そこの理由が述べられていません。
32:日高
19/11/30 07:44:16.14 4LLd6bdk.net
>rを最初に決めた値とするときx^p+y^p=(x+r)^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にも有理数解はありません。
33:日高
19/11/30 07:58:26.33 4LLd6bdk.net
>31
すみません。②はX^p+Y^p=(X+p^{1/(p-1)})^p…➃となる。
これは、小文字の、x,yです。
34:日高
19/11/30 08:02:38.17 4LLd6bdk.net
【定理】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は、自然数解を持たない。
35:１３２人目の素数さん
19/11/30 08:16:10.00 I2OfxuuB.net
>>32
3行目は
＞ x^p+y^p=(x+r/d)^p
5行目は
＞ x^p+y^p=(x+r)^p
になってるよ
36:１３２人目の素数さん
19/11/30 08:40:04.47 nQuJ1HaM.net
>>32
は？勝手に問題を変えるな痴呆野郎。
37:１３２人目の素数さん
19/11/30 08:40:26.93 nQuJ1HaM.net
>>34
> 【定理】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は、自然数解を持たない。
ゴミ。
38:日高
19/11/30 09:01:43.75 4LLd6bdk.net
5行目は
＞ x^p+y^p=(x+r)^p
になってるよ
＞ x^p+y^p=(x+r)^pは、一行目のx^p+y^p=(x+r)^pのことです。
39:１３２人目の素数さん
19/11/30 09:07:20 I2OfxuuB.net
>>38
>>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
からは何も言えないんじゃない？
40:日高
19/11/30 09:07:42 4LLd6bdk.net
【定理】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は、自然数解を持たない。
41:日高
19/11/30 09:09:44.26 4LLd6bdk.net
>>32
は？勝手に問題を変えるな痴呆野郎。
どういうことでしょうか？
42:日高
19/11/30 09:25:05 4LLd6bdk.net
>>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=(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は、無理数ですが、整数比となりません。
43:１３２人目の素数さん
19/11/30 09:30:57 I2OfxuuB.net
>>42
ひょっとして『式の形が同じだから』
＞ x^p+y^p=(x+r)^p から X^p+Y^p=(X+r)^p
が言えると思ってる？
44:１３２人目の素数さん
19/11/30 09:58:14.05 I2OfxuuB.net
>>42,43
前スレでやってたわ。
----------
>>331あたりから、
>>495まで。
----------
俺はもう大丈夫だ。
45:日高
19/11/30 10:05:50.29 4LLd6bdk.net
ひょっとして『式の形が同じだから』
＞ 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と同じとなります。
46:１３２人目の素数さん
19/11/30 10:22:29.77 wVXrArP2.net
>>45
初めからやり直し。
47:１３２人目の素数さん
19/11/30 10:22:57.55 wVXrArP2.net
>>40
> 【定理】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は、自然数解を持たない。
ゴミ
48:１３２人目の素数さん
19/11/30 10:24:47.14 wVXrArP2.net
>>41
> >>32
> は？勝手に問題を変えるな痴呆野郎。
>
> どういうことでしょうか？
ああ、問題の区別もできない痴呆老人だったんだっけ。
49:１３２人目の素数さん
19/11/30 10:27:04.53 wVXrArP2.net
>>42
> x^p+y^p=(x+r)^pは、有理数解をもちません。
> よって、X^p+Y^p=(X+r)^pの、X,Yは、無理数ですが、整数比となりません。
大嘘付き
50:１３２人目の素数さん
19/11/30 10:47:14.13 AkTqzX2S.net
>>42
> 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は、無理数ですが、整数比となりません。
を結論とする理由が全くわかりません。
詳しく説明してください。
51:日高
19/11/30 12:47:42.13 4LLd6bdk.net
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,Y,Zが、無理数で、整数比となると、仮定すると、
共通の無理数dで割ったX/d,Y/d,Z/dは、、有理数となります。
x^p+y^p=(x+r)^pは、x,y,zを有理数とすると、式は成り立ちません。
52:日高
19/11/30 12:50:46.97 4LLd6bdk.net
>>42
> x^p+y^p=(x+r)^pは、有理数解をもちません。
> よって、X^p+Y^p=(X+r)^pの、X,Yは、無理数ですが、整数比となりません。
大嘘付き
理由を教えていただけないでしょうか？
53:１３２人目の素数さん
19/11/30 12:58:41.06 puVfsDv4.net
>>51
X/d,Y/d,Z/dが有理数だとなぜ最後の式が成り立たないのですか?
54:１３２人目の素数さん
19/11/30 13:04:06.35 I2OfxuuB.net
ここの>>1も、どっかの誰かさんみたいに
必要条件と十分条件が分かってないのかなあ。
55:日高
19/11/30 13:09:53.05 4LLd6bdk.net
>>51
X/d,Y/d,Z/dが有理数だとなぜ最後の式が成り立たないのですか?
rが無理数なので、
x^p+y^p=(x+r)^pは、x,y,zが有理数のとき、式は成り立ちません。
56:日高
19/11/30 13:13:32.15 4LLd6bdk.net
>>51
X/d,Y/d,Z/dが有理数だとなぜ最後の式が成り立たないのですか?
rが無理数なので、
x^p+y^p=(x+r)^pは、x,y,zが有理数のとき、式は成り立ちません。
57:日高
19/11/30 13:15:51.81 4LLd6bdk.net
>ここの>>1も、どっかの誰かさんみたいに
必要条件と十分条件が分かってないのかなあ。
すみません。ま違い箇所をを指摘していただけないでしょうか。
58:１３２人目の素数さん
19/11/30 13:20:25.73 puVfsDv4.net
>>56
X/d,Y/d,Z/dはこの式の解にはならないので関係ないと思います。
59:日高
19/11/30 13:20:53.98 4LLd6bdk.net
【定理】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は、自然数解を持たない。
60:日高
19/11/30 13:24:11.35 4LLd6bdk.net
>>56
X/d,Y/d,Z/dはこの式の解にはならないので関係ないと思います。
「この式」とは、どの式のことでしょうか。
61:１３２人目の素数さん
19/11/30 13:26:44 puVfsDv4.net
>>60
x^p+y^p=(x+r)^p
です
62:１３２人目の素数さん
19/11/30 13:27:32 I2OfxuuB.net
>>57
すまん。自分の勘違いだったわ。
63:日高
19/11/30 13:38:14 4LLd6bdk.net
>>60
x^p+y^p=(x+r)^p
x^p+y^p=(x+r)^pこの式は、x,y,zを、有理数とした場合の式です。
X/d,Y/d,Z/dも、有理数です。
64:１３２人目の素数さん
19/11/30 13:49:26 puVfsDv4.net
>>63
>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 の解にならないので、矛盾はありません
65:１３２人目の素数さん
19/11/30 13:49:59 w4ZAHaiP.net
>>45
＞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を固定したら成り立たない
ハイ、やり直し
66:日高
19/11/30 14:00:45.56 4LLd6bdk.net
>>45
＞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と同じとなります。
67:１３２人目の素数さん
19/11/30 14:20:24.95 qeMH40wK.net
指摘が理解できないなら、数学を勉強しなおすべきでは？
なぜ指摘を押し切れると思っているのか理解不能。
68:１３２人目の素数さん
19/11/30 14:50:14.36 NO1cGa7i.net
>>66
> 整数比となる X,Yは、 x,yと同じとなります。
でもX=x,Y=yではありませんよね。どの観点から「同じ」なのか説明してください。
69:１３２人目の素数さん
19/11/30 14:51:35.54 XiJQnwKR.net
この人質問ばっかりかよ。誰でもなんでも教えてくれると勝手に勘違いしてない？てか、こんな問題といてないで他にやる事あるだろwww
70:日高
19/11/30 16:01:48.86 4LLd6bdk.net
>指摘が理解できないなら、数学を勉強しなおすべきでは？
なぜ指摘を押し切れると思っているのか理解不能。
どの指摘のことでしょうか？
71:日高
19/11/30 16:10:02.74 4LLd6bdk.net
>>66
> 整数比となる X,Yは、 x,yと同じとなります。
でもX=x,Y=yではありませんよね。どの観点から「同じ」なのか説明してください。
整数比となる無理数 X,Yは、 X,Yが無理数であっても、共通の無理数ｄで割ると、
X/d,Y/dは、有理数となります。
72:日高
19/11/30 16:12:38.51 4LLd6bdk.net
【定理】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は、自然数解を持たない。
73:１３２人目の素数さん
19/11/30 17:40:58.06 ZcBJ5WUX.net
>>72
爺さん、零点だ
74:日高
19/11/30 17:57:55.27 4LLd6bdk.net
>>72
爺さん、零点だ
理由を教えていただけないでしょうか。
75:１３２人目の素数さん
19/11/30 17:59:29.65 P4ubJUBY.net
>>73 爺さんが零点というのは、リーマン予想と関係ありますか？
77:１３２人目の素数さん
19/11/30 19:37:59.19 CDMeYgGm.net
>>71
> >>66
> > 整数比となる X,Yは、 x,yと同じとなります。
>
> でもX=x,Y=yではありませんよね。どの観点から「同じ」なのか説明してください。
>
> 整数比となる無理数 X,Yは、 X,Yが無理数であっても、共通の無理数ｄで割ると、
> X/d,Y/dは、有理数となります。
この説明ではx,yが登場しないので「x,yと同じ」の説明になっていません。
78:日高
19/11/30 20:44:54.28 4LLd6bdk.net
>>71
> >>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も有理数です。
79:１３２人目の素数さん
19/11/30 20:57:58 CDMeYgGm.net
>>77
> X/d,Y/dは、有理数,となります。x,yも有理数です。
有理数ならなんでも「同じ」ですか？
80:日高
19/11/30 21:07:28 4LLd6bdk.net
>>77
> X/d,Y/dは、有理数,となります。x,yも有理数です。
有理数ならなんでも「同じ」ですか？
有理数ならなんでも「同じ」ですか？
すみません。この意味はどんな意味でしょうか？
81:１３２人目の素数さん
19/11/30 21:25:34.52 CDMeYgGm.net
>>79
>>68 に「どの観点から「同じ」なのか説明してください」と書きました。
>>77 で「X/d,Y/dは、有理数,となります。x,yも有理数です」とだけ
答えられたので，「有理数ならなんでも「同じ」ですか？」とお尋ねしました。
確認ですが、X/d Y/d は(X/d)^p+(Y/d)^p=(X/d+r)^pをみたす、で合っていますか？
82:１３２人目の素数さん
19/11/30 23:23:19 w4ZAHaiP.net
奇数芸人とフェルマー芸人の共通点
・簡潔に表現できるが実は難問、である問題を独自に解いたと主張するが、もちろん解けていない
・解けていない理由は、着眼点が最初から誤っているからであるが、再三指摘されても当人は気づきもしない
・同じ証明を何度も繰り返し投稿する。微妙に修正を施すことはあるが、本質的に何も正しくなっていない
・誤りを指摘すると、指摘したことと違う点について反論したうえ、やり取りを続けると最初の指摘を忘れてしまう
・証明なのに結論を書かずに終わらせる癖がある
・数学の知識は小学生レベルである
・除数がゼロの商を数であると主張する
・本職の数学者にとって迷惑この上ない
83:１３２人目の素数さん
19/11/30 23:27:22.86 7/jRCzlv.net
>>72
> 【定理】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は、自然数解を持たない。
ゴミ
84:日高
19/12/01 05:32:34 UkzAFPct.net
>>79
>>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を満たしません
85:日高
19/12/01 05:44:09 UkzAFPct.net
>奇数芸人とフェルマー芸人の共通点
・簡潔に表現できるが実は難問、である問題を独自に解いたと主張するが、もちろん解けていない
・解けていない理由は、着眼点が最初から誤っているからであるが、再三指摘されても当人は気づきもしない
・同じ証明を何度も繰り返し投稿する。微妙に修正を施すことはあるが、本質的に何も正しくなっていない
・誤りを指摘すると、指摘したことと違う点について反論したうえ、やり取りを続けると最初の指摘を忘れてしまう
・証明なのに結論を書かずに終わらせる癖がある
・数学の知識は小学生レベルである
・除数がゼロの商を数であると主張する
・本職の数学者にとって迷惑この上ない
奇数芸人のことは、ぞんじません
もしかしたら、あなたは本職の数学者？
86:日高
19/12/01 05:57:43 UkzAFPct.net
>>72
> 【定理】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は、自然数解を持たない。
ゴミ
申し訳ございません
�は推理してもらえないでしょうか
87:日高
19/12/01 07:30:38.78 UkzAFPct.net
【定理】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は、自然数解を持たない。
88:ID:1lEWVa2s
19/12/01 07:33:22.22 k28MOLB9.net
>>86
もっかいいうが
数学板の中の
フェルマー最終定理について
のスレッドの一番上の数式を見なかったのか。
あの式計算すると合ってるぞ。
それかお前はぼっとのふりしたろしあのすぱいか! ！?？
89:ID:1lEWVa2s
19/12/01 07:52:45.44 IU9Wq8+z.net
いつか何人か気付いてるとおもうが
ぺんぱいなっぽーあっぽーぺんって言われるぞ。
90:１３２人目の素数さん
19/12/01 07:59:37 qKJAMtH6.net
>>86
> 【定理】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は、自然数解を持たない。
ゴミ
91:日高
19/12/01 08:00:45 UkzAFPct.net
>一つの整数を二つの平方数の差で表すのスレ主です。
まあ、書きましょう。
名前は梅田悠祐で
(31104)’3+(1292966)’3=(1292972)’3
です。
>>86
もっかいいうが
数学板の中の
フェルマー最終定理について
のスレッドの一番上の数式を見なかったのか。
あの式計算すると合ってるぞ。
それかお前はぼっとのふりしたろしあのすぱいか! ！?？
「あの式計算すると」
手計算、もしくは、計算ソフトで確認してみてください。
間違っています。
92:ID:1lEWVa2s
19/12/01 08:04:18 IU9Wq8+z.net
>>90
関数電卓で計算してください。
移項して右辺を左辺にマイナスすれば0です。
93:ID:1lEWVa2s
19/12/01 08:05:13 IU9Wq8+z.net
まずあなた常人からしてあれだけの式正しく計算できないでしょ。
私ですら間違えるのに。
94:ID:1lEWVa2s
19/12/01 08:06:23 IU9Wq8+z.net
>>92
手計算の事ね。
あなたしてないでしょ。それか間違えてるか。
95:ID:1lEWVa2s
19/12/01 08:07:51 IU9Wq8+z.net
恒等式から論理的に生成したものだから
計算ソフトの方がみすをしている上
手計算は一日かかりますよ。体力的に。
96:日高
19/12/01 08:09:49 UkzAFPct.net
>>92
手計算の事ね。
あなたしてないでしょ。それか間違えてるか。
手計算は、していません。計算ソフトを使いました。
97:ID:1lEWVa2s
19/12/01 08:13:08 IU9Wq8+z.net
>>95
計算ソフトの扱い方も常人なら数週間かかります。
入力ミスか計算ソフトが回避しているか。
回避とは意図して違う値を出すことです。
例えばペル方程式61の一般解は関数電卓でも合っているようになりますが、手計算するとまた恒等式の論理からいくと解が違うものになります。
つまり巷が嘘をつき始めている訳です。
98:日高
19/12/01 08:14:41 UkzAFPct.net
>恒等式から論理的に生成したものだから
その恒等式を教えていただけないでしょうか。
99:ID:1lEWVa2s
19/12/01 08:14:41 IU9Wq8+z.net
関数電卓は整数の話しなので嘘をつきません。
0.000000000 1.9999999とかは嘘つかれますが。
100:ID:1lEWVa2s
19/12/01 08:17:19 IU9Wq8+z.net
>>97
5000枚入った段ボールに無造作に入っているので出せません。
知りたければスレッドの一番上の一つの整数を二つの平方数の差で表す方法のスレでさがしてください。
lかmに100までの値を入れました。
101:ID:1lEWVa2s
19/12/01 08:18:21 IU9Wq8+z.net
>>99
そしたら平方根が外れました。
102:ID:1lEWVa2s
19/12/01 08:21:16 IU9Wq8+z.net
>>99
因みに私の昔のスレです。
私の文です。
生成の論理は二度とやりません。
忘れました。
やると頭がおかしくなります。
103:日高
19/12/01 08:23:05.01 UkzAFPct.net
>関数電卓は整数の話しなので嘘をつきません。
関数電卓は嘘をつきます。
104:日高
19/12/01 08:29:02.26 UkzAFPct.net
>>99
そしたら平方根が外れました。
よく意味がわかりません。
105:ID:1lEWVa2s
19/12/01 08:31:23.72 IU9Wq8+z.net
>>103
a=72の二乗。
106:ID:1lEWVa2s
19/12/01 08:33:40.54 IU9Wq8+z.net
>>103
返事は無理しなくてもいいよ。
あのやりとりちゃんとみてきな。
107:日高
19/12/01 08:34:44.81 UkzAFPct.net
【定理】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は、自然数解を持たない。
108:ID:1lEWVa2s
19/12/01 08:34:44.93 IU9Wq8+z.net
>>102
付くのは知っています。
109:ID:1lEWVa2s
19/12/01 08:43:40.59 w+2oE2uf.net
ごめん。言って良い!！?？
あなた計算ソフト使ってないでしょ。
文章打つまでの計算ソフト使う速度が常人でないから。
背理法で嘘だと断言して計算ソフトででなかったって言ったんでしょ。
俺も7年前はそうだったもん。
110:ID:1lEWVa2s
19/12/01 08:44:59.66 w+2oE2uf.net
ごめんなさいは。
111:ID:1lEWVa2s
19/12/01 08:46:10 w+2oE2uf.net
こりぇ。
112:ID:1lEWVa2s
19/12/01 08:46:28 w+2oE2uf.net
煙草吸ってくる。
113:１３２人目の素数さん
19/12/01 09:26:20.08 qKJAMtH6.net
>>106
ゴミ
114:１３２人目の素数さん
19/12/01 09:26:56.09 qKJAMtH6.net
>>106
> 【定理】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は、自然数解を持たない。
ゴミ
引用するだけで文字が変になるし。
115:ID:1lEWVa2s
19/12/01 09:40:01.52 ZXAlgpQt.net
ほんとだ計算ソフトは違う。
116:ID:1lEWVa2s
19/12/01 09:47:32.17 ZXAlgpQt.net
会社によってネット計算機ソフト値が違うから。
日本数学会事務局に発表した後から隠し始めた。
117:ID:1lEWVa2s
19/12/01 09:47:51.45 ZXAlgpQt.net
電卓が正しい 恒等式だし。
118:ID:1lEWVa2s
19/12/01 09:48:40.99 ZXAlgpQt.net
これから買う電卓ぜんぶ没だ。古いの探せ。
119:１３２人目の素数さん
19/12/01 09:56:28.48 rDLAELS8.net
荒らしが立てたスレが荒らされてて草
120:ID:1lEWVa2s
19/12/01 09:56:32.02 SwstWwOH.net
解ったよ手計算すればいいんだろ。
嘘だったら嫌だから確かめなかったけど。
電卓でみれた夢だったのかなあ。
ちょっと寝たら筆算します。
121:日高
19/12/01 10:45:54 UkzAFPct.net
【定理】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は、自然数解を持たない。
122:１３２人目の素数さん
19/12/01 10:59:23 jpaPz0xp.net
>>120
> 【定理】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は、自然数解を持たない。
ゴミ。反省ゼロ
123:日高
19/12/01 11:11:06.33 UkzAFPct.net
>ゴミ。反省ゼロ
申し訳ございません。
124:１３２人目の素数さん
19/12/01 11:16:59.44 jpaPz0xp.net
>>122
> >ゴミ。反省ゼロ
>
> 申し訳ございません。
これもゴミ。
125:１３２人目の素数さん
19/12/01 12:15:51.92 ZUe7lw9o.net
>>83
> X/d Y/d は(X/d)^p+(Y/d)^p=(X/d+r)^pを満たしません
では、どういう式を満たしますか？
126:日高
19/12/01 12:47:53.87 UkzAFPct.net
>>83
> X/d Y/d は(X/d)^p+(Y/d)^p=(X/d+r)^pを満たしません
では、どういう式を満たしますか？
わかりません。
127:１３２人目の素数さん
19/12/01 14:57:00.61 txvnkZeT.net
>>125
> >>83
> > X/d Y/d は(X/d)^p+(Y/d)^p=(X/d+r)^pを満たしません
>
> では、どういう式を満たしますか？
>
> わかりません。
それがわからないと、矛盾することを示せないのではありませんか？
128:日高
19/12/01 15:19:17.73 UkzAFPct.net
>>125
> >>83
> > 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は、成り立ちません。
どういう式を満たすかは、関係ないと思います。
129:１３２人目の素数さん
19/12/01 16:11:29.72 nYMDHUrZ.net
>>127
> >>125
> > >>83
> > > 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は、成り立ちません。
> どういう式を満たすかは、関係ないと思います。
間違い。考え直し。
130:日高
19/12/01 16:20:26 UkzAFPct.net
> X/d Y/d が有理数となるので、(X/d)^p+(Y/d)^p=(X/d+r)^pは、成り立ちません。
> どういう式を満たすかは、関係ないと思います。
間違い。考え直し。
「間違い」の理由を教えていただけないでしょうか。
131:１３２人目の素数さん
19/12/01 17:29:07 nYMDHUrZ.net
>>129
関係ない、はずがない。
132:１３２人目の素数さん
19/12/01 17:33:48.59 7DO8BvIj.net
┌日┐
｜※｜ 毎日毎日、暇を持て余している爺さんです。(´・ω・｀)
｜数｜
｜学｜ 数学力、国語力は小学生レベルも怪しいです
｜の｜
｜本｜ a^{1/(1-1)}という表現が可能かどうかわかりませんが、
｜は｜
｜読｜ a^{1/(1-1)}が数であることには変わりはありません。
｜ん｜
｜で｜ 私の下半身でそのことが証明されています。(｀⌒´)エｯﾍﾝ！(｀^´)
｜ま｜
｜せ｜ ところが、その自慢の下半身がだんだん劣化しつつあります。(´・ω・｀)
｜ん｜
｜！｜ しかし、睾丸無知ですので投稿し続けます。(｀^´) ﾄﾞﾔｯ,ﾄﾞﾔｯ!
└高┘
133:日高
19/12/01 17:34:01.88 UkzAFPct.net
>>129
関係ない、はずがない。
すみません。どういう意味でしょうか？
134:日高
19/12/01 17:35:28.92 UkzAFPct.net
＞毎日毎日、暇を持て余している爺さんです。(´・ω・｀)
よろしくお願いします。
135:日高
19/12/01 17:38:11.50 UkzAFPct.net
【定理】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は、自然数解を持たない。
136:１３２人目の素数さん
19/12/01 17:39:04.07 nYMDHUrZ.net
>>134
> 【定理】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は、自然数解を持たない。
はい。ゴミ。何で反省しないの？
137:１３２人目の素数さん
19/12/01 17:44:40.16 nYMDHUrZ.net
>>132
> >>129
> 関係ない、はずがない。
>
> すみません。どういう意味でしょうか？
日本語が理解できないなら書き込むな。
138:日高
19/12/01 18:14:57.68 UkzAFPct.net
>はい。ゴミ。何で反省しないの？
なにを、反省すればいいのか、わかりません。
139:日高
19/12/01 18:17:09.38 UkzAFPct.net
>>132
> >>129
> 関係ない、はずがない。
>
> すみません。どういう意味でしょうか？
日本語が理解できないなら書き込むな。
日本語が、理解できていないのでしょうか？
140:１３２人目の素数さん
19/12/01 18:17:37.62 zTkWidiO.net
関係ないと主張するなら根拠を示さなければ。
それが主張する人間の責務です。
141:１３２人目の素数さん
19/12/01 19:03:14.94 GQUiodcx.net
>>127
> X/d Y/d が有理数となるので、(X/d)^p+(Y/d)^p=(X/d+r)^pは、成り立ちません。
> どういう式を満たすかは、関係ないと思います。
X,Yはフェルマーの最終定理のX^p+Y^p=Z^pとは関係ないのですね？
それでは証明になっていないことが明らかです。
142:日高
19/12/01 21:07:20.68 UkzAFPct.net
>>127
> X/d Y/d が有理数となるので、(X/d)^p+(Y/d)^p=(X/d+r)^pは、成り立ちません。
> どういう式を満たすかは、関係ないと思います。
X,Yはフェルマーの最終定理のX^p+Y^p=Z^pとは関係ないのですね？
それでは証明になっていないことが明らかです。
この場合の、X,Yは、無理数です。
143:日高
19/12/01 21:11:06.25 UkzAFPct.net
>関係ないと主張するなら根拠を示さなければ。
それが主張する人間の責務です。
式をたどれば、関係ないことが、わかります。
144:１３２人目の素数さん
19/12/01 21:13:52.67 +HoulKNq.net
>>141
> この場合の、X,Yは、無理数です。
それで？ フェルマーの最終定理とは関係ないんでしょう？
145:日高
19/12/01 21:25:17 UkzAFPct.net
>>141
> この場合の、X,Yは、無理数です。
それで？ フェルマーの最終定理とは関係ないんでしょう？
すみませんが、やり取りを、最初から、読まれましたか？
146:１３２人目の素数さん
19/12/01 21:31:07 +HoulKNq.net
>>144
> すみませんが、やり取りを、最初から、読まれましたか？
５ちゃんねるに移ってきてからは最初から読んでいます。
147:１３２人目の素数さん
19/12/01 21:32:07 Lr9YnTXD.net
>>144
> >>141
> > この場合の、X,Yは、無理数です。
>
> それで？ フェルマーの最終定理とは関係ないんでしょう？
>
> すみませんが、やり取りを、最初から、読まれましたか？
ごまかすなよ。
そういうなら最初から最後までまとめて全部書け。
148:日高
19/12/01 21:46:23.02 UkzAFPct.net
>>144
> >>141
> > この場合の、X,Yは、無理数です。
>
> それで？ フェルマーの最終定理とは関係ないんでしょう？
>
> すみませんが、やり取りを、最初から、読まれましたか？
ごまかすなよ。
そういうなら最初から最後までまとめて全部書け。
X/d Y/d が有理数となるので、(X/d)^p+(Y/d)^p=(X/d+r)^pは、成り立ちません。
どういう式を満たすかは、関係ないと思います。
満たす式は、書くことは、できますが、意味はありません。
149:１３２人目の素数さん
19/12/01 21:49:49.13 +HoulKNq.net
>>147
> X/d Y/d が有理数となるので、(X/d)^p+(Y/d)^p=(X/d+r)^pは、成り立ちません。
> どういう式を満たすかは、関係ないと思います。
> 満たす式は、書くことは、できますが、意味はありません。
では、これはフェルマーの最終定理とは無関係ですね？
150:１３２人目の素数さん
19/12/01 22:08:45 x9IIrrG0.net
>>147
>>11には
＞ 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/d)^p+(Y/d)^p=(X/d+r)^p が『成り立たない』
事がフェルマーの最終定理の証明につながる、という事ですか？
151:１３２人目の素数さん
19/12/01 22:15:15 Lr9YnTXD.net
爺さんは、背理法を理解してないと思う。
152:１３２人目の素数さん
19/12/01 22:16:29 tN/OMWVl.net
指摘されても受け入れる気はない癖に、何が目的で数学板でスレ立てしてんの？
153:１３２人目の素数さん
19/12/01 22:19:28 s74+o244.net
そういう意味では、本当に高木と同じだね。
もしかして多重人格で完全数のほうの別人格だったりして。
154:１３２人目の素数さん
19/12/01 23:55:53.74 Lr9YnTXD.net
>>147
> X/d Y/d が有理数となるので、(X/d)^p+(Y/d)^p=(X/d+r)^pは、成り立ちません。
> どういう式を満たすかは、関係ないと思います。
> 満たす式は、書くことは、できますが、意味はありません。
以前は満たす式はわかりませんと言ってましたね。 (>>125)
書くことができるようになったんですか？
満たす式は
(X/d)^p+(Y/d)^p=(X/d+r/d)^p
だと思いますが、違いますか？
155:１３２人目の素数さん
19/12/02 00:01:26.75 inG9B4yX.net
r=p^{1/(p-1)}なのかr=(pa)^{1/(p-1)}なのかで話が変わってくる局面もあるので要注意。
156:日高
19/12/02 06:23:23.44 8E9FlSBf.net
157:"noopener noreferrer" target="_blank" class="reply_link">>>147 > X/d Y/d が有理数となるので、(X/d)^p+(Y/d)^p=(X/d+r)^pは、成り立ちません。 > どういう式を満たすかは、関係ないと思います。 > 満たす式は、書くことは、できますが、意味はありません。 では、これはフェルマーの最終定理とは無関係ですね？ これは、x^p+y^p=(x+p^{1/(p-1)})^pのx,yが無理数のとき、式が成り立つかどうかの 話でした。
158:日高
19/12/02 06:42:00.56 8E9FlSBf.net
>>147
>>11には
＞ 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/d)^p+(Y/d)^p=(X/d+r)^p が『成り立たない』
事がフェルマーの最終定理の証明につながる、という事ですか？
(X/d),(Y/d)は、有理数となるので、(X/d)^p+(Y/d)^p=(X/d+r)^pは、成り立ちません。
159:日高
19/12/02 07:01:53 8E9FlSBf.net
>>147
> X/d Y/d が有理数となるので、(X/d)^p+(Y/d)^p=(X/d+r)^pは、成り立ちません。
> どういう式を満たすかは、関係ないと思います。
> 満たす式は、書くことは、できますが、意味はありません。
以前は満たす式はわかりませんと言ってましたね。 (>>125)
書くことができるようになったんですか？
満たす式は
(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となるので、満たさない式になります。
160:日高
19/12/02 07:05:16 8E9FlSBf.net
>r=p^{1/(p-1)}なのかr=(pa)^{1/(p-1)}なのかで話が変わってくる局面もあるので要注意。
そのとおり、注意が必要です。
161:１３２人目の素数さん
19/12/02 07:12:13.92 ljHVrsIS.net
***** このスレを初めてご覧になる方へ（歴史に残る日高語録）*****
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となりません。
と漫才のような珍答を与えている。
162:１３２人目の素数さん
19/12/02 07:12:54.29 JDul2+FC.net
>>157
> >>147
>
> > X/d Y/d が有理数となるので、(X/d)^p+(Y/d)^p=(X/d+r)^pは、成り立ちません。
> > どういう式を満たすかは、関係ないと思います。
> > 満たす式は、書くことは、できますが、意味はありません。
>
> 以前は満たす式はわかりませんと言ってましたね。 (>>125)
> 書くことができるようになったんですか？
>
> 満たす式は
> (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/d, Y/d は
(X/d)^p+(Y/d)^p=(X/d+r/d)^p
を満たしますか？
163:日高
19/12/02 07:44:12 8E9FlSBf.net
>意味不明な回答はやめてください。
X/d, Y/d は
(X/d)^p+(Y/d)^p=(X/d+r/d)^p
を満たしますか？
満たしません。
164:日高
19/12/02 07:48:35.67 8E9FlSBf.net
【定理】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は、自然数解を持たない。
165:１３２人目の素数さん
19/12/02 08:08:17.81 LyWoH7oY.net
>>162
> 【定理】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は、自然数解を持たない。
ゴミクズ
166:日高
19/12/02 10:49:22.34 8E9FlSBf.net
>a^{1/(1-1)}は、計算できない数ですが、a^{1/(1-1)}が、数であることには
変わりはありません。
まちがいでしょうか？
167:１３２人目の素数さん
19/12/02 11:08:10 NGJrGdSa.net
>>164
> >a^{1/(1-1)}は、計算できない数ですが、a^{1/(1-1)}が、数であることには
> 変わりはありません。
>
> まちがいでしょうか？
間違い。
168:日高
19/12/02 11:14:30.85 8E9FlSBf.net
>間違い。
理由を教えていただけないでしょうか。
169:１３２人目の素数さん
19/12/02 11:15:11.27 NGJrGdSa.net
>>166
> 理由を教えていただけないでしょうか。
正しい主張じゃないから。
170:日高
19/12/02 11:27:24.64 8E9FlSBf.net
>正しい主張じゃないから。
なぜ、正しくないのでしょうか？
171:１３２人目の素数さん
19/12/02 11:28:03.88 NGJrGdSa.net
>>168
> >正しい主張じゃないから。
>
> なぜ、正しくないのでしょうか？
なぜ正しいのでしょうか？
172:日高
19/12/02 11:43:32.81 8E9FlSBf.net
>a^{1/(1-1)}は、計算できない数ですが、a^{1/(1-1)}が、数であることには
変わりはありません。
>なぜ正しいのでしょうか？
正しいか、正しくないか、決めることはできないと思います。
(a^{1/(1-1)}は、計算できないので、)
私が主張したのは、式の中のことです。
173:１３２人目の素数さん
19/12/02 12:23:02.91 V4R3NoRD.net
>正しいか、正しくないか、決めることはできない
それでは、そのような数体系をご自身で構築してから、証明してください
174:日高
19/12/02 12:31:25.87 8E9FlSBf.net
>それでは、そのような数体系をご自身で構築してから、証明してください
私の「フェルマーの最終定理の簡単な証明」には、a^{1/(1-1)}は、出てきません。
175:１３２人目の素数さん
19/12/02 12:34:55.13 9m/0ntLI.net
間違いかどうか自分で聞いておいて証明放棄ってw
176:１３２人目の素数さん
19/12/02 13:05:16.83 NGJrGdSa.net
>>172
> >それでは、そのような数体系をご自身で構築してから、証明してください
>
> 私の「フェルマーの最終定理の簡単な証明」には、a^{1/(1-1)}は、出てきません。
自分が証明できない通常と異なる解釈を正しいと主張することは出来ない。
なので、やはり間違い。
177:１３２人目の素数さん
19/12/02 13:41:30.43 roNdI9zG.net
>>155
> では、これはフェルマーの最終定理とは無関係ですね？
>
> これは、x^p+y^p=(x+p^{1/(p-1)})^pのx,yが無理数のとき、式が成り立つかどうかの
話でした。
「無関係である」「無関係でない」のどちらかで答えてください。
178:日高
19/12/02 15:47:48.83 8E9FlSBf.net
>間違いかどうか自分で聞いておいて証明放棄ってw
a^{1/(1-1)}は、計算できない数です。
a^{1/(1-1)}は、この証明には、出てきません。
179:日高
19/12/02 15:49:26.75 8E9FlSBf.net
>自分が証明できない通常と異なる解釈を正しいと主張することは出来ない。
なので、やはり間違い。
a^{1/(1-1)}は、この証明には、出てきません。
180:日高
19/12/02 15:52:06.85 8E9FlSBf.net
>>155
> では、これはフェルマーの最終定理とは無関係ですね？
>
> これは、x^p+y^p=(x+p^{1/(p-1)})^pのx,yが無理数のとき、式が成り立つかどうかの
話でした。
「無関係である」「無関係でない」のどちらかで答えてください。
すみません。もう一度最初から、説明していただけないでしょうか。
181:日高
19/12/02 15:58:02.03 8E9FlSBf.net
【定理】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は、自然数解を持たない。
182:１３２人目の素数さん
19/12/02 16:21:40.55 NGJrGdSa.net
>>179
> 【定理】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は、自然数解を持たない。
ゴミクズ
いい加減反省しろ。
文字化けもゴミ
183:１３２人目の素数さん
19/12/02 16:23:41.53 NGJrGdSa.net
>>176
> >間違いかどうか自分で聞いておいて証明放棄ってw
>
> a^{1/(1-1)}は、計算できない数です。
>
> a^{1/(1-1)}は、この証明には、出てきません。
出てこようが何だろうが、変な用語を使うこと自体間違い。数学でない証拠。数学じゃないもので書かれた証明は、数学的には間違いのデタラメ。
184:１３２人目の素数さん
19/12/02 17:02:12.55 9m/0ntLI.net
>>176
だから何？早くa^{1/(1-1)}が「計算できない数」であることを証明してよ
185:１３２人目の素数さん
19/12/02 17:11:48.20 9m/0ntLI.net
まずa^{1/(1-1)}が計算できない数であると主張してることが面白いし、
一方で>>170ではa^{1/(1-1)}が計算できない数であることを「正しいかか、正しくないか、決めることはできないと思います。」と矛盾してること言ってるのも面白いし、
おまけにその根拠を「a^{1/(1-1)}は、計算できないので」と答えてるのも面白い
186:日高
19/12/02 17:20:58.96 8E9FlSBf.net
>ゴミクズ
いい加減反省しろ。
文字化けもゴミ
申し訳ございません。
187:日高
19/12/02 17:22:47.71 8E9FlSBf.net
> >間違いかどうか自分で聞いておいて証明放棄ってw
>
> a^{1/(1-1)}は、計算できない数です。
>
> a^{1/(1-1)}は、この証明には、出てきません。
出てこようが何だろうが、変な用語を使うこと自体間違い。数学でない証拠。数学じゃないもので書かれた証明は、数学的には間違いのデタラメ。
申し訳ございません。
188:日高
19/12/02 17:25:51.78 8E9FlSBf.net
>だから何？早くa^{1/(1-1)}が「計算できない数」であることを証明してよ
a^{1/0}は、計算可能でしょうか？
189:１３２人目の素数さん
19/12/02 17:29:05.11 9m/0ntLI.net
>>186
いや、俺に聞かずに自分で証明してよ
特にa^{1/0}が「数」だと主張していることに興味があるからw
190:日高
19/12/02 17:30:16.17 8E9FlSBf.net
>まずa^{1/(1-1)}が計算できない数であると主張してることが面白いし、
一方で>>170ではa^{1/(1-1)}が計算できない数であることを「正しいかか、正しくないか、決めることはできないと思います。」と矛盾してること言ってるのも面白いし、
おまけにその根拠を「a^{1/(1-1)}は、計算できないので」と答えてるのも面白い
すみません。なぜ、面白いのかがわかりません。
191:日高
19/12/02 17:33:07.14 8E9FlSBf.net
>いや、俺に聞かずに自分で証明してよ
特にa^{1/0}が「数」だと主張していることに興味があるからw
証明は、できません。ただ、計算はできません。
192:日高
19/12/02 17:35:18.09 8E9FlSBf.net
【定理】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は、自然数解を持たない。
193:１３２人目の素数さん
19/12/02 17:41:15.02 9m/0ntLI.net
>>189
え！？あんなに自慢顔で「a^{1/0}は計算できない数です」って主張してたのに証明できないの！？
じゃあもしかして、主張は嘘だったってこと？
194:日高
19/12/02 19:19:19.28 8E9FlSBf.net
>え！？あんなに自慢顔で「a^{1/0}は計算できない数です」って主張してたのに証明できないの！？
じゃあもしかして、主張は嘘だったってこと？
「a^{1/0}は計算できない数です」誰か証明できる人が、いたら、証明お願いします。
195:１３２人目の素数さん
19/12/02 19:34:02.13 NGJrGdSa.net
>>190
> 【定理】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は、自然数解を持たない。
ゴミクズが。
196:１３２人目の素数さん
19/12/02 19:35:19 NGJrGdSa.net
>>192
> >え！？あんなに自慢顔で「a^{1/0}は計算できない数です」って主張してたのに証明できないの！？
> じゃあもしかして、主張は嘘だったってこと？
>
> 「a^{1/0}は計算できない数です」誰か証明できる人が、いたら、証明お願いします。
さすが痴呆老人
197:１３２人目の素数さん
19/12/02 19:36:08 NGJrGdSa.net
>>184
> >ゴミクズ
> いい加減反省しろ。
> 文字化けもゴミ
>
> 申し訳ございません。
謝っても許される訳じゃない。直せ。
198:日高
19/12/02 19:57:14 8E9FlSBf.net
>さすが痴呆老人
お願いします。
199:日高
19/12/02 19:59:39.43 8E9FlSBf.net
>謝っても許される訳じゃない。直せ。
全ての人が文字化けしているのでしょうか？
200:１３２人目の素数さん
19/12/02 20:01:02.79 NGJrGdSa.net
>>197
> >謝っても許される訳じゃない。直せ。
>
> 全ての人が文字化けしているのでしょうか？
環境によるが、機種依存文字やめろって言われてたろうが。ボケ老人
201:日高
19/12/02 20:09:21.14 8E9FlSBf.net
>環境によるが、機種依存文字やめろって言われてたろうが。ボケ老人
前に、( )に変えましたので、文字化けするひとは、それを見ていただけないでしょうか。
ただ、文字化けしても、前後から推測ことは、できると思います。
202:１３２人目の素数さん
19/12/02 20:16:12 NGJrGdSa.net
>>199
> >環境によるが、機種依存文字やめろって言われてたろうが。ボケ老人
>
> 前に、( )に変えましたので、文字化けするひとは、それを見ていただけないでしょうか。
> ただ、文字化けしても、前後から推測ことは、できると思います。
自分の都合を他人に押しつけるな。
そんなんだから証明もでたらめなんだろが。
203:１３２人目の素数さん
19/12/02 20:25:13 oQRdbZ2W.net
>>178
「すみませんが、やり取りを、最初から、読まれましたか？」という>>144をそのままお返しします。
204:１３２人目の素数さん
19/12/02 20:33:35 oQRdbZ2W.net
>>199
> >環境によるが、機種依存文字やめろって言われてたろうが。ボケ老人
>
> 前に、( )に変えましたので、文字化けするひとは、それを見ていただけないでしょうか。
ということは、証明を手直しする気はまったくない、ということ？
205:日高
19/12/02 20:52:03 8E9FlSBf.net
>自分の都合を他人に押しつけるな。
そんなんだから証明もでたらめなんだろが。
申し訳ございません。
206:日高
19/12/02 20:57:35 8E9FlSBf.net
>>178
「すみませんが、やり取りを、最初から、読まれましたか？」という>>144をそのままお返しします。
最初の、指摘がなにであったか、わからなくなったので、一番最初に戻っていただけないのでしょうか？
207:日高
19/12/02 20:59:32 8E9FlSBf.net
>ということは、証明を手直しする気はまったくない、ということ？
どうしたら、よろしいのでしょうか？
208:日高
19/12/02 21:01:57.03 8E9FlSBf.net
【定理】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は、自然数解を持たない。
209:１３２人目の素数さん
19/12/02 21:03:06.02 oQRdbZ2W.net
>>205
> >ということは、証明を手直しする気はまったくない、ということ？
>
> どうしたら、よろしいのでしょうか？
ここに証明を書き込んで、指摘があったら書き直す、直せないミスがあったら取り下げる、
そういうつもりで書き込んでいるのではないの？
なんのために書き込んでいるの？
210:１３２人目の素数さん
19/12/02 21:08:51.81 46+4KV2n.net
>>204
人には「最初から読んだのか？」と聞いといて、
自分がそれを返されたら「わからないので最初に戻ってやり直して」
というのは通らないんじゃない？
211:日高
19/12/02 21:10:39.92 8E9FlSBf.net
>ここに証明を書き込んで、指摘があったら書き直す、直せないミスがあったら取り下げる、
そういうつもりで書き込んでいるのではないの？
なんのために書き込んでいるの？
細かな書き直しは、していますが、大筋は、書き直していないと思います。
212:日高
19/12/02 21:14:22.10 8E9FlSBf.net
>>204
人には「最初から読んだのか？」と聞いといて、
自分がそれを返されたら「わからないので最初に戻ってやり直して」
というのは通らないんじゃない？
申し訳ございません。指摘が、はっきり、わからなくなったからです。
具体的にに、その都度書いてもらったら、わかると思います
213:１３２人目の素数さん
19/12/02 21:14:56.12 oQRdbZ2W.net
>>209
> 細かな書き直しは、していますが、大筋は、書き直していないと思います。
それじゃあ一生間違ったままだよ。
自分ではできたと思って満足していれば、それでいいんじゃない？
214:１３２人目の素数さん
19/12/02 21:4
215:0:24.09 ID:JDul2+FC.net
216:１３２人目の素数さん
19/12/02 21:44:09.99 NGJrGdSa.net
>>206
> 【定理】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は、自然数解を持たない。
ゴミクズ。
217:１３２人目の素数さん
19/12/02 21:46:16.23 NGJrGdSa.net
>>210
> >>204
> 人には「最初から読んだのか？」と聞いといて、
> 自分がそれを返されたら「わからないので最初に戻ってやり直して」
> というのは通らないんじゃない？
>
> 申し訳ございません。指摘が、はっきり、わからなくなったからです。
> 具体的にに、その都度書いてもらったら、わかると思います
分からねえじゃん。いつも。嘘つきが。
218:１３２人目の素数さん
19/12/02 22:01:54.87 oQRdbZ2W.net
>>212 よろしくお願いします。
こちらは、日高氏に通じるとは思わないが、少しずつ>>1を読み解きます。
丸囲みの数字は(n)と書き換えます。
> 【定理】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)とする。
日高氏の頭の中には、たぶん、背理法はない。
だから「(1)をみたす自然数x,y,zがあって……」とは考えない。
(1)を見てそれに自然数解あるいは有理数解があるかどうか考えている。
そう思うと「z=x+rとおいて」もそれほど変ではない。
定数rを決めるごとに(2)の有理数解x,yがあるかどうかを判定しようとしているのである。
> (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)となる。
ここはまったくのナンセンス。
日高氏は「●▲＝■★ならば●＝■」だと信じている。
「r^(p-1)=pと仮定すると」なら問題はない。その場合、
> (4)はrが無理数となるので、式は成り立たない。
これは正しい。
「式は成り立たない」を「式をみたす有理数X,Yは存在しない」と読めば、であるが。
219:１３２人目の素数さん
19/12/02 22:24:29.02 oQRdbZ2W.net
>>215の続き。
> (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)となる。
「r^(p-1)=paとなる」もナンセンス。そのようにaを定めるととるしかなかろう。
a=r^(p-1)/pである。rは有理数とする、の意味であろう。すると(2)は確かに(6)になる。
> (6)のX,Y,Zは(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、(6)も式は成り立たない。
(6)は成り立たないのに「(6)のX,Y,Zは」と言っているのは、おそらく意味がわかっていない。
a^{1/(p-1)}はr/[p^{1/(p-1)}]に等しいので無理数である。これをdと書こう。
(6)をみたすX,Y,Z(=X+R)があればx=X/d,y=Y/d,z=Z/d(=X/d-R/d)は(2)をみたす、の意味と思われる。
次に、日高氏の大誤謬がある。(2)についていえたのは有理数解がないことだけであって、
背理法で考えるならばX,Yは自然数なのでx=X/d,y=Y/dは無理数である。よって矛盾は生じない。
> ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
これはまったく証明されていない。
220:１３２人目の素数さん
19/12/03 01:53:28 5aHcqjXw.net
>>216
Rはrの間違いでした。
221:１３２人目の素数さん
19/12/03 08:45:42.92 bcX3Yc0i.net
フェルマーの最終定理？ もう釣れないよ
(xa^{1/(1-1)})+(ya^{1/(1-1)})=(xa^{1/(1-1)}+(1a)^{1/(1-1)})…⑤となる。
ヴァカだなあ・・・
＿＿ ＿＿＿／ ,／ヽ
∨ ↓H高 ,／ ヽ数学の本は、読んでいませんwww
∧＿∧ ∧＿∧ ,／ ヽ学力は、小学校もあやしいですwww
（ ´∀｀） （ ´∀｀）,／ ヽ⑤を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となると本気で思っています。
￣￣￣￣￣￣￣￣￣￣￣￣￣| ヽ＜・フェルマーの最終定理─＜
＼／⌒＼／⌒＼／⌒＼／⌒＼|彡~ﾟ ゜~ ~。゜ ~ ~ ~ ~~ ~ ~~ ~ ~~ ~~ ~~
／⌒＼／⌒＼／⌒＼／⌒＼／⌒＼彡 ～ ～～ ～～ ～～ ～ ～
＼／⌒＼／⌒＼／⌒＼／⌒＼|彡~ﾟ ゜~ ~。゜ ~ ~ ~ ~~ ~ ~~ ~ ~~ ~~ ~~
／⌒＼／⌒＼／⌒＼／⌒＼／⌒＼彡 ～ ～～ ～～ ～～ ～ ～
222:日高
19/12/03 09:05:30.77 GaapWmJP.net
>X^p+Y^p=(X+r)^p が最初の前提になっているので、当然これは成り立ちます。
両辺をd^p で割ると
(X/d)^p+(Y/d)^p=(X/d+r/d)^p
になります。両辺を同じ数で割っただけなので、この式も成り立ちます。
成り立つでしょうか？
223:成り立つ可能性があるだけでは、ないのでしょうか？
224:１３２人目の素数さん
19/12/03 09:29:18.25 bB060itJ.net
>>219
> >X^p+Y^p=(X+r)^p が最初の前提になっているので、当然これは成り立ちます。
> 両辺をd^p で割ると
> (X/d)^p+(Y/d)^p=(X/d+r/d)^p
> になります。両辺を同じ数で割っただけなので、この式も成り立ちます。
>
> 成り立つでしょうか？
> 成り立つ可能性があるだけでは、ないのでしょうか？
考え直せ。やり直し。
225:日高
19/12/03 09:46:29 GaapWmJP.net
216について、
「(2)についていえたのは有理数解がないことだけであって、
背理法で考えるならばX,Yは自然数なのでx=X/d,y=Y/dは無理数である。よって矛盾は生じない。」
よろしければ、この部分を詳しく説明して、いただけないでしょうか。
x^p+y^p=(x+p^{1/(p-1)}^pは、無理数解を持つ場合があるという意味でしょうか？