A为实对称矩阵,A半正定当且仅当对任何t>0,tE+A都正定