>182
「方程式 x^2+y^2=(ｘ+√3)^2=z^2を満たす(x,y,z)=(s,t,u)が存在しない」ならば
「(x,y,z)=(sw,tw,uw)が方程式 x^2+y^2=(ｘ+√3)^2=z^2を満たさない」ことは
上の例に見るように，「等式の同値変形によって明らか」ではありません。

「(x,y,z)=(sw,tw,uw)が方程式 x^2+y^2=(ｘ+√3)^2=z^2を満たす。」ので、
「方程式 x^2+y^2=(x+2)^2=z^2を満たす(x,y,z)=(s,t,u)が存在します。」