AB都是n×n阶的对称矩阵,证明aAB也对称当且仅当AB可交换