设arctanx=α,(1)
则α∈(-π/2,π/2)且tanα=x
由cos²α=1/(1+tan²α)及cosα>0,得
cosα=1/√(1+x²)
所以 sinα=tanαcosα=x/√(1+x²)
即α=arcsin[x/√(1+x²)] （2）
从而 arctanx=arcsin[x/√(1+x²)]