一类矩阵乘积迹的算术几何平均不等式

A Homotopy Method for Computing All Solutions to Systems of Symmetric Polynomial Equations

本文推广、改进了刘家学的结果。证明了ｔｒ（Ａ２）＋ｔｒ（Ｂ２）≥２ｔｒ（ＡＢ）这里Ａ、Ｂ是具有ｎ个实特征有值的ｎ阶复矩阵，且ｒ（［Ａ，Ｂ］）≤１，或（Ａ，［Ａ，Ｂ］）＝［Ｂ，［Ａ。