设b>a,则原命题为证arctanb-arctana≤b-a
f(x)=arctanx在[a,b]连续,且在(a,b)可导,
由拉格朗日中值定理可知,存在一点ξ(a