f(x)dx≥k
f(x)dx-k
f(x)dx=
f(x)dx-k[
f(x)dx+
f(x)dx]
f(x)dx-k
f(x)dx=k(1-k)[f(ξ1)-f(ξ2)],
f(x)dx-k
f(x)dx=k(1-k)[f(ξ1)-f(ξ2)]≥0,故
f(x)dx≥k
f(x)dx.
f(x)dx
f(kt)dt=k
f(kx)dx,当x∈[0,1]时,因为0<k<1,所以kx≤x,
f(kx)dx≥
f(x)dx,
f(kx)dx≥k
f(x)dx,即
f(x)dx≥k