角形中，反正割定义为已知斜边c与邻边b比值对应的formula_14的大小，也就是：此外在直角三角形中，若已知斜边为formula_16且邻边为单位长，formula_16代入反正割可求得对应的角的大小：因此，根据毕氏定理可以使反正割利用其他反三角函数表示：
直角坐标系中.若formula_22是平面直角坐标系xOy中的一个未知的象限角，formula_23是角的终边上一点，formula_24是P到原点O的距离，若已知formula_25，则可利用反正割求得未知的象限角f