、arcctg、ACOT或formula_2）又称为逆余切，是一种反三角函数，对应的三角函数为余切函数，是利用已知直角三角形的邻边和对边这两条直角边长度的比值求出其夹角大小的函数，但其输入值和反正切的输入值互为倒数，是高等数学中的一种。反余切可以视为余切的反函数，但余切函数是周期函数且在实数上不具有一一对应的关系，所以不存在反函数，但也可以视为多值函数，因此我们必须限制余切函数的定义域使其成为单射和满射也是可逆的。一般最常见的方式是限制余切函数的定义域在0到π之间，如下图所示（以红色曲线表示），此时