证明过程如下：设arctanx=a。

则tana=x。cot（π/2-a）=tana=x。由此可得：arccotx=π/2-a。进而可得：arctanx+arccotx=a+π/2-a=π/2。正切函数y=tanx在开区间（x∈(-π/2,π/2)）的反函数，记作y=arctanx，叫做反正切函数。它表示(-π/2,π/2)上正切值等于 x 的那个唯一确定的角，即tan(arctan x)=x，反正切函数的定义域为R即(-∞，+∞)。反正切函数是反三角函数的一种。反余切函数（反三角函数之一）为余切函数y=cotx（x∈[0,π]）的反函数，记作y=arccotx或coty=x（x∈R）。由原函数的图像和它的反函数的图像关于一三象限角平分线对称可知余切函数的图像和反余切函数的图像也关于一三象限角平分线对称。同角三角函数的基本关系式倒数关系：tanα ·cotα=1、sinα ·cscα=1、cosα ·secα=1；商的关系： sinα/cosα=tanα=secα/cscα、cosα/sinα=cotα=cscα/secα；和的关系：sin2α+cos2α=1、1+tan2α=sec2α、1+cot2α=csc2α；平方关系：sin²α+cos²α=1。

免责声明：本站文字信息和图片素材来源于互联网，仅用于学习参考，如内容侵权与违规，请联系我们进行删除，我们将在三个工作日内处理。联系邮箱：chuangshanghai#qq.com（把#换成@）