设f(x)是定义在(0,正无穷)增函数对于任意正数x满足f(xy)=f(x)+f(y)成立且f(3)=1