返回真题库
设实矩阵。若对任意实向量,不等式都成立,则的取值范围是 。

答案

查看解析展开

先证必要性。取 ,则 。题设推出 ,即 。
再证充分性。当 时,对任意 ,有

因此 半正定。固定任意 ,记 。由 对称,对任意实数 有

若 ,二次函数恒非负,故判别式 ,即 。若 ,线性函数 对一切 非负只能有 ,仍有 。两种情形都得到所需不等式。
所以充要条件为 。端点 时矩阵为 ,不等式恒取等号,必须包含。