>>131

> >129
> x^p+y^p=(x+(ap)^{1/(p-1)})^p…(4)となる場合がある、ただしならない場合もある。
>
> だったら証明にならない、ということはわかるかな。
>
> (ap)^{1/(p-1)}が有理数にならない場合は、x,y,zは、有理数となりません。

なるのかならないのかを断言できなければ、それはなにも言っていないのと同じですから、それ以降は証明として成り立たなくなりますね。
「存在する」と修正された通り、「となる場合がある、ただしならない場合もある」を「となる」と書かなければよいだけです。