已知函数fx的定义域为R,有f(x)+f(y)=f(x+y),x0恒成立