为什么说半正定矩阵的行列式大于等于0?