因为 A,B是同阶对称矩阵,所以 A' = A,B' = B
所以有
AB是对称矩阵
(AB)' = AB
B'A' = AB
BA = AB
A,B可交换