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

[過去ﾛｸﾞ] フェルマーの最終定理の簡単な証明6 (1002ﾚｽ)
上下前次 1-新

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

1(96): 日高 [kokaji222@yahoo.co.jp] 2020/02/09(日)17:26 ID:4kMS721s(1/4) AAS
【定理】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)}…(1)を考える。
(z^p/a)a=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)
(z^p/1)1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(3)
等式の性質により、(3)が成り立つならば、(1),(2)も成り立つ。
(3)が成り立たないならば、(1),(2)も成り立たない。
(3)を(z^p/1)=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のみである。
省3

903(1): 日高 2020/02/24(月)11:51 ID:LaLy1Yz5(16/27) AAS
>893
> {1=(z-y)
> {(x^p/1)=(z+y)
> が、共に成り立たないときでも
> (x^p/1)1=(z+y)(z-y)…(3)も、成り立ちます。

ということをあなたも何度も確認したでしょう？

{1=(z-y)
{(x^p/1)=(z+y)
が、共に成り立たない場合は、a=(z-y)の場合でしょうか？

904(1): 2020/02/24(月)11:59 ID:SInNBza5(2/8) AAS
>>903
自分で>832とか>>836とか>>841とか書いたのだから
自分で判断できないですか？
はっきり

> {1=(z-y)
> {(x^p/1)=(z+y)
> が、共に成り立たない

> (x^p/1)1=(z+y)(z-y)…(3)も、成り立ちます。

と書いてあるでしょう？
そして
省5

905(1): 2020/02/24(月)12:02 ID:64xyMV3r(1) AAS
>>901 日高

> 間違っていることを正しく説明する方法は、反例を上げれば良いと思います。

反例をあげてもそれが反例だと理解できない奴には無意味。

906: 日高 2020/02/24(月)12:40 ID:LaLy1Yz5(17/27) AAS
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^p-y^p=(z+y)(z-y)と変形して、
x^p=(z+y)(z-y)…(1)を考える。
(x^p/a)a=(z+y)(z-y)…(2)
(x^p/1)1=(z+y)(z-y)…(3)
等式の性質により、(3)が成り立つならば、(1),(2)も成り立つ。
(3)が成り立たないならば、(1),(2)も成り立たない。
(3)を(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1=(z-y)は、z=5、y=4のとき、成り立つ。
省3

907(1): 日高 2020/02/24(月)13:14 ID:LaLy1Yz5(18/27) AAS
>904
> {1=(z-y)
> {(x^p/1)=(z+y)
> が、共に成り立たない
ことを確かめただけでは足りてないから別のことを書き足してあるでしょう？
あなたが書いたんですよね？

すみません。この部分の意味が、よくわからないのですが。

908: 日高 2020/02/24(月)13:17 ID:LaLy1Yz5(19/27) AAS
>905
> 間違っていることを正しく説明する方法は、反例を上げれば良いと思います。

反例をあげてもそれが反例だと理解できない奴には無意味。

説明して、いただければ、反例だと理解できると、思います。

909(1): 2020/02/24(月)14:05 ID:SInNBza5(3/8) AAS
>>907
> {1=(z-y)
> {(x^p/1)=(z+y)
> が、共に成り立たない

だけでは（3）が成り立つとも成り立たないとも言えないから

書き足した部分> {a=(z-y)
書き足した部分> {(x^p/a)=(z+y)
書き足した部分> が成り立ちます。
書き足した部分> よって、
書き足した部分> (x^p/a)a=(z+y)(z-y)…(2)が、成り立つので、
省4

910(1): 日高 2020/02/24(月)15:38 ID:LaLy1Yz5(20/27) AAS
>909
> {1=(z-y)
> {(x^p/1)=(z+y)
> が、共に成り立たない

だけでは（3）が成り立つとも成り立たないとも言えないから

書き足した部分> {a=(z-y)
書き足した部分> {(x^p/a)=(z+y)
書き足した部分> が成り立ちます。
書き足した部分> よって、
書き足した部分> (x^p/a)a=(z+y)(z-y)…(2)が、成り立つので、
省5

911(1): 2020/02/24(月)15:55 ID:SInNBza5(4/8) AAS
>>910
つまり

{ 1=(z-y)
{ (x^p/1)=(z+y)
が成り立たないとき、
(x^p/1)1=(z+y)(z-y)…(3)が成り立つとも成り立たないとも言えない

同様に、単に文字式を置き換えて

>(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
{ B=D
{ A=C
省3

912(1): 2020/02/24(月)16:31 ID:HqbioA65(1/2) AAS
>>885
>> 【命題】日高は死ぬべき
>> 【証明】自明
>>
> どうしてでしょうか？

自明

913(1): 日高 2020/02/24(月)16:58 ID:LaLy1Yz5(21/27) AAS
>911
>(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
{ B=D
{ A=C
が成り立たないとき、
AB=CD…(3)’が成り立つとも成り立たないとも言えない

ということですよね？

はい。

914(2): 日高 2020/02/24(月)17:01 ID:LaLy1Yz5(22/27) AAS
>912
>> 【命題】日高は死ぬべき
>> 【証明】自明
>>
> どうしてでしょうか？

自明

なぜ、自明なのか、理由を、教えていただけないでしょうか。

915(3): 2020/02/24(月)17:06 ID:SInNBza5(5/8) AAS
>>913
それでは、

{ B=D
{ A=C
が成り立たないとき、
AB=CD…(3)’が成り立つとも成り立たないとも言えない

より

(z^p/1)=A、1=B、(x+y)=C、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=Dとおく。
{ 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
{ (z^p/1)=(x+y)
省3

916(1): 日高 2020/02/24(月)17:43 ID:LaLy1Yz5(23/27) AAS
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^p-y^p=(z+y)(z-y)と変形して、
x^p=(z+y)(z-y)…(1)を考える。
(x^p/a)a=(z+y)(z-y)…(2)
(x^p/1)1=(z+y)(z-y)…(3)
等式の性質により、(3)が成り立つならば、(1),(2)も成り立つ。
(3)が成り立たないならば、(1),(2)も成り立たない。
(3)を(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1=(z-y)は、z=5、y=4のとき、成り立つ。
省3

917: 日高 2020/02/24(月)18:14 ID:LaLy1Yz5(24/27) AAS
>915
(z^p/1)=A、1=B、(x+y)=C、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=Dとおく。
{ 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
{ (z^p/1)=(x+y)
が成り立たないとき、
(z^p/1)1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(3)が成り立つとも成り立たないとも言えない
となります

はい。ここまでは、わかります。

918(2): 2020/02/24(月)18:36 ID:SInNBza5(6/8) AAS
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^p-y^p=(z+y)(z-y)と変形して、
x^p=(z+y)(z-y)…(1)を考える。
(x^p/a)a=(z+y)(z-y)…(2)
(x^p/1)1=(z+y)(z-y)…(3)
等式の性質により、(3)が成り立つならば、(1),(2)も成り立つ。
(3)が成り立たないならば、(1),(2)も成り立たない。
(3)を(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1=(z-y)は、z=5、y=3のとき、成り立たない。
省12

919(1): 2020/02/24(月)18:37 ID:SInNBza5(7/8) AAS
【定理】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)}…(1)を考える。
(z^p/a)a=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)
(z^p/1)1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(3)
等式の性質により、(3)が成り立つならば、(1),(2)も成り立つ。
(3)が成り立たないならば、(1),(2)も成り立たない。
(3)を(z^p/1)=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のみである。
省9

920(1): 2020/02/24(月)20:51 ID:HqbioA65(2/2) AAS
>>914
理由は自明

921: 日高 2020/02/24(月)21:28 ID:LaLy1Yz5(25/27) AAS
>918
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^p-y^p=(z+y)(z-y)と変形して、
x^p=(z+y)(z-y)…(1)を考える。
(x^p/a)a=(z+y)(z-y)…(2)
(x^p/1)1=(z+y)(z-y)…(3)
等式の性質により、(3)が成り立つならば、(1),(2)も成り立つ。
(3)が成り立たないならば、(1),(2)も成り立たない。
(3)を(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
省14

922(2): 日高 2020/02/24(月)21:40 ID:LaLy1Yz5(26/27) AAS
>919
{ 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
{ (z^p/1)1=(x+y)
が成り立たないので、
(z^p/1)1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(3)が成り立つとも成り立たないとも言えない

{ 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
{ (z^p/1)1=(x+y)
が成り立たないので、
(z^p/1)1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(3)
は、成り立ちません。
省3

923: 日高 2020/02/24(月)21:43 ID:LaLy1Yz5(27/27) AAS
>920
>>914
理由は自明

自明の理由は？

924(4): 2020/02/24(月)21:57 ID:SInNBza5(8/8) AAS
>>922
それはもう>>915で確認しました。

> この場合、B=Dのとき、A=Cとならないので、
つまり

> { B=D
> { A=C
> が成り立たないとき、
> AB=CD…(3)’が成り立つとも成り立たないとも言えない

925(1): 2020/02/25(火)00:17 ID:JHOWR1X8(1/4) AAS
>>893=904=909=911=915=918=919=924氏に敬意を表します。

926(1): 2020/02/25(火)00:20 ID:JHOWR1X8(2/4) AAS
>>924
> >>922
> それはもう>>915で確認しました。
>
> > この場合、B=Dのとき、A=Cとならないので、
> つまり
>
> > { B=D
> > { A=C
> > が成り立たないとき、
省3

927(1): 2020/02/25(火)00:52 ID:JHOWR1X8(3/4) AAS
>>916 日高
> 【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
> 【証明】z^p-y^p=(z+y)(z-y)と変形して、
> x^p=(z+y)(z-y)…(1)を考える。
> (x^p/a)a=(z+y)(z-y)…(2)
> (x^p/1)1=(z+y)(z-y)…(3)

自分では証明できたと思ってそれで満足するならこのままでもよいが
多くの人に読んでほしいと思うなら、この独りよがりのnotationはやめな。
普通の書き方をしろ。

928(1): 2020/02/25(火)00:57 ID:JHOWR1X8(4/4) AAS
>>843
> >>842 日高
> > >840
> > 二つの多項式が等しいことの定義を言えない君にはわからなくて当然。
> >
> > どうして、二つの多項式が等しいことの定義が必要なのでしょうか？
>
> 君は、定義を知らないことがらについて論じられると思っているのかね。

これがまだだった。>>1で

> AB=CDならば、B=Dのとき、A=Cとなる。
省1

929(2): 2020/02/25(火)05:53 ID:RERaodnt(1) AAS
p=2をなんで連投してんの？　意味ないじゃん。

930: 日高 2020/02/25(火)07:01 ID:RJtktY/f(1/26) AAS
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^p-y^p=(z+y)(z-y)と変形して、
x^p=(z+y)(z-y)…(1)を考える。
(x^p/a)a=(z+y)(z-y)…(2)
(x^p/1)1=(z+y)(z-y)…(3)
等式の性質により、(3)が成り立つならば、(1),(2)も成り立つ。
(3)が成り立たないならば、(1),(2)も成り立たない。
(3)を(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1=(z-y)は、z=5、y=4のとき、成り立つ。
省3

931: 日高 2020/02/25(火)07:50 ID:RJtktY/f(2/26) AAS
>925
>>893=904=909=911=915=918=919=924氏に敬意を表します。

どういう意味でしょうか？

932: 日高 2020/02/25(火)07:53 ID:RJtktY/f(3/26) AAS
>926
完全に理解しておらず済みませんが、
最後は「成り立つことも成り立たないこともある」ですか？

それは、「成り立つ」の意味の解釈に、よります。

933: 日高 2020/02/25(火)07:55 ID:RJtktY/f(4/26) AAS
>927
> 【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
> 【証明】z^p-y^p=(z+y)(z-y)と変形して、
> x^p=(z+y)(z-y)…(1)を考える。
> (x^p/a)a=(z+y)(z-y)…(2)
> (x^p/1)1=(z+y)(z-y)…(3)

自分では証明できたと思ってそれで満足するならこのままでもよいが
多くの人に読んでほしいと思うなら、この独りよがりのnotationはやめな。
普通の書き方をしろ。

どういう、書き方が、良いのでしょうか？

934: 日高 2020/02/25(火)07:57 ID:RJtktY/f(5/26) AAS
>928
> AB=CDならば、B=Dのとき、A=Cとなる。

って書いてるけど，この「=」は多項式として等しいの意味じゃないの？

はい。そうです。

935(2): 日高 2020/02/25(火)07:59 ID:RJtktY/f(6/26) AAS
>929
p=2をなんで連投してんの？　意味ないじゃん。

見やすくするためです。

936: 2020/02/25(火)08:14 ID:JCQhW2yc(1) AAS
>>924にも返信してあげてください。

937(2): 2020/02/25(火)08:26 ID:RoSXIKST(1/2) AAS
>>901

> >888
> > 何を、どのように説明すれば、よろしいのでしょうか？
> 他人が一人も理解出来ないということは、日高の妄想が間違っている証拠。
> 間違っていることを正しく説明する方法はない。
>
> 間違っていることを正しく説明する方法は、反例を上げれば良いと思います。

数学勉強しなおせ。ゴミ。

命題：日高は間違い。
証明：1+1=2だから、主張は正しい。証明終わり。
省1

938(1): 2020/02/25(火)08:28 ID:RoSXIKST(2/2) AAS
間違いは間違い。説明を工夫しようが、正しくなることはない。

939: 日高 2020/02/25(火)08:34 ID:RJtktY/f(7/26) AAS
>924
> この場合、B=Dのとき、A=Cとならないので、
つまり
> { B=D
> { A=C
> が成り立たないとき、
> AB=CD…(3)’が成り立つとも成り立たないとも言えない

そうです。

940(1): 2020/02/25(火)08:36 ID:PO84UN4W(1) AAS
>>935
見やすくないのでやめてほしい

941: 日高 2020/02/25(火)08:43 ID:RJtktY/f(8/26) AAS
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^p-y^p=(z+y)(z-y)と変形して、
x^p=(z+y)(z-y)…(1)を考える。
(x^p/a)a=(z+y)(z-y)…(2)
(x^p/1)1=(z+y)(z-y)…(3)
等式の性質により、(3)が成り立つならば、(1),(2)も成り立つ。
(3)が成り立たないならば、(1),(2)も成り立たない。
(3)を(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1=(z-y)は、z=5、y=4のとき、成り立つ。
省3

942(1): 日高 2020/02/25(火)08:47 ID:RJtktY/f(9/26) AAS
>937
命題：日高は間違い。
証明：1+1=2だから、主張は正しい。証明終わり。

反例上げてみろ。

反例は、ありません。

943: 日高 2020/02/25(火)08:50 ID:RJtktY/f(10/26) AAS
>938
間違いは間違い。説明を工夫しようが、正しくなることはない。

間違いの、理由を教えていただけないでしょうか。

944(1): 日高 2020/02/25(火)08:53 ID:RJtktY/f(11/26) AAS
>940
>>935
見やすくないのでやめてほしい

私は、掲示板に、表示したほうが、見やすいです。

945: 2020/02/25(火)09:10 ID:H7kBJi2n(1) AAS
>>944
全く理解できません。
他の人にはじゃまなだけです。
コピペしてるんだから同じテキストファイルを持っていますよね。不要だと思います。

946: 日高 2020/02/25(火)09:41 ID:RJtktY/f(12/26) AAS
(修正)
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^p-y^p=(z+y)(z-y)と変形して、
x^p=(z+y)(z-y)…(1)を考える。
(x^p/a)a=(z+y)(z-y)…(2)
(x^p/1)1=(z+y)(z-y)…(3)
等式の性質により、
(3)を満たす自然数があれば、(1),(2)も満たす。
(3)を満たす自然数が無いならば、(1),(2)も満たさない。
(3)を(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
省5

947(1): 日高 2020/02/25(火)11:11 ID:RJtktY/f(13/26) AAS
(再修正)
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^p-y^p=(z+y)(z-y)と変形して、
x^p=(z+y)(z-y)…(1)を考える。
(x^p/a)a=(z+y)(z-y)…(2)
(x^p/1)1=(z+y)(z-y)…(3)
等式の性質により、
(3)を満たす自然数があれば、(1),(2)を満たす自然数がある。
(3)を満たす自然数が無いならば、(1),(2)を満たす自然数は無い。
(3)を(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
省5

948(1): 2020/02/25(火)12:53 ID:L5/+ZuTO(1/5) AAS
>>929
私も、前は2つセットで連騰していて、なぜp=2だけなのかと思っていたが
2ch板:math
にかならず>>1が表示されるからだと今気づいた
p=2は流れて（彼にとって）消えるから連投するのだろう
彼に5chの使い方を理解させられたら連投しなくなるかもしれない

949(1): 2020/02/25(火)13:06 ID:7SQpJEc1(1) AAS
>>948
そうか、だから奇素数の方は書かなくなったんだ。

950(1): 2020/02/25(火)13:34 ID:fl0Sa3qH(1/3) AAS
>>949
次スレでは>>1にp=2と奇素数と両方書けばいいのに。

951: 2020/02/25(火)13:41 ID:fl0Sa3qH(2/3) AAS
>>950 追加
しかし、日高は不思議とp=2と奇素数を同一レスに書かないな。

952(3): 2020/02/25(火)14:05 ID:L5/+ZuTO(2/5) AAS
>>947
例えば
(x^p/(1/2))(1/2)=(z+y)(z-y)…(4)を考えると

1/2=(z-y)を満たす自然数は存在しない
当然
{ 1/2=(z-y)
{ (x^p/(1/2))=(z+y)
を満たす自然数は存在しない
しかし
(x^p/(1/2))(1/2)=(z+y)(z-y)…(4)を満たす自然数は存在する
省5

953(1): 日高 2020/02/25(火)16:01 ID:RJtktY/f(14/26) AAS
>952
とにかく
{ B=D
{ A=C
が成り立たないとか、自然数が存在しないとかいうことをいくら調べても無駄

どうしてでしょうか？理由を教えていただけないでしょうか。

954: 日高 2020/02/25(火)16:24 ID:RJtktY/f(15/26) AAS
(修正)
【定理】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)}…(1)を考える。
(z^p/a)a=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)
(z^p/1)1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(3)
等式の性質により、
(3)を満たす自然数があれば、(1),(2)を満たす自然数がある。
(3)を満たす自然数が無いならば、(1),(2)を満たす自然数は無い。
(3)を(z^p/1)=A、1=B、(x+y)=C、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=Dとおく。
省5

955(1): 2020/02/25(火)16:36 ID:L5/+ZuTO(3/5) AAS
>>953
>>918では
z=5,y=3のとき
{ 1=(z-y)
{ (x^p/1)=(z+y)
が成り立たないことを調べたけど、結果として(x^p/1)1=(z+y)(z-y)…(3)が成り立つ

>>952では
{ 1/2=(z-y)
{ (x^p/(1/2))=(z+y)
を満たす自然数は存在しないことを調べたけど、結果として(x^p/(1/2))(1/2)=(z+y)(z-y)…(4)を満たす自然数は存在する
省11

956(2): 2020/02/25(火)17:15 ID:fl0Sa3qH(3/3) AAS
日高は>>396のように自分の主張のためなら定数を途中で書き換えることまでする。

957(1): 日高 2020/02/25(火)17:25 ID:RJtktY/f(16/26) AAS
>955
z=5,y=3のとき
{ 1=(z-y)
{ (x^p/1)=(z+y)
が成り立たないことを調べたけど、結果として(x^p/1)1=(z+y)(z-y)…(3)が成り立つ

z=5,y=3は、{ 1=(z-y)、{ (x^p/1)=(z+y)を満たしません。
z=5,y=3は、{ a=(z-y)、{ (x^p/a)=(z+y)を満たすので、(2)を満たす自然数が存在します。
(2)を満たす自然数が存在するので、(3)を満たす自然数も存在します。

958: 日高 2020/02/25(火)17:29 ID:RJtktY/f(17/26) AAS
(再修正)
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^p-y^p=(z+y)(z-y)と変形して、
x^p=(z+y)(z-y)…(1)を考える。
(x^p/a)a=(z+y)(z-y)…(2)
(x^p/1)1=(z+y)(z-y)…(3)
等式の性質により、
(3)を満たす自然数があれば、(1),(2)を満たす自然数がある。
(3)を満たす自然数が無いならば、(1),(2)を満たす自然数は無い。
(3)を(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
省5

959(1): 日高 2020/02/25(火)17:32 ID:RJtktY/f(18/26) AAS
>956
日高は>>396のように自分の主張のためなら定数を途中で書き換えることまでする。

定数を書き換えたことに、なるのでしょうか？

960(1): 2020/02/25(火)17:33 ID:L5/+ZuTO(4/5) AAS
>>957

> z=5,y=3は、{ 1=(z-y)、{ (x^p/1)=(z+y)を満たしません。
> z=5,y=3は、{ a=(z-y)、{ (x^p/a)=(z+y)を満たすので、(2)を満たす自然数が存在します。
> (2)を満たす自然数が存在するので、(3)を満たす自然数も存在します。

この説明に最初の1行はいりませんよね。
> z=5,y=3は、{ a=(z-y)、{ (x^p/a)=(z+y)を満たすので、(2)を満たす自然数が存在します。
> (2)を満たす自然数が存在するので、(3)を満たす自然数も存在します。
これで十分です。
最初の1行は無駄です。

961(2): 2020/02/25(火)19:50 ID:7IcF9Jed(1/8) AAS
>>959 日高
> >956
> 日高は>>396のように自分の主張のためなら定数を途中で書き換えることまでする。
>
> 定数を書き換えたことに、なるのでしょうか？

だってA=6,B=1,C=2,D=3から始めたのにAB=CDだからと言って

> 最終的にA,B,C,Dはそれぞれいくつですか？
>
> A=6,B=1,C=(2*3),D=(3*1/3)です。

と答えている。

962(1): 日高 2020/02/25(火)19:55 ID:RJtktY/f(19/26) AAS
>961
> A=6,B=1,C=(2*3),D=(3*1/3)です。
ｄ
と答えている。

(2*3)=6,(3*1/3)=1では、ないでしょうか？

963(2): 2020/02/25(火)20:00 ID:v15o+qRk(1/2) AAS
>>942

> >937
> 命題：日高は間違い。
> 証明：1+1=2だから、主張は正しい。証明終わり。
>
> 反例上げてみろ。
>
> 反例は、ありません。
では、日高は間違い。が、正しい定理として認知されたということだな。
この定理により、1は間違い。

964(2): 2020/02/25(火)20:03 ID:7IcF9Jed(2/8) AAS
>>962 日高
> >961
> > A=6,B=1,C=(2*3),D=(3*1/3)です。
> ｄ
> と答えている。
>
> (2*3)=6,(3*1/3)=1では、ないでしょうか？

A=6,B=1,C=2,D=3から始めたのですよ。
AB=CDだからと言ってCが6に、Dが1に変わるのが日高式。
これを矯正するのには相当の困難が伴うと思われ。

965(1): 日高 2020/02/25(火)20:08 ID:RJtktY/f(20/26) AAS
(修正)
【定理】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)}…(1)を考える。
(z^p/a)a=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)
(z^p/1)1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(3)
等式の性質により、
(3)を満たす自然数があれば、(1),(2)を満たす自然数がある。
(3)を満たす自然数が無いならば、(1),(2)を満たす自然数は無い。
(3)を(z^p/1)=A、1=B、(x+y)=C、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=Dとおく。
省5

966(1): 日高 2020/02/25(火)20:10 ID:RJtktY/f(21/26) AAS
>963
> 反例は、ありません。
では、日高は間違い。が、正しい定理として認知されたということだな。
この定理により、1は間違い。

良くわかりません。

967(2): 2020/02/25(火)20:12 ID:7IcF9Jed(3/8) AAS
>>965 日高

> (z^p/a)a=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)
> (z^p/1)1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(3)
> 等式の性質により、
> (3)を満たす自然数があれば、(1),(2)を満たす自然数がある。
> (3)を満たす自然数が無いならば、(1),(2)を満たす自然数は無い。

aが0でないという前提のもとでは(2)と(3)とは同じ式。
読んでもらいたいなら通常の記法を使いな。

968(1): 日高 2020/02/25(火)20:15 ID:RJtktY/f(22/26) AAS
>964
A=6,B=1,C=2,D=3から始めたのですよ。
AB=CDだからと言ってCが6に、Dが1に変わるのが日高式。
これを矯正するのには相当の困難が伴うと思われ。

Cを6に、Dを1に変えれば、良いということです。

969: 日高 2020/02/25(火)20:17 ID:RJtktY/f(23/26) AAS
(再修正)
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^p-y^p=(z+y)(z-y)と変形して、
x^p=(z+y)(z-y)…(1)を考える。
(x^p/a)a=(z+y)(z-y)…(2)
(x^p/1)1=(z+y)(z-y)…(3)
等式の性質により、
(3)を満たす自然数があれば、(1),(2)を満たす自然数がある。
(3)を満たす自然数が無いならば、(1),(2)を満たす自然数は無い。
(3)を(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
省5

970(5): 2020/02/25(火)20:20 ID:7IcF9Jed(4/8) AAS
>>968 日高
> >964
> A=6,B=1,C=2,D=3から始めたのですよ。
> AB=CDだからと言ってCが6に、Dが1に変わるのが日高式。
> これを矯正するのには相当の困難が伴うと思われ。
>
> Cを6に、Dを1に変えれば、良いということです。

よくない。そういう勝手なことをするのならそれは数学ではない。

971(1): 日高 2020/02/25(火)20:21 ID:RJtktY/f(24/26) AAS
>967
aが0でないという前提のもとでは(2)と(3)とは同じ式。

同じ式では、ないです。

972(1): 日高 2020/02/25(火)20:26 ID:RJtktY/f(25/26) AAS
>970
>
> Cを6に、Dを1に変えれば、良いということです。

よくない。そういう勝手なことをするのならそれは数学ではない。

どうしてでしょうか？

973(1): 2020/02/25(火)20:27 ID:v15o+qRk(2/2) AAS
>>966

> >963
> > 反例は、ありません。
> では、日高は間違い。が、正しい定理として認知されたということだな。
> この定理により、1は間違い。
>
> 良くわかりません。
わからないと誤魔化すな。ゴミ老人。勉強しなおせ。

974(1): 2020/02/25(火)20:27 ID:7IcF9Jed(5/8) AAS
>>971 日高
> >967
> aが0でないという前提のもとでは(2)と(3)とは同じ式。
>
> 同じ式では、ないです。

はい、それじゃ同値な式と訂正しておきましょう。

975(2): 2020/02/25(火)20:29 ID:7IcF9Jed(6/8) AAS
>>972 日高
> >970
> >
> > Cを6に、Dを1に変えれば、良いということです。
>
> よくない。そういう勝手なことをするのならそれは数学ではない。
>
> どうしてでしょうか？

ルールを守って、既知の事実から新しい事実を導くのが数学です。

976(3): 日高 2020/02/25(火)21:29 ID:RJtktY/f(26/26) AAS
(修正)
【定理】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)}…(1)を考える。
(z^p/a)a=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)
(z^p/1)1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(3)
等式の性質により、
(3)を満たす自然数があれば、(1),(2)を満たす自然数がある。
(3)を満たす自然数が無いならば、(1),(2)を満たす自然数は無い。
(3)を(z^p/1)=A、1=B、(x+y)=C、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=Dとおく。
省5

977(1): 2020/02/25(火)21:32 ID:7IcF9Jed(7/8) AAS
>>976 日高

> (3)を満たす自然数が無いので、(1),(2)を満たす自然数は無い。

「(3)を満たす自然数が無い」ってどこで証明していますか？

978(2): 2020/02/25(火)21:59 ID:L5/+ZuTO(5/5) AAS
>>976
繰り返しになりますが、同じ証明を何度も書き込んでいて、おそらく2ch板:mathをブラウザで
直接見ているのだと推測しますが、「全部読む」をクリックして、最初からすべての書き込みを読める状態で書き込んでもらえませんか。

そして見えなくなった書き込みに返事がない気がするのですが
>>960は読んでもらえましたか？

>>976も同じ間違いをしています。

>>952では
{ 1/2=(z-y)
{ (x^p/(1/2))=(z+y)
を満たす自然数の解が存在しないことを調べたけど、そんなことを調べても無駄です。
省3

979(1): 2020/02/25(火)22:05 ID:7IcF9Jed(8/8) AAS
>>976 日高

「
> (z^p/1)1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(3)
を満たす自然数x,y,zが存在する」を命題P,

「
{1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
{(z^p/1)=(x+y)に
を満たす自然数x,y,zが存在する」を命題Q
とすると
PはQの必要条件であることは自明ですが十分条件であるかどうかは不明です。

980(1): 2020/02/26(水)03:32 ID:eelNPaEY(1) AAS
なんでAとかBとかCって文字で置くんだろう？　何か意味あるのか？
1=Bって式から、極めて何か絶望的センスを感じる。

981(1): 2020/02/26(水)03:53 ID:EKpyPykm(1/8) AAS
>>980
> AB=CDならば、B=Dのとき、A=Cとなる。
この一行がお気に入りなんだと思う。

982(1): 2020/02/26(水)04:12 ID:EKpyPykm(2/8) AAS
>>981
それと、一文字で書くと>>970みたいなことができると思い込んでいるふしがある。

983: 2020/02/26(水)04:23 ID:EKpyPykm(3/8) AAS
>>982
>>978氏が丁寧に誤りを説明しておられるが
数値書き換えの技が使えると信じているスレ主に
伝わるかどうか。

984(1): 2020/02/26(水)04:33 ID:EKpyPykm(4/8) AAS
「1=...じゃなくてa=...となるかもしれない」と説明しているのに
スレ主の頭の中では「だったら1=...に値を変えればよい」ということらしい。

これを日高の定数変化法とでも呼ぶか。

985: 日高 2020/02/26(水)09:32 ID:8eSkexwD(1/12) AAS
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^p-y^p=(z+y)(z-y)と変形して、
x^p=(z+y)(z-y)…(1)を考える。
(x^p/a)a=(z+y)(z-y)…(2)
(x^p/1)1=(z+y)(z-y)…(3)
等式の性質により、
(3)を満たす自然数があれば、(1),(2)を満たす自然数がある。
(3)を満たす自然数が無いならば、(1),(2)を満たす自然数は無い。
(3)を(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
省4

986: 日高 2020/02/26(水)09:33 ID:8eSkexwD(2/12) AAS
(修正)
【定理】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)}…(1)を考える。
(z^p/a)a=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)
(z^p/1)1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(3)
等式の性質により、
(3)を満たす自然数があれば、(1),(2)を満たす自然数がある。
(3)を満たす自然数が無いならば、(1),(2)を満たす自然数は無い。
(3)を(z^p/1)=A、1=B、(x+y)=C、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=Dとおく。
省5

987(1): 日高 2020/02/26(水)11:56 ID:8eSkexwD(3/12) AAS
>970
> Cを6に、Dを1に変えれば、良いということです。

よくない。そういう勝手なことをするのならそれは数学ではない。

どうしてでしょうか？

988: 日高 2020/02/26(水)11:59 ID:8eSkexwD(4/12) AAS
>973
> 良くわかりません。
わからないと誤魔化すな。ゴミ老人。勉強しなおせ。

どうしてでしょうか？

989: 日高 2020/02/26(水)12:01 ID:8eSkexwD(5/12) AAS
>974
> 同じ式では、ないです。

はい、それじゃ同値な式と訂正しておきましょう。

同値な式で良いと思います。

990(1): 日高 2020/02/26(水)12:04 ID:8eSkexwD(6/12) AAS
>975
ルールを守って、既知の事実から新しい事実を導くのが数学です。

どの部分が、ルールを守っていないのでしょうか？

991(1): 日高 2020/02/26(水)12:08 ID:8eSkexwD(7/12) AAS
>977
> (3)を満たす自然数が無いので、(1),(2)を満たす自然数は無い。

「(3)を満たす自然数が無い」ってどこで証明していますか？

(3)を(z^p/1)=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のみである。
これを、(z^p/1)=(x+y)に代入すると、zは自然数とならない。

で、証明しています。

992: 日高 2020/02/26(水)12:33 ID:8eSkexwD(8/12) AAS
>978
{ 1/2=(z-y)
{ (x^p/(1/2))=(z+y)
を満たす自然数の解が存在しないことを調べたけど、そんなことを調べても無駄です。

{ 1/2=(z-y)
{ (x^p/(1/2))=(z+y)
を満たす自然数の組は存在しませんが、有理数の組は存在します。
例. x=4/4、y=3/4、z=5/4
分母を払うと、x=4、y=3、z=5となります。

別の説明から、(x^p/(1/2))(1/2)=(z+y)(z-y)…(4)を満たす自然数の解が存在することが証明できます。
省4

993(1): 日高 2020/02/26(水)12:42 ID:8eSkexwD(9/12) AAS
>979
> (z^p/1)1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(3)
を満たす自然数x,y,zが存在する」を命題P,

{1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
{(z^p/1)=(x+y)に
を満たす自然数x,y,zが存在する」を命題Q
とすると
PはQの必要条件であることは自明ですが十分条件であるかどうかは不明です。

{1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
{(z^p/1)=(x+y)に
省3

994: 日高 2020/02/26(水)12:53 ID:8eSkexwD(10/12) AAS
>984
「1=...じゃなくてa=...となるかもしれない」と説明しているのに
スレ主の頭の中では「だったら1=...に値を変えればよい」ということらしい。

これを日高の定数変化法とでも呼ぶか。

よく、意味が読み取れません。

995(1): 2020/02/26(水)17:42 ID:EKpyPykm(5/8) AAS
>>987 日高
> >970
> > Cを6に、Dを1に変えれば、良いということです。
>
> よくない。そういう勝手なことをするのならそれは数学ではない。
>
> どうしてでしょうか？

そういうルールだから。

996: 2020/02/26(水)17:44 ID:EKpyPykm(6/8) AAS
>>990 日高
> >975
> ルールを守って、既知の事実から新しい事実を導くのが数学です。
>
> どの部分が、ルールを守っていないのでしょうか？

一度決めた値を勝手に書き換えるところ。

997: 日高 2020/02/26(水)17:46 ID:8eSkexwD(11/12) AAS
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^p-y^p=(z+y)(z-y)と変形して、
x^p=(z+y)(z-y)…(1)を考える。
(x^p/a)a=(z+y)(z-y)…(2)
(x^p/1)1=(z+y)(z-y)…(3)
等式の性質により、
(3)を満たす自然数があれば、(1),(2)を満たす自然数がある。
(3)を満たす自然数が無いならば、(1),(2)を満たす自然数は無い。
(3)を(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
省4

998: 2020/02/26(水)17:47 ID:EKpyPykm(7/8) AAS
>>991 日高
証明になっていません。

999: 日高 2020/02/26(水)17:49 ID:8eSkexwD(12/12) AAS
【定理】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)}…(1)を考える。
(z^p/a)a=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)
(z^p/1)1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(3)
等式の性質により、
(3)を満たす自然数があれば、(1),(2)を満たす自然数がある。
(3)を満たす自然数が無いならば、(1),(2)を満たす自然数は無い。
(3)を(z^p/1)=A、1=B、(x+y)=C、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
省4

1000: 2020/02/26(水)17:49 ID:EKpyPykm(8/8) AAS
>>993 日高
> {1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
> {(z^p/1)=(x+y)に
> を満たす自然数x,y,zが存在しないならば、
> (z^p/1)1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(3)
> を満たす自然数x,y,zも、存在しません。

はい、でまかせ確定。

1001(1): 1001 ID:Thread(1/2) AAS
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 17日 0時間 23分 16秒

1002(1): 1002 ID:Thread(2/2) AAS
5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。

───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────

会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。
省4

上下前次 1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.232s*