已知函数f(x)的定义域是(0,正无穷),且f(x)对于任意正实数x,y都满足