设A,B是同阶对称矩阵,证明AB是对称矩阵当且仅当A,B可交换