- 1、本文档共19页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
均值不等式的证明(精选多篇)
均值不等式的证明(精选多篇)
第一篇:常用均值不等式及证明证明
常用均值不等式及证明证明
这四种平均数满足hn?gn?
an?qn
?、ana1、a2、
?r?,当且仅当a1?a2??
?an时取“=”号
仅是上述不等式的特殊情形,即d(-1)≤d(0)≤d(1)≤d(2)由以上简化,有一个简单结论,中学常用
均值不等式的变形:
(1)对实数a,b,有a
2
22
?b2?2ab (当且仅当a=b时取“=”号), a,b?0?2ab
(4)对实数a,b,有
a?a-b??b?a-b?
a2?b2?
2ab?0
(5)对非负实数a,b,有
(8)对实数a,b,c,有
a2?
b2?c2?ab?bc?ac
a?b?c?abc(10)对实数a,b,c,有
均值不等式的证明:
方法很多,数学归纳法(第一或反向归纳)、拉格朗日乘数法、琴生不等式法、排序
不等式法、柯西不等式法等等
用数学归纳法证明,需要一个辅助结论。
引理:设a≥0,b≥0,则?a?b??an?na?n-1?b
n
注:引理的正确性较明显,条件a≥0,b≥0可以弱化为a≥0
,a+b≥0 (用数学归纳法)。
当n=2时易证;
假设当n=k时命题成立,即
那么当n=k+1时,不妨设ak?1是则设
a1,a2,?,ak?1中最大者,
kak?1?a1?a2???ak?1 s?a1?a2???ak
用归纳假设
下面介绍个好理解的方法琴生不等式法
琴生不等式:上凸函数f?x?,x1,x2,?,xn是函数f?x?在区间(a,b)内的任意n个点,
设f?x??lnx,f
?x?为上凸增函数所以,
在圆中用射影定理证明(半径不小于半弦)
第二篇:均值不等式证明
均值不等式证明一、
已知x,y为正实数,且x+y=1求证
xy+1/xy≥17/4
1=x+y≥2√(xy)
得xy≤1/4
而xy+1/xy≥2
当且仅当xy=1/xy时取等
也就是xy=1时
画出xy+1/xy图像得
01时,单调增
而xy≤1/4
xy+1/xy≥(1/4)+1/(1/4)=4+1/4=17/4
得证
继续追问:
拜托,用单调性谁不会,让你用均值定理来证
补充回答:
我真不明白我上面的方法为什么不是用均值不等式证的
法二:
证xy+1/xy≥17/4
即证4(xy)2-17xy+4≥0
即证(4xy-1)(xy-4)≥0
即证xy≥4,xy≤1/4
而x,yr+,x+y=1
显然xy≥4不可能成立
1=x+y≥2√(xy)
∴xy≤1/4,得证
法三:
同理0
xy+1/xy-17/4
=(4x2y2-4-17xy)/4xy
=(1-4xy)(4-xy)/4xy
≥0
xy+1/xy≥17/4
试问怎样叫“利用均值不等式证明”,是说只能用均值不等式不能穿插别的途径?!
二、
已知a>b>c,求证:1/(a-b)+1/(b-c)+1/(c-a)>0
a-c=(a-b)+(b-c)≥2√(a-b)*(b-c)
于是c-a≤-2√(a-b)*(b-c)即:1/(c-a)≥-1/【2√(a-b)*(b-c)】
那么
1/(a-b)+1/(b-c)+1/(c-a)
≥1/(a-b)+1/(b-c)-1/【2√(a-b)*(b-c)】
≥2/【√(a-b)*(b-c)】-1/【2√(a-b)*(b-c)】=1+1/a2+..+1/an)
证明:
1.sqrt(((a1)+(a2)+..(an))/n)≥(a1+a2+..an)/n
两边平方,即证((a1)+(a2)+..(an))≥(a1+a2+..an)/n
(1)如果你知道柯西不等式的一个变式,直接代入就可以了:
柯西不等式变式:
a1/b1+a2/b2+...an/bn≥(a1+a2+...an)/(b1+b2...+bn)
当且仅当a1/b1=a2/b2=...=an/bn是等号成立
只要令b1=b2=...=bn=1,代入即可
(2)柯西不等式
(a1+a2+...an)*(b1+b2...+bn)≥(a1b1+a2b2+...anbn)
2.(a1+a2+..an)/n≥n次根号(a1a2a3..an)
(1)琴生不等式:若f(x)在定义域内是凸函数,则nf((x1+x2+...xn)/n)≥f(x1)+f(x2)+...f(xn)
令f(x)=lgx显然,lgx在定义域内是凸函数
nf((x1+x2+...x1a2a3...an
(3)数学归纳法:但要用到(1+x)>1+nx这个不等式,不予介绍
3.n次根号(a1a2a3..an)≥n/(1/a1+1/a2+..+1/an)
原不等式即证:n次根号(a1a2a3..an)*(1/a1+1/a2+..+1/an)≥n
左边=n次根号+n次根号++n次根号+...n次根号
文档评论(0)