>301
(4)が有理数解を持つのは(3)のx,yが無理数の場合であるので
(3)のyを有理数とすることに意味はない
(3)の解はyが有理数のものだけではないので(3)の解を正しく選択しないと証明にならない

(3)のx,y,zが無理数で、整数比となるときは、s^3+t^3=u^^3となります。
(s,t,uは有理数）