hompson inequality）是一个由和二氏所证明的不等式，该不等式的定义如下：若formula_1和formula_2是埃尔米特矩阵，则以下不等式成立：其中formula_4指的是矩阵的迹，而formula_5则是矩阵指数。此不等式在统计力学上相当重要，而此不等式一开始也是由此而生的。贝多兰‧康斯坦多（Bertram Kostant）在1973年利用康斯坦多凸性定理（Kostant convexity theorem）将此不等式推广到所有的紧致李群（compact Lie group）