设 ,已知对于 ,恒有 。求证:对于 ,恒有 。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
先利用控制区间里的几个特殊节点,把系数的组合转成受控的点值。
再把倒序系数的目标写成这些点值的线性组合,检查组合系数在整个区间的符号,最后估计其绝对值之和。
记 。由
可得恒等式
当 时, 和 均非负。由三个点值的绝对值不超过1,得到
取 时原条件成立,而倒序式为 ,在0处取到2,所以统一常数不能再减小。
可取 作尺度核验:原多项式 在整个闭区间中绝对值不超过1,倒序式在0处达到2。这个例子说明区间中点可能比端点更大,但只是对所得界的复核;题目没有要求最佳常数,评分不以补此例子为必要条件。
低次多项式的系数互换,可以用节点点值表示或等价的系数组合界处理。权重的符号依赖目标自变量所在区间,不能把区间外的倒数输入直接代进原控制条件;构造取等例子只作补充,不代替统一证明。
需把倒序式重新表示为-1、0、1三个受控点值的线性组合,再分析组合系数符号完成整个区间的估计。
已记下,谢谢!