>>895

x^2+y^2=(x+2)^2…(3)
x^2+y^2=(x+√3)^2…(5)

s,t,uが有理数、wが無理数の時、
(3)にx=s,y=t,z=uの害が存在しますが、(3)にx=sw,y=tw,z=uwの解は存在しません。
(5)にx=s,y=t,z=uの解は存在しませんが、(5)にx=sw,y=tw,z=uwの解は存在します。

> x=s,y=t,z=uの解が存在するならば、x=sw,y=tw,z=uwの解が存在します。

は間違っています。

(5)にx=12,y=5の解が存在しないがx=12ｗ、y=5wの解が存在するのと同じように、
(3)にx=s,y=tの解が存在しないがx=sｗ、y=twの解が存在する可能性があります。