やさしいフェルマーの最終定理の証明

957: 日高 2020/12/31(木)14:37 ID:I7OiRC9L(39/50) AAS
【定理】x^2+y^2=z^2は自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2{x}(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)のx,y,zが有理数で、整数比となるならば、x,y,zが無理数でも、整数比となる。
(3)はyを有理数とすると、xは有理数となるので、x,y,zは整数比となる。
(4)のx,y,zは、(3)のx,y,zのa倍となるので、整数比となる。
∴n=2のとき、x^2+y^2=z^2は自然数解を持つ。

958: 日高 2020/12/31(木)14:43 ID:I7OiRC9L(40/50) AAS
【定理】x^2+y^2=z^2は自然数解を持つ。

x^2+y^2=(x+2)^2…(3)のyに13/2を代入する。
x=153/16,y=13/2,z=185/16
分母を払うと、ピタゴラス数、153,104,185となる

959: 日高 2020/12/31(木)14:44 ID:I7OiRC9L(41/50) AAS
【定理】x^3+y^3=z^3は自然数解を持たない。
【証明】x^3+y^3=z^3を、z=x+rとおいてx^3+y^3=(x+r)^3…(1)とする。
(1)をr^2{(y/r)^3-1}=a3{x^2+rx}(1/a)…(2)と変形する。
(2)はa=1、r^2=3のとき、x^3+y^3=(x+√3)^3…(3)となる。
(2)はa=1以外、r^2=a3のとき、x^3+y^3=(x+√(a3))^3…(4)となる。
(3)のx,y,zが無理数で、整数比となるならば、x,y,zが有理数でも、整数比となる。
(3)はyを有理数とすると、xは無理数となるので、x,y,zは整数比とならない。
(4)のx,y,zは、(3)のx,y,zの√a倍となるので、整数比とならない。
∴x^3+y^3=z^3は自然数解を持たない。

960: 日高 2020/12/31(木)14:46 ID:I7OiRC9L(42/50) AAS
【定理】x^3+y^3=z^3は自然数解を持たない。

x^3+y^3=(x+√(a3))^3…(4)の、z,xを有理数とすると、yは、無理数となる。
理由:(3)のx,yが整数比とならないので、(4)のx,yも整数比とならない。

961: 日高 2020/12/31(木)14:47 ID:I7OiRC9L(43/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は自然数解を持たない。

962: 日高 2020/12/31(木)14:48 ID:I7OiRC9L(44/50) AAS
【定理】x^7+y^7=z^7は自然数解を持たない。

x^7+y^7=(x+(a7)^{1/6})^7…(4)の、z,xを有理数とすると、yは、無理数となる。
理由:(3)のx,yが整数比とならないので、(4)のx,yも整数比とならない。

963: 2020/12/31(木)14:51 ID:xCj4yihs(409/414) AAS
また、

964: 2020/12/31(木)14:51 ID:xCj4yihs(410/414) AAS
始めましたな（笑）

965: 2020/12/31(木)14:52 ID:xCj4yihs(411/414) AAS
あとは

966: 2020/12/31(木)14:52 ID:xCj4yihs(412/414) AAS
ご自分で

967: 2020/12/31(木)14:52 ID:xCj4yihs(413/414) AAS
一気に

968: 日高 2020/12/31(木)17:41 ID:I7OiRC9L(45/50) AAS
【定理】x^2+y^2=z^2は自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2{x}(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)のx,y,zが有理数で、整数比となるならば、x,y,zが無理数でも、整数比となる。
(3)はyを有理数とすると、xは有理数となるので、x,y,zは整数比となる。
(4)のx,y,zは、(3)のx,y,zのa倍となるので、整数比となる。
∴n=2のとき、x^2+y^2=z^2は自然数解を持つ。

969: 日高 2020/12/31(木)17:42 ID:I7OiRC9L(46/50) AAS
【定理】x^2+y^2=z^2は自然数解を持つ。

x^2+y^2=(x+2)^2…(3)のyに13/2を代入する。
x=153/16,y=13/2,z=185/16
分母を払うと、ピタゴラス数、153,104,185となる

970: 日高 2020/12/31(木)17:45 ID:I7OiRC9L(47/50) AAS
【定理】x^3+y^3=z^3は自然数解を持たない。
【証明】x^3+y^3=z^3を、z=x+rとおいてx^3+y^3=(x+r)^3…(1)とする。
(1)をr^2{(y/r)^3-1}=a3{x^2+rx}(1/a)…(2)と変形する。
(2)はa=1、r^2=3のとき、x^3+y^3=(x+√3)^3…(3)となる。
(2)はa=1以外、r^2=a3のとき、x^3+y^3=(x+√(a3))^3…(4)となる。
(3)のx,y,zが無理数で、整数比となるならば、x,y,zが有理数でも、整数比となる。
(3)はyを有理数とすると、xは無理数となるので、x,y,zは整数比とならない。
(4)のx,y,zは、(3)のx,y,zの√a倍となるので、整数比とならない。
∴x^3+y^3=z^3は自然数解を持たない。

971: 日高 2020/12/31(木)17:46 ID:I7OiRC9L(48/50) AAS
【定理】x^3+y^3=z^3は自然数解を持たない。

x^3+y^3=(x+√(a3))^3…(4)の、z,xを有理数とすると、yは、無理数となる。
理由:(3)のx,yが整数比とならないので、(4)のx,yも整数比とならない。

972: 日高 2020/12/31(木)17:47 ID:I7OiRC9L(49/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は自然数解を持たない。

973: 日高 2020/12/31(木)17:49 ID:I7OiRC9L(50/50) AAS
【定理】x^7+y^7=z^7は自然数解を持たない。

x^7+y^7=(x+(a7)^{1/6})^7…(4)の、z,xを有理数とすると、yは、無理数となる。
理由:(3)のx,yが整数比とならないので、(4)のx,yも整数比とならない。

974: 2020/12/31(木)18:43 ID:xCj4yihs(414/414) AAS
また、次スレで会いましょうw

975: 日高 2020/12/31(木)21:40 ID:f068YA4E(1/2) AAS
【定理】x^13+y^13=z^13は自然数解を持たない。
【証明】x^13+y^13=z^13を、z=x+rとおいてx^13+y^13=(x+r)^13…(1)とする。
(1)をr^12{(y/r)^13-1}=a13{x^12+…+(r^11)x}(1/a)…(2)と変形する。
(2)はa=1、r^12=13のとき、x^13+y^13=(x+13^{1/12})^13…(3)となる。
(2)はa=1以外、r^12=a13のとき、x^13+y^13=(x+(a13)^{1/12})^13…(4)となる。
(3)のx,y,zが無理数で、整数比となるならば、x,y,zが有理数でも、整数比となる。
(3)はyを有理数とすると、xは無理数となるので、x,y,zは整数比とならない。
(4)のx,y,zは、(3)のx,y,zのa^{1/12}倍となるので、整数比とならない。
∴x^13+y^13=z^13は自然数解を持たない。

976: 日高 2020/12/31(木)21:42 ID:f068YA4E(2/2) AAS
【定理】x^13+y^13=z^13は自然数解を持たない。

x^13+y^13=(x+(a13)^{1/12})^13…(4)の、z,xを有理数とすると、yは、無理数となる。
理由:(3)のx,yが整数比とならないので、(4)のx,yも整数比とならない。

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

あと 26 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.033s