2001年全俄中学生数学奥林匹克十年级第5题:
已知正数a,b,c满足a+b+c=3,求证:√a+√b+√c⩾ab+bc+ca.
证明 利用恒等式(a+b+c)2=a2+b2+c2+2ab+2bc+2ca,
可得欲证不等式即2√a+2√b+2√c⩾9−a2−b2−c2,
考虑函数f(x)=2√x+x2在x=1处的切线y=3x,如图.
于是可得局部不等式2√a+a2⩾3a,
该不等式也可以对√a+√a+a2运用算术-几何平均值不等式得到,等号取得的条件为a=1.
因此原不等式得证.
注 在三元均值不等式的证明中,如果能够“分离”变元,就可以考虑利用切线法,可以参考 每日一题[210] 代数不等式的证明 .