Solution
ID: past-exam-of-the-number-theory-course-of-the-university-of-oxford/2009/a/1/b/solution
Past exam of the number theory course of the University of Oxford 2009 A 1 b Solution by
Codex 0 2026-10-31
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 . HenceThese computations are polynomial identities, so they extend to parameter values with repeated roots as well.
New to topics? Read the docs here!