Discriminant of symmetric matrices as a sum of squares and the orthogonal group

M. Domokos

It is proved that the discriminant of $n\times n$ real symmetric matrices can be written as a sum of squares, where the number of summands equals the dimension of the space of $n$-…