例 8.54

依赖于

  • 无显式依赖

被以下题目直接调用

例 8.54

阶正定实对称矩阵, 的第 个顺序主子式,求证:

解答

证明

用第三类分块初等变换求得

因为 正定,所以 也正定,从而 也正定,于是 。因此