[戻]-52702/親
フェルマーの最終定理の証明
与作
※X^n+Y^n=Z^nのnは、4または奇素数の倍数なので、4と奇素数の場合を考える。
※AB=CDが成り立つならば、A=kCのとき、B=D/kとなる。(A,B,C,Dは式)
n=4のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^4+Y^4=Z^4をy^4=(x+1)^4-x^4…(1)とおく。(y,xは有理数)
(1)を(y-1)(y^3+y^2+y+1)=4(x^3+(3/2)x^2+x)…(2)とおく。
(2)は(y-1)=4のとき、xに4および、6を代入しても、成り立たない。
よって、(y-1)=k4のとき、(y^3+y^2+y+1)=(x^3+(3/2)x^2+x)/kとならない。
∴n=4のとき、X^n+Y^n=Z^nは自然数解を持たない。
nが奇素数のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^n+Y^n=Z^nをy^n=(x+1)^n-x^n…(1)とおく。(y,xは有理数)
(1)を(y-1)(y^(n-1)+…+y+1)=n(x^(n-1)+…+x)…(2)とおく。
(2)は(y-1)=nのとき、左辺は奇数、右辺は偶数となるので、成り立たない。
よって、(y-1)=knのとき、(y^(n-1)+…+y+1)=(x^(n-1)+…+x)/kとならない。
∴nが奇素数のとき、X^n+Y^n=Z^nは自然数解を持たない。
03/04 13:39
[編|消]
ﾚｽを書く
1番最初のﾚｽ
|次ﾚｽ5>
ﾚｽ古い順
▽ﾚｽ(65)1-5
No52783
Re[29]: フェルマーの最終定理の..
与作
(03/19 23:21)
No52782
Re[28]: フェルマーの最終定理の..
与作
(03/19 23:20)
No52781
Re[5]: フェルマーの最終定理の�..
与作
(03/19 23:19)
No52779
Re[29]: フェルマーの最終定理の..
与作
(03/19 15:50)
No52778
Re[28]: フェルマーの最終定理の..
与作
(03/19 15:50)
|次ﾚｽ5>
Child K-Tai