>577
x,yは、共に有理数となりませんので
有理数解があるはずだ

という推論は明らかに間違っています。

違います。
x,yは、共に有理数とならないので、(3)に有理数解はない。
です。