设f(x)是定义在(0,正无穷)上的增函数,对任何的正数x,y.f(xy)=f(x)+f(y)都成立且f(3)=1