f(x)在(0,无穷)可微,f(x)的导数是减函数f(0)=0,证对于任意x1,x2属于(0,无穷)f(x1)+f(x2