专题地图 › 不等式的证明
2009 年湖北预赛 · 第 12 题
F3解答题不等式的证明
(20分)设 a,b,c,d 为正实数,且 a+b+c+d=4。证明:
ba2+cb2+dc2+ad2≥4+(a−b)2.
作答
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
解析
思路
减去普通的四之后,左侧成为四个带正权的相邻差平方;其余三差的和由第一差确定。
解答
利用总和四,有 Q=a2/b+b2/c+c2/d+d2/a−4=(a−b)2/b+(b−c)2/c+(c−d)2/d+(d−a)2/a。令 t=a−b,后三个差之和为 −t,分母之和为 4−b,故柯西给 Q≥t2/b+t2/(4−b)=4t2/[b(4−b)]≥t2,最后使用 b(4−b)≤4。因此 a2/b+b2/c+c2/d+d2/a≥4+(a−b)2。
复核
原正性给 0<b<4,两个合并分母都正。差本身可为负,柯西用于平方分子仍合法;例如全体变量为一时确能取等,但证明不声称这是唯一取等组。
方法总结
循环差平方可分离目标差,再用其余差的闭合关系和权重总和补足所需界。
为什么评为 F3(会透露解法方向)
将循环分式与常数之差写成带权差平方和,对指定差与其余差分别用Cauchy合并,保留全部正分母。
用到的方法(会透露解法方向)
核心工具:作差后证明非负、柯西不等式与投影
专题卡:证明不等式或求最值:两边作差,配成平方、平方和与线性式、分式和互相估计:用柯西不等式