因为n阶对称矩阵必可对角化,对角化的条件就是有n个线性无关的特征向量,因此实对称矩阵特征值的重数和与之对应的线性无关的特征向量的个数相等n阶实对称才必可对角化，用反证法