任取非零向量α=(α1,α2,...αn),存在非零向量β=(β1,β2...βn),使得α'β=I,则有β'α=I
因为A-B正定,则有α(A-B)α'>0,则αAα'>αBα'
由A,B正定得A逆,B逆正定,则有βA逆β'>0,βB逆β'>0
所以(βA逆β')(αAα')(βB逆β')>(βA逆β')(αBα')(βB逆β')
由αβ'=I与βα'=I带入化简得,βB逆β'>βA逆β'
则β(B逆-A逆)β'>0
再由α的任意性知β也是任意的,故得B逆-A逆是正定的。
扩展资料:
正定矩阵有以下性质:
(1)正定矩阵的行列式恒为正;
(2)实对称矩阵A正定当且仅当A与单位矩阵合同;
(3)若A是正定矩阵,则A的逆矩阵也是正定矩阵;
(4)两个正定矩阵的和是正定矩阵;
(5)正实数与正定矩阵的乘积是正定矩阵。
参考资料来源:百度百科-正定矩阵