y=αrccotX，是反余切函数。

反三角函数是一类初等函数。指三角函数的反函数，由于基本三角函数具有周期性，所以反三角函数是多值函数。

这种多值的反三角函数包括：反正弦函数、反余弦函数、反正切函数、反余切函数、反正割函数、反余割函数，分别记为Arcsin x，Arccos x，Arctan x，Arccot x，Arcsec x，Arccsc x。