首先,如果A正定,那么AB相似于A^{-1/2}ABA^{1/2}=A^{1/2}BA^{1/2},由惯性定理后者半正定,特征值非负.
如果A半正定,那么t>0时A+tI正定,(A+tI)B的特征值非负,再令t->0+,由特征值的连续性即得结论.