フェルマーの最終定理の簡単な証明8

[1 日高 2020/04/23(木) 21:00:18.34 ID:dHUlU5mM]

【定理】pが奇素数のとき、x^p+y^p=z^pは、0を除く有理数解を持たない。
【証明】x^p+y^p=z^pを、z=x+rとおいて、x^p+y^p=(x+r)^p…(1)とする。
(1)は(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}…(2)となる。
(2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(3)のx,y,zは整数比とならない。
(2)をr^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(4)とする。
(4)はx^p+y^p=(x+(ap)^{1/(p-1)})^p…(5)となる。rは有理数となる。
(5)のx,y,zは、(3)のx,y,zのa^{1/(p-1)}倍となるので、整数比とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、0を除く有理数解を持たない。

[101 １３２人目の素数さん 2020/04/26(日) 09:52:27.37 ID:LzjwAuKq]

>>100
> >99
> どの式の有理数解・無理数解でしょうか。
> 数学の言葉で、主張をお願いします。
>
> x^p+y^p=(x+p^{1/(p-1)})^p…(3)に無理数解があるならば、　　★
> (αX)^p+(αY)^p=(αZ)^pとなります。
> αZ=z=x+p^{1/(p-1)}ですので、
> (αX)^p+(αY)^p=(αZ)^pは、
> x^p+y^p=(x+p^{1/(p-1)})^pとなります。
> x^p+y^p=(x+p^{1/(p-1)})^pには、有理数解がありません。

>>98には
>> 無理数解が、あるならば、有理数解もあります。
とありますが、
　　有理数解がありません−有理数解もあります
の書き間違いでしょうか。

[102 １３２人目の素数さん 2020/04/26(日) 10:03:58.82 ID:6GqXZ7nN]

有理数解もあることになるが実際には有理数解を持たない、と言いたいのだと思う。
「PならばQ」の意味を正しく理解できていないことに注意してください。

[103 １３２人目の素数さん 2020/04/26(日) 10:06:12.67 ID:6GqXZ7nN]

>>100 日高
αって何ですか？

[104 １３２人目の素数さん 2020/04/26(日) 10:08:10.34 ID:LzjwAuKq]

>>102
なるほど。
でもそれって成立してるのかなー

[105 日高 2020/04/26(日) 12:05:06.08 ID:1qU2paEl]

>103
αって何ですか？

無理数です。

[106 １３２人目の素数さん 2020/04/26(日) 12:08:40.60 ID:6GqXZ7nN]

X,Y,Zって何ですか？

[107 日高 2020/04/26(日) 12:30:14.85 ID:1qU2paEl]

>106
X,Y,Zって何ですか？

有理数です。

[108 １３２人目の素数さん 2020/04/26(日) 12:44:38.31 ID:6GqXZ7nN]

xが2のp乗根、yが3のp乗根、zが5のp乗根の時はこうは書けないのでは？

[109 １３２人目の素数さん 2020/04/26(日) 14:35:03.36 ID:LzjwAuKq]

>>108
x, y, zは整数比だと思います。

[110 日高 2020/04/26(日) 14:43:46.62 ID:1qU2paEl]

108
xが2のp乗根、yが3のp乗根、zが5のp乗根の時はこうは書けないのでは？

はい。共通の無理数を持たないので、書けません。

[111 １３２人目の素数さん 2020/04/26(日) 14:44:37.39 ID:6GqXZ7nN]

でも>>100にはそんなこと書いてないっすよ。

[112 １３２人目の素数さん 2020/04/26(日) 14:46:40.83 ID:6GqXZ7nN]

>>98には
> 無理数解が、あるならば、有理数解もあります。
とだけあります。

[113 日高 2020/04/26(日) 15:39:35.97 ID:1qU2paEl]

>109
>>108
x, y, zは整数比だと思います。

はい。整数比になります。

[114 日高 2020/04/26(日) 15:46:18.40 ID:1qU2paEl]

>111
でも>>100にはそんなこと書いてないっすよ。

αX,αY,αZの、αは、共通の無理数です。

[115 １３２人目の素数さん 2020/04/26(日) 15:48:44.67 ID:6GqXZ7nN]

何を言っているのかわかりません。最初から、わかるように書いてください。

[116 日高 2020/04/26(日) 16:11:13.73 ID:1qU2paEl]

>115
何を言っているのかわかりません。最初から、わかるように書いてください。

何番が、わからないのでしょうか？

[117 １３２人目の素数さん 2020/04/26(日) 16:13:29.31 ID:6GqXZ7nN]

>>1のように、単独で読めるように書いてください。

[118 日高 2020/04/26(日) 16:23:01.20 ID:1qU2paEl]

>117
>>1のように、単独で読めるように書いてください。

１は読めるでしょうか？

[119 １３２人目の素数さん 2020/04/26(日) 16:24:14.37 ID:6GqXZ7nN]

読めています。

[120 日高 2020/04/26(日) 16:53:21.80 ID:1qU2paEl]

>119
1で、意味不明な箇所があるでしょうか？

[121 １３２人目の素数さん 2020/04/26(日) 16:55:39.53 ID:6GqXZ7nN]

そのあとの>>100とかが全体にどうかかわってくるのかわからないから
単独で読める証明を書いてくださいとお願いしています。

[122 １３２人目の素数さん 2020/04/26(日) 17:28:46.41 ID:LzjwAuKq]

ところで1さん、>>102さんの

> 有理数解もあることになるが実際には有理数解を持たない、と言いたいのだと思う。

は合ってる？

[123 １３２人目の素数さん 2020/04/26(日) 18:09:02.31 ID:6GqXZ7nN]

>>1 日高
(3)にはzが現れないのですが、どうなっているのですか？

[124 １３２人目の素数さん 2020/04/26(日) 18:15:33.26 ID:6GqXZ7nN]

>>1 日高
> x^p+y^p=z^pを、z=x+rとおいて、x^p+y^p=(x+r)^p…(1)とする。
> (1)は(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}…(2)となる。

こう展開することになんの意味があるのですか？

[125 １３２人目の素数さん 2020/04/26(日) 18:21:18.45 ID:6GqXZ7nN]

> (5)のx,y,zは、(3)のx,y,zのa^{1/(p-1)}倍となるので、整数比とならない。

(5)も(3)も方程式ですので、そのx,y,zと言われてもなんのことかわかりかねます。説明してください。

[126 日高 2020/04/26(日) 18:23:12.32 ID:1qU2paEl]

>121
そのあとの>>100とかが全体にどうかかわってくるのかわからないから
単独で読める証明を書いてくださいとお願いしています。

100は、1の、(3)に、有理数解はなくても、無理数解があるかもしれない
ということです。

[127 １３２人目の素数さん 2020/04/26(日) 18:43:57.40 ID:3FYFmUgJ]

日高氏は数学の基礎知識が絶望的に不足しているし、日本語も不自由なので
指摘や質問内容を理解することができないし、まともに回答することもできない。

相手をするだけムダです。

[128 １３２人目の素数さん 2020/04/26(日) 19:21:35.71 ID:6GqXZ7nN]

>>126 日高
> >121
> そのあとの>>100とかが全体にどうかかわってくるのかわからないから
> 単独で読める証明を書いてくださいとお願いしています。
>
> 100は、1の、(3)に、有理数解はなくても、無理数解があるかもしれない
> ということです。

1は間違いだ、と言っているのですか？

[129 １３２人目の素数さん 2020/04/26(日) 22:08:00.12 ID:PM7JLXOt]

>>100

http://rio2016.5ch.net/test/read.cgi/math/1587643218/の25ではあなたがちゃんと解けたのに、同じことがなぜできないんですか？

25であなたが証明したこと：　x^p+y^p=z^p　に無理数で整数比の解があるならば、
25であなたが証明したこと：　(αX)^p+(αY)^p=(αZ)^pとなります。(αは無理数、X,Y,Zは有理数)
25であなたが証明したこと：　両辺をd^pで割ると、X^p+Y^p=Z^pとなります。
25であなたが証明したこと：　この式は、元の式x^p+y^p=z^pに有理数のX,Y,Zを代入した形をしています。
25であなたが証明したこと：　よって、x^p+y^p=z^p　に無理数解があるならば、x^p+y^p=z^p　に有理数解があるといえます。

あなたが25でやったこれとおなじことを、x^p+y^p=(x+p^{1/(p-1)})^p…(3)でやるだけですよ？

仮定：　 x^p+y^p=(x+p^{1/(p-1)})^p…(3)に無理数で整数比の解があるならば、
※※：
※※：
結論：　 この式は、元の式x^p+y^p=(x+p^{1/(p-1)})^p…(3)に有理数のX,Y,Zを代入した形をしています。
結論： 　よって、x^p+y^p=(x+p^{1/(p-1)})^p…(3)　に無理数解があるならば、x^p+y^p=(x+p^{1/(p-1)})^p…(3)　に有理数解があるといえます。

あなたが、※※の部分を正しく埋められるなら、結論は正しい。

あなたが、※※の部分を正しく埋められないなら、結論は間違っている。
つまり、x^p+y^p=(x+p^{1/(p-1)})^p…(3)　に無理数解があったとしても、x^p+y^p=(x+p^{1/(p-1)})^p…(3)　に有理数解はない。
x^p+y^p=(x+p^{1/(p-1)})^p…(3)　に有理数解がなかったとしても、x^p+y^p=(x+p^{1/(p-1)})^p…(3)　に無理数解がないとはいえない。

[130 １３２人目の素数さん 2020/04/26(日) 22:57:04.25 ID:PM7JLXOt]

ちなみにあなたがhttp://rio2016.5ch.net/test/read.cgi/math/1582716245の746で書いたことは、同じ書き方をするとこうなります。

仮定：　 p=2のとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)に有理数で整数比の解があるならば、
※※：　 X^p+Y^p=(X+p^{1/(p-1)})^pとなります。(X,Yは有理数)
※※：　 αを無理数として、両辺にα^pをかけると、(αX)^p+(αY)^p=((αX)+p^{1/(p-1)}×α)^p
結論：　 この式は、元の式x^p+y^p=(x+p^{1/(p-1)})^p…(3)に無理数で整数比のαX,αYを代入した形をになりません。
結論： 　よって、x^p+y^p=(x+p^{1/(p-1)})^p…(3)　に有理数解があっても、x^p+y^p=(x+p^{1/(p-1)})^p…(3)　に無理数で整数比の解があるとは言えません。

例：　p=2のとき、3,4はx^p+y^p=(x+p^{1/(p-1)})^p…(3)の有理数で整数比の解だが、
無理数で整数比の3√5、4√5はx^p+y^p=(x+p^{1/(p-1)})^p…(3)の解ではありません。

[131 日高 2020/04/27(月) 06:21:50.73 ID:N+VcAHTo]

(改1)
【定理】pが奇素数のとき、x^p+y^p=z^pは、整数比の解を持たない。
【証明】x^p+y^p=z^pを、z=x+rとおいて、x^p+y^p=(x+r)^p…(1)とする。
(1)は(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}…(2)となる。
(2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(3)の解は整数比とならない。
(2)をr^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(4)とする。
(4)はx^p+y^p=(x+(ap)^{1/(p-1)})^p…(5)となる。rは有理数となる。
(5)の解は、(3)の解のa^{1/(p-1)}倍となるので、整数比とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、整数比の解を持たない。

[132 日高 2020/04/27(月) 06:47:50.47 ID:N+VcAHTo]

>130
例：　p=2のとき、3,4はx^p+y^p=(x+p^{1/(p-1)})^p…(3)の有理数で整数比の解だが、
無理数で整数比の3√5、4√5はx^p+y^p=(x+p^{1/(p-1)})^p…(3)の解ではありません。

この場合は、a=√5で、
x^p+y^p=(x+(ap)^{1/(p-1)})^p…(5)となります。

[133 日高 2020/04/27(月) 07:26:56.77 ID:N+VcAHTo]

(改2)
【定理】pが奇素数のとき、x^p+y^p=z^pの解は整数比とならない。
【証明】x^p+y^p=z^pを、z=x+rとおいて、x^p+y^p=(x+r)^p…(1)とする。
(1)は(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}…(2)となる。
(2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(3)の解は整数比とならない。
(2)をr^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(4)とする。
(4)はx^p+y^p=(x+(ap)^{1/(p-1)})^p…(5)となる。
(5)の解は(3)の解のa^{1/(p-1)}倍となるので、整数比とならない。
∴pが奇素数のとき、x^p+y^p=z^pの解は整数比とならない。

[134 日高 2020/04/27(月) 07:50:00.46 ID:N+VcAHTo]

(改3)
【定理】pが奇素数のとき、x^p+y^p=z^pに整数比の解はない。
【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
(1)は(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}…(2)となる。
(2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(3)に整数比の解はない。
(2)をr^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(4)とする。
(4)はx^p+y^p=(x+(ap)^{1/(p-1)})^p…(5)となる。
(5)の解は(3)の解のa^{1/(p-1)}倍なので、(5)にも整数比の解はない。
∴pが奇素数のとき、x^p+y^p=z^pに整数比の解はない。

[135 １３２人目の素数さん 2020/04/27(月) 08:44:46.20 ID:sWwW6wjV]

おはようございます。
>>122と>>128に返信もらっても良いですか？

[136 １３２人目の素数さん 2020/04/27(月) 08:49:03.74 ID:sWwW6wjV]

あ、できたら>>129も。

[137 日高 2020/04/27(月) 08:51:49.25 ID:N+VcAHTo]

>122
>>122と>>128に返信もらっても良いですか？

122の意味がよく理解できないので、具体に言っていただけないでしょうか。

[138 日高 2020/04/27(月) 08:54:58.45 ID:N+VcAHTo]

>137
122の意味がよく理解できないので、具体的に、言っていただけないでしょうか。

[139 １３２人目の素数さん 2020/04/27(月) 09:10:24.74 ID:sWwW6wjV]

>>138
それだったらいいっす。
他のレスに返信してあげてください。

[140 １３２人目の素数さん 2020/04/27(月) 10:09:23.27 ID:NTBn8LeD]

>>134 日高
> (2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
> (3)に整数比の解はない。

なぜですか？

[141 日高 2020/04/27(月) 10:15:53.58 ID:N+VcAHTo]

>140
> (2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
> (3)に整数比の解はない。

なぜですか？

x,yを有理数とすると、両辺が等しくならないからです。

[142 １３２人目の素数さん 2020/04/27(月) 10:41:35.66 ID:RMoxCaal]

>>141
> >140
> > (2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
> > (3)に整数比の解はない。
x=y=r/(2^(1/p)-1)が(3)の解。y/x=1だから整数比。
つまり日高は嘘つき。

>
> なぜですか？
>
> x,yを有理数とすると、両辺が等しくならないからです。
嘘なのにデタラメな理由ででっち上げ。

[143 １３２人目の素数さん 2020/04/27(月) 10:41:38.91 ID:NTBn8LeD]

x,yが有理数なんてどこにも書いてありませんが。

[144 日高 2020/04/27(月) 12:46:52.80 ID:N+VcAHTo]

>143
x,yが有理数なんてどこにも書いてありませんが。

x,yを有理数とすると、z=x+p^{1/(p-1)}なので、整数比となりません。

[145 １３２人目の素数さん 2020/04/27(月) 12:48:02.88 ID:4VM88iBD]

>>144
日本語は理解できますか？

[146 日高 2020/04/27(月) 12:49:40.00 ID:N+VcAHTo]

(改3)
【定理】pが奇素数のとき、x^p+y^p=z^pに整数比の解はない。
【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
(1)は(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}…(2)となる。
(2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(3)に整数比の解はない。
(2)をr^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(4)とする。
(4)はx^p+y^p=(x+(ap)^{1/(p-1)})^p…(5)となる。
(5)の解は(3)の解のa^{1/(p-1)}倍なので、(5)にも整数比の解はない。
∴pが奇素数のとき、x^p+y^p=z^pに整数比の解はない。

[147 １３２人目の素数さん 2020/04/27(月) 13:37:00.36 ID:RMoxCaal]

>>146
> (改3)
> 【定理】pが奇素数のとき、x^p+y^p=z^pに整数比の解はない。
> 【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
> (1)は(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}…(2)となる。
> (2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
> (3)に整数比の解はない。
> (2)をr^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(4)とする。
> (4)はx^p+y^p=(x+(ap)^{1/(p-1)})^p…(5)となる。
> (5)の解は(3)の解のa^{1/(p-1)}倍なので、(5)にも整数比の解はない。
> ∴pが奇素数のとき、x^p+y^p=z^pに整数比の解はない。
もはや都合の悪い指摘は全て無視か。
掲示板に書き込むな。ゴミ。

[148 日高 2020/04/27(月) 13:55:25.65 ID:N+VcAHTo]

>147
もはや都合の悪い指摘は全て無視か。

都合の悪い指摘とは、どのような指摘でしょうか？

[149 １３２人目の素数さん 2020/04/27(月) 15:29:25.64 ID:RMoxCaal]

>>148
> >147
> もはや都合の悪い指摘は全て無視か。
>
> 都合の悪い指摘とは、どのような指摘でしょうか？
疑問でごまかすな。ゴミ。

[150 １３２人目の素数さん 2020/04/27(月) 15:30:04.88 ID:NTBn8LeD]

日高さんは整数比が頭にはいると有理数が頭から抜けてしまうのか。

[151 日高 2020/04/27(月) 15:56:42.29 ID:N+VcAHTo]

>150
日高さんは整数比が頭にはいると有理数が頭から抜けてしまうのか。

どの部分の有理数が、抜けているのでしょうか？

[152 １３２人目の素数さん 2020/04/27(月) 16:59:10.85 ID:NTBn8LeD]

>>146のどこに有理数と書いてあるのかね？

[153 １３２人目の素数さん 2020/04/27(月) 17:15:49.62 ID:4VM88iBD]

最近、以前にも増して支離滅裂な答えが多いな。
botにしても出来が悪すぎる。

[154 １３２人目の素数さん 2020/04/27(月) 17:37:20.14 ID:RMoxCaal]

最終的な結論すら嘘八百。
x=y=z=0は整数比じゃないのか？デタラメな用語使っているから数学にならないんだよ。ゴミが。

[155 １３２人目の素数さん 2020/04/27(月) 18:32:34.67 ID:sWwW6wjV]

>>148

>>128,129,142,145かな。
回答してあげてください。

[156 BLACKX ◆SvoRwjQrNc 2020/04/27(月) 19:00:26.57 ID:ut/q+plN]

納得できないならジャーナル掲載しろよ

[157 日高 2020/04/27(月) 20:03:14.45 ID:N+VcAHTo]

(改3)
【定理】pが奇素数のとき、x^p+y^p=z^pに整数比の解はない。
【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
(1)は(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}…(2)となる。
(2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(3)に整数比の解はない。
(2)をr^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(4)とする。
(4)はx^p+y^p=(x+(ap)^{1/(p-1)})^p…(5)となる。
(5)の解は(3)の解のa^{1/(p-1)}倍なので、(5)にも整数比の解はない。
∴pが奇素数のとき、x^p+y^p=z^pに整数比の解はない。

[158 日高 2020/04/27(月) 20:06:44.43 ID:N+VcAHTo]

>155
>>128,129,142,145かな。
回答してあげてください。

書いた人の要求ならば、返事します。

[159 １３２人目の素数さん 2020/04/27(月) 20:06:48.02 ID:NZs5LsMz]

大学で数学を専攻すると学ぶ射影平面は比x:y:zの全体と定義されることもありますが
そのときでも0:0:0は除外します。でも1:0:1や0:1:1,1:-1:0は考えます。やっぱり日高さんは抜けています。

[160 128 2020/04/27(月) 20:08:58.46 ID:NTBn8LeD]

回答を求めます。

[161 日高 2020/04/27(月) 20:09:07.23 ID:N+VcAHTo]

>159
大学で数学を専攻すると学ぶ射影平面は比x:y:zの全体と定義されることもありますが
そのときでも0:0:0は除外します。でも1:0:1や0:1:1,1:-1:0は考えます。やっぱり日高さんは抜けています。

小学校ではどうでしょうか？

[162 １３２人目の素数さん 2020/04/27(月) 20:09:43.47 ID:NZs5LsMz]

それがフェルマーの最終定理の簡単な証明とどう関係しますか？

[163 日高 2020/04/27(月) 20:12:20.05 ID:N+VcAHTo]

>160
回答を求めます。

書いた、本人でしょうか？

[164 日高 2020/04/27(月) 20:14:05.35 ID:N+VcAHTo]

>162
それがフェルマーの最終定理の簡単な証明とどう関係しますか？

わかりません。

[165 １３２人目の素数さん 2020/04/27(月) 20:17:53.52 ID:NTBn8LeD]

>>163
じゃあ君が日高だということを証明してみせて。

[166 日高 2020/04/27(月) 20:31:31.99 ID:N+VcAHTo]

>165
じゃあ君が日高だということを証明してみせて。

意味がわかりません。

[167 １３２人目の素数さん 2020/04/27(月) 20:39:22.53 ID:sWwW6wjV]

そんなに返信したくないのかなあ。

[168 １３２人目の素数さん 2020/04/27(月) 20:43:36.67 ID:RMoxCaal]

>>158
> >155
> >>128,129,142,145かな。
> 回答してあげてください。
>
> 書いた人の要求ならば、返事します。
誰が書こうと回答するべきだろが。
コメントを書くこと自体が要求になっている。

それはさておき、私は、過去に書き込んだ全ての書き込みに、まともな数学的な事実・考察に基いた回答を要求する。
そして、言い訳でごまかした日高の回答は、回答ではないので、全てのコメントに対して再回答を要求する。

[169 日高 2020/04/27(月) 20:44:16.83 ID:N+VcAHTo]

>167
そんなに返信したくないのかなあ。

本人の希望かどうか、分からないからです。

[170 日高 2020/04/27(月) 20:45:48.16 ID:N+VcAHTo]

(改3)
【定理】pが奇素数のとき、x^p+y^p=z^pに整数比の解はない。
【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
(1)は(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}…(2)となる。
(2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(3)に整数比の解はない。
(2)をr^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(4)とする。
(4)はx^p+y^p=(x+(ap)^{1/(p-1)})^p…(5)となる。
(5)の解は(3)の解のa^{1/(p-1)}倍なので、(5)にも整数比の解はない。
∴pが奇素数のとき、x^p+y^p=z^pに整数比の解はない。

[171 １３２人目の素数さん 2020/04/27(月) 20:46:05.17 ID:RMoxCaal]

>>169
> >167
> そんなに返信したくないのかなあ。
>
> 本人の希望かどうか、分からないからです。
言い訳してないで回答しろよ。ゴミが。

[172 １３２人目の素数さん 2020/04/27(月) 20:51:03.77 ID:sWwW6wjV]

>>169
でもさ、この5chで本人確認できると思う？匿名掲示板だよ。
貴方だって、本当に日高氏か証明できないでしょ？（>>165）

[173 日高 2020/04/27(月) 20:53:01.65 ID:N+VcAHTo]

>171

> 本人の希望かどうか、分からないからです。
言い訳してないで回答しろよ。ゴミが。

一つだけ、質問してください。

[174 １３２人目の素数さん 2020/04/27(月) 20:53:18.02 ID:NZs5LsMz]

>>170 日高

> 【定理】pが奇素数のとき、x^p+y^p=z^pに整数比の解はない。
> 【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
> (1)は(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}…(2)となる。

この展開はなんのためにしたのか不明。

> (2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。

へもってゆきたいだけならいきなりそう書けばいいのに。

> (3)に整数比の解はない。

無理数解なら整数比になるものがあります。

> (2)をr^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(4)とする。
> (4)はx^p+y^p=(x+(ap)^{1/(p-1)})^p…(5)となる。

r^(p-1)=apらしいので(ap)^{1/(p-1)}はrです。(5)は(1)と同じ。
r=0の場合を見落としていますがばかばかしいのでやめます。

> (5)の解は(3)の解のa^{1/(p-1)}倍なので、(5)にも整数比の解はない。

(3)の無理数解を見落としていますから無意味です。

> ∴pが奇素数のとき、x^p+y^p=z^pに整数比の解はない。

……なーんてことは言えていません。零点。

[175 日高 2020/04/27(月) 20:54:25.01 ID:N+VcAHTo]

>172
そうですね。

[176 １３２人目の素数さん 2020/04/27(月) 20:55:44.95 ID:NTBn8LeD]

じゃあ一つだけ質問します。
間違った証明を延々と書き込み続けるのはなぜですか？

[177 日高 2020/04/27(月) 20:56:43.41 ID:N+VcAHTo]

>174
> 【定理】pが奇素数のとき、x^p+y^p=z^pに整数比の解はない。
> 【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
> (1)は(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}…(2)となる。

この展開はなんのためにしたのか不明。

積の形にする為です。

[178 日高 2020/04/27(月) 20:58:26.41 ID:N+VcAHTo]

>176
間違った証明を延々と書き込み続けるのはなぜですか？

間違いの証拠がないからです。

[179 １３２人目の素数さん 2020/04/27(月) 21:00:20.54 ID:NZs5LsMz]

>>177 日高

> 積の形にする為です。

そうするとどういういいことがありますか？

[180 １３２人目の素数さん 2020/04/27(月) 21:11:08.81 ID:RMoxCaal]

>>173
> >171
>
> > 本人の希望かどうか、分からないからです。
> 言い訳してないで回答しろよ。ゴミが。
>
> 一つだけ、質問してください。
要求に回答するといったのはお前だろうが。ゴミが。
言い訳しないで早く回答しろ。

[181 １３２人目の素数さん 2020/04/27(月) 21:12:04.53 ID:RMoxCaal]

>>178
> >176
> 間違った証明を延々と書き込み続けるのはなぜですか？
>
> 間違いの証拠がないからです。
間違いの証拠は死ぬほど指摘されているだろうが。
全部無視しているのは日高だ。

[182 日高 2020/04/27(月) 21:12:44.79 ID:N+VcAHTo]

>179
> 積の形にする為です。

そうするとどういういいことがありますか？

解が、整数比にならないことが分かります。

[183 日高 2020/04/27(月) 21:15:20.27 ID:N+VcAHTo]

(改3)
【定理】pが奇素数のとき、x^p+y^p=z^pに整数比の解はない。
【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
(1)は(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}…(2)となる。
(2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(3)に整数比の解はない。
(2)をr^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(4)とする。
(4)はx^p+y^p=(x+(ap)^{1/(p-1)})^p…(5)となる。
(5)の解は(3)の解のa^{1/(p-1)}倍なので、(5)にも整数比の解はない。
∴pが奇素数のとき、x^p+y^p=z^pに整数比の解はない。

[184 １３２人目の素数さん 2020/04/27(月) 21:17:24.90 ID:NZs5LsMz]

>>182 日高
> >179
> > 積の形にする為です。
>
> そうするとどういういいことがありますか？
>
> 解が、整数比にならないことが分かります。

どうしてそうわかりますか？

[185 １３２人目の素数さん 2020/04/27(月) 21:17:41.43 ID:RMoxCaal]

早く回答しろよ。

[186 １３２人目の素数さん 2020/04/27(月) 21:19:17.60 ID:NZs5LsMz]

>>183 日高
同じものをまた書いても意味ないだろうが。

[187 １３２人目の素数さん 2020/04/27(月) 21:21:16.95 ID:sWwW6wjV]

>>186
このスレをブラウザで見てるらしいから、
流れるみたい。……

[188 日高 2020/04/27(月) 21:43:19.88 ID:N+VcAHTo]

>185
早く回答しろよ。

x^p+y^p=(x+p^{1/(p-1)})^p…(3)となるからです。

[189 １３２人目の素数さん 2020/04/27(月) 21:45:29.54 ID:NZs5LsMz]

>>188 日高
> >185
> 早く回答しろよ。
>
> x^p+y^p=(x+p^{1/(p-1)})^p…(3)となるからです。

初めっからr=p^{1/(p-1)}とおけばよいだけの話だろ。

[190 日高 2020/04/27(月) 21:51:11.81 ID:N+VcAHTo]

>189
初めっからr=p^{1/(p-1)}とおけばよいだけの話だろ。

根拠は？

[191 １３２人目の素数さん 2020/04/27(月) 21:56:14.56 ID:NZs5LsMz]

>>190 日高
> >189
> 初めっからr=p^{1/(p-1)}とおけばよいだけの話だろ。
>
> 根拠は？

ないよ。君にあるのかい？

[192 日高 2020/04/27(月) 22:00:24.90 ID:N+VcAHTo]

>191
> 根拠は？

ないよ。君にあるのかい？

最初の、式を変形して、得られた式だからです。

[193 １３２人目の素数さん 2020/04/27(月) 22:03:51.31 ID:RMoxCaal]

で？回答がまだだが。無視かよ。ゴミが。

[194 １３２人目の素数さん 2020/04/27(月) 22:10:00.96 ID:NZs5LsMz]

>>192 日高

> 最初の、式を変形して、得られた式だからです。

意味がわからないので詳しく説明していただけないでしょうか？

[195 日高 2020/04/27(月) 22:17:32.75 ID:N+VcAHTo]

>193
で？回答がまだだが。無視かよ。ゴミが。

何番に対する回答でしょうか？

[196 日高 2020/04/27(月) 22:19:00.56 ID:N+VcAHTo]

>194
意味がわからないので詳しく説明していただけないでしょうか？

考えてください。

[197 １３２人目の素数さん 2020/04/27(月) 22:26:07.81 ID:79rOk02/]

自分の証明が間違っていると理解できるレベルの能力を身につけてほしい

[198 １３２人目の素数さん 2020/04/27(月) 22:29:53.02 ID:NZs5LsMz]

>>196 日高
> >194
> 意味がわからないので詳しく説明していただけないでしょうか？
>
> 考えてください。

ひとに証明を読んでもらっておきながら、なんだよ，その態度。

[199 日高 2020/04/27(月) 22:30:01.11 ID:N+VcAHTo]

>197
自分の証明が間違っていると理解できるレベルの能力を身につけてほしい

具体的な指摘を、お願いします。

[200 日高 2020/04/27(月) 22:31:41.10 ID:N+VcAHTo]

>198

> 考えてください。

ひとに証明を読んでもらっておきながら、なんだよ，その態度。

考えないと、意味がわかりません。