专题地图 › 不等式的证明
2025 年北京预赛
两组平方和约束下的乘积极值
F3填空题不等式的证明
正实数 a,b,c,d 满足
(a2+b2+c2)(b2+c2+d2)=36,(a+d)b2+c2=6.
则 a2d 的最大值是。
作答
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
标准答案:55/4
解析
思路
将第二个等式平方后与第一个等式相减,会出现完全平方 (ad−b2−c2)2;由此把四个变量降为 a,d 的单参数优化。
解答
记 s=b2+c2>0。两个已知等式给出
(a2+s)(s+d2)=(a+d)2s=36.
两边相减,得到
(ad−s)2=0,s=ad.
令 x=a/d>0,p=ad,则 a=px,d=p/x,而
(a+d)ad=p2(x+x1)=6,p2=x2+16x.
因此
(a2d)2=x2p6=216(x2+1)3x5.
对 x2 与 1 使用加权算术--几何平均不等式,
x2+1=65⋅56x2+61⋅6≥(56x2)5/661/6.
故
(x2+1)3≥55/2216x5,
从而
a2d≤55/4.
等号在 x2=5 时成立。此时取 s=ad=5,再取任意正数 b,c 使 b2+c2=5,即可满足全部条件。
复核
等号条件给出正数 a=53/4,d=5−1/4;代入有 (a+d)ad=6,并可由正的 b,c 实现 b2+c2=5。
方法总结
两个看似独立的等式若同为齐次四次关系,优先相减寻找平方结构;降维后再用带等号条件的加权平均不等式完成最值。
为什么评为 F3(会透露解法方向)
两约束相减先给(ad−b²−c²)²=0,识别已处在等号结构后用a/d作为比例参数,将目标归为固定幂分式并配权求界。
用到的方法(会透露解法方向)
核心工具:均值不等式:拆项与配权、作差后证明非负
专题卡:证明不等式或求最值:两边作差,配成平方、正数的和与积互相估计:拆项配平,用基本不等式