よって
> x,yが有理数で成り立つならば、整数でも成り立つので、整数で検討する。

は間違い

有理数解があるならば、整数解があるという意味です。
x=b/aで成立するならば、a=1でも成立します。