初等数学によるフェルマーの最終定理の証明９

日高 · 2023/11/09(木) 21:43:38.78

nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。yは整数,mは有理数とする。
2^n=(t+1)^n-t^n…(2)のtは無理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは無理数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
(3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
整理すると、(2^n)k={(t+1)^n}k-(t^n)kとなる。
(t^n)kは無理数なので、xは無理数となる。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。

日高 · 2023/11/15(水) 19:02:32.31

n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。yは整数,mは有理数とする。
2^n=(t+1)^n-t^n…(2)のtは有理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
(3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
整理すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
よって、M=xとなりえるる。
∴n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。

日高 · 2023/11/15(水) 19:05:24.57

nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。
x^n+y^n=z^nをy^n=(x+m)^n-x^n…(1)と変形する。yは整数,mは有理数とする。
2^n=(t+1)^n-t^n…(2)のtは無理数となる。
(1)は(2^n)k=[{(t+1)^n}k+u]-{(t^n)k+u}…(3)となる。k=(y/2)^n,uは実数。
{(t^n)k+u}=M^nとなるのは、u=M^n-(t^n)kのときのみである。Mは有理数。
(3)に代入すると、(2^n)k=[{(t+1)^n}k+M^n-(t^n)k]-M^nとなる。
整理すると、(2^n)k={(t+1)^n}k-(t^n)kとしかならない。
(t^n)kは無理数なので、xは無理数となる。
∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。