关于四元数矩阵乘积迹的一个不等式

给出四元数矩阵乘积迹的一个不等式，而Ｂｅｌｌｍａｎ不等式及几种推广，以及关于四元数矩阵迹的Ｈｏｌｄｅｒ型和ｙｏｕｎｇ型不等式，均可视为这一结果的简单推论，作为这一结果的推论，还得到另外几个四元数矩阵乘积迹的不等式。