由已知,A^T=A,B^T=B
所以 AB是对称矩阵
(AB)^T=AB
B^TA^T = AB
BA=AB
A,B可交换