>>70
>はい。

では次に進みます。
今まで通り、s,t,uを正の有理数、wを正の無理数、nを3以上の整数とします。

日高さんの主張は
「(3)のyが無理数のとき、x,y,zが整数比となるならば、(3)のyが有理数のときに整数比となる」>>603
これを言い換えると
「(x,y,z)=(sw,tw,uw)が方程式(3)を満たすとき、
(x,y,z)=(s,t,u)も方程式(3)を満たす」となる>>895
実際に代入すると
「(sw)^n +(tw)^n=(uw)^n とuw-sw=n^{1/(n-1)}の両方が成立する」とき「s^n +t^n=u^n とu-s=n^{1/(n-1)}の両方が成立する」>>70

ところが最後の結論であるu-s=n^{1/(n-1)}は絶対に成り立ちません。(等式が成立するs,u,nの組は存在しません)なぜなら、左辺は有理数、右辺は無理数になるからです。
ここまでご理解いただけましたか?
はい/いいえ でお答えください。