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