§5.4 实对称矩阵的对角化