定理 $n \times n$ 正定値実対称行列 $A,B$ に対して，次の不等式が成り立つ． \[ \det(A+B)^{1/n} \geq \det A^{1/n} + \det B ^{1/n} \]以下の行列式の特徴づけから従う．補題 $n\times n$ 正定値実対称行列 $M $ に対し，次の等式が成り立つ． \[ \inf_{X…