|
|
kuing
发表于 2013-11-7 19:04
不知道背景就懒得想了，baoli掉算了。
约去 $\sqrt a$ 等价于
\[\sqrt{(a^2+1)(a+7)}+3\sqrt3+a\sqrt a-10\sqrt a\geqslant 0,\]
令 $a=x^2$, $3=y^2$，其中 $x$, $y>0$，则等价于证
\[\sqrt{\left(x^4+\frac19y^4\right)\left(x^2+\frac73y^2\right)} +y^3+x^3-\frac{10}3xy^2\geqslant 0,\]
如果 $x<1/2$，则 $\frac{10}3xy^2<\frac53y^2<\sqrt3y^2=y^3$，故此时上式显然成立；当 $x\geqslant1/2$ 时，要证上式只要证
\[\left(x^4+\frac19y^4\right)\left(x^2+\frac73y^2\right)\geqslant \left(y^3+x^3-\frac{10}3xy^2\right)^2,\]
展开因式分解等价于
\[\frac1{27}y^2(3x-2y)^2(27x^2+30xy-5y^2)\geqslant0,\]
由 $x\geqslant1/2$ 得 $27x^2+30xy-5y^2\geqslant27(1/2)^2+15y-5y^2=-33/4+15\sqrt3>0$，故此时不等式亦成立。 |
|
