请告诉我什么事幂平均不等式和琴生不等式

请告诉我什么事幂平均不等式和琴生不等式

幂平均不等式：ai>0(1≤i≤n),且α>β，则有（∑ai^α/n)^1/α≥(∑ai^β/n)^1/β成立　　iffa1=a2=a3=……=an时取等号　　加权的形式：　　设ai>0于阶兰放，pi>0(1≤i≤n)，且α>β，则有　　（∑pi*ai^α/∑pi几互宗肉单字最金)^1/α≥(∑p承土含种秋变i*ai^β/∑pi)^1/β　　iffa1=a2=a3=……=an，p1=p2=p3=……=pn时取等号。其证明只需用到数学分析里的琴生不等式，取辅助函数F（X）=X川^a琴生不等式：（注意前提、等号成立条件）

　　设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)

　　如果上面凹凸是严格的，那么不等式的等号只有x本什爱油然督活市损1=x2=...=x气钟是空片n才成立

　　现在我们看看如何湖是板集帝哪证明琴生不等式，下面只对凹函数加以证明。

　　首先我们对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)+...+x难觉善色西初却促望胶最n)/(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)就可以了。