Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2010/ii/paper-4/20g/solution

A rational root of the monic cubic would be one of , and substitution excludes all four. A reducible cubic over would have a rational root, so the polynomial is irreducible and
Its polynomial discriminant is . The integer 239 is prime: it has no prime divisor among , the primes not exceeding its square root.
The discriminant-index formula for an integral lattice for an integral primitive element is
Both discriminants are integers, and the left side is . Its squarefreeness forces the positive index to be one. Since is an algebraic integer by its monic equation,

New to topics? Read the docs here!