This is another question related to the mysterious properties of the Gram matrix in dimension $4$. Here's the previous question.

The following fact could be extracted from 0402087:

For any $a_i\neq 0$ a polynomial



has a nonzero double root if and only if Gram determinant

$$ \begin{vmatrix} 1 & -\frac{a_1+\frac{1}{a_1}}{2}& -\frac{a_2+\frac{1}{a_2}}{2}&-\frac{a_3+\frac{1}{a_3}}{2} \\ -\frac{a_1+\frac{1}{a_1}}{2} & 1 &-\frac{a_6+\frac{1}{a_6}}{2}&-\frac{a_5+\frac{1}{a_5}}{2}\\ -\frac{a_2+\frac{1}{a_2}}{2} & -\frac{a_6+\frac{1}{a_6}}{2} & 1&-\frac{a_4+\frac{1}{a_4}}{2}\\ -\frac{a_3+\frac{1}{a_3}}{2} & -\frac{a_5+\frac{1}{a_5}}{2} & -\frac{a_4+\frac{1}{a_4}}{2} & 1\\ \end{vmatrix} $$


Question: How to prove it? I was able only to verify it in Maple.



Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.