找回密码
 欢迎注册
查看: 39425|回复: 30

[讨论] 几道类似的不等式

[复制链接]
发表于 2016-7-10 20:40:27 | 显示全部楼层 |阅读模式

马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。

您需要 登录 才可以下载或查看,没有账号?欢迎注册

×
`a,b,c`都是正数,证明下列不等式成立:
1.  `\D\frac{a}{2a+b}+\frac{b}{2b+c}+\frac{c}{2c+a} \leqslant 1`
2.  `\D\frac{a}{a+2b+c}+\frac{b}{a+b+2c}+\frac{c}{2a+b+c} \geqslant \frac{3}{4}`
3.  `\D\frac{a}{2a+b+c}+\frac{b}{a+2b+c}+\frac{c}{a+b+2c} \leqslant \frac{3}{4}`
4.  `\D\frac{ab}{a+b+2c}+\frac{ca}{a+2b+c}+\frac{bc}{2a+b+c} \leqslant \frac{a+b+c}{4}`
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2016-7-11 06:24:53 | 显示全部楼层
为了方便 输入,我们记

\(\sum=\sum_{cyc}\)(即代数式的循环和)

(1) \(\sum\frac{a}{2a+b}\leqslant 1 \iff \sum\frac{b}{2a+b}\geqslant 1\)

        又\(\sum{\frac{b}{2a+b}}=\sum{\frac{b^2}{b(2a+b)}} \geqslant \frac{(a+b+c)^2}{\sum b(2a+b)}=1\)即证

(2) \(\sum{\frac{a}{a+2b+c}}=\sum{\frac{a^2}{a(a+2b+c)}}\geqslant \frac{(a+b+c)^2}{\sum a(a+2b+c)}\geqslant\frac{3}{4}\)

       即只须证:\(4(a+b+c)^2\geqslant 3\sum a(a+2b+c) \iff a^2+b^2+c^2\geqslant ab+ac+bc\) 即证

(3) \(\sum{\frac{a}{2a+b+c}}\leqslant \frac{3}{4} \iff \sum{\frac{b+c}{2a+b+c}}=\sum{\frac{(b+c)^2}{(b+c)(2a+b+c)}}\geqslant \frac{3}{2}\)

       即只须证:\(2\sum{(b+c)^2}\geqslant 3\sum{(b+c)(2a+b+c)} \iff a^2+b^2+c^2\geqslant ab+ac+bc\) 即证


         

点评

知道了  发表于 2016-7-11 12:57
还有第三个等价是怎么得到的呢?  发表于 2016-7-11 12:54
第一个问题,等价是怎么得来的?  发表于 2016-7-11 12:49
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2016-7-11 13:38:43 | 显示全部楼层
数学星空 发表于 2016-7-11 06:24
为了方便 输入,我们记

\(\sum=\sum_{cyc}\)(即代数式的循环和)

作差法确实是最终极的方法,可是总觉得对于复杂的表达式就不那么明显了,上述分式都很简单故有效。若分式带有平方或者根号的,就比较麻烦了,比如下面两个。
`\D\sum\frac{b^2}{(a+b)^2}\geqslant \frac{3}{4}`
`\D\sum\frac{a^2b}{a+c}\geqslant \frac{1}{6}`

补充内容 (2016-7-12 13:39):
第二个输入错误,应该改成 `\D\sum\frac{a^2b}{a+c}\geqslant \frac{(a+b+c)^2}{6}`

补充内容 (2016-7-14 14:54):
再次更正,第二个应该`\D\sum\frac{a^2b}{b+c}\geqslant \frac{(a+b+c)^2}{6}`

点评

@数学星空,确实,b=0,a>`(\sqrt{6}-1)c` 时候就不满足了。那就删除吧~  发表于 2016-7-14 17:38
第二个不等式不成立:取a=191/18,b=1/9,c=59/18 左边-右边=-2914813387/158935500<0  发表于 2016-7-14 16:45
管理员帮忙修改一下本贴子吧,内容比较乱。  发表于 2016-7-14 15:15
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2016-7-11 18:48:30 | 显示全部楼层
(4)\(\sum{\frac{ab}{a+b+2c}} \leqslant \frac{1}{4}\sum({\frac{ab}{a+c}+\frac{ab}{b+c}})= \frac{1}{4}\sum({\frac{ab}{a+c}+\frac{bc}{a+c}})= \frac{1}{4}\sum{a}\)


点评

反用柯西,妙!  发表于 2016-7-12 11:38
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2016-7-11 19:47:48 | 显示全部楼层
\(\sum{\frac{b^2}{(a+b)^2}}=\sum{\frac{1}{(1+x)^2}}\geqslant \frac{1}{1+xy}+\frac{1}{(1+z)^2}=\frac{z}{1+z}+\frac{1}{(1+z)^2}=\frac{1+z+z^2}{(1+z)^2}=1-\frac{z}{(1+z)^2}\geqslant \frac{3}{4}\)  

注:\(x=\frac{a}{b},y=\frac{b}{c},z=\frac{c}{a},xyz=1\)

\(\frac{1}{(1+x)^2}+\frac{1}{(1+y)^2}\geqslant  \frac{1}{(1+\frac{x}{y})(1+xy)}+\frac{1}{(1+\frac{y}{x})(1+xy)}=\frac{1}{1+xy}\)

点评

不过下面这个不等式证明还是很巧妙的。  发表于 2016-7-11 21:19
不要这种结果,我就是故意把那道题转换成这样的。  发表于 2016-7-11 21:10
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2016-7-11 21:55:33 | 显示全部楼层
$${\frac {{b}^{2}}{ \left( a+b \right) ^{2}}}+{\frac {{c}^{2}}{ \left( b
+c \right) ^{2}}}+{\frac {{a}^{2}}{ \left( c+a \right) ^{2}}}-3/4
=1/4\,{\frac {\sum  \left( 1/3\, \left( a-b \right) ^{2}a \left( 3\,a{b
}^{2}+abc+12\,a{c}^{2}+5\,{b}^{2}c+15\,b{c}^{2}+12\,{c}^{3} \right)
\right) }{ \left( a+b \right) ^{2} \left( b+c \right) ^{2} \left( c+a
\right) ^{2}}}
$$

点评

不等式之所以吸引人,恰恰是那些优美的证法,sos,pqr等方法实在是令人恐惧,个人不是特别喜欢。  发表于 2016-7-12 10:39
你这个是用软件硬配方的吧,和陈计大神手法类似,据说他主要靠手算啊!  发表于 2016-7-11 22:16
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2016-7-12 11:35:44 | 显示全部楼层
继续
7. `\D\sum\frac{a}{\sqrt{a^2+8bc}}\geqslant 1`
8. `1\leqslant \D\sum\frac{a}{\sqrt{a^2+b^2}}\leqslant \frac{3\sqrt{2}}{2}`
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2016-7-13 11:56:33 | 显示全部楼层
kastin 发表于 2016-7-12 11:35
继续
7. `\D\sum\frac{a}{\sqrt{a^2+8bc}}\geqslant 1`
8. `1\leqslant \D\sum\frac{a}{\sqrt{a^2+b^2}}\ ...

第8题左边的一个加强:http://www.artofproblemsolving.com/community/c6h1216283p6102534
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2016-7-13 12:04:49 | 显示全部楼层
模仿陈计的局部:
19befc57d1c13bb054d641b98d5cc88b.gif
605b4287c2753e2abbe6d92d58799d6d.gif

点评

是用自己编的程序算出来的吗?还是借助陈胜利的程序算出来的啊?  发表于 2016-7-13 12:49
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2016-7-13 14:52:04 | 显示全部楼层

7、8题左边都可转换为对应的条件不等式:
若 `x,y,z>0,\;xyz=1`,那么$$\sum\frac{1}{\sqrt{1+8x}}\geqslant 1\\
\sum\frac{1}{\sqrt{1+x^2}}\geqslant 1$$

点评

或者构造辅助函数利用单调性,只不过在求根的时候需要借助软件。  发表于 2016-7-14 11:26
利用引理:根据性质若对于任意正实数 `a,b`,有`f(a)+f(b)\geqslant 2f(\sqrt{ab})`,那么对于`n`个任意正实数数`x_i\;(i=1,2,\cdots,n)`都有 `\sum f(x_i)\geqslant nf(\sqrt[n]{x_1x_2\cdots x_n})`可证。  发表于 2016-7-14 10:59
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
您需要登录后才可以回帖 登录 | 欢迎注册

本版积分规则

小黑屋|手机版|数学研发网 ( 苏ICP备07505100号 )

GMT+8, 2024-5-2 15:47 , Processed in 0.077151 second(s), 20 queries .

Powered by Discuz! X3.5

© 2001-2024 Discuz! Team.

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