一、反正切函数的导数公式推导
arctanx的导数=1/(1+x²)
y=arctanx
x=tany
dx/dy=sec²y=tan²y+1
dy/dx=1/(dx/dy)=1/(tan²y+1)=1/(1+x²)
扩展资料
常用导数公式：
1.y=c(c为常数) y'=0
2.y=x^n y'=nx^(n-1)
3.y=a^x y'=a^xlna，y=e^x y'=e^x
4.y=logax y'=logae/x，y=lnx y'=1/x
5.y=sinx y'=cosx
6.y=cosx y'=-sinx
7.y=tanx y'=1/cos^2x
8.y=cotx y'=-1/sin^2x
9.y=arcsinx y'=1/√1-x^2
10.y=arccosx y'=-1/√1-x^2
11.y=arctanx y'=1/1+x^2
12.y=arccotx y'=-1/1+x^2
二、反正切函数的导数
正切函数的求导(acrtanx)'=1/(1+x²)，而arccotx=π/2-acrtanx，所以(arccotx)'=(π/2-acrtanx)'=-(acrtanx)'=-1/(1+x²)
什么是反正切函数
正切函数y=tanx在开区间（x∈(-π/2,π/2)）的反函数，记作y=arctanx或y=tan-1x，叫做反正切函数。它表示(-π/2,π/2)上正切值等于x的那个唯一确定的角，即tan(arctanx)=x，反正切函数的定义域为R即(-∞，+∞)。反正切函数是反三角函数的一种。
由于正切函数y=tanx在定义域R上不具有一一对应的关系，所以不存在反函数。注意这里选取是正切函数的一个单调区间。而由于正切函数在开区间(-π/2,π/2)中是单调连续的，因此，反正切函数是存在且唯一确定的。引进多值函数概念后，就可以在正切函数的整个定义域(x∈R，且x≠kπ+π/2，k∈Z)上来考虑它的反函数，这时的反正切函数是多值的，记为y=Arctanx，定义域是(-∞，+∞)，值域是y∈R，y≠kπ+π/2，k∈Z。于是，把y=arctanx(x∈(-∞，+∞)，y∈(-π/2,π/2))称为反正切函数的主值，而把y=Arctanx=kπ+arctanx(x∈R，y∈R，y≠kπ+π/2，k∈Z)称为反正切函数的通值。反正切函数在(-∞，+∞)上的图像可由区间(-π/2,π/2)上的正切曲线作关于直线y=x的对称变换而得到，如图所示。
反正切函数的大致图像如图所示，显然与函数y=tanx,（x∈R）关于直线y=x对称，且渐近线为y=π/2和y=-π/2。
三、arctan导数是什么？
arctan导数是:arctanx（即Arctangent）指反正切函数。反函数与原函数关于y=x的对称点的导数互为倒数。
设原函数为y=f(x)，则其反函数在y点的导数与f'(x)互为倒数（即原函数，前提要f'(x)存在且不为0）。
(arctanx)'=1/(1+x^2)
函数y=tanx,（x不等于kπ+π/2,k∈Z）的反函数，记作x=arctany，叫做反正切函数。其值域为（-π/2,π/2）。反正切函数是反三角函数的一种。
反三角函数求导公式：
反正弦函数的求导：(arcsinx)'=1/√(1-x^2)
反余弦函数的求导：(arccosx)'=-1/√(1-x^2)
反正切函数的求导：(arctanx)'=1/(1+x^2)
反余切函数的求导：(arccotx)'=-1/(1+x^2)
