正切函数的求导(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。
6.2x+1的导数