最短フェルマーの最終定理の証明

>322
156 = x^3+(3/2)x^2+x にも 20 = x^3+(3/2)x^2+x にも y は含まれません。
なぜ y が出てくるのですか？

問題は、xが有理数のとき、成り立つかどうかです。