矩阵分析证明,(实反对称矩阵)A是实反对称矩阵,则对R^n中的任一向量a,有(a^T)Aa=0.((a^T)表示a向量的