5.2.2 对称矩阵的对角化