No integer solutions to y cubed equals x squared plus thirty

ID: no-integer-solutions-to-y-cubed-equals-x-squared-plus-thirty

The equation has no integer solutions. Work in the ring of integers for . If a rational prime divides both and thirty, it divides , and the valuation of is one because thirty is squarefree, contradicting the valuation of a cube. Thus . The two principal ideals are coprime: any common prime ideal lies above a prime dividing both and . Their product is , so unique prime ideal factorization gives . The Ideal class group of Q of square root minus thirty has exponent two, forcing to be principal. The only units are and both are cubes, so for integers . Comparison of the coefficient of gives , impossible modulo three.

New to topics? Read the docs here!