关于矩阵迹的不等式

对矩阵迹不等式：ｔｒＭ＾２＾ｎ（Ｍ＾Ｔ）＾２ｎ≤ｔｒ（ＭＭ＾Ｔ）＾２ｎ，提出了更一般的问题，以任意自然数ｎ，不等式ｔｒＭ＾ｎ（Ｍ＾Ｔ）＾ｎ≤ｔｒ（ＭＭ＾Ｔ）＾ｎ成立，并给出了证明。