フェルマーの最終定理の簡単な証明

[1 日高 2019/09/23(月) 09:33:36.12 ID:HXbAy1I+]

pが奇素数のとき、x^p+y^p=z^pは自然数解を持たない。
x^p+y^p=z^pをz=x+rとおいて、x^p+y^p=(x+r)^pとする。
r=p^{1/(p-1)}となるので、x^p+y^p=(x+p^{1/(p-1)})^p=z^pとなる。
xを有理数とすると、zは無理数となる。
∴x^p+y^p=z^pは自然数解を持たない。

[2 １３２人目の素数さん 2019/09/23(月) 09:50:21.96 ID:VWfXQ97t]

ファルマーの冒険って小説なかったっけ？