专题地图 › 不等式的证明
2010 年河北预赛 · 第 13 题
F3解答题不等式的证明
已知 a,b∈[1,3],a+b=4,求证:
10≤a+a1+b+b1<346.
作答
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
解析
思路
定和先将两变量压成乘积参数,下界的根式比较可用精确因式分解,非锐上界则用柯西。
解答
记目标为 T,令 p=ab=4−(a−2)2∈[3,4],计算得 T2=4+4/p+2p−2+17/p。因 3−2/p>0,且 p−2+17/p−(3−2/p)2=(4−p)(7p−p2−1)/p2≥0,有 T2≥10,故 T≥10。这里 7p−p2−1>0 在所需区间成立。另一方面,柯西给 T2≤2(a+1/a+b+1/b)=8+8/p≤32/3。若 p>3,末一步严格;若 p=3,两数为一与三,两个根式不同,柯西一步严格。所以 10≤T<46/3。
复核
下界在 a=b=2 时达到。上界链的两处等号要求分别为两根式相等与乘积三,彼此不相容,故题中的严格小于确实对所有端点成立。
方法总结
约束中的对称量可降低根式比较维数;多层上界的严格性有时来自等号条件不能同时实现。
为什么评为 F3(会透露解法方向)
在固定和下用乘积参数化目标平方,对下界比较进行合法平方,上界另用Cauchy并分情况证明严格性。
用到的方法(会透露解法方向)
核心工具:作差后证明非负、柯西不等式与投影
专题卡:证明不等式或求最值:两边作差,配成平方、平方和与线性式、分式和互相估计:用柯西不等式