因为半正定矩阵的特征值>=0
半正定矩阵是对称矩阵 所以可以对角化(定理)
A=P*B*P^-1
|A|=|B|>=0
即证