例 8.76

依赖于

被以下题目直接调用

例 8.76

都是 阶半正定实对称矩阵,求证:

解答

证法 1 根据线性方程组的求解理论,要证明 ,只要证明线性方程组

同解即可。显然前面线性方程组的解是后面线性方程组的解,下面证明反之也成立。 设 ,其中 是实列向量,则将等式 的两边同时左乘 , 右乘 ,可得

因为 都是半正定阵,故 ,由上述等式可得 ,再由例 8.71 可得 ,因此 也是线性方程组

的解,结论得证。

证法 2 考虑如下对称分块初等变换:

因为 都是半正定阵,故

也是半正定阵,从而

也是半正定阵,由例 8.75 即得结论。