f(x)=arctanx在区间[0-1]上验证拉格朗日中值定理的正确性