>941
だから、有理数解同士は比較できない。ゴミは消えろ。
x,y,zは有理数という条件をはずせば話は別。

(3)が有理数で、成立しないならば、
(4)も有理数で、成立しません。