证明某阵A为对称阵,只需要有AT=A
（BTAB)T=BT AT (BT)T=BT AT B
又A为对称阵
AT=A
代入得
BT AT B=BT A B
所以BTAB为对称阵