Solution

ID: past-exam-of-the-number-theory-course-of-the-university-of-oxford/2009/a/1/b/solution

The discriminant is a symmetric polynomial in the four roots, so the Fundamental theorem of symmetric polynomials expresses it polynomially in the elementary symmetric polynomial. For this depressed quartic they are , , . Scaling each root by multiplies the discriminant by , while scale by . Thus only weighted-degree-twelve monomials can appear, giving .
For , use and the monic discriminant identity . At this gives , so . For , the roots are zero together with those of . The cubic's discriminant is . The extra squared differences from zero multiply this by , giving . Hence
These computations are polynomial identities, so they extend to parameter values with repeated roots as well.

New to topics? Read the docs here!