称函数$y=arccot\ x$为反余切函数，它的定义域为$(-\infty,+\infty)$，值域为$(0,\pi)$
该函数有界，是一个单调减少函数，是余切函数$y=cot\ x$在区间$(0,\pi)$上的反函数