抽象函数单调性的证明已知定义在R上的函数f(x)满足:(1)对任意x>0,都有f(x)>0;(2)f(x)+f(y)=f(x-y)对任意实数x、y都成立,试证明f(x)是减函数.

　　抽象函数单调性的证明

　　已知定义在R上的函数f(x)满足:

　　(1)对任意x>0,都有f(x)>0;

　　(2)f(x)+f(y)=f(x-y)对任意实数x、y都成立,试证明f(x)是减函数.