这个用双向证明.
证明:由已知,A' = A,B'=B
所以
AB 是对称矩阵
(AB)' = AB
B'A' = AB
BA = AB
A,B 可交换.