discriminant of cubic polynomial into matrix form
Source: 2017 South Korea USCM P4
August 15, 2020
algebrapolynomiallinear algebramatrixcollege contests
Problem Statement
For a real coefficient cubic polynomial , denote three roots of the equation by . Prove that the three roots are distinct real numbers iff the real symmetric matrix
\begin{pmatrix} 3 & p_1 & p_2 \\ p_1 & p_2 & p_3 \\ p_2 & p_3 & p_4 \end{pmatrix}, p_i = \alpha^i + \beta^i + \gamma^i
is positive definite.