已知f(x)的定义域为(0,正无穷),且满足f(2)=1,f(xy)=f(x)+f(y),又当x>y时,f(x)>f(y