Past exam of the mathematics course of the University of Cambridge 2002 ib Paper 1 17F Solution Created 2026-09-24 Updated 2026-10-14
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 givesBoth 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 inSince , 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 givesThus the diagonal entries, in any order, are