もしも (y-1)=k4 と (y^3+y^2+y+1)=(x^3+(3/2)x^2+x)/k が両方成り立つと、矛盾が出ますか？

有理数解が存在することになります。