求证A是反对称矩阵,E-A^2是正定矩阵