Ostrowski-Taussky Inequality Aを正方行列とし，が正定値行列であるとする．このとき以下の不等式が成立する:証明 は正定値対称行列であるから，ある直交行列Pがあってとなる．とすれば (P:直交)であり，である．これよりBの(i,j)成分 はとなっている．この…