均值不等式的证(精选多篇).docVIP

均值不等式的证明(精选多篇) 第一篇：常用均值不等式及证明证明 常用均值不等式及证明证明 这四种平均数满足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,y∈r+，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 试问怎样叫“利用均值不等式证明”，是说只能用均值不等式不能穿插别的途径?! 二、 已知abc，求证：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次根号