A是对称矩阵,则A^{-1}对称,
再利用定义可证
（A∧(-1)B∧2-B∧2A∧(-1)）^T=-(A∧(-1)B∧2-B∧2A∧(-1))