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