证明:若A和B都是n阶对称矩阵,则AB是对称矩阵的充要条件是A与B可交换