7.1 Diagonalization of symmetric matrices (对称矩阵的对角化)