已知函数fx的定义域为(0,正无穷),且满足f(2)=1,f(xy)=f(x)+f(y)