求助，正定矩阵的问题

zbinbincol

证明任意的矩阵 A >= B > 0,（>=是半正定的符号，> 是正定的符号）
/ c- [3 o- n1 V7 B+ S) B3 f2 G< A^−1, (A − B) >= Tr(A^−1*(A − B) )≤ ln detA − ln detB.（Tr表示矩阵的迹）
0 F& ~, m, U1 ~3 K* q老师给的提示: for any x∈R, lnx≤x−1.
/ L0 ]* Q% h) W. i
                                
                        
               


9 y0 u: D! {0 K/ Z