函数，是利用已知直角三角形的对边和邻边这两条直角边的比值求出其夹角大小的函数，是高等数学中的一种。在三角学中，反正切被定义为一个角度，也就是正切值的反函数，由于正切函数在实数上不具有一一对应的关系，所以不存在反函数，但我们可以限制其定义域，因此，反正切是单射和满射也是可逆的，但不同于反正弦和反余弦，由于限制正切函数的定义域在formula_3时，其值域是全体实数，因此可得到的反函数定义域也是全体实数，而不必再进一步去限制定义域。由于反正切函数的定义为求已知对边和邻边的角度值，刚好可以视为直角坐标系的x座