第四讲 矩阵的对角化与二次型 · 4.13 实对称矩阵的特征值与特征向量的性质