怎么证明几个矩阵相乘 (里面有一个是对称阵) 是对称阵