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

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

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

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

903(1): 日高 2020/01/15(水)11:52 ID:16OwUp8O(3/27) AAS
>895
>> z^p*1のみを考えれば、よいです。
嘘つきが。反省しろ

901、902を検討して見て下さい。

904: 2020/01/15(水)11:54 ID:XyPozKKW(1/8) AAS
>>903

> >895
> >> z^p*1のみを考えれば、よいです。
> 嘘つきが。反省しろ
>
> 901、902を検討して見て下さい。
相変わらず嘘つき。根拠なしに思い込みを述べるばかり。

905: 日高 2020/01/15(水)11:55 ID:16OwUp8O(4/27) AAS
>896
>> z^p*1のみを考えれば、よいです。
これでは説明になっていません。あなたの証明は間違いです。

901、902を検討して見て下さい。

906(1): 日高 2020/01/15(水)11:57 ID:16OwUp8O(5/27) AAS
>897
>はっきり言えば、あなたの証明はごまかしです。いまのままでは。

901、902を検討して見て下さい。

907(1): 日高 2020/01/15(水)12:00 ID:16OwUp8O(6/27) AAS
>898
>890では、
2={x^(p-1)-x^(p-2)y+…+y^(p-1)}
(z^p/2)=(x+y)
として、x,y,zが、有理数のとき、式を満たすかを考えます。

と書いてたくせに、考えないんですか？

901、902を検討して見て下さい。

908: 日高 2020/01/15(水)12:02 ID:16OwUp8O(7/27) AAS
>899
>1={x^(p-1)-x^(p-2)y+…+y^(p-1)}とz^p=(x+y)
と
2={x^(p-1)-x^(p-2)y+…+y^(p-1)}とz^p/2=(x+y)
の違いを聞いております。
再度お尋ねします。
この上と下は何がどう同じなのですか？

901、902を検討して見て下さい。

909(1): 2020/01/15(水)12:50 ID:LCcxwAku(1/3) AAS
>>907
>901、902を検討して見て下さい。

2={x^(p-1)-x^(p-2)y+…+y^(p-1)}
(z^p/2)=(x+y)
として、x,y,zが、有理数のとき、式を満たすかを考えます。

901,902にはこのことについて何も書いてないので説明になっていません。
関係ないことを書いて説明したふりをするのはやめてください。

910: 2020/01/15(水)13:51 ID:PE9JP0we(1/3) AAS
x,y,zの比が等しい、って、前スレの証明と似たパターンになってきました。

911: 2020/01/15(水)13:59 ID:XyPozKKW(2/8) AAS
>>906

> >897
> >はっきり言えば、あなたの証明はごまかしです。いまのままでは。
>
> 901、902を検討して見て下さい。
検討したってごまかしはごまかしのまま。１ミクロンも進歩なし。

912(2): 日高 2020/01/15(水)14:02 ID:16OwUp8O(8/27) AAS
>909
>2={x^(p-1)-x^(p-2)y+…+y^(p-1)}
(z^p/2)=(x+y)
として、x,y,zが、有理数のとき、式を満たすかを考えます。

この場合、x,y,zが、有理数のとき、式を満たしません。

913(3): 2020/01/15(水)14:17 ID:PE9JP0we(2/3) AAS
> 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の比は等しい。

その比は無理数かも知れません。

914(1): 2020/01/15(水)14:23 ID:LCcxwAku(2/3) AAS
>>912
根拠は？
証明なしでは認められません。

915(1): 日高 2020/01/15(水)15:53 ID:16OwUp8O(9/27) AAS
>913
>> 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の比は等しい。

その比は無理数かも知れません。

比が無理数ならば、自然数解は、ありません。

916: 日高 2020/01/15(水)15:54 ID:16OwUp8O(10/27) AAS
【定理】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は、自然数解を持たない。

917: 日高 2020/01/15(水)15:55 ID:16OwUp8O(11/27) AAS
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】p=2なので、z^2-y^2=(z+y)(z-y)と変形できる。
x^2=x^2×1=(x^2/a)×aなので、x^2=z^2-y^2とx^2×1=z^2-y^2と(x^2/a)×a=z^2-y^2のx,y,zの比は等しい。
したがって、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^2=2y+1となる。
x^2=2y+1のxに任意の有理数を代入すると、yは、有理数となる。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。

918(1): 日高 2020/01/15(水)16:10 ID:16OwUp8O(12/27) AAS
>914
>>>912
根拠は？
証明なしでは認められません。

2={x^(p-1)-x^(p-2)y+…+y^(p-1)}
(z^p/2)=(x+y)
として、x,y,zが、有理数のとき、式を満たすかを考えます。

この場合、x,y,zが、有理数のとき、式を満たしません。

x=1、y=2のとき、{x^(p-1)-x^(p-2)y+…+y^(p-1)}>2となります。

919(2): 2020/01/15(水)16:27 ID:XyPozKKW(3/8) AAS
>>915

> >913
> >> 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の比は等しい。
>
> その比は無理数かも知れません。
>
> 比が無理数ならば、自然数解は、ありません。
根拠なし。妄想

920: 2020/01/15(水)16:31 ID:LCcxwAku(3/3) AAS
>>918
証明って何だかわかってますか？
式を満たす有理数x,y,zの組が存在しないことを言いたいのだから、どのような有理数x,y,zを選んでも式を満たさないことを示す必要があります。
例を１つ挙げただけでは証明にはなりません。ですから、この説明では不十分です。

921(1): 日高 2020/01/15(水)17:05 ID:16OwUp8O(13/27) AAS
例.p=2のとき、x:y:z=15:8:7となる。
(1)x^2*1=(z+y)(z-y)
1=(z-y)、x^2=(z+y)より、x^2=2y+1となる。
x=5/3、y=8/9、z=17/9となる。

(2)x^2/9*9=(z+y)(z-y)
9=(z-y)、x^2/9=(z+y)より、x^2=18y+81となる。
x=15、y=8、z=17となる。

(1)(2)は、x:y:z=5/3:8/9:17/9=15:8:7となる。

922: 2020/01/15(水)17:22 ID:PE9JP0we(3/3) AAS
> p=2のとき、x:y:z=15:8:7となる。

これを見るだけで、「なる」の用法が普通でないことがわかる。

923(2): 2020/01/15(水)17:51 ID:XyPozKKW(4/8) AAS
>>921

> 例.p=2のとき、x:y:z=15:8:7となる。
> (1)x^2*1=(z+y)(z-y)
> 1=(z-y)、x^2=(z+y)より、x^2=2y+1となる。
> x=5/3、y=8/9、z=17/9となる。
>
> (2)x^2/9*9=(z+y)(z-y)
> 9=(z-y)、x^2/9=(z+y)より、x^2=18y+81となる。
> x=15、y=8、z=17となる。
>
省3

924(1): 日高 2020/01/15(水)18:12 ID:16OwUp8O(14/27) AAS
>923
>例は説明にも根拠にもならない。例示を求められたとき以外書くな、基地外嘘吐きが。
いい加減日本語勉強しろよ

奇素数の場合もz^p*1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}のみを検討すればよい。ということです。

925(1): 日高 2020/01/15(水)18:15 ID:16OwUp8O(15/27) AAS
>919
>> 比が無理数ならば、自然数解は、ありません。
根拠なし。妄想

どうしてでしょうか？

926(1): 2020/01/15(水)19:52 ID:GFvFBWqQ(1/10) AAS
>>837はお読みいただけましたか？

927: 913 2020/01/15(水)20:14 ID:GFvFBWqQ(2/10) AAS
すまん！　間違い。
同じ式が三つ書いてあるとは思わなかった。

928: 日高 2020/01/15(水)20:14 ID:16OwUp8O(16/27) AAS
>926
>>>837はお読みいただけましたか？

意味がよくわかりません。

929(1): 日高 2020/01/15(水)20:16 ID:16OwUp8O(17/27) AAS
【定理】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は、自然数解を持たない。

930(2): 2020/01/15(水)20:17 ID:GFvFBWqQ(3/10) AAS
>>901 日高
> >893
> >「証明の中に書いてください」と書きました。
> これを含めた証明を、それだけを読んでわかるように書いてください。
>
> 【定理】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=x^p+y^pとz^p×1=x^p+y^pと(z^p/a)×a=x^p+y^p」って同じ式が三つ書いてあるだけ。
説明になっていません。

931: 日高 2020/01/15(水)20:17 ID:16OwUp8O(18/27) AAS
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】p=2なので、z^2-y^2=(z+y)(z-y)と変形できる。
x^2=x^2×1=(x^2/a)×aなので、x^2=z^2-y^2とx^2×1=z^2-y^2と(x^2/a)×a=z^2-y^2のx,y,zの比は等しい。
したがって、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^2=2y+1となる。
x^2=2y+1のxに任意の有理数を代入すると、yは、有理数となる。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。

932(3): 日高 2020/01/15(水)20:18 ID:16OwUp8O(19/27) AAS
例.p=2のとき、x:y:z=15:8:7となる。
(1)x^2*1=(z+y)(z-y)
1=(z-y)、x^2=(z+y)より、x^2=2y+1となる。
x=5/3、y=8/9、z=17/9となる。

(2)x^2/9*9=(z+y)(z-y)
9=(z-y)、x^2/9=(z+y)より、x^2=18y+81となる。
x=15、y=8、z=17となる。

(1)(2)は、x:y:z=5/3:8/9:17/9=15:8:7となる。

933(1): 日高 2020/01/15(水)20:23 ID:16OwUp8O(20/27) AAS
>930
>「z^p=x^p+y^pとz^p×1=x^p+y^pと(z^p/a)×a=x^p+y^p」って同じ式が三つ書いてあるだけ。
説明になっていません。

三つの式のx,y,zの比は同じとなります。
p=2の場合と形が同じだからです。

934: 2020/01/15(水)20:23 ID:GFvFBWqQ(4/10) AAS
私がどう誤読していたかというと：

>>929 日高
> 【定理】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=A、1=B、(x+y)=C、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=Dとおく。

場合分け1)
A=CかつB=Dのときは自然数解を持たないことがすぐわかる。

場合分け2)
A=aCのときB=D/aで、このときのx,y,zは場合分け1)のx,y,zと同じ比をなす。
よってこの場合も自然数解はない。
省1

935(2): 2020/01/15(水)20:25 ID:GFvFBWqQ(5/10) AAS
>>932 日高
> 例.p=2のとき、x:y:z=15:8:7となる。

いきなり書かれてもなんのことかわかりません。

936(1): 日高 2020/01/15(水)20:36 ID:16OwUp8O(21/27) AAS
>935
> 例.p=2のとき、x:y:z=15:8:7となる。

いきなり書かれてもなんのことかわかりません。

(2)の場合は、x:y:z=15:8:7となる。
(1)の場合は、x:y:z=x:y:z=5/3:8/9:17/9となる。
です。

937(1): 2020/01/15(水)20:39 ID:GFvFBWqQ(6/10) AAS
>>936 日高
> >935
> > 例.p=2のとき、x:y:z=15:8:7となる。
>
> いきなり書かれてもなんのことかわかりません。
>
> (2)の場合は、x:y:z=15:8:7となる。
> (1)の場合は、x:y:z=x:y:z=5/3:8/9:17/9となる。
> です。

「(2)の場合」「(1)の場合」とありますが
省1

938(2): 2020/01/15(水)20:57 ID:snPgR/qb(1/2) AAS
>>933
> >930
> >「z^p=x^p+y^pとz^p×1=x^p+y^pと(z^p/a)×a=x^p+y^p」って同じ式が三つ書いてあるだけ。
> 説明になっていません。
>
> 三つの式のx,y,zの比は同じとなります。
> p=2の場合と形が同じだからです。

３つの式は同じ式を変形しただけなんだから解は同じに決まってるだろ。
何の意味もない。

日高ルールだとこの３つの式は意味が違うのか？それは普通の数学ではないね。

939: 日高 2020/01/15(水)21:12 ID:16OwUp8O(22/27) AAS
>937
>「(2)の場合」「(1)の場合」とありますが
それらは何番のコメントにありますか？

932番です。

940(1): 2020/01/15(水)21:17 ID:GFvFBWqQ(7/10) AAS
>>932 日高を再読したけど
> 例.p=2のとき、x:y:z=15:8:7となる。
で始まるので(1)(2)がわかりません。

941: 2020/01/15(水)21:20 ID:XyPozKKW(5/8) AAS
>>925

> >919
> >> 比が無理数ならば、自然数解は、ありません。
> 根拠なし。妄想
>
> どうしてでしょうか？
根拠ないから。書いてあるだろうが。基地外

942(2): 日高 2020/01/15(水)21:20 ID:16OwUp8O(23/27) AAS
>938
>３つの式は同じ式を変形しただけなんだから解は同じに決まってるだろ。
何の意味もない。

日高ルールだとこの３つの式は意味が違うのか？それは普通の数学ではないね。

３つの式は、x,y,zの値は違いますが、比は同じです。

943(2): 2020/01/15(水)21:21 ID:XyPozKKW(6/8) AAS
>>924

> >923
> >例は説明にも根拠にもならない。例示を求められたとき以外書くな、基地外嘘吐きが。
> いい加減日本語勉強しろよ
>
> 奇素数の場合もz^p*1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}のみを検討すればよい。ということです。
良くない。妄想。根拠なし。

944(1): 2020/01/15(水)21:23 ID:GFvFBWqQ(8/10) AAS
>>943

> > 奇素数の場合もz^p*1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}のみを検討すればよい。ということです。
> 良くない。妄想。根拠なし。

これはいいんでないの。z^p*1=x^p+y^pのみを検討すればよいと書いているのだから。
（フェルマーの最終定理そのものを言っているだけだが。）

945: 2020/01/15(水)21:25 ID:XyPozKKW(7/8) AAS
>>942

> >938
> >３つの式は同じ式を変形しただけなんだから解は同じに決まってるだろ。
> 何の意味もない。
>
> 日高ルールだとこの３つの式は意味が違うのか？それは普通の数学ではないね。
>
> ３つの式は、x,y,zの値は違いますが、比は同じです。
意味不明。何故値が違うのか。思い込みの押し付けはいい加減にやめろ。痴呆嘘吐き

946: 日高 2020/01/15(水)21:25 ID:16OwUp8O(24/27) AAS
>940
>例.p=2のとき、x:y:z=15:8:7となる。
で始まるので(1)(2)がわかりません。

(1)(2)共、比は同じということを、説明したつもりです。

947: 2020/01/15(水)21:25 ID:snPgR/qb(2/2) AAS
>>942
どうしようもない馬鹿だね。
なんでx.y,zの値が違うの？

948: 2020/01/15(水)21:27 ID:XyPozKKW(8/8) AAS
>>944

> >>943
>
> > > 奇素数の場合もz^p*1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}のみを検討すればよい。ということです。
> > 良くない。妄想。根拠なし。
>
> これはいいんでないの。z^p*1=x^p+y^pのみを検討すればよいと書いているのだから。
> （フェルマーの最終定理そのものを言っているだけだが。）
そうかも。

しかし、日本語を勉強しなければならないとかの状態が良くなる訳ではない。

949(3): 日高 2020/01/15(水)21:29 ID:16OwUp8O(25/27) AAS
【定理】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は、自然数解を持たない。

950(2): 日高 2020/01/15(水)21:30 ID:16OwUp8O(26/27) AAS
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】p=2なので、z^2-y^2=(z+y)(z-y)と変形できる。
x^2=x^2×1=(x^2/a)×aなので、x^2=z^2-y^2とx^2×1=z^2-y^2と(x^2/a)×a=z^2-y^2のx,y,zの比は等しい。
したがって、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^2=2y+1となる。
x^2=2y+1のxに任意の有理数を代入すると、yは、有理数となる。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。

951: 日高 2020/01/15(水)21:31 ID:16OwUp8O(27/27) AAS
例.p=2のとき、x:y:z=15:8:7となる。
(1)x^2*1=(z+y)(z-y)
1=(z-y)、x^2=(z+y)より、x^2=2y+1となる。
x=5/3、y=8/9、z=17/9となる。

(2)x^2/9*9=(z+y)(z-y)
9=(z-y)、x^2/9=(z+y)より、x^2=18y+81となる。
x=15、y=8、z=17となる。

(1)(2)は、x:y:z=5/3:8/9:17/9=15:8:7となる。

952(1): 2020/01/15(水)21:33 ID:GFvFBWqQ(9/10) AAS
>>932 日高
> 例.p=2のとき、x:y:z=15:8:7となる。
> (1)x^2*1=(z+y)(z-y)
> 1=(z-y)、x^2=(z+y)より、x^2=2y+1となる。
> x=5/3、y=8/9、z=17/9となる。

1=(z-y)、x^2=(z+y)が出るのはなぜ？

> (2)x^2/9*9=(z+y)(z-y)
> 9=(z-y)、x^2/9=(z+y)より、x^2=18y+81となる。
> x=15、y=8、z=17となる。

9=(z-y)、x^2/9=(z+y)が出るのはなぜ？
省3

953: 2020/01/15(水)21:35 ID:GFvFBWqQ(10/10) AAS
>>949 日高
> z^p=x^p+y^pとz^p×1=x^p+y^pと(z^p/a)×a=x^p+y^pのx,y,zの比は等しい。

そりゃそうだよ。同じ式を三つ書いているもん。

954(1): 2020/01/16(木)03:24 ID:U6MkxwPF(1/4) AAS
>>949-950
> x^2=x^2×1=(x^2/a)×aなので、x^2=z^2-y^2とx^2×1=z^2-y^2と(x^2/a)×a=z^2-y^2のx,y,zの比は等しい。
あなたのやりかたで、実際にやってみたらたまたま等しくなったという「結果」を
実際にやってみる「前に」使うことはできない。
よって証明は間違っている。

955(1): 2020/01/16(木)03:25 ID:U6MkxwPF(2/4) AAS
>>954　修正
「あなたの証明の中で実際にやってみる前に」使うことはできない

956(3): 2020/01/16(木)03:40 ID:U6MkxwPF(3/4) AAS
>>949-950
それに
>　x^2=z^2-y^2とx^2×1=z^2-y^2と(x^2/a)×a=z^2-y^2のx,y,zの比は等しい。
この書き方では3組のx,y,zが同じものなのか別のものなのかわからない
同じものならば比が等しいのは当たり前で何も言っていないに等しい
違うものならば例えば最初の式に3,4,5を代入したものと2番目の式に7,8,15を代入したものは比が等しくない
どちらにしても間違っている

957(3): 2020/01/16(木)03:57 ID:U6MkxwPF(4/4) AAS
>>956 修正
違うものならば例えば最初の式に3,4,5を代入したものと2番目の式に8,15,17を代入したものは比が等しくない

958(2): 2020/01/16(木)04:25 ID:oCDhp7+B(1/2) AAS
日高氏が言おうとしているのは、
z-y=1となるよう定数で割って考える、
ということでは。

959(1): 日高 2020/01/16(木)06:28 ID:D8HUqGB2(1/19) AAS
>958
>日高氏が言おうとしているのは、
z-y=1となるよう定数で割って考える、
ということでは。

そうです。

960(2): 2020/01/16(木)08:25 ID:Y47r3R5f(1/9) AAS
>>959

> >958
> >日高氏が言おうとしているのは、
> z-y=1となるよう定数で割って考える、
> ということでは。
>
> そうです。
で？証明が間違っているのは全く変わらないが。

961: 日高 2020/01/16(木)08:50 ID:D8HUqGB2(2/19) AAS
>952
>1=(z-y)、x^2=(z+y)が出るのはなぜ？

z^2=A、1=B、(z+y)=C、(z-y)=Dとおくと、
AB=CDならば、B=Dのとき、A=Cとなるからです。

>9=(z-y)、x^2/9=(z+y)が出るのはなぜ？
z^2/9=A、9=B、(z+y)=C、(z-y)=Dとおくと、
AB=CDならば、B=Dのとき、A=Cとなるからです。

>x^2=(z+y)(z-y)はx=3,y=4,z=5でもみたすけど
それはどうなるの？

x^2=(z+y)(z-y)はx=3,y=4,z=5でもみたします。
省1

962: 日高 2020/01/16(木)08:54 ID:D8HUqGB2(3/19) AAS
>955
>「あなたの証明の中で実際にやってみる前に」使うことはできない

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

963(1): 日高 2020/01/16(木)09:00 ID:D8HUqGB2(4/19) AAS
>956
>>　x^2=z^2-y^2とx^2×1=z^2-y^2と(x^2/a)×a=z^2-y^2のx,y,zの比は等しい。
この書き方では3組のx,y,zが同じものなのか別のものなのかわからない
同じものならば比が等しいのは当たり前で何も言っていないに等しい
違うものならば例えば最初の式に3,4,5を代入したものと2番目の式に7,8,15を代入したものは比が等しくない
どちらにしても間違っている

>「同じものならば比が等しいのは当たり前で何も言っていないに等しい」

式が違っても、比は等しくなります。

964(2): 日高 2020/01/16(木)09:04 ID:D8HUqGB2(5/19) AAS
>957
>違うものならば例えば最初の式に3,4,5を代入したものと2番目の式に8,15,17を代入したものは比が等しくない

「最初の式に3,4,5を代入したものと2番目の式に8,15,17を代入したものは比が等しくない」

当然です。

965(1): 日高 2020/01/16(木)09:06 ID:D8HUqGB2(6/19) AAS
>960
>で？証明が間違っているのは全く変わらないが。

間違いの理由を、詳しく説明していただけないでしょうか。

966: 2020/01/16(木)09:11 ID:Y47r3R5f(2/9) AAS
>>965

> >960
> >で？証明が間違っているのは全く変わらないが。
>
> 間違いの理由を、詳しく説明していただけないでしょうか。
さんざん指摘してあるのだから、まずはそれに答えろよ。乞食が。

967: 2020/01/16(木)09:11 ID:Y47r3R5f(3/9) AAS
>>964

> >957
> >違うものならば例えば最初の式に3,4,5を代入したものと2番目の式に8,15,17を代入したものは比が等しくない
>
> 「最初の式に3,4,5を代入したものと2番目の式に8,15,17を代入したものは比が等しくない」
>
> 当然です。
馬鹿。

968: 2020/01/16(木)09:11 ID:Y47r3R5f(4/9) AAS
>>963

> >956
> >>　x^2=z^2-y^2とx^2×1=z^2-y^2と(x^2/a)×a=z^2-y^2のx,y,zの比は等しい。
> この書き方では3組のx,y,zが同じものなのか別のものなのかわからない
> 同じものならば比が等しいのは当たり前で何も言っていないに等しい
> 違うものならば例えば最初の式に3,4,5を代入したものと2番目の式に7,8,15を代入したものは比が等しくない
> どちらにしても間違っている
>
> >「同じものならば比が等しいのは当たり前で何も言っていないに等しい」
>
省2

969: 2020/01/16(木)09:14 ID:Y47r3R5f(5/9) AAS
間違いを強弁するのはもうやめろ。

970: 2020/01/16(木)09:16 ID:Y47r3R5f(6/9) AAS
>>964

> >957
> >違うものならば例えば最初の式に3,4,5を代入したものと2番目の式に8,15,17を代入したものは比が等しくない
>
> 「最初の式に3,4,5を代入したものと2番目の式に8,15,17を代入したものは比が等しくない」
>
> 当然です。
その等しくないものを日高が同じと主張してるのだろうが。嘘つきが。

971(2): 日高 2020/01/16(木)09:19 ID:D8HUqGB2(7/19) AAS
【定理】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は、自然数解を持たない。

972(1): 日高 2020/01/16(木)09:20 ID:D8HUqGB2(8/19) AAS
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】p=2なので、z^2-y^2=(z+y)(z-y)と変形できる。
x^2=x^2×1=(x^2/a)×aなので、x^2=z^2-y^2とx^2×1=z^2-y^2と(x^2/a)×a=z^2-y^2のx,y,zの比は等しい。
したがって、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^2=2y+1となる。
x^2=2y+1のxに任意の有理数を代入すると、yは、有理数となる。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。

973(2): 日高 2020/01/16(木)09:25 ID:D8HUqGB2(9/19) AAS
例.
x^2*1=(z+y)(z-y)…(1)
1=(z-y)、x^2=(z+y)より、x^2=2y+1となる。
x=5/3、y=8/9、z=17/9となる。
x^2/9*9=(z+y)(z-y)…(2)
9=(z-y)、x^2/9=(z+y)より、x^2=18y+81となる。
x=15、y=8、z=17となる。
(1)、(2)は、x:y:z=5/3:8/9:17/9=15:8:7となる。

974: 2020/01/16(木)09:34 ID:Y47r3R5f(7/9) AAS
>>971

> 【定理】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は、自然数解を持たない。
指摘無視

975: 2020/01/16(木)09:34 ID:Y47r3R5f(8/9) AAS
>>971

> 【定理】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は、自然数解を持たない。
ごまかし嘘つき

976: 2020/01/16(木)09:34 ID:Y47r3R5f(9/9) AAS
>>973

> 例.
> x^2*1=(z+y)(z-y)…(1)
> 1=(z-y)、x^2=(z+y)より、x^2=2y+1となる。
> x=5/3、y=8/9、z=17/9となる。
> x^2/9*9=(z+y)(z-y)…(2)
> 9=(z-y)、x^2/9=(z+y)より、x^2=18y+81となる。
> x=15、y=8、z=17となる。
> (1)、(2)は、x:y:z=5/3:8/9:17/9=15:8:7となる。
痴呆老人

977(2): 2020/01/16(木)09:38 ID:UCL9+mvh(1) AAS
>>972,973
とりあえずp=2について、
どんなピタゴラス数も、適当な数で割ることにより、
1=(z-y)
にできるって事だよね。
それってすごい事なのかなあ？

978(1): 日高 2020/01/16(木)09:50 ID:D8HUqGB2(10/19) AAS
>977
>とりあえずp=2について、
どんなピタゴラス数も、適当な数で割ることにより、
1=(z-y)
にできるって事だよね。
それってすごい事なのかなあ？

すごい事ではありませんが、ピタゴラス数の計算が、簡単になります。

979(2): 2020/01/16(木)11:00 ID:b5IBvfX/(1/10) AAS
>>978

> >977
> >とりあえずp=2について、
> どんなピタゴラス数も、適当な数で割ることにより、
> 1=(z-y)
> にできるって事だよね。
> それってすごい事なのかなあ？
>
> すごい事ではありませんが、ピタゴラス数の計算が、簡単になります。
簡単になってません。

980(2): 2020/01/16(木)11:02 ID:b5IBvfX/(2/10) AAS
根拠なしに嘘を強弁するのはもうやめろ。

981(2): 日高 2020/01/16(木)11:27 ID:D8HUqGB2(11/19) AAS
>979
>> すごい事ではありませんが、ピタゴラス数の計算が、簡単になります。
簡単になってません。

x^2=2y+1のxに、任意の有理数を代入すればよいです。

982(1): 日高 2020/01/16(木)11:29 ID:D8HUqGB2(12/19) AAS
>980
>根拠なしに嘘を強弁するのはもうやめろ。

根拠は、あります。

983(2): 日高 2020/01/16(木)11:31 ID:D8HUqGB2(13/19) AAS
【定理】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は、自然数解を持たない。

984(1): 日高 2020/01/16(木)11:32 ID:D8HUqGB2(14/19) AAS
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】p=2なので、z^2-y^2=(z+y)(z-y)と変形できる。
x^2=x^2×1=(x^2/a)×aなので、x^2=z^2-y^2とx^2×1=z^2-y^2と(x^2/a)×a=z^2-y^2のx,y,zの比は等しい。
したがって、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^2=2y+1となる。
x^2=2y+1のxに任意の有理数を代入すると、yは、有理数となる。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。

985(1): 日高 2020/01/16(木)11:33 ID:D8HUqGB2(15/19) AAS
例.
x^2*1=(z+y)(z-y)…(1)
1=(z-y)、x^2=(z+y)より、x^2=2y+1となる。
x=5/3、y=8/9、z=17/9となる。
x^2/9*9=(z+y)(z-y)…(2)
9=(z-y)、x^2/9=(z+y)より、x^2=18y+81となる。
x=15、y=8、z=17となる。
(1)、(2)は、x:y:z=5/3:8/9:17/9=15:8:7となる。

986(2): 2020/01/16(木)12:01 ID:b5IBvfX/(3/10) AAS
>>981

> >979
> >> すごい事ではありませんが、ピタゴラス数の計算が、簡単になります。
> 簡単になってません。
>
> x^2=2y+1のxに、任意の有理数を代入すればよいです。
簡単になってないじゃん。過去の指摘通り。嘘つき。

987(2): 2020/01/16(木)12:03 ID:b5IBvfX/(4/10) AAS
>>982

> >980
> >根拠なしに嘘を強弁するのはもうやめろ。
>
> 根拠は、あります。
過去根拠が示されたことはない。全て日高の思い込みのみ。結果が正しかろうが間違っていようが、根拠なし。嘘つき。

988: 2020/01/16(木)12:03 ID:b5IBvfX/(5/10) AAS
>>983

> 【定理】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は、自然数解を持たない。
ゴミ

989: 2020/01/16(木)12:03 ID:b5IBvfX/(6/10) AAS
>>984

> 【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
> 【証明】p=2なので、z^2-y^2=(z+y)(z-y)と変形できる。
> x^2=x^2×1=(x^2/a)×aなので、x^2=z^2-y^2とx^2×1=z^2-y^2と(x^2/a)×a=z^2-y^2のx,y,zの比は等しい。
> したがって、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^2=2y+1となる。
> x^2=2y+1のxに任意の有理数を代入すると、yは、有理数となる。
> ∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
省1

990: 2020/01/16(木)12:03 ID:b5IBvfX/(7/10) AAS
>>985

> 例.
> x^2*1=(z+y)(z-y)…(1)
> 1=(z-y)、x^2=(z+y)より、x^2=2y+1となる。
> x=5/3、y=8/9、z=17/9となる。
> x^2/9*9=(z+y)(z-y)…(2)
> 9=(z-y)、x^2/9=(z+y)より、x^2=18y+81となる。
> x=15、y=8、z=17となる。
> (1)、(2)は、x:y:z=5/3:8/9:17/9=15:8:7となる。
ゴミ

991(2): 2020/01/16(木)13:38 ID:oCDhp7+B(2/2) AAS
「となる」の意味、間違えているよ。

992(2): 2020/01/16(木)14:26 ID:b7/ZE+wi(1) AAS
>>983
> 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}とz^p=(x+y)を共に満たす有理数は、(x,y)=(0,1)、(x,y)=(1,0)のみである。

ここの証明は？

993(3): 2020/01/16(木)16:20 ID:MhHdUDUO(1) AAS
日高っち！ｶﾞﾝｶﾞﾚ〰！

994(1): 日高 2020/01/16(木)18:01 ID:D8HUqGB2(16/19) AAS
>991
>「となる」の意味、間違えているよ。

正しい言い方を教えていただけないでしょうか。

995: 日高 2020/01/16(木)18:08 ID:D8HUqGB2(17/19) AAS
>992
>> 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}とz^p=(x+y)を共に満たす有理数は、(x,y)=(0,1)、(x,y)=(1,0)のみである。

ここの証明は？
1={x^(p-1)-x^(p-2)y+…+y^(p-1)}を満たす有理数は、
{x^(p-1)-x^(p-2)y+…+y^(p-1)}=(x^p+y^p)/(x+y)なので、(x,y)=(0,1)、(x,y)=(1,0)
(x,y)=(1,1)のみである。
(x,y)=(1,1)は、z^p=(x+y)を満たさない。

996(1): 日高 2020/01/16(木)18:10 ID:D8HUqGB2(18/19) AAS
>986
>> x^2=2y+1のxに、任意の有理数を代入すればよいです。
簡単になってないじゃん。過去の指摘通り。嘘つき。

これより、簡単な方法があるでしょうか？

997(1): 日高 2020/01/16(木)18:17 ID:D8HUqGB2(19/19) AAS
>987
>> >根拠なしに嘘を強弁するのはもうやめろ。
>
> 根拠は、あります。
過去根拠が示されたことはない。全て日高の思い込みのみ。結果が正しかろうが間違っていようが、根拠なし。嘘つき。

984番を見て下さい。

998: 2020/01/16(木)18:44 ID:b5IBvfX/(8/10) AAS
>>997

> >987
> >> >根拠なしに嘘を強弁するのはもうやめろ。
> >
> > 根拠は、あります。
> 過去根拠が示されたことはない。全て日高の思い込みのみ。結果が正しかろうが間違っていようが、根拠なし。嘘つき。
>
> 984番を見て下さい。
根拠になってない。以上。ゴミ。

999: 2020/01/16(木)18:45 ID:b5IBvfX/(9/10) AAS
>>996

> >986
> >> x^2=2y+1のxに、任意の有理数を代入すればよいです。
> 簡単になってないじゃん。過去の指摘通り。嘘つき。
>
> これより、簡単な方法があるでしょうか？
過去指摘されてた。無視した訳だな。

1000: 2020/01/16(木)18:47 ID:b5IBvfX/(10/10) AAS
>>994

> >991
> >「となる」の意味、間違えているよ。
>
> 正しい言い方を教えていただけないでしょうか。
何故自分で勉強しないのか。

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

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

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

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

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

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

ぬこの手ぬこTOP 0.057s