知斜边与邻边的比值求出其夹角大小的函数，是高等数学中的一种，其输入值与反余弦互为倒数。由于正割函数在实数上不具有一一对应的关系，所以不存在反函数，但我们可以限制其定义域，因此，反正割是单射也是可逆的，由于限制正割函数的定义域在formula_3时，其值域是全体实数，但在区间formula_4不存在。
符号.反正割一般记为formula_5或formula_6，以表示正割的反函数。也有以大写书写的版本Arcsec z和Sec z一般用于表示多值函数。在符号formula_5上的上