已知函数f(x)的定义域是(0,正无穷),当x>1时,f(x)>0,且f(x*y)=f(x)+f(y)