已知函数f(x)是定义在(0,无穷大)上的增函数,且满足条件f(2)=1,f(xy)=f(x)+f(y)