A是反对称矩阵,证明对于任意x,都有xtAx=0