arctanx=1/(1+x)。

anx是正切函数，其定义域是｛x|x≠（π／2)+kπ，k∈Z}，值域是R。arctanx是反正切函数，其定义域是R,反正切函数的值域为（－π／2,π／2）。

推导过程：

设x=tant，则t=arctanx，两边求微分。

dx=dt。

dx=(1/cost)dt。

dt/dx=cost。

dt/dx=1/(1+tant)。

因为x=tant。

所以上式t=1/(1+x)。

反三角函数介绍：

反三角函数包括：反正弦函数、反余弦函数、反正切函数、反余切函数、反正割函数、反余割函数，分别记为Arcsinx，Arccosx，Arctanx，Arccotx，Arcsecx，Arccscx。

但是，在实函数中一般只研究单值函数，只把定义在包含锐角的单调区间上的基本三角函数的反函数，称为反三角函数，这是亦称反圆函数。