AB是对称矩阵，则AB=BA的充要条件是A，B都为对称矩阵。
不必要加A=B。
事实上，若A，B都为对称矩阵。则
(AB)T=BTAT=BA
因为AB是对称矩阵，所以(AB)T=AB
所以AB=BA
反之，若AB=BA
则(AB)T=(BA)T
AB=ATBT
故A=AT，B=BT
两个对称矩阵的积是对称矩阵，当且仅当两者的乘法可交换。两个实对称矩阵乘法可交换当且仅当两者的特征空间相同。
扩展资料：
若矩阵A满足条件A=A'，则称A为对称矩阵。由定义知对称矩阵一定是方阵，而且位于主对角线对称位置上的元素必对应相等，即aij=aji对任意i，j都成立。
对称矩阵中的元素关于主对角线对称，故只要存储矩阵中上三角或下三角中的元素，让每两个对称的元素共享一个存储空间。这样，能节约近一半的存储空间。
一个矩阵同时为对称矩阵及斜对称矩阵当且仅当所有元素都是零的时候成立。如果X是对称矩阵，那么对于任意的矩阵A，AXAT也是对称矩阵。
n阶实对称矩阵，是n维欧式空间V（R）的对称变换在单位正交基下所对应的矩阵。
参考资料来源：百度百科--对称矩阵