A,B均为n阶对称矩阵,则AB对称充分必要条件AB=BA