>>696修正します。

x,yは有理数,r^(n-1)=nのとき、zは無理数です。
(3)にx,yが有理数、zが無理数の解がないことは、x、y、zが有理数比の解がないことの証明になりません。解の比が違うから。