首先，如果A正定B半正定的话可以利用相似变换，AB相似于A^{-1/2}(AB)A^{1/2}=A^{1/2}BA^{1/2}，所以特征值都>=0然后利用特征值的连续性，AB的特征值可以看作(A+tI)B的特征值的极限，仍然>=0
