反正切函数诱导公式

由于正切函数y=tanx在定义域R上不具有一一对应的关系，所以不存在反函数。

注意这里选取是正切函数的一个单调区间。而由于正切函数在开区间(-π/2,π/2)中是单调连续的，因此，反正切函数是存在且唯一确定的。引进多值函数概念后，就可以在正切函数的整个定义域(x∈R，且x≠kπ+π/2，k∈Z)上来考虑它的反函数，这时的反正切函数是多值的，记为 y=Arctan x，定义域是(-∞，+∞)，值域是 y∈R，y≠kπ+π/2，k∈Z。于是，把 y=arctan x (x∈(-∞，+∞)，y∈(-π/2,π/2))称为反正切函数的主值，而把 y=Arctan x=kπ+arctan x (x∈R，y∈R，y≠kπ+π/2，k∈Z)称为反正切函数的通值。反正切函数在(-∞，+∞)上的图像可由区间(-π/2,π/2)上的正切曲线作关于直线 y=x 的对称变换而得到