证明:设x11 (x2-x1>0,由已知可得)
所以f(x2)=f[x1+(x2-x1)]=f(x1)+f(x2-x1)-1>f(x1)
故f(x)递增
f(4)=f(2+2)=2f(2)-1=5
得f(2)=3
故f(3m^2-m-2)