原文:线性代数 5.4.3 实对称矩阵的相似对角化