找回密码
 快速注册
搜索
查看: 90|回复: 3

[不等式] 证明 $a+b+\frac 9{125ab}\geqslant \frac {13}{10}.$

[复制链接]

830

主题

4865

回帖

3万

积分

积分
36175

显示全部楼层

isee 发表于 2022-8-9 19:44 |阅读模式
源自知乎提问




:已知正实数 $a+2b=1$,证明: $a+b+\frac 9{125ab}\geqslant \frac {13}{10}.$




首先这题挺难的,其次数据一定是设计好的.

取待定正实数 $\lambda>0$ 则有

\begin{align*}
&\quad\;a+b+\frac{9}{125ab}\\[1em] &=a+b+\frac{9}{125ab}+\lambda(a+2b-1)\\[1em] &=(\lambda+1) a+(2\lambda +1)b+\frac{9}{125ab}-\lambda\\[1em] &\geqslant 3\sqrt[3]{(\lambda+1) a\cdot (2\lambda +1)b\cdot \frac{9}{125ab}}-\lambda\\[1em] &=\frac 35\sqrt[3]{9(\lambda+1) (2\lambda +1)}-\lambda.
\end{align*}

取“ $=$ ”时, $(\lambda+1) a=(2\lambda +1)b=\frac{9}{125ab}$

即 $a=\frac{2\lambda+1}{\lambda+1}b,\;(2\lambda+1)ab^2=\frac 9{125},$

又由 $a+2b=1$ 得 $b=\frac{\lambda+1}{4\lambda+3}$,

从而 $\frac{(2\lambda+1)^2}{\lambda+1}\left(\frac{\lambda+1}{4\lambda+3}\right)^3=\frac 9{125},$

即 $\frac{(2\lambda +1)^2(\lambda+1)^2}{(4\lambda+3)^3}=\frac {3^2}{5^3},$ 于是猜测 $\left\{\begin{aligned}(2\lambda+1)(\lambda+1)&=3,\\4\lambda+3&=5,\end{aligned}\right.$ (幸运)解得 $\lambda=\frac 12$,于是

\begin{align*}
&\quad\;a+b+\frac{9}{125ab}\\[1em] &\geqslant \frac 35\sqrt[3]{9(\lambda+1) (2\lambda +1)}-\lambda\\[1em] &=\frac 35\sqrt[3]{9\cdot 3}-\frac 12\\[1em] &=\frac {13}{10}.
\end{align*}
isee=freeMaths@知乎

730

主题

1万

回帖

9万

积分

积分
93623
QQ

显示全部楼层

kuing 发表于 2022-8-9 20:44
搜 125ab 搜到这帖:
kuing.cjhb.site/forum.php?mod=viewthread&tid=5557
竟然是不一样的题……
当然原理是一样嘀……

830

主题

4865

回帖

3万

积分

积分
36175

显示全部楼层

 楼主| isee 发表于 2022-8-9 21:04
kuing 发表于 2022-8-9 20:44
搜 125ab 搜到这帖:
https://kuing.cjhb.site/forum.php?mod=viewthread&tid=5557
竟然是不一样 ...

好似子母题~连环炮
isee=freeMaths@知乎

730

主题

1万

回帖

9万

积分

积分
93623
QQ

显示全部楼层

kuing 发表于 2022-8-9 21:23
isee 发表于 2022-8-9 21:04
好似子母题~连环炮


感觉有点儿小神奇,`a+b` 变成 `a^2+b^2`,次数变了,最后要解的方程变了,按道理系数应该要重新凑才行,可是这个 `9/125` 竟然不用变!都有简单解……

`a+b+\frac9{125ab}` 时,齐次化换元求导是:
\[\left( \frac{x+1}{x+2}+\frac{9(x+2)^2}{125x} \right)'=\frac{(3x-4)(3x^3+16x^2+63x+36)}{125x^2(x+2)^2},\]
`a^2+b^2+\frac9{125ab}` 时则是:
\[\left( \frac{x^2+1}{(x+2)^2}+\frac{9(x+2)^2}{125x} \right)'=\frac{(3x-4)(3x^4+22x^3+220x^2+162x+72)}{125x^2(x+2)^3},\]
不但都有简单解,连根都相同,真的只是巧合?

或许真的是巧合,因为假如继续升次为 `a^3+b^3`,方程就没简单解了……
\[\left( \frac{x^3+1}{(x+2)^3}+\frac{9(x+2)^2}{125x} \right)'=\frac{3(3x^6+24x^5+310x^4-365x^2-384x-192)}{125x^2(x+2)^4}.\]

手机版|悠闲数学娱乐论坛(第3版)

GMT+8, 2025-3-4 18:09

Powered by Discuz!

× 快速回复 返回顶部 返回列表