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