[戻]-50544/親
フェルマーの最終定理の証明
日高
【定理】n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【証明】x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(1)とする。
(1)をr^(n-1){(y/r)^n-1}=an{x^(n-1)+…+r^(n-2)x}(1/a)…(2)と変形する。
(2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
(2)はa=1以外、r^(n-1)=anのとき、x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)となる。
(3)はrが無理数なので、有理数解を持たない。(4)の解は(3)の解のa^{1/(n-1)}倍となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【定理】n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2x(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)はrが有理数なので、有理数解を持つ。(4)の解は(3)の解のa倍となる。
11/14 09:36
[編|消]
ﾚｽを書く
1番最初のﾚｽ
|次ﾚｽ5>
ﾚｽ古い順
▽ﾚｽ(6)1-5
No50556
Re[6]: フェルマーの最終定理の�..
屁留真亜
(11/18 13:14)
No50555
Re[5]: フェルマーの最終定理の�..
らすかる
(11/17 23:23)
No50552
Re[4]: フェルマーの最終定理の�..
日高
(11/17 20:13)
No50551
Re[3]: フェルマーの最終定理の�..
らすかる
(11/17 12:53)
No50550
Re[2]: フェルマーの最終定理の�..
日高
(11/17 09:43)
|次ﾚｽ5>
Child K-Tai