若f(x)是定义在(0,正无穷)上的增函数,且对一切x>0,满足f(y分之x)=f(x)-f(y)