因数分解によるフェルマーの最終定理の証明

[0050 日高 2020/10/18(日) 09:12:14.39 ID:sZspxjIH]

>34
証明に必要になのは(3)はp^{1/(p-1)}が無理数なのでまずはyに無理数を代入すること

(修正５)で、
(3)のx,yが無理数のときは、s^p+t^p=(s+(p^{1/(p-1)})/w}^p…(3')となる。(s,tは有理数、wは無理数)
としています。