标系中.在直角坐标系中，反余切函数可以视为已知直线垂线斜率的倾角，但是有可能差一个负号。
级数定义.反余切函数可以使用无穷级数定义：对formula_17时给出反余切函数的泰勒展开式为：以上等式也可以直接用来表示取最小同界角的反余切函数。也可以用当formula_19的洛朗级数来定义，对应formula_20的情形：此外也有欧拉导出的无穷级数：
性质.反余切函数满足等式：反余切函数是一个递减函数。在复变分析中，反余切函数在当formul