>Eが有理数解を持たないこと
X:Y:Z=x:y:zとなるので、x,y,zが有理数とならないならば、X,Y,Zも有理数となりません。
>この主張は間違っています。

理由を教えて下さい。