请问实对称矩阵用非正交矩阵对角化,所得对角矩阵的对角元素是否是特征值?