以知函数的定义域是(0,正无穷),当x>1时,f(x)>0且f(x/y)=f(x)-f(y),证明:f(x)在定义域上是