两个矩阵正交相似有什么性质