f(x)是定义域在(0.正无穷)上的 减函数且f(x)