所有实反对称矩阵的行列式都是大于等于零的.
证明的话,他所有的特征值非零的话一定是纯虚数,结果显然.