tanx和cotx的互换公式：tan（π/2+α）=－cotα，cot（π/2+α）=－tanα。
三角函数是基本初等函数之一，是以角度为自变量，角度对应任意角终边与单位圆交点坐标或其比值为因变量的函数。
三角函数还有下列公式：
sin（π/2+α）=cosα，cos（π/2+α）=—sinα，tan（π/2+α）=－cotα，cot（π/2+α）=－tanα，sec（π/2+α）=－cscα，csc（π/2+α）=secα。
三角函数是数学中属于初等函数中的超越函数的函数。它们的本质是任何角的集合与一个比值的集合的变量之间的映射。通常的三角函数是在平面直角坐标系中定义的。其定义域为整个实数域。另一种定义是在直角三角形中，但并不完全。现代数学把它们描述成无穷数列的极限和微分方程的解，将其定义扩展到复数系。
