实对称阵有r个相同的特征值,如何证明对于该特征值一定存在r个线性无关的特征向量