tan (arctan x) =x。
正切函数y=tanx在开区间(x∈(-π/2,π/2))的反函数,记作y=arctanx 或 y=tan-1x,叫做反正切函数。它表示(-π/2,π/2)上正切值等于 x 的那个唯一确定的角,即tan(arctan x)=x,反正切函数的定义域为R即(-∞,+∞)。反正切函数是反三角函数的一种。
正切定理
在平面三角形中,正切定理说明任意两条边的和除以第一条边减第二条边的差所得的商等于这两条边的对角的和的一半的正切除以第一条边对角减第二条边对角的差的一半的正切所得的商。
法兰西斯·韦达(François Viète)曾在他对三角法研究的第一本著作《应用于三角形的数学法则》中提出正切定理。现代的中学课本已经甚少提及,例如由于中华人民共和国曾经对前苏联和其教育学的批判,在1966年至1977年间曾经将正切定理删除出中学数学教材。