证明:必要性 已知AB为对称阵 转置 (AB)'=B'A' 又A'=A B'=B (AB)'=AB 所以有 AB=BA 充分性 已知AB=BA (AB)'=(BA)'=A'B' 又A'=A B'=B 所以(AB)'=AB AB为对称阵 命题得证