>662
(3)の無理数解の定数倍がともに有理数になる場合が考えられるのでは。

その場合は、(3)のx,y,zは、有理数となります。