对任意0有x2/x1>1x>1,则f(x)>0f(x2/x1)>0x1,x2/x1∈(0,+∞)f(x2)=f(x1×x2/x1)=f(x1)+f(x2/x1)>f(x1)f(x)在(0,+∞)单调增
这是对数函数