已知y=f(x)在(0,+无穷)上有意义,且单调递增,并且f(2)=1,f(xy)=f(x)+f(y)