充分性：因为AB=BA,所以（AB）'=B'A'=BA=AB,从而AB是对称矩阵
必要性：因为AB为对称矩阵,所以AB=（AB）'=B'A'=BA在必要性中，(AB)'怎么=(BA)'的AB是对称矩阵呀，所以（AB）'=AB
而（AB）'=B'A'=BA（因为B'=B，A'=A）
所以AB=BA哦哦，谢谢你没事～