探検


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

■ このスレッドは過去ログ倉庫に格納されています
1日高
垢版 |
2020/01/16(木) 20:54:46.35ID:D8HUqGB2
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇数なのでx^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形できる。
z^p=z^p×1=(z^p/a)×aなので、z^p=x^p+y^pとz^p×1=x^p+y^pと(z^p/a)×a=x^p+y^pのx,y,zの比は等しい。
したがって、z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}のみを考える。
z^p=A、1=B、(x+y)=C、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1={x^(p-1)-x^(p-2)y+…+y^(p-1)}とz^p=(x+y)を共に満たす有理数は、(x,y)=(0,1)、(x,y)=(1,0)のみである。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
331日高
垢版 |
2020/01/22(水) 07:34:43.94ID:EAq+Wpfi
>324
>「1={x^(p-1)-x^(p-2)y+…+y^(p-1)}」を満たす自然数だけを考察すればよい理由を述べてください。

と、そのx,yがzが自然数のとき、z^p=(x+y)を満たすことが必要です。

理由は、z^p=z^p×1=(z^p/a)×aだからです。
332日高
垢版 |
2020/01/22(水) 07:36:26.00ID:EAq+Wpfi
>325
>あきらめられるなら、そっと消えてくださって構いませんよ。

どういう意味でしょうか?
333日高
垢版 |
2020/01/22(水) 07:40:31.75ID:EAq+Wpfi
>326
>p=2の場合に、偶然1つ見つかっただけで
あなたのやり方では見つけられない解があるのと同様に
pが奇素数の場合に、偶然あなたが探したところになかっただけで
あなたのやり方では見つけられない解があるかもしれない
なので証明は間違いです。

「p=2の場合に、偶然1つ見つかっただけで」
例を一つあげただけです。他にもあげられます。
334日高
垢版 |
2020/01/22(水) 07:43:50.05ID:EAq+Wpfi
>327
>> 比が等しくなる、x,y,zが必ずあるということです。

も解を自然数に限定したことでダメになってる

前の証明よりも間違いがひどくなっています

「解を自然数に限定したことでダメになってる」

理由を、教えていただけないでしょうか。
335日高
垢版 |
2020/01/22(水) 07:49:07.29ID:EAq+Wpfi
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形する。
z^p=x^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}を考える。
z^p=z^p×1=(z^p/a)×aなので、
z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}のみを考えれば良い。
z^p=A、1=B、(x+y)=C、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1={x^(p-1)-x^(p-2)y+…+y^(p-1)}を満たす自然数は、x=1、y=1のみである。
このx,yを、z^p=(x+y)に代入すると、zが自然数のとき、式を満たさない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
336日高
垢版 |
2020/01/22(水) 07:52:00.13ID:EAq+Wpfi
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^2-y^2=(z+y)(z-y)と変形する。
x^2=z^2-y^2=(z+y)(z-y)を考える。
x^2=x^2×1=(x^2/a)×aなので、x^2×1=(z+y)(z-y)のみを考えれば良い。
x^2=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1=(z-y)と、x^2=(z+y)を共に満たすのは、x=3、y=4、z=5である。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
2020/01/22(水) 10:25:34.53ID:lA3WCpdg
>>329

> >320
> >> これ以上のことは、分かりません。
> つまり、自分で証明できないことを正しいと強弁してた訳だ。
> さすが嘘つき。
>
> 自明という意味です。
自明じゃないから指摘されている。
自明というのが嘘。
2020/01/22(水) 10:26:22.91ID:lA3WCpdg
>>330

> >323
> >反省なし。説明出来るようになってから投稿しろ。それまでは投稿するな。
>
> どうしてでしょうか?
自明とか言ってごまかしのみ。進歩無いだろうが。ゴミ。
2020/01/22(水) 10:26:52.97ID:lA3WCpdg
>>335

> 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
> 【証明】x^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形する。
> z^p=x^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}を考える。
> z^p=z^p×1=(z^p/a)×aなので、
> z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}のみを考えれば良い。
> z^p=A、1=B、(x+y)=C、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=Dとおく。
> AB=CDならば、B=Dのとき、A=Cとなる。
> 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}を満たす自然数は、x=1、y=1のみである。
> このx,yを、z^p=(x+y)に代入すると、zが自然数のとき、式を満たさない。
> ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。

ゴミ。
340132人目の素数さん
垢版 |
2020/01/22(水) 10:41:27.48ID:NCd4zWXL
証明が自明なら証明を書くなよwwww
2020/01/22(水) 10:41:57.67ID:6MWOGm/6
統失ゴミ芸人の日高か
342日高
垢版 |
2020/01/22(水) 10:42:24.95ID:EAq+Wpfi
>337
>> 自明という意味です。
自明じゃないから指摘されている。
自明というのが嘘。

z^p=z^p×1=(z^p/a)×aは、自明ではないでしょうか?
343日高
垢版 |
2020/01/22(水) 10:44:59.37ID:EAq+Wpfi
>338
>自明とか言ってごまかしのみ。進歩無いだろうが。ゴミ。

z^p=z^p×1=(z^p/a)×aは、自明ではないでしょうか?
2020/01/22(水) 10:46:07.12ID:nM5uk+E0
>>342

> >337
> >> 自明という意味です。
> 自明じゃないから指摘されている。
> 自明というのが嘘。
>
> z^p=z^p×1=(z^p/a)×aは、自明ではないでしょうか?
それが理由になるというのが嘘だと死ぬほど指摘されているだろうが。
二度と同じこと書くな。ゴミ。
345日高
垢版 |
2020/01/22(水) 10:46:25.88ID:EAq+Wpfi
>339
>ゴミ。

どうしてでしょうか?
2020/01/22(水) 10:48:29.60ID:nM5uk+E0
>>345

> >339
> >ゴミ。
>
> どうしてでしょうか?
なぜゴミじゃないんだ?
347日高
垢版 |
2020/01/22(水) 10:49:10.22ID:EAq+Wpfi
>340
>証明が自明なら証明を書くなよwwww

証明全部が自明では、ありません。一部が自明です。
348日高
垢版 |
2020/01/22(水) 10:52:25.39ID:EAq+Wpfi
>344
>> z^p=z^p×1=(z^p/a)×aは、自明ではないでしょうか?
それが理由になるというのが嘘だと死ぬほど指摘されているだろうが。
二度と同じこと書くな。ゴミ。

「それが理由になるというのが嘘だと死ぬほど指摘されているだろうが。」

どこにありますか?
2020/01/22(水) 10:55:17.70ID:nM5uk+E0
疑問で返すな。過去ログ全部読め。日本語勉強しろ。
2020/01/22(水) 10:56:14.02ID:nM5uk+E0
他人に聞いてさぼろうとするな。ゴミ。
351日高
垢版 |
2020/01/22(水) 11:04:11.38ID:EAq+Wpfi
>346
>> どうしてでしょうか?
なぜゴミじゃないんだ?

どういう意味でしょうか?
352日高
垢版 |
2020/01/22(水) 11:05:18.13ID:EAq+Wpfi
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形する。
z^p=x^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}を考える。
z^p=z^p×1=(z^p/a)×aなので、
z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}のみを考えれば良い。
z^p=A、1=B、(x+y)=C、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1={x^(p-1)-x^(p-2)y+…+y^(p-1)}を満たす自然数は、x=1、y=1のみである。
このx,yを、z^p=(x+y)に代入すると、zが自然数のとき、式を満たさない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
353日高
垢版 |
2020/01/22(水) 11:09:03.25ID:EAq+Wpfi
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^2-y^2=(z+y)(z-y)と変形する。
x^2=z^2-y^2=(z+y)(z-y)を考える。
x^2=x^2×1=(x^2/a)×aなので、x^2×1=(z+y)(z-y)のみを考えれば良い。
x^2=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
x=3、y=4、z=5を、1=(z-y)と、x^2=(z+y)に代入すると、共に式を満たす。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
2020/01/22(水) 11:10:33.99ID:nM5uk+E0
>>351

> >346
> >> どうしてでしょうか?
> なぜゴミじゃないんだ?
>
> どういう意味でしょうか?
日本語勉強しろ。
2020/01/22(水) 11:10:58.09ID:nM5uk+E0
>>352

> 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
> 【証明】x^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形する。
> z^p=x^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}を考える。
> z^p=z^p×1=(z^p/a)×aなので、
> z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}のみを考えれば良い。
> z^p=A、1=B、(x+y)=C、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=Dとおく。
> AB=CDならば、B=Dのとき、A=Cとなる。
> 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}を満たす自然数は、x=1、y=1のみである。
> このx,yを、z^p=(x+y)に代入すると、zが自然数のとき、式を満たさない。
> ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
ゴミ。害悪に
2020/01/22(水) 11:11:25.13ID:nM5uk+E0
>>352

> 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
> 【証明】x^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形する。
> z^p=x^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}を考える。
> z^p=z^p×1=(z^p/a)×aなので、
> z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}のみを考えれば良い。
> z^p=A、1=B、(x+y)=C、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=Dとおく。
> AB=CDならば、B=Dのとき、A=Cとなる。
> 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}を満たす自然数は、x=1、y=1のみである。
> このx,yを、z^p=(x+y)に代入すると、zが自然数のとき、式を満たさない。
> ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
ゴミ。害悪。
357日高
垢版 |
2020/01/22(水) 11:13:22.75ID:EAq+Wpfi
>354
>> どういう意味でしょうか?
日本語勉強しろ。

意味がわかりません。
2020/01/22(水) 11:14:30.38ID:nM5uk+E0
>>357

> >354
> >> どういう意味でしょうか?
> 日本語勉強しろ。
>
> 意味がわかりません。
意味が分からないのは日本語分からないから。日本語勉強しろ。
2020/01/22(水) 11:16:36.50ID:nM5uk+E0
ごまかしてないで過去の指摘に答えろよ。
360日高
垢版 |
2020/01/22(水) 11:28:40.81ID:EAq+Wpfi
>359
>ごまかしてないで過去の指摘に答えろよ。

どんな指摘でしょうか?
2020/01/22(水) 11:31:10.85ID:nM5uk+E0
指摘に対して、
すいません。わかりません。なぜでしょうか。など、一言で返しているのは放置。

本来、きちんと説明なり返事するべき。過去全部。
2020/01/22(水) 11:31:47.38ID:nM5uk+E0
>>360

> >359
> >ごまかしてないで過去の指摘に答えろよ。
>
> どんな指摘でしょうか?
疑問でごまかすな。自分で考えろ。ゴミ。
363日高
垢版 |
2020/01/22(水) 11:42:21.99ID:EAq+Wpfi
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形する。
z^p=x^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}を考える。
z^p=z^p×1=(z^p/a)×aなので、
z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}のみを考えれば良い。
z^p=A、1=B、(x+y)=C、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1={x^(p-1)-x^(p-2)y+…+y^(p-1)}を満たす自然数は、x=1、y=1のみである。
このx,yを、z^p=(x+y)に代入すると、zが自然数のとき、式を満たさない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
364日高
垢版 |
2020/01/22(水) 11:44:03.29ID:EAq+Wpfi
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^2-y^2=(z+y)(z-y)と変形する。
x^2=z^2-y^2=(z+y)(z-y)を考える。
x^2=x^2×1=(x^2/a)×aなので、x^2×1=(z+y)(z-y)のみを考えれば良い。
x^2=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
x=3、y=4、z=5を、1=(z-y)と、x^2=(z+y)に代入すると、共に式を満たす。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
2020/01/22(水) 12:15:59.41ID:nM5uk+E0
>>363

> 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
> 【証明】x^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形する。
> z^p=x^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}を考える。
> z^p=z^p×1=(z^p/a)×aなので、
> z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}のみを考えれば良い。
> z^p=A、1=B、(x+y)=C、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=Dとおく。
> AB=CDならば、B=Dのとき、A=Cとなる。
> 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}を満たす自然数は、x=1、y=1のみである。
> このx,yを、z^p=(x+y)に代入すると、zが自然数のとき、式を満たさない。
> ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
ゴミ。害悪。書き込むな。
366日高
垢版 |
2020/01/22(水) 12:18:09.98ID:EAq+Wpfi
>365
>ゴミ。害悪。書き込むな。

どうしてでしょうか?理由を教えていただけないでしょうか。
2020/01/22(水) 13:25:52.77ID:nM5uk+E0
>>366

> >365
> >ゴミ。害悪。書き込むな。
>
> どうしてでしょうか?理由を教えていただけないでしょうか。
理由書いてある。
368日高
垢版 |
2020/01/22(水) 13:51:14.22ID:EAq+Wpfi
>367
>> どうしてでしょうか?理由を教えていただけないでしょうか。
理由書いてある。

どこに書いてありますか?
2020/01/22(水) 14:24:59.03ID:nM5uk+E0
>>368

> >367
> >> どうしてでしょうか?理由を教えていただけないでしょうか。
> 理由書いてある。
>
> どこに書いてありますか?
日本語勉強しろ。
二度と聞くな。ゴミ。
370日高
垢版 |
2020/01/22(水) 15:10:41.21ID:EAq+Wpfi
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形して、
z^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}を考える。
z^p=z^p×1=(z^p/a)×aなので、
z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}のみを考えれば良い。
z^p=A、1=B、(x+y)=C、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1={x^(p-1)-x^(p-2)y+…+y^(p-1)}を満たす自然数は、x=1、y=1のみである。
このx,yを、z^p=(x+y)に代入すると、zが自然数のとき、式を満たさない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
371日高
垢版 |
2020/01/22(水) 15:13:36.93ID:EAq+Wpfi
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^2-y^2=(z+y)(z-y)と変形して、x^2=(z+y)(z-y)を考える。
x^2=x^2×1=(x^2/a)×aなので、x^2×1=(z+y)(z-y)のみを考えれば良い。
x^2=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
x=3、y=4、z=5を、1=(z-y)と、x^2=(z+y)に代入すると、共に式を満たす。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
2020/01/22(水) 15:18:23.62ID:nM5uk+E0
>>370

> 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
> 【証明】x^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形して、
> z^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}を考える。
> z^p=z^p×1=(z^p/a)×aなので、
> z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}のみを考えれば良い。
> z^p=A、1=B、(x+y)=C、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=Dとおく。
> AB=CDならば、B=Dのとき、A=Cとなる。
> 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}を満たす自然数は、x=1、y=1のみである。
> このx,yを、z^p=(x+y)に代入すると、zが自然数のとき、式を満たさない。
> ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
ゴミ。害悪。書き込むな。
373日高
垢版 |
2020/01/22(水) 15:28:37.34ID:EAq+Wpfi
>372
>ゴミ。害悪。書き込むな。

どうしてでしょうか?
理由を、教えていただけないでしょうか。
2020/01/22(水) 16:54:37.20ID:siAmy+8v
統失おうむ返し芸人
つまらんな
375日高
垢版 |
2020/01/22(水) 17:00:36.41ID:EAq+Wpfi
>374
>統失おうむ返し芸人
つまらんな

つまらん理由を教えていただけないでしょうか。
2020/01/22(水) 17:24:53.81ID:nM5uk+E0
>>373

> >372
> >ゴミ。害悪。書き込むな。
>
> どうしてでしょうか?
> 理由を、教えていただけないでしょうか。
日高が反省しないで同じ間違いと嘘を繰り返すから。
最低でも、過去ログと中学の国語と数学の教科書を全部100回くらい読み直し、何日もかけて自分でも考えて、それから書き込め。
2020/01/22(水) 17:28:34.52ID:b96NQTXA
>>333
数の組み合わせはいくらでもあるのだから、
1つとか2つとかあなたがどれだけ例を挙げてもきりがありません。
無駄です。「式を満たす例を挙げる」あるいは「式を満たさない例を挙げる」
という方法ではpが奇素数の場合まったく証明になりません。

p=2の場合、偶然z-y=1の形の解がみつかっただけで
今の証明ではz-y=2の形の解もz-y=3の解も見つけられません。

pが奇素数の時、たとえばz-y=2の形の解が存在するかもしれないのに
今の証明では見つけられません。
よって証明は間違いです。

>>334
以前はp=2の場合に
x=8,y=15,z=17という解は求められないが
同じ比であるx=8/2,y=15/2,z=17/2という解は見つけられる、とあなたは言っていました
それが証明として正しいかどうかはとりあえず横に置くとして
今の証明は解を自然数に限定したのでx=8/2,y=15/2,z=17/2という解すら求められない
よって証明は前よりもっと間違いです。
378日高
垢版 |
2020/01/22(水) 17:47:59.30ID:EAq+Wpfi
>376
>最低でも、過去ログと中学の国語と数学の教科書を全部100回くらい読み直し、何日もかけて自分でも考えて、それから書き込め。

この証明は、簡単な因数分解しか、使っていません。
379日高
垢版 |
2020/01/22(水) 17:52:56.52ID:EAq+Wpfi
>377
>p=2の場合、偶然z-y=1の形の解がみつかっただけで
今の証明ではz-y=2の形の解もz-y=3の解も見つけられません。

p=2の場合は、
(x^2/a)×a=(z+y)(z-y)として、a=2を代入します。
2020/01/22(水) 17:55:14.60ID:nM5uk+E0
>>378
最低でも、過去ログと中学の国語と数学の教科書を全部100回くらい読み直し、何日もかけて自分でも考えて、それから書き込め。


> この証明は、簡単な因数分解しか、使っていません。
なのに間違いが分からないんだろ。簡単に書き込むな。ゴミが。
2020/01/22(水) 17:57:44.61ID:b96NQTXA
>>379
そんなことは証明のどこにも書いてありません。
よって証明は間違っています。
382日高
垢版 |
2020/01/22(水) 17:57:44.65ID:EAq+Wpfi
>377
>>>334
以前はp=2の場合に
x=8,y=15,z=17という解は求められないが
同じ比であるx=8/2,y=15/2,z=17/2という解は見つけられる、とあなたは言っていました
それが証明として正しいかどうかはとりあえず横に置くとして
今の証明は解を自然数に限定したのでx=8/2,y=15/2,z=17/2という解すら求められない
よって証明は前よりもっと間違いです。

a=1とした場合は、x=8/2,y=15/2,z=17/2が求められます。
a=2とした場合は、x=8,y=15,z=17が求められます。
383日高
垢版 |
2020/01/22(水) 18:00:49.79ID:EAq+Wpfi
>380
>> この証明は、簡単な因数分解しか、使っていません。
なのに間違いが分からないんだろ。簡単に書き込むな。ゴミが。

私は間違いは、無いと思っています。
2020/01/22(水) 18:00:51.65ID:0rloAjNc
>>331 日高
> >324
> >「1={x^(p-1)-x^(p-2)y+…+y^(p-1)}」を満たす自然数だけを考察すればよい理由を述べてください。
>
> と、そのx,yがzが自然数のとき、z^p=(x+y)を満たすことが必要です。
>
> 理由は、z^p=z^p×1=(z^p/a)×aだからです。

尋ねられているのは、「1=...」の場合だけの考察でよい理由。
君の答えは「1=...」の場合にさらに満たすべき条件。
この違い、わかるかな?
385日高
垢版 |
2020/01/22(水) 18:03:34.04ID:EAq+Wpfi
>381
>そんなことは証明のどこにも書いてありません。
よって証明は間違っています。

書いてはいません。
わかると思ったからです。
2020/01/22(水) 18:04:40.40ID:WAm9R73M
俺らはエスパーかwww
387日高
垢版 |
2020/01/22(水) 18:06:13.23ID:EAq+Wpfi
>384
>尋ねられているのは、「1=...」の場合だけの考察でよい理由。
君の答えは「1=...」の場合にさらに満たすべき条件。
この違い、わかるかな?

わかりません。詳しく説明していただけないでしょうか。
388日高
垢版 |
2020/01/22(水) 18:07:57.66ID:EAq+Wpfi
>386
>俺らはエスパーかwww

どういう意味でしょうか?
2020/01/22(水) 18:08:06.81ID:b96NQTXA
>>385
わかりません。証明の中に詳しく書かないならば証明は間違いです。
390日高
垢版 |
2020/01/22(水) 18:09:23.15ID:EAq+Wpfi
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形して、
z^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}を考える。
z^p=z^p×1=(z^p/a)×aなので、
z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}のみを考えれば良い。
z^p=A、1=B、(x+y)=C、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1={x^(p-1)-x^(p-2)y+…+y^(p-1)}を満たす自然数は、x=1、y=1のみである。
このx,yを、z^p=(x+y)に代入すると、zが自然数のとき、式を満たさない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
391日高
垢版 |
2020/01/22(水) 18:10:43.22ID:EAq+Wpfi
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^2-y^2=(z+y)(z-y)と変形して、x^2=(z+y)(z-y)を考える。
x^2=x^2×1=(x^2/a)×aなので、x^2×1=(z+y)(z-y)のみを考えれば良い。
x^2=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
x=3、y=4、z=5を、1=(z-y)と、x^2=(z+y)に代入すると、共に式を満たす。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
392日高
垢版 |
2020/01/22(水) 18:15:44.89ID:EAq+Wpfi
>389
>わかりません。証明の中に詳しく書かないならば証明は間違いです。

p=2の場合の証明は、x=3,y=4,z=5のみで良いです。
2020/01/22(水) 18:31:44.23ID:b96NQTXA
>>392
その話は>>174と>>179でもうやりました。

pが奇素数の場合に同じ要領でやるための練習としてp=2の場合をやっているのに
p=2でしか使えないやり方をやってしまったら練習になりません。

ためしにa=2の場合のあなたの証明を書いてみてください。
2020/01/22(水) 18:38:57.14ID:nM5uk+E0
>>383

> >380
> >> この証明は、簡単な因数分解しか、使っていません。
> なのに間違いが分からないんだろ。簡単に書き込むな。ゴミが。
>
> 私は間違いは、無いと思っています。
その考え方が間違い。
だから教科書100回読めと書いた。ゴミが。
もう俺に返信するな。
2020/01/22(水) 18:39:30.71ID:nM5uk+E0
>>390

> 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
> 【証明】x^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形して、
> z^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}を考える。
> z^p=z^p×1=(z^p/a)×aなので、
> z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}のみを考えれば良い。
> z^p=A、1=B、(x+y)=C、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=Dとおく。
> AB=CDならば、B=Dのとき、A=Cとなる。
> 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}を満たす自然数は、x=1、y=1のみである。
> このx,yを、z^p=(x+y)に代入すると、zが自然数のとき、式を満たさない。
> ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
反省なし。ゴミ。
2020/01/22(水) 20:03:38.98ID:roMvtwFb
>>181 日高
> >176
> >> (2)の解は(1)の解の1/a^{1/(p-1)}倍になります。
> > が、間違いです。
>
> では正しくは何倍ですか?
>
> 定まりません。

定まらないということは、無理数倍になることもあるわけですよね?
2020/01/22(水) 20:04:11.61ID:roMvtwFb
>>387 日高
> >384
> >尋ねられているのは、「1=...」の場合だけの考察でよい理由。
> 君の答えは「1=...」の場合にさらに満たすべき条件。
> この違い、わかるかな?
>
> わかりません。詳しく説明していただけないでしょうか。

私の指摘は、簡単なので、説明は、必要ないと思います。
2020/01/22(水) 20:04:52.02ID:roMvtwFb
>>329 日高
> >320
> >> これ以上のことは、分かりません。
> つまり、自分で証明できないことを正しいと強弁してた訳だ。
> さすが嘘つき。
>
> 自明という意味です。

自明ということばは、ひとにものを聞いてもらうときには使ってはいけない。
もしも使ってしまった場合、なぜと聞き返されたら説明しなければならない。
2020/01/22(水) 20:07:54.11ID:roMvtwFb
>>390 日高

> z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}のみを考えれば良い。

そりゃそうだよ。この式はz^p=x^p+y^pと同じだもん。
でも君はそのあと,

> 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}を満たす自然数は、x=1、y=1のみである。
> このx,yを、z^p=(x+y)に代入すると、zが自然数のとき、式を満たさない。

しか検討していない。間違った証明であることが自明。
400日高
垢版 |
2020/01/22(水) 20:42:21.47ID:EAq+Wpfi
>393
>ためしにa=2の場合のあなたの証明を書いてみてください。

p=2の場合でしょうか?
401日高
垢版 |
2020/01/22(水) 20:44:09.72ID:EAq+Wpfi
>394
>だから教科書100回読めと書いた。ゴミが。
もう俺に返信するな。

わかりました。
402日高
垢版 |
2020/01/22(水) 20:45:28.30ID:EAq+Wpfi
>395
>反省なし。ゴミ。

理由を教えていただけないでしょうか。
403日高
垢版 |
2020/01/22(水) 20:47:44.29ID:EAq+Wpfi
>396
>定まらないということは、無理数倍になることもあるわけですよね?

はい。
404日高
垢版 |
2020/01/22(水) 20:50:06.73ID:EAq+Wpfi
>397
>私の指摘は、簡単なので、説明は、必要ないと思います。

簡単でも、私には、わかりません。
405日高
垢版 |
2020/01/22(水) 20:51:46.69ID:EAq+Wpfi
>398
>自明ということばは、ひとにものを聞いてもらうときには使ってはいけない。
もしも使ってしまった場合、なぜと聞き返されたら説明しなければならない。

そう、思います。
2020/01/22(水) 20:52:58.38ID:roMvtwFb
>>403 日高
> >396
> >定まらないということは、無理数倍になることもあるわけですよね?
>
> はい。

その場合、有理数解としては求められないのでは?
407日高
垢版 |
2020/01/22(水) 20:53:42.08ID:EAq+Wpfi
>399
>> 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}を満たす自然数は、x=1、y=1のみである。
> このx,yを、z^p=(x+y)に代入すると、zが自然数のとき、式を満たさない。

しか検討していない。間違った証明であることが自明。

理由を教えていただけないでしょうか。
2020/01/22(水) 20:57:13.84ID:b96NQTXA
>>400
p=2の場合とpが奇素数の場合を同じ要領でどうぞ。
2020/01/22(水) 20:59:05.86ID:roMvtwFb
>>404 日高
> >397
> >私の指摘は、簡単なので、説明は、必要ないと思います。
>
> 簡単でも、私には、わかりません。

考察が「1=x^(p-1)-x^(p-2)y+…+y^(p-1)」の場合だけでよい理由と,
「1=x^(p-1)-x^(p-2)y+…+y^(p-1)」の場合、さらに満たすべき条件。

これらの違いがわかりませんか?
2020/01/22(水) 21:01:24.70ID:roMvtwFb
>>405 日高
> >398
> >自明ということばは、ひとにものを聞いてもらうときには使ってはいけない。
> もしも使ってしまった場合、なぜと聞き返されたら説明しなければならない。
>
> そう、思います。

本当にそう思うなら、>>390で

> 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}を満たす自然数は、x=1、y=1のみである。
> このx,yを、z^p=(x+y)に代入すると、zが自然数のとき、式を満たさない。

だけを調べて

> ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。

という結論が出る理由を説明してください。
2020/01/22(水) 21:04:04.00ID:roMvtwFb
>>407 日高
> >399
> >> 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}を満たす自然数は、x=1、y=1のみである。
> > このx,yを、z^p=(x+y)に代入すると、zが自然数のとき、式を満たさない。
>
> しか検討していない。間違った証明であることが自明。
>
> 理由を教えていただけないでしょうか。

x^(p-1)-x^(p-2)y+…+y^(p-1)=(x^p+y^p)/(x+y)ですから
フェルマーの最終定理に反例z^p=x^p+y^pがあればこの値は1ではありえません。
412日高
垢版 |
2020/01/22(水) 21:06:41.68ID:EAq+Wpfi
>406
>> >定まらないということは、無理数倍になることもあるわけですよね?
>
> はい。

その場合、有理数解としては求められないのでは?

すみません。もう少し詳しく説明していただけないでしょうか。
2020/01/22(水) 21:12:21.26ID:roMvtwFb
>>412 日高
> >406
> >> >定まらないということは、無理数倍になることもあるわけですよね?
> >
> > はい。
>
> その場合、有理数解としては求められないのでは?
>
> すみません。もう少し詳しく説明していただけないでしょうか。

その場合の証明が頭の中にあれば、私が詳しく説明するまでもないと思います。
414日高
垢版 |
2020/01/22(水) 21:15:47.11ID:EAq+Wpfi
>408
>p=2の場合とpが奇素数の場合を同じ要領でどうぞ。

p=2の場合は、x^p=x^p*1=(x^p/a)*a
pが奇素数の場合は、z^p=z^p*1=(z^p/a)*a
となります。
415日高
垢版 |
2020/01/22(水) 21:18:06.55ID:EAq+Wpfi
>409
>考察が「1=x^(p-1)-x^(p-2)y+…+y^(p-1)」の場合だけでよい理由と,
「1=x^(p-1)-x^(p-2)y+…+y^(p-1)」の場合、さらに満たすべき条件。

これらの違いがわかりませんか?

わかりません。詳しく説明していただけないでしょうか。
2020/01/22(水) 21:18:18.96ID:b96NQTXA
>>414
それがフェルマーの最終定理の証明ですか?
全然だめです。間違っています。
2020/01/22(水) 21:20:48.14ID:roMvtwFb
>>414 日高
> >408
> >p=2の場合とpが奇素数の場合を同じ要領でどうぞ。
>
> p=2の場合は、x^p=x^p*1=(x^p/a)*a
> pが奇素数の場合は、z^p=z^p*1=(z^p/a)*a
> となります。

当たり前だろ? そんなの。それで説明になっていると思っているの?
418日高
垢版 |
2020/01/22(水) 21:21:11.82ID:EAq+Wpfi
>410
>> 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}を満たす自然数は、x=1、y=1のみである。
> このx,yを、z^p=(x+y)に代入すると、zが自然数のとき、式を満たさない。

だけを調べて

> ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。

という結論が出る理由を説明してください。

z^p=A、1=B、(x+y)=C、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
からです。
2020/01/22(水) 21:23:41.52ID:roMvtwFb
>>418

B=Dでない場合はどうするの?
420日高
垢版 |
2020/01/22(水) 21:33:21.72ID:EAq+Wpfi
>411
>x^(p-1)-x^(p-2)y+…+y^(p-1)=(x^p+y^p)/(x+y)ですから
フェルマーの最終定理に反例z^p=x^p+y^pがあればこの値は1ではありえません。

すみません。意味が良く理解できませんので、詳しく説明していただけないでしょうか。
421日高
垢版 |
2020/01/22(水) 21:35:05.66ID:EAq+Wpfi
>413
>その場合の証明が頭の中にあれば、私が詳しく説明するまでもないと思います。

すみません。詳しく説明していただけないでしょうか。
2020/01/22(水) 21:36:24.83ID:WAm9R73M
>>420
>>303の後半に書いてくれているよ
423日高
垢版 |
2020/01/22(水) 21:36:33.41ID:EAq+Wpfi
>416
>それがフェルマーの最終定理の証明ですか?
全然だめです。間違っています。

理由を教えていただけないでしょうか。
424日高
垢版 |
2020/01/22(水) 21:38:14.89ID:EAq+Wpfi
>417
>>
> p=2の場合は、x^p=x^p*1=(x^p/a)*a
> pが奇素数の場合は、z^p=z^p*1=(z^p/a)*a
> となります。

当たり前だろ? そんなの。それで説明になっていると思っているの?

間違いでしょうか?
2020/01/22(水) 21:40:26.39ID:roMvtwFb
>>424

まったく説明になっていません。それだけでは。
426日高
垢版 |
2020/01/22(水) 21:41:03.65ID:EAq+Wpfi
>419
>B=Dでない場合はどうするの?

a={x^(p-1)-x^(p-2)y+…+y^(p-1)}となります。
427132人目の素数さん
垢版 |
2020/01/22(水) 21:45:18.31ID:roMvtwFb
>>426

aって何? >>390では4行目に出てきてあとは出ないけど。
2020/01/22(水) 21:47:38.47ID:b96NQTXA
>>423
a=2の時のフェルマーの最終定理の証明
p=2の場合は、x^p=x^p*1=(x^p/a)*a
pが奇素数の場合は、z^p=z^p*1=(z^p/a)*a
となります。
証明終

これが証明なんですか?
>>390や>>391と全く違いますが。
429日高
垢版 |
2020/01/22(水) 22:00:36.27ID:EAq+Wpfi
>422
>x^p+y^p=z^pに自然数解があるならx>1,y>1であることがすぐわかる。
よってx+y<x^p+y^p。だから{x^(p-1)-x^(p-2)y+…+y^(p-1)}=(x^p+y^p)/(x+y)>1が成り立つ。
それなのに最左辺=1のみを検討しているので、完全な誤り。

よくわかりませんので、詳しく説明していただけないでしょうか。
2020/01/22(水) 22:02:23.48ID:roMvtwFb
>>429
どこがわからないのですか?
■ このスレッドは過去ログ倉庫に格納されています