已知定义在区间(0,正无穷)的函数满足f(x比y)=f(x)-f(y),且x大于1时fx大于0,判断fx的单调性,若f(