概述构造定积分之比 f(t),把区间 a 到 b 上 x 的 t+1 次幂与 t 次幂的积分相除,化简为一个封闭表达式,且函数单调不减。代入不同的 t 值,可以统一得到调和、几何、对数、海伦、算术、质心六种平均数,并串成一条从 a 到 b 的大小链,从而把均值不等式推广到同一个框架下。
一些与均值有关的定积分函数。
设:
f(t)=∫abxtdx∫abxt+1dx
当 t=−1∧t=−2 时,可化简为:
f(t)=(t+2)(bt+1−at+1)(t+1)(bt+2−at+2)
显然,函数 f(t) 单调不减。
该函数可以并推广
均值不等式。
0<a≤b
a≤H(a,b)≤G(a,b)≤L(a,b)≤N(a,b)≤A(a,b)≤T(a,b)≤b
H(a,b)=f(−3)=−1(b−2−a−2)−2(b−1−a−1)=a+b2ab=a1+b12
G(a,b)=f(−1.5)=0.5(b−0.5−a−0.5)−0.5(b0.5−a0.5)=ab
L(a,b)=f(−1)=∫abx−1dx∫abx0dx=lnb−lnab−a
N(a,b)=f(−0.5)=1.5(b0.5−a0.5)0.5(b1.5−a1.5)=3a+ab+b
A(a,b)=f(0)=2(b1−a1)1(b2−a2)=2a+b
T(a,b)=f(1)=3(b2−a2)2(b3−a3)=3(a+b)2(a2+ab+b2)