已知A是实反对称矩阵,证明I-A^2为正定矩阵