>445
x は有理数とおいています。

この場合は(y-1)=3とするので、yは整数、よって、xも整数となります。