tan和cot的互換公式推導

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α。

三角函數是數學中屬於初等函數中的超越函數的函數。它們的本質是任何角的集合與一個比值的集合的變量之間的映射。通常的三角函數是在平面直角座標系中定義的。其定義域為整個實數域。另一種定義是在直角三角形中，但並不完全。現代數學把它們描述成無窮數列的極限和微分方程的解，將其定義擴展到複數系。