设A是n阶实对称矩阵 证明:A是半正定矩阵当且仅当对任意n阶半正定矩阵B都有tr(AB)大于等于