令 g(x)=xf(x)
则g'(x)=f(x)+xf'(x)>0
从而 g(x)是R上的增函数
所以 当a>b时,有g(a)>g(b)
即 af(a)>bf(b)
注:af'(a)>bf(b)不一定成立.
如令 f(x)=1,可验证结论不成立.