soit A une matrice symétrique réelle définie positive.
Soit B une matrice symétrique réelle.
Il existe une matrice P inversible de GL(E) telle que t(P)AP = I et telle que t(P)BP est diagonale, ou t(P) désigne la transposée de P.
Référence : Algèbre Bilinéaire, COGNET, prop. 3.2.4 p169