>>603
> (3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のときに整数比となります。

それは明確に間違っています。
方程式(3)の解(x,y,z)が無理数で整数比をなしていても、(3)の有理数解(x,y,z)は存在しません。
理由がわかりますか？