请教关于实对称矩阵相似于对角矩阵
老师您好,看了同济教材关于 实对称矩阵相似于对角矩阵的证明 但感觉书上并没有证明对角矩阵唯一且元是特征值,请问该怎么证