琴生不等式是什么,均值不等式前提条件?

琴生不等式:(注意前提、等号成立条件)设f(x)为上凸函数,则f[(x1+x2+……+xn)/n]>=[f(x1)+f(x2)+……+f(xn)]/n,称为琴生不等式(幂平均) 。加权形式为:f[(a1x1+a2x2+……+anxn)]>=a1f(x1)+a2(x2)+……+anf(xn),其中ai>=0(i=1,2,……,n),且a1+a2+……+an=1.凸函数的概念:【定义】如果函数f(x)满足对定义域上任意两个数x1,x2都有(f(x1)+f(x2))/2>=f((x1+x2)/2),那么f(x)为凹函数,或下凸函数 。【定义】如果函数f(x)满足对定义域上任意两个数x1,x2都有(f(x1)+f(x2))/2<=f((x1+x2)/2),那么f(x)为凸函数,或上凸函数 。同样,如果不等式中等号只有x1=x2时才成立,我们分别称它们为严格的凹凸函数上面上凸下凸的名字我有可能记错了 。琴生不等式说,对于任意的凹函数f(x)以及其定义域上n个数x1,x2,...,xn,那么都有(f(x1)+f(x2)+...+f(xn))/n>=f((x1+x2+...+xn)/n)对于任意的凸函数f(x)以及其定义域上n个数x1,x2,...,xn,那么都有(f(x1)+f(x2)+...+f(xn))/n<=f((x1+x2+...+xn)/n)如果上面凹凸是严格的,那么不等式的等号只有x1=x2=...=xn才成立现在我们看看如何证明琴生不等式,下面只对凹函数加以证明 。首先我们对n是2的幂加以证明,用数学归纳法假设对于n=2^k琴生不等式成立,那么对于n=2^(k+1)(f(x1)+f(x2)+...+f(xn))/n=((f(x1)+f(x2)+...+f(x(n/2)))/(n/2)+(f(x(n/2+1))+...+f(xn))/(n/2))/2>=(f(((x1+x2+...+x(n/2))/(n/2))+f((x(n/2+1)+...+xn)/(n/2)))/2>=f(((((x1+x2+...+x(n/2))/(n/2)+(x(n/2+1)+...+xn)/(n/2)))/2)=f((x1+x2+...+xn)/n)所以对于所有2的幂,琴生不等式成立 。现在对于一个普通的n,如果n不是2的幂,我们可以找到一个k,使得2^k>n然后我们设x(n+1)=x(n+2)=...=x(2^k)=(x1+x2+...+xn)/n代入2^k阶的琴生不等式结论,整理后就可以得到结论 。现在看看如何使用琴生不等式证明平方平均不等式(x1^2+x2^2+...+xn^2)/n>=[(x1+x2+...+xn)/n]^2显然,我们可以查看函数f(x)=x^2由于(f(x1)+f(x2))/2=(x1^2+x2^2)/2=(2x1^2+2x2^2)/4>=(x1^2+x2^2+2x1x2+(x1-x2)^2)/4>=(x1^2+x2^2+2x1x2)/4=((x1+x2)/2)^2所以f(x)=x^2是凹函数所以我们可以得到,对于任意x1,x2,...,xn,有(f(x1)+f(x2)+...+f(xn))/n>=f((x1+x2+...+xn)/n)也就是n阶平方平均不等式 。从上面证明过程我们知道通常情况用初等方法判断函数的凹凸性比较麻烦 。不过如果利用数学分析我们可以有个非常方便的结论 。如果f(x)二阶可导,而且f''(x)>=0,那么f(x)是凹函数如果f(x)二阶可导,而且f''(x)<=0,那么f(x)是凸函数至于这个证明,只要使用f(x)的泰勒展开式,利用其二阶余项就可以证明的 。(或者构造一个函数采用中值定理)有了这个结论以后,使用琴生不等式就非常方便了,现在我们可以非常容易的证明一般情况的平均不等式比如i)(x1^t+x2^t+...+xn^t)/n>=((x1+x2+...+xn)/n)^t, (t>1时)ii)(x1^t+x2^t+...+xn^t)/n<=((x1+x2+...+xn)/n)^t, (0<t<1时)iii) ((x1+x2+...+xn)/n)^n>=x1x2*...*xn其中前面两个取f(x)=x^t就可以了后面一个取f(x)=log(x)就可以了 。

琴生不等式是什么,均值不等式前提条件?

文章插图
均值不等式前提条件?
一正:数字首先要都大于零,两数为正;二定:数字之间通过加或乘可以有定值出现,乘积为定值——可以不是具体的数字,但在题目中必须是不变的量;三相等:检验等号是不是取得到,当且仅当两数相等才有不等式的等号成立,一般第三步很容易被忽略,因此这也是均值不等式的易错点之一 。


均值不等式条件


1均值不等式
均值不等式,又称为平均值不等式、平均不等式,是数学中的一个重要公式 。公式内容为Hn≤Gn≤An≤Qn,即调和平均数不超过几何平均数,几何平均数不超过算术平均数,算术平均数不超过平方平均数 。


【琴生不等式是什么,均值不等式前提条件?】关于均值不等式的证明方法有很多,数学归纳法(第一数学归纳法或反向归纳法)、拉格朗日乘数法、琴生不等式法、排序不等式法、柯西不等式法等等,都可以证明均值不等式 。