已知f(x)定义域为(0,正无穷),且在其上为增函数,满足f(x乘y)=f(x)+f(y),f(3)=1.