设f(x)在[0,1]上连续且单调减少,则F(t)=t∫(0--1)[f(tx)-f(x)]dx在(0,1)内,单增单减