>514
>x にどんな有理数を代入しても y は有理数、
ってのは正しいけど、
そこから自然数解を持つってとこに穴があるんだけど

理由を教えていただけないでしょうか。