设f(x)是定义在(0,正无穷大)上的增函数.对任意的正数x、y满足