§5.4 实对称矩阵对角化