[過去ログ] やさしいフェルマーの最終定理の証明 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
641(1): 日高 2020/12/31(木)07:08 ID:I7OiRC9L(13/50) AAS
【定理】x^7+y^7=z^7は自然数解を持たない。
【証明】x^7+y^7=z^7を、z=x+rとおいてx^7+y^7=(x+r)^7…(1)とする。
(1)をr^6{(y/r)^7-1}=a7{x^6+…+(r^5)x}(1/a)…(2)と変形する。
(2)はa=1、r^6=7のとき、x^7+y^7=(x+7^{1/6})^7…(3)となる。
(2)はa=1以外、r^6=a7のとき、x^7+y^7=(x+(a7)^{1/6})^7…(4)となる。
(3)のx,y,zが無理数で、整数比となるならば、x,y,zが有理数でも、整数比となる。
(3)はyを有理数とすると、xは無理数となるので、x,y,zは整数比とならない。
(4)のx,y,zは、(3)のx,y,zのa^{1/6}倍となるので、整数比とならない。
∴x^7+y^7=z^7は自然数解を持たない。
645: 2020/12/31(木)07:09 ID:xCj4yihs(121/414) AAS
>641を
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.603s*