例 8.72

依赖于

被以下题目直接调用

例 8.72

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

解答

证明 (1) 只要证明线性方程组

同解即可。显然,

的任一解都是 的解。反之,任取 的解 ,即 ,此等式左乘 ,由例 2.5 可得

再由例 8.71 可知 ,从而 ,于是 也是

的解。

(2) 由例 8.66 可知 ,故 当且仅当 非异,由 (1) 可知这也当且仅当