[過去ﾛｸﾞ] フェルマーの最終定理の簡単な証明4 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
167(2): 2019/12/23(月)00:04:14.06 ID:4FcTgt+Y(1/2) AAS
>>166
たぶん意味が通じていません。
>>1 日高
> したがって、z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(1)となる。
> (1)の左辺の右側と右辺の右側は等しいので、1={x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)となる。
において(1)を
z^1*z^(p-1)=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}
z^2*z^(p-2)=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}
...
z^(p-2)*z^2=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}
省3
215: 日高 2019/12/23(月)21:18:53.06 ID:ApwmpHz4(28/29) 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)}と変形できる。
{x^(p-1)-x^(p-2)y+…+y^(p-1)}=1…(1)とおく。
(1)の自然数解は、x=1、y=1のみである。
x^p+y^p=z^pなので、z^p=(x+y)…(2)となる。
(2)に、x=1、y=1を代入すると、z^p=2となる。zは自然数とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
670(1): 2019/12/30(月)16:31:10.06 ID:go0eepce(10/15) AAS
>>668
それでは、証明に書いてある「(左辺の右側)=(右辺の右側)となるので」は間違いで
「右辺の右側は、式なので」が正しいということですね。
間違いが書いてあるので>>665-666の証明は間違いです。
735(1): 日高 2020/01/10(金)20:49:03.06 ID:ojAexXlb(3/10) AAS
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】p=2なので、z^2-y^2=(z+y)(z-y)と変形できる。
したがって、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は、自然数解を持つ。
879: 日高 2020/01/14(火)07:47:46.06 ID:8O8IjhZw(1/8) AAS
>877
>2=Dだろうがなかろうがz^p=z^p*1=(z^p/2)*2だけどそれが証明にどう組み込まれるのですか？
したがって、(z^p/2)×2=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}となる。
となります。
932(3): 日高 2020/01/15(水)20:18:26.06 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-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s