因为 A、B均为对称矩阵，所以 A' =A， B'=B。所以 (AB)' = （转置的运算法则）B' A' = BA。从而 (AB)' = AB 当且仅当 AB = BA ，即 AB是对称矩阵当且仅当A,B可交换
