已知函数f(x)的定义域为(0,正无穷),当x>1时,f(x)>0,且f(xy)=f(x)+f(y).证明f(x)在定义