社AB为同阶对称矩阵,证明AB BA是对称矩阵