A,B是同阶实对称矩阵,证明(AB-BA)^2是负定或半负定矩阵