[過去ﾛｸﾞ] フェルマーの最終定理の簡単な証明4 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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となる。
上下前次1-新書関写板覧索設栞歴
あと 70 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s