解:令y=arctanx,则x=tany。
对x=tany这个方程“=”的两边同时对x求导,则(x)'=(tany)'1=sec²y*(y)',则(y)'=1/sec²y又tany=x,则sec²y=1+tan²y=1+x²得,(y)'=1/(1+x²)即arctanx的导数为1/(1+x²)。对于可导的函数f(x),x↦f'(x)也是一个函数,称作f(x)的导函数(简称导数)。寻找已知的函数在某点的导数或其导函数的过程称为求导。实质上,求导就是一个求极限的过程,导数的四则运算法则也来源于极限的四则运算法则。反之,已知导函数也可以反过来求原来的函数,即不定积分。