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