>>151
成り立つかどうか問題になるのは(sw,tw,uw)[これが(3)の解]ではなくて，(s,t,u)が(3)の解であるかどうかでしょう。
sw-uw=(s-u)w=√3であって，w≠1ならばs-u≠√3。
これは(s,t,u)が(3)の解ではないことを示す。∵(3)の解はz-x=√3でなければならないから

>w=√3、(u-s)=1ならば、成り立ちます。

これは(3)の解である(sw,tw,uw)の一例であるから，成り立つのは当然。
問題は(s,t,u)が(3)の解であるかどうかであり，前述の通り(3)の解ではない。

(s,t,u)にはwを含んでいません。
勝手に付け加えてはいけません。