本文就ｎ＝２＾ｔ（ｔ为自然数）时，证明了不等式：Ｒｅ［ｔｒ（ＡＢ）＾ｎ］≤Ｒｅ［ｔｒ（Ａ＾ｎＢ＾ｎ）］成立，其中Ａ，Ｂ为半正定四元数四共轭矩阵，Ｒｅ（ｔｒＭ）表示ｔｒＭ的实数部分。......