V1=(vo+at+v0)/2,V2=根号v0^2+(at+vo)^,近似地可以看成是根号 (at+vo)^2/2 ,则绝对值v2-v1等价于(v2-v1)^2=根号2乘(at+vo)/2-(vo+at+v0)/2,可以不看常数,则函数是单调增的,所以得证!可不可以这样做?