>441
3≠a^2でもy^3-1≠b^2+abだったらxは有理数となる可能性があるだろ

y^3-1≠b^2+√3bとなるので、
xは有理数となりません。