已知函数满足对任意实数xy有f(x+y)=f(x)+f(y)成立,且当x大于0时,f(x)大于0,证:f(x)在R上是减