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