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