证明矩阵A和B对称的充分必要条件是AB=BA