易混 2025 年云南预赛 · P006409
倒数型目标不能一律逐项放缩:有时可设计与平方和匹配的点态多项式界,有时必须保留循环分母之间的联系再整体通分。判断标准是所得界是否还容许所有等号同时成立。
前题用一个倒数函数的二次上界,求和后只剩变量总和;后题下界可逐项估计,上界却需基本对称量和Schur,分开处理两端。
定平方和下倒数和乘积最大值
已知非负实数 满足
求下列表达式的最大值:
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
先独立尝试,再展开工具说明与想法来源。
多项式上界可通过误差因式分解验证。此处二次上界与倒数通分后的误差为 ,非负自变量下分母正,零与一都是接触点。
想法从哪来:约束给平方和,目标却同时含一次和与倒数和,先猜等号配置可以帮助选择放缩。若让若干变量为一、其余为零,倒数值简单且能满足平方和,提示寻找在零和一都贴合倒数曲线的二次上界。二次式相加时,平方和项正好变成常数,一次项则只剩总和。 构造这个上界可让通分后的误差带有变量以及“一减变量”的平方,保证它在整个非负半轴非负,而不只是零一之间成立。于是目标被一个关于一次和的二次式控制,配方便给统一上界。最后检查每个变量的点态等号与总和的等号能同时实现,避免一个看似尖锐却无法达到的乘积界。
需要把倒数和压到只含 的上界。寻找在 同时取等的二次上界, 恰能利用已知的平方和。
对任意 ,
因为两边之差通分后等价于
令 。利用 ,得到
因此
取 及其任意排列时, 平方和为 ,且
故最大值为
点态不等式的等号要求每个 ,二次式的等号要求 ;四个 与一个 同时满足两组等号条件,所以上界可达。
在已知平方和而目标含倒数和时,可构造与 在候选等号点相切或相交的二次上界。 把倒数和化为 的线性式后,再对 配方即可。
要设计在0、1取等的二次上界替代1/(1+x),使给定平方和消去高阶项,目标仅剩p的二次式并由四个1一个0同时取等。
易混 2025 年云南预赛 · P006409
倒数型目标不能一律逐项放缩:有时可设计与平方和匹配的点态多项式界,有时必须保留循环分母之间的联系再整体通分。判断标准是所得界是否还容许所有等号同时成立。
前题用一个倒数函数的二次上界,求和后只剩变量总和;后题下界可逐项估计,上界却需基本对称量和Schur,分开处理两端。
已记下,谢谢!