|
kuing
发表于 2023-5-24 00:23
那就因式分解呗,就是 `(x-2y)(2x-y)\leqslant0`,因此有 `a/2\leqslant b\leqslant2a` 等三式。
不妨设 `a\leqslant b\leqslant c`,则有
\[\frac b2+b+b\leqslant a+b+c\leqslant b+b+2b,\]
得到
\[1\leqslant b\leqslant\frac85,\]
再由条件有
\[5abc\geqslant2b(a^2+c^2)=2b(a+c)^2-4abc,\]
即
\[9abc\geqslant2b(4-b)^2=f(b),\]
求导易证 `f(b)` 在 `[1,8/5]` 内先 `\nearrow` 后 `\searrow`,那么
\[f(b)\geqslant\min\left\{f(1),f\left(\frac85\right)\right\}=f(1)=18,\]
所以 `abc\geqslant2`,当 `a=b=1`, `c=2` 时取等。 |
|