因为A正定,所以存在可逆阵C,使得A=C^TC
而 AB=C^TCB=C^T(CBC^(-1))C
所以 AB 与 CBC^-1 合同.
所以有
AB正定
CBC^-1 正定
CBC^-1 的特征值都大于0
B 的特征值都大于0