By orthogonal diagonalization of the positive-definite symmetric matrix , form its positive symmetric inverse square root . Then , and is real symmetric. Let have an orthonormal eigenbasis of as its columns, so . Taking gives
Both factors of are invertible. This proves the simultaneous congruence diagonalization with a positive form by an explicit construction; it is congruence rather than simultaneous similarity.
To find the entries without constructing , take determinants in
Since , the entries are precisely the roots, with multiplicity, of . Equivalently they are the eigenvalues of , although that matrix need not itself be symmetric.
For the given , its leading principal minors are , so it is positive definite. Expanding the determinant gives
Thus the diagonal entries, in any order, are