展开 对称矩阵必然可以对角化,且总存在正交矩阵吗