>82
(3)のyが有理数であるとしたら(3)の全ての解を表していないだろ

(3)のyが有理数のとき、x,zが有理数とならないことを、示しています。