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