Xrthnty

反正切
性質
奇偶性	奇函数
定義域	實數集
到達域	[−π2,π2]displaystyle [-frac pi 2,frac pi 2]
周期	N/A
特定值
當x=0	0
當x=+∞	π2displaystyle frac pi 2
當x=-∞	−π2displaystyle -frac pi 2
其他性質
渐近线	y=±π2displaystyle y=pm frac pi 2
根	0
拐點	原點

反正切（arctangent、arctandisplaystyle arctan 、arctg、tan−1displaystyle tan ^-1）^[1]是一種反三角函數，是利用已知直角三角形的對邊和鄰邊这两条直角边的比值求出其夹角大小的函數，是高等數學中的一種基本特殊函數。在三角學中，反正切被定義為一個角度，也就是正切值的反函數，由於正切函數在實數上不具有一一對應的關係，所以不存在反函數，但我們可以限制其定義域，因此，反正切是單射和滿射也是可逆的，但不同於反正弦和反餘弦，由於限制正切函數的定義域在[−π2,π2]displaystyle [-frac pi 2,frac pi 2]时，其值域是全體實數，因此可得到的反函數定義域也是全體實數，而不必再進一步去限制定義域。

由於反正切函數的定義為求已知對邊和鄰邊的角度值，剛好可以視為直角坐標系的x座標與y座標，根據斜率的定義，反正切函數可以用來求出平面上已知斜率的直線與座標軸的夾角。

反正切函數經常記為tan−1displaystyle tan ^-1，在外文文獻中常記為arctandisplaystyle arctan ^[2]，在一些舊的教科書中也有人記為arctg，但那是舊的用法，不過根據ISO 31-11標準應將反正切函數記為arctandisplaystyle arctan ，因為tan−1displaystyle tan ^-1可能會與1tandisplaystyle frac 1tan 混淆，1tandisplaystyle frac 1tan 是餘切函數。

定義

原始的定義是將正切函數限制在[0,π]displaystyle [0,pi ]的反函數

在複變分析中，反正切是這樣定義的：

arctan⁡x=i2ln⁡(i+xi−x)displaystyle arctan x=frac mathrm i 2ln left(frac mathrm i +xmathrm i -xright),

這個動作使反正切被推廣到複數。

拓展到複數的反正切函數

直角坐标系中

在直角坐標系中，反正切函數可以視為已知平面上直線斜率的傾角

级数定义

反正切函數可利用泰勒展開式來求得級數的定義
反正切函數的泰勒展開式為：

∀x∈[−1,1]arctan(x)=∑k=0∞(−1)kx2k+12k+1=x−13x3+15x5−17x7+⋯displaystyle forall xin [-1,1]quad mathrm arctan (x)=sum _k=0^infty (-1)^kfrac x^2k+12k+1=x-frac 13x^3+frac 15x^5-frac 17x^7+cdots

當|x|≤1leq 1且x≠±idisplaystyle xneq pm i時，這是一個收斂的級數，這使得反正切函數被定義在整個實數集上。這個級數也可以用來計算圓周率的近似值，最簡單的公式是x=1displaystyle x=1時的情況，稱為莱布尼茨公式^[3]

π4=1−13+15−17+−…displaystyle frac pi 4=1-frac 13+frac 15-frac 17+-ldots

更精確的寫法是梅欽類公式

π4=4arctan15−arctan1239displaystyle frac pi 4=4mathrm arctan frac 15-mathrm arctan frac 1239

性質

由於反正切函數是一個奇函數，因此滿足下面等式：

arctan⁡(−x)=−arctan⁡xdisplaystyle arctan(-x)=-arctan x!

反正切函數的微分導數為：

arctan′x=11+x2displaystyle rm arctan'x=frac 11+x^2

arctan″x=−2x(1+x2)2displaystyle rm arctan''x=frac -2xleft(1+x^2right)^2,

arctan‴x=6x2−2(1+x2)3displaystyle rm arctan'''x=frac ;6x^2-2;left(1+x^2right)^3,

arctan⁗x=−24x3+24x(1+x2)4displaystyle rm arctan''''x=frac ;-24x^3+24x;;left(1+x^2right)^4,

⋯.displaystyle cdots qquad .

恆等式

和差

arctanx±arctany=arctanx±y1∓xy,xy<1displaystyle arctan ,xpm arctan ,y=arctan ,frac xpm y1mp xy,xy<1 （+）、xy>−1displaystyle xy>-1（－）

arctanx±arctany=π±arctanx±y1∓xy,x>0,xy>1displaystyle arctan ,xpm arctan ,y=pi pm arctan ,frac xpm y1mp xy,x>0,xy>1（+）、x>0,xy<−1displaystyle x>0,xy<-1（－）

arctanx±arctany=−π±arctanx±y1∓xy,x<0,xy>1displaystyle arctan ,xpm arctan ,y=-pi pm arctan ,frac xpm y1mp xy,x<0,xy>1（+）、x<0,xy<−1displaystyle x<0,xy<-1（－）

Atan2

在三角函數中，atan2是反正切函數的一個變種，有兩個變數，主要是提供給計算機编程語言一個簡便的角度計算方式，其定義為：

atan2⁡(y,x)={arctan⁡(yx)x>0arctan⁡(yx)+πy≥0,x<0arctan⁡(yx)−πy<0,x<0+π2y>0,x=0−π2y<0,x=0undefinedy=0,x=0displaystyle operatorname atan2 (y,x)=begincasesarctan left(frac yxright)&qquad x>0\arctan left(frac yxright)+pi &qquad ygeq 0,x<0\arctan left(frac yxright)-pi &qquad y<0,x<0\+frac pi 2&qquad y>0,x=0\-frac pi 2&qquad y<0,x=0\textundefined&qquad y=0,x=0endcasesarctanleft(frac y xright) & qquad x > ""0 \""
arctanleft(frac y xright) + pi& qquad y ge 0 , x < ""0 \""
arctanleft(frac y xright) - pi& qquad y < 0 , x < ""0 \""
+fracpi2 & qquad y > 0 , x = ""0 \""
-fracpi2 & qquad y < 0 , x = ""0 \""
textundefined & qquad y = "0, x = 0"
endcases"/>

參考文獻

• 埃里克·韦斯坦因. Inverse Tangent. MathWorld. 


• 埃里克·韦斯坦因. Machin-Like Formulas. MathWorld. 

參見

• 正切


• 餘切

查 论 编 三角函數 基本函數 正弦 · 餘弦 · 正切 · 餘切 · 正割 · 餘割 反函數 反正弦 · 反餘弦 · 反正切 · 反餘切 · 反正割‎ · 反餘割 其他函數 正矢 · 餘矢 · cis函數 · 餘cis函數 · 半正矢 · 半餘矢 · 外正割 · 外餘割 · atan2 · 古德曼函數 定理 正弦定理 · 餘弦定理 · 正切定理 · 餘切定理 · 正割定理 · 勾股定理 其他 三角函數恆等式 · 三角函數精確值 · 三角函数积分表 · 三角函数表 · 雙曲三角函數 · 雙曲三角函數恆等式