Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/ii/paper-3/18j/c/solution

Squaring and eliminating the inner radical gives
Thus are roots of
and are roots of
Both polynomials are irreducible by the Eisenstein criterion at , so these are the four minimal polynomials over .
Over , the relevant radicands are
The norms of and to equal , so neither can be a square in . Also with would force , followed by either or , both impossible. Thus is not a square either.
Similarly, over the radicands and have nonsquare norm , while would force either or . Hence is not a square in . Both extensions therefore satisfy all the hypotheses of part (b).

New to topics? Read the docs here!