反正切

反正切（arctangent、${\displaystyle \arctan }$、arctg、${\displaystyle {\tan }^{-<!--\; -\; -->1}}$）是一种反三角函数，是利用已知直角三角形的对边和邻边这两条直角边的比值求出其夹角大小的函数，是高等数学中的一种基本特殊函数。在三角学中，反正切被定义为一个角度，也就是正切值的反函数，由于正切函数在实数上不具有一一对应的关系，所以不存在反函数，但我们可以限制其定义域，因此，反正切是单射和满射也是可逆的，但不同于反正弦和反余弦，由于限制正切函数的定义域在${\displaystyle }$时，其值域是全体实数，因此可得到的反函数定义域也是全体实数，而不必再进一步去限制定义域。

由于反正切函数的定义为求已知对边和邻边的角度值，刚好可以视为直角坐标系的x座标与y座标，根据斜率的定义，反正切函数可以用来求出平面上已知斜率的直线与座标轴的夹角。

反正切函数经常记为${\displaystyle {\tan }^{-<!--\; -\; -->1}}$，在外文文献中常记为${\displaystyle \arctan }$，在一些旧的教科书中也有人记为arctg，但那是旧的用法，不过根据ISO 31-11标准应将反正切函数记为${\displaystyle \arctan }$，因为${\displaystyle {\tan }^{-<!--\; -\; -->1}}$可能会与${\displaystyle \frac{1}{\tan }}$混淆，${\displaystyle \frac{1}{\tan }}$是余切函数。

原始的定义是将正切函数限制在${\displaystyle }$的反函数
在复变分析中，反正切是这样定义的：

这个动作使反正切被推广到复数。

在直角坐标系中，反正切函数可以视为已知平面上直线斜率的倾角

反正切函数可利用泰勒展开式来求得级数的定义反正切函数的泰勒展开式为：

当${\displaystyle \left|x\right|\le <!--\; \le \; -->1}$且${\displaystyle x\ne <!--\; \ne \; -->\pm <!--\; \pm \; -->i}$时，这是一个收敛的级数，这使得反正切函数被定义在整个实数集上。这个级数也可以用来计算圆周率的近似值，最简单的公式是${\displaystyle x=1}$时的情况，称为莱布尼茨公式

更精确的写法是梅钦类公式

由于反正切函数是一个奇函数，因此满足下面等式：

反正切函数的微分导数为：

在三角函数中，atan2是反正切函数的一个变种，有两个变数，主要是提供给计算机编程语言一个简便的角度计算方式，其定义为：

正弦 · 余弦 · 正切 · 余切 · 正割 · 余割

反正弦 · 反余弦 · 反正切 · 反余切 · 反正割‎ · 反余割

正矢 · 余矢 · cis函数 · 余cis函数 · 半正矢 · 半余矢 · 外正割 · 外余割 · atan2 · 古德曼函数

正弦定理 · 余弦定理 · 正切定理 · 余切定理 · 勾股定理

三角函数恒等式 · 三角函数精确值 · 三角函数积分表 · 三角函数表 · 双曲三角函数 · 双曲三角函数恒等式