函数单调性 f(x)在零到正无穷定义 ab大于零 若f(x)/x单调下降 求证f(a+b)