>21
そうしたら(4)のx,y,zは自然数比だからyも有理数になるはずでしょう？

(3)の解が有理数とならないので、(4)の解のyも、有理数となりません。