区间(0, ∞)上的增函数（lnx）加增函数（-a/x）仍然是区间(0, ∞)上的增函数，定义证明: 任取x1,x2∈(0, ∞),且x1x1>0 ∴00 ∴ln(x1/x2) a(x1-x2)/x1x2<0, 得f(x1)
