设A.B都是n阶矩阵,证明AB是对称阵的充要条件是AB=BA