[f(x)/x]'=[f'(x)x-f(x)]/x^2>0
函数f(x)/x单增
x1+x2>x1
f(x1+x2)/(x1+x2)>f(x1)/x1
f(x1+x2)*x1/(x1+x2)>f(x1) (1)
同理f(x1+x2)*x2/(x1+x2)>f(x2) (2)
(1)+(2)即证
[f(x)/x]'=[f'(x)x-f(x)]/x^2>0
函数f(x)/x单增
x1+x2>x1
f(x1+x2)/(x1+x2)>f(x1)/x1
f(x1+x2)*x1/(x1+x2)>f(x1) (1)
同理f(x1+x2)*x2/(x1+x2)>f(x2) (2)
(1)+(2)即证