arctanx=1/(1+x²)。
anx是正切函数，其定义域是｛x|x≠（π／2)+kπ，k∈Z}，值域是R。arctanx是反正切函数，其定义域是R,反正切函数的值域为（－π／2,π／2）。
推导过程：
设x=tant，则t=arctanx，两边求微分。
dx=[(cos²t+sin²t)/(cos²x)]dt。
dx=(1/cos²t)dt。
dt/dx=cos²t。
dt/dx=1/(1+tan²t)。
因为x=tant。
所以上式t'=1/(1+x²)。
反三角函数介绍：
反三角函数包括：反正弦函数、反余弦函数、反正切函数、反余切函数、反正割函数、反余割函数，分别记为Arcsinx，Arccosx，Arctanx，Arccotx，Arcsecx，Arccscx。
但是，在实函数中一般只研究单值函数，只把定义在包含锐角的单调区间上的基本三角函数的反函数，称为反三角函数，这是亦称反圆函数。
