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

>529
> r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…(2)となる。
を見るとr^(p-1)=pだと思い込むらしい。
> (2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
同氏は「のとき」と「かつ」の区別がつかないから、ああなる。


「のとき」と「かつ」の区別に、関係なく、
(2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となります。