对称矩阵相似,则它们都正交相似于同一个对角矩阵
所以它们合同于同一个对角矩阵
所以它们合同 (合同有传递性)