例 8.12

依赖于

  • 无显式依赖

被以下题目直接调用

例 8.12

证明下列关于 阶实对称矩阵 的命题等价:

(1) 是正定阵;

(2) 存在主对角元全等于 的上三角矩阵 和主对角元全为正数的对角矩阵 ,使得

(3) 存在主对角元全为正数的上三角矩阵 ,使得

解答

证明 (1) (2):只要证明存在主对角元全为 的上三角矩阵 ,使得 是正定对角矩阵即可。因为一旦得证, 也是主对角元全为 的上三角矩阵, 并且 。对阶数 进行归纳,当 时结论显然成立。假设对 阶正定阵结论成立, 现证明 阶正定阵的情形。设

其中 阶矩阵, 维列向量。因为 正定,所以 阶正定阵,从而是可逆矩阵。考虑如下对称分块初等变换:

的正定性可得 。再由归纳假设,存在主对角元全为 阶上三角矩阵 ,使得 阶正定对角矩阵。令

是一个主对角元全为 阶上三角矩阵,使得

阶正定对角矩阵。

(2) (3):由 (2) 可设 ,令

,则 。显然 是主对角元全为正数的上三角矩阵。

(3) (1):这时 ,故 合同,从而 正定。