定義
原始的定義是將正切函數 限制在
[
−
π
2
,
π
2
]
{\displaystyle [-{\frac {\pi }{2}},{\frac {\pi }{2}}]}
([-90°,90°])的反函數
在複變分析 中,反正切是這樣定義 的:
arctan
x
=
i
2
ln
(
i
+
x
i
−
x
)
{\displaystyle \arctan x={\frac {\mathrm {i} }{2}}\ln \left({\frac {{\mathrm {i} }+x}{{\mathrm {i} }-x}}\right)\,}
這個動作使反正切被推廣到複數 。
拓展到複數的反正切函數
直角坐标系中
在直角坐標系 中,反正切函數可以視為已知平面 上直線 斜率 的傾角
级数定义
反正切函數可利用泰勒展開式來求得級數的定義
反正切函數的泰勒展開式為:
∀
x
∈
[
−
1
,
1
]
a
r
c
t
a
n
(
x
)
=
∑
k
=
0
∞
(
−
1
)
k
x
2
k
+
1
2
k
+
1
=
x
−
1
3
x
3
+
1
5
x
5
−
1
7
x
7
+
⋯
{\displaystyle \forall x\in [-1,1]\quad \mathrm {arctan} (x)=\sum _{k=0}^{\infty }(-1)^{k}{\frac {x^{2k+1}}{2k+1}}=x-{\frac {1}{3}}x^{3}+{\frac {1}{5}}x^{5}-{\frac {1}{7}}x^{7}+\cdots }
當
|
x
|
≤
1
{\displaystyle \left|x\right|\leq 1}
且
x
≠
±
i
{\displaystyle x\neq \pm i}
時,這是一個收斂的級數,這使得反正切函數被定義在整個實數集上。這個級數也可以用來計算圓周率 的近似值,最簡單的公式是
x
=
1
{\displaystyle x=1}
時的情況,稱為莱布尼茨公式 [3]
π
4
=
1
−
1
3
+
1
5
−
1
7
+
−
…
{\displaystyle {\frac {\pi }{4}}=1-{\frac {1}{3}}+{\frac {1}{5}}-{\frac {1}{7}}+-\ldots }
更精確的寫法是梅欽類公式
π
4
=
4
a
r
c
t
a
n
1
5
−
a
r
c
t
a
n
1
239
{\displaystyle {\frac {\pi }{4}}=4\mathrm {arctan} {\frac {1}{5}}-\mathrm {arctan} {\frac {1}{239}}}
性質
恆等式
和差
arctan
x
±
arctan
y
=
arctan
x
±
y
1
∓
x
y
,
x
y
<
1
{\displaystyle \arctan \,x\pm \arctan \,y=\arctan \,{\frac {x\pm y}{1\mp xy}},xy<1}
(+)、
x
y
>
−
1
{\displaystyle xy>-1}
(-)
arctan
x
±
arctan
y
=
π
±
arctan
x
±
y
1
∓
x
y
,
x
>
0
,
x
y
>
1
{\displaystyle \arctan \,x\pm \arctan \,y=\pi \pm \arctan \,{\frac {x\pm y}{1\mp xy}},x>0,xy>1}
(+)、
x
>
0
,
x
y
<
−
1
{\displaystyle x>0,xy<-1}
(-)
arctan
x
±
arctan
y
=
−
π
±
arctan
x
±
y
1
∓
x
y
,
x
<
0
,
x
y
>
1
{\displaystyle \arctan \,x\pm \arctan \,y=-\pi \pm \arctan \,{\frac {x\pm y}{1\mp xy}},x<0,xy>1}
(+)、
x
<
0
,
x
y
<
−
1
{\displaystyle x<0,xy<-1}
(-)
Atan2
在三角函數 中,atan2是反正切函數的一個變種,有兩個變數,主要是提供給計算機编程語言一個簡便的角度計算方式,其定義為:
atan2
(
y
,
x
)
=
{
arctan
(
y
x
)
x
>
0
arctan
(
y
x
)
+
π
y
≥
0
,
x
<
0
arctan
(
y
x
)
−
π
y
<
0
,
x
<
0
+
π
2
y
>
0
,
x
=
0
−
π
2
y
<
0
,
x
=
0
undefined
y
=
0
,
x
=
0
{\displaystyle \operatorname {atan2} (y,x)={\begin{cases}\arctan \left({\frac {y}{x}}\right)&\qquad x>0\\\arctan \left({\frac {y}{x}}\right)+\pi &\qquad y\geq 0,x<0\\\arctan \left({\frac {y}{x}}\right)-\pi &\qquad y<0,x<0\\+{\frac {\pi }{2}}&\qquad y>0,x=0\\-{\frac {\pi }{2}}&\qquad y<0,x=0\\{\text{undefined}}&\qquad y=0,x=0\end{cases}}}
參考文獻
^ Weisstein, Eric W. "Inverse Cotangent." From MathWorld--A Wolfram Web Resource. InverseCotangent (页面存档备份 ,存于互联网档案馆 )
^ 《 Exponentielle & logarithme 》, § Fonctions circulaires réciproques, Dictionnaire de mathématiques – algèbre, analyse, géométrie , Encyclopædia Universalis.
^ Connue des anglophones sous le nom de "formule de 詹姆斯·格雷果里 " ; cette formule avait en fait été déjà découverte parMadhava of Sangamagrama au quatorzième siècle ; voir l'article de la Wikipedia anglophone pourplus de détails
參見