恐怕是证明:∫[a,b]xf(x)dx≥[(a+b)/2]∫[a,b]f(x)dx,下面写详细点
证明:设F(x)=∫[a,x]tf(t)dx-[(a+x)/2]∫[a,x]f(t)dt
则:F‘(x)=xf(x)-(1/2)∫[a,x]f(t)dt-(a+x)/2*f(x)
=(1/2)[2xf(x)-(a+x)f(x)-∫[a,x]f(t)dt]
=(1/2)[(x-a)f(x)-∫[a,x]f(t)dt]
=(1/2)[∫[a,x]f(x)dt-∫[a,x]f(t)dt] (第1个积分对t来讲,f(x)是常数)
=(1/2)[∫[a,x](f(x)-f(t))dt]
由于a《t《x,f(x)单调增加,f(x)-f(t)》0,所以:F‘(x)》0
故F(x)单调增加,F(b)》F(a)=0
即:∫[a,b]tf(t)dt≥[(a+b)/2]∫[a,b]f(t)dt
或:∫[a,b]xf(x)dx≥[(a+b)/2]∫[a,b]f(x)dx
注:事实上已证明当x》a时,∫[a,x]xf(x)dx≥[(a+x)/2]∫[a,x]f(x)dx