一道代数不等式的证明

已知a,b,c0ab+bc+ca=1,求证:1a+b+1b+c+1c+a52


证明 消元调整

不妨设c=max,根据条件,有c=\dfrac{1-ab}{a+b},于是\begin{split}LHS&=\dfrac{1}{a+b}+\dfrac{1}{b+\dfrac{1-ab}{a+b}}+\dfrac{1}{\dfrac{1-ab}{a+b}+a}\\ &=\dfrac{1}{a+b}+(a+b)\cdot \left(\dfrac{1}{1+b^2}+\dfrac{1}{1+a^2}\right)\\ &\geqslant \dfrac{1}{a+b}+(a+b)\cdot \left[1+\dfrac{1}{1+(a+b)^2}\right]\\ &=a+b+\dfrac{1}{a+b}+\dfrac{1}{a+b+\dfrac{1}{a+b}} ,\end{split}a+b+\dfrac{1}{a+b}\geqslant 2,于是上式右边的最小值为\dfrac 52,原不等式得证.

其中用到的不等式\dfrac{1}{1+b^2}+\dfrac{1}{1+a^2}\geqslant 1+\dfrac{1}{1+(a+b)^2} (a+b)^2ab\leqslant 2(1-ab),因为c\geqslant \dfrac {a+b}2,所以c=\dfrac{1-ab}{a+b}\geqslant \dfrac{a+b}2,于是2(1-ab)\geqslant (a+b)^2\geqslant (a+b)^2ab.

PQR方法

p=a+b+cq=ab+bc+car=abc,则条件即q=1,欲证不等式等价于2\sum_{cyc}(a+b)(a+c)\geqslant 5(a+b)(b+c)(c+a),5r+2p^2-5p+2\geqslant 0.p>2,则不等式显然成立;若p \leqslant 2,则由舒尔不等式,有p^3+9r\geqslant 4pq,因此5r+2p^2-5p+2\geqslant 5\cdot \dfrac {4p-p^3}9+2p^2-5p+2=\dfrac 19(2-p)(5p^2-8p+9)\geqslant 0,不等式也成立.

综上所述,原不等式得证.

此条目发表在解题展示分类目录,贴了标签。将固定链接加入收藏夹。

发表回复