Hermitian form/Characteristic polynomial/Real/Exercise

Let ${}\Psi$ be an hermitian form with the Gram matrix ${}G$ (with respect to a given basis). Show that the characteristic polynomial of ${}G$ has real coefficients.

Create a solution