已知函数f(x)的定义域为x>0,当x>1时,f(x)>0且满足f(xy)=f(x)+f(y) 证明其在定义域上是增函数