返回列表

[不等式] 昨天晚上天书在kuing粉丝群里发的一个不等式

本帖最后由 pxchg1200 于 2013-5-12 13:19 编辑

设$a,b,c\geq 0$,$a+b+c=ab+bc+ca$,证明
\[ \frac{1}{1+a}+\frac{1}{1+b}+\frac{1}{1+c}\geq \frac{4}{3}\]

其实这个题目就是出题的人玩了点花样,让我们来揭开它神秘的面纱.
证明:kuing 首先注意到取等条件是$a=b=2,c\rightarrow+\infty$,为了摆脱这个$+\infty$,设
\[x=\frac{1}{a},y=\frac{1}{b},z=\frac{1}{c}\]
这样,仍然有$x+y+z=xy+yz+xz$,而不等式变成
\[ \frac{x}{x+1}+\frac{y}{y+1}+\frac{z}{z+1}\geq \frac{4}{3} \]
展开并利用条件,得到
\[ xy+yz+xz+xyz\geq 4 \]
而我们有熟悉恒等式
\[ \frac{1}{x+2}+\frac{1}{y+2}+\frac{1}{z+2}=1 \]
上面的恒等式就是
\[ xy+yz+xz+xyz=4 \]
于是,根据这个思路,我们可以把不等式变成
\[ \frac{1}{x+2}+\frac{1}{y+2}+\frac{1}{z+2}\leq 1\]
就是
\[ \frac{x}{x+2}+\frac{y}{y+2}+\frac{z}{z+2}\geq 1 \]
到这里,不Cauchy-Schwarz还真说不过去。直接
\[ \sum{\frac{x}{x+2}}\geq \frac{(x+y+z)^2}{\sum{x^2}+2\sum{x}}=\frac{(x+y+z)^2}{\sum{x^2}+2\sum{xy}}=1 \]
Done!
Let's solution say the method!

不是“$a=b=2,c\to+\infty$”,是“当 a=1/2, b=1/2+x, c=1/2+3/(4x) 且 x->0^+ 时”
顺便贴一下当时的聊天记录……
天书/cy/cy/cy(1846******) 21:34:31
[图片]
疯了,这个到底啥取等???
天书/cy/cy/cy(1846******) 21:35:14
名侦探柯南——取等条件失踪事件
kuing/yhh/衰/zhh 21:44:29
当 a=1/2, b=1/2+x, c=1/2+3/(4x) 且 x->0^+ 时
天书/cy/cy/cy(1846******) 21:44:51
我勒个去
kuing/yhh/衰/zhh 21:45:36
你都还没验证,怎么就去了……
kuing/yhh/衰/zhh 21:45:55
去了去了……oh yeah!
南飞雁2013(5582****) 21:46:56
这取等条件也太变态了。虽然不知说什么,但也算长见识了
kuing/yhh/衰/zhh 21:47:47
是“取等”条件……
天书/cy/cy/cy(1846******) 21:50:35
咋构造出来的- -
kuing/yhh/衰/zhh 21:52:25
目测1/2,1/2,无穷大,然后将其中一个整个 x 进去,解……
天书/cy/cy/cy(1846******) 21:57:23
我去
怪物
这都能目测
kuing/yhh/衰/zhh 21:58:21
当然不是一测就好啊
是先目测了一些常规取等,都不对,于是就考虑无穷大

……
基本信息:kuing,GG,19880618~?,地道广州人,高中毕业,无业游民,不等式爱好者,论坛混混;
现状:冇钱又冇样、冇型又冇款、冇身材又冇文采、冇学历又冇能力、冇高度冇速度冇力度兼夹冇野做!(粤语)

金睛火眼

这个严格来说不能取等的

1# pxchg1200

话说这样转换之后跟《数学空间》总第12期P25题目3.1.5一个样,条件和结论过来,方法能搬。
基本信息:kuing,GG,19880618~?,地道广州人,高中毕业,无业游民,不等式爱好者,论坛混混;
现状:冇钱又冇样、冇型又冇款、冇身材又冇文采、冇学历又冇能力、冇高度冇速度冇力度兼夹冇野做!(粤语)

返回列表