例 8.73

依赖于

被以下题目直接调用

例 8.73

阶实对称矩阵,其中 半正定且满足 ,求证:存在非零实列向量 ,使得

解答

证明 可知,存在非零复列向量 ,其中 ,使得

按实部和虚部整理后可得

将 (8.5) 式左乘 减去 (8.4) 式左乘 ,注意到 ,故可得

的半正定性可得 ,再由例 8.71 可得 ,从而 。因为 ,故 中至少有一个是非零实列向量,从而结论得证。