令y=arctanx，x=tany，dx/dy=sec²y=tan²y+1。
dy/dx=1/(dx/dy)=1/(tan²y+1)=1/(1+x²)，具体证明过程如下：
tanx是正切函数，其定义域是{x|x≠(π/2)+kπ,k∈Z}，值域是R。arctanx是反正切函数，其定义域是R，反正切函数的值域为（-π/2,π/2），区别如下：
1、两者的周期性不同
（1）tanx为周期函数，最小正周期为π。
（2）arctanx不是周期函数。
2、两者的单调区间不同
（1）tanx有单调区间(-π/2+kπ，+π/2+kπ)，k为整数，且在该区间为单调增函数。
（2）arctanx为单调增函数，单调区间为（－∞，﹢∞）。
导数是函数的局部性质。一个函数在某一点的导数描述了这个函数在这一点附近的变化率。如果函数的自变量和取值都是实数的话，函数在某一点的导数就是该函数所代表的曲线在这一点上的切线斜率。导数的本质是通过极限的概念对函数进行局部的线性逼近。例如在运动学中，物体的位移对于时间的导数就是物体的瞬时速度。
不是所有的函数都有导数，一个函数也不一定在所有的点上都有导数。若某函数在某一点导数存在，则称其在这一点可导，否则称为不可导。然而，可导的函数一定连续；不连续的函数一定不可导。
对于可导的函数f(x)，x↦f'(x)也是一个函数，称作f(x)的导函数（简称导数）。寻找已知的函数在某点的导数或其导函数的过程称为求导。实质上，求导就是一个求极限的过程，导数的四则运算法则也来源于极限的四则运算法则。反之，已知导函数也可以反过来求原来的函数，即不定积分。
温馨提示：答案为网友推荐，仅供参考