反余切 （英语：arccotangent [ 3]
arccot
{\displaystyle \operatorname {arccot} }
[ 4] [ 5] [ 6] arcctg [ 7] ACOT [ 8]
cot
−
1
{\displaystyle \cot ^{-1}}
[ 1] 逆余切 ，是一种反三角函数 [ 9] [ 2] 三角函数 为余切函数 ，是利用已知直角三角形 的邻边和对边这两条直角边 长度的比值 求出其夹角 大小的函数 ，但其输入值和反正切 的输入值互为倒数 ，是高等数学 中的一种基本特殊函数 。
反余切 反余切函数有多种定义方式 绿色 反函数 [ 函数 1] 蓝色 同界角 [ 函数 2] 红色 复变分析 反余切实数 部[ 函数 3] 性质 奇偶性 非奇 非偶 定义域 实数 集 到达域
[
0
,
π
]
{\displaystyle [0,\pi ]}
[ 函数 2]
[
0
,
180
∘
]
{\displaystyle [0,180^{\circ }]}
[ 函数 2]
(
−
π
2
,
π
2
]
{\displaystyle (-{\frac {\pi }{2}},{\frac {\pi }{2}}]}
[ 函数 3]
(
−
90
∘
,
90
∘
]
{\displaystyle (-90^{\circ },90^{\circ }]}
[ 函数 3] 周期 N/A 特定值 当x=0
π
2
{\displaystyle {\frac {\pi }{2}}}
当x=+∞ 0 当x=-∞
π
{\displaystyle \pi }
[ 函数 2] [ 函数 2] [ 函数 3] 其他性质 渐近线
y
=
0
,
y
=
π
{\displaystyle {y=0,y=\pi }}
[ 函数 2]
y
=
0
,
y
=
180
∘
{\displaystyle {y=0,y=180^{\circ }}}
[ 函数 2]
y
=
0
{\displaystyle y=0}
[ 函数 3] 根 无穷大 拐点
(
0
,
π
2
)
{\displaystyle (0,{\frac {\pi }{2}})}
[ 函数 2]
(
0
,
90
∘
)
{\displaystyle (0,90^{\circ })}
[ 函数 2] 不动点 0.86033358901938...[ 函数 2] [ 注 1] ±0.86033358901938... [ 函数 3]
反余切 可以视为余切 的反函数 ，但余切函数 是周期函数 且在实数 上不具有一一对应的关系，所以不存在反函数 ，但也可以视为多值函数 [ 函数 1] [ 1] 限制 余切函数的定义域 使其成为单射 和满射 也是可逆 的。
一般最常见的方式是限制余切函数 的定义域 在0 到π [ 10] [ 1] [ 11] 奇函数 也不是偶函数 ，而是一个单调递减 的有界函数 [ 12] 最大值 为
π
{\displaystyle \pi }
最小值 为0且函数连续 ，但有两条渐近线 。
另外一种定义方式是限制余切函数 的定义域 在
±
π
2
{\displaystyle \pm {\frac {\pi }{2}}}
[ 13] [ 14] 反正切 相同，此时反余切函数是奇函数 ，值域与其他相关性质皆与反正切类似，但函数并不连续。
由于余切是周期函数，而上述二种定义方式皆是取余切的一个周期，因此其定义域皆为实数 集 。但当将反余切函数扩展至复数 时，会采用后者的定义方式[ 4]
但由于复变分析 的定义方式会造成函数不连续[ 函数 3]
x
=
0
{\displaystyle x=0}
断点 ，因此应用在测量学 上时会采用取最小同界角 的方式[ 函数 2] [ 15]
反余切函数经常记为
cot
−
1
{\displaystyle \cot ^{-1}}
[ 1]
arccot
{\displaystyle \operatorname {arccot} }
[ 16] [ 4] [ 5] [ 6] ISO 31 -11，应将反余切函数记为
arccot
{\displaystyle \operatorname {arccot} }
cot
−
1
{\displaystyle \cot ^{-1}}
1
cot
{\displaystyle {\frac {1}{\cot }}}
1
cot
{\displaystyle {\frac {1}{\cot }}}
正切函数 。
反余切 表示余切的反函数，因此是一个多值函数[ 1]
将余切函数 限制在
[
0
,
π
]
{\displaystyle [0,\pi ]}
反函数 [ 1]
将余切函数 限制在
(
−
π
2
,
π
2
]
{\displaystyle (-{\frac {\pi }{2}},{\frac {\pi }{2}}]}
(
−
90
∘
,
90
∘
]
{\displaystyle (-90^{\circ },90^{\circ }]}
反函数 [ 2] 在复变分析中则是采用第二种定义延伸至复数[ 4]
arccot
x
=
i
2
[
ln
(
x
−
i
x
)
−
ln
(
x
+
i
x
)
]
{\displaystyle \operatorname {arccot} x={\frac {i}{2}}\left[\ln \left({\frac {x-i}{x}}\right)-\ln \left({\frac {x+i}{x}}\right)\right]}
这个动作使反余切被推广到复数 。
拓展到复数的反余切函数
此外，反余切函数[ 函数 3] [ 2]
arccot
(
x
)
=
cot
−
1
(
x
)
=
{
sec
−
1
(
x
2
+
1
x
)
−
π
,
for
x
<
0
sec
−
1
(
x
2
+
1
x
)
,
for
x
>
0
=
{
−
π
2
−
tan
−
1
x
,
for
x
<
0
π
2
−
tan
−
1
x
,
for
x
>
0
∨
x
=
0
=
{
−
sin
−
1
(
1
x
2
+
1
)
,
for
x
<
0
sin
−
1
(
1
x
2
+
1
)
,
for
x
>
0
=
{
−
csc
−
1
(
x
2
+
1
)
,
for
x
<
0
csc
−
1
(
x
2
+
1
)
,
for
x
>
0
=
{
−
cos
−
1
(
x
2
+
1
x
)
−
π
,
for
x
<
0
cos
−
1
(
x
2
+
1
x
)
,
for
x
>
0
=
{
−
π
2
−
sin
−
1
(
1
x
2
+
1
)
,
for
x
<
0
π
2
−
sin
−
1
(
1
x
2
+
1
)
,
for
x
>
0
{\displaystyle {\begin{aligned}\operatorname {arccot}(x)=\cot ^{-1}(x)&={\begin{cases}\sec ^{-1}\left({\frac {\sqrt {x^{2}+1}}{x}}\right)-\pi ,&{\mbox{for }}x<0\\\sec ^{-1}\left({\frac {\sqrt {x^{2}+1}}{x}}\right),&{\mbox{for }}x>0\end{cases}}={\begin{cases}-{\frac {\pi }{2}}-\tan ^{-1}x,&{\mbox{for }}x<0\\{\frac {\pi }{2}}-\tan ^{-1}x,&{\mbox{for }}x>0\lor x=0\end{cases}}\\&={\begin{cases}-\sin ^{-1}\left({\frac {1}{\sqrt {x^{2}+1}}}\right),&{\mbox{for }}x<0\\\sin ^{-1}\left({\frac {1}{\sqrt {x^{2}+1}}}\right),&{\mbox{for }}x>0\end{cases}}={\begin{cases}-\csc ^{-1}\left({\sqrt {x^{2}+1}}\right),&{\mbox{for }}x<0\\\csc ^{-1}\left({\sqrt {x^{2}+1}}\right),&{\mbox{for }}x>0\end{cases}}\\&={\begin{cases}-\cos ^{-1}\left({\frac {\sqrt {x^{2}+1}}{x}}\right)-\pi ,&{\mbox{for }}x<0\\\cos ^{-1}\left({\frac {\sqrt {x^{2}+1}}{x}}\right),&{\mbox{for }}x>0\end{cases}}={\begin{cases}-{\frac {\pi }{2}}-\sin ^{-1}\left({\frac {1}{\sqrt {x^{2}+1}}}\right),&{\mbox{for }}x<0\\{\frac {\pi }{2}}-\sin ^{-1}\left({\frac {1}{\sqrt {x^{2}+1}}}\right),&{\mbox{for }}x>0\end{cases}}\\\end{aligned}}}
在直角坐标系 中，反余切函数可以视为已知直线 垂线斜率 的倾角，但是有可能差一个负号。
反余切函数可以使用无穷级数 定义：
arccot
z
=
π
2
−
arctan
z
=
π
2
−
(
z
−
z
3
3
+
z
5
5
−
z
7
7
+
⋯
)
=
π
2
−
∑
n
=
0
∞
(
−
1
)
n
z
2
n
+
1
2
n
+
1
;
|
z
|
≤
1
z
≠
i
,
−
i
{\displaystyle {\begin{aligned}\operatorname {arccot} z&{}={\frac {\pi }{2}}-\arctan z\\&{}={\frac {\pi }{2}}-(z-{\frac {z^{3}}{3}}+{\frac {z^{5}}{5}}-{\frac {z^{7}}{7}}+\cdots )\\&{}={\frac {\pi }{2}}-\sum _{n=0}^{\infty }{\frac {(-1)^{n}z^{2n+1}}{2n+1}};\qquad |z|\leq 1\qquad z\neq i,-i\end{aligned}}}
[ 函数 2] 对
x
>
0
{\displaystyle x>0}
[ 函数 3] [ 17]
arccot
x
=
π
2
−
∑
k
=
0
∞
(
−
1
)
k
x
2
k
+
1
2
k
+
1
=
π
2
−
x
+
x
3
3
−
x
5
5
+
x
7
7
−
⋯
{\displaystyle \operatorname {arccot} x={\frac {\pi }{2}}-\sum _{k=0}^{\infty }(-1)^{k}{\frac {x^{2k+1}}{2k+1}}={\frac {\pi }{2}}-x+{\frac {x^{3}}{3}}-{\frac {x^{5}}{5}}+{\frac {x^{7}}{7}}-\cdots }
以上等式也可以直接用来表示取最小同界角 的反余切函数[ 函数 2]
也可以用当
z
=
∞
{\displaystyle z=\infty }
洛朗级数 来定义，对应
|
z
|
>
1
{\displaystyle \left|z\right|>1}
arccot
z
=
∑
k
=
0
∞
(
−
1
)
k
z
−
(
2
k
+
1
)
2
k
+
1
=
1
z
−
1
3
x
3
+
1
5
x
5
−
1
7
x
7
+
1
9
x
9
−
⋯
{\displaystyle \operatorname {arccot} z=\sum _{k=0}^{\infty }(-1)^{k}{\frac {z^{-(2k+1)}}{2k+1}}={\frac {1}{z}}-{\frac {1}{3x^{3}}}+{\frac {1}{5x^{5}}}-{\frac {1}{7x^{7}}}+{\frac {1}{9x^{9}}}-\cdots }
[ 函数 3] 此外也有欧拉 导出的无穷级数[ 18]
arccot
(
z
)
=
cot
−
1
(
z
)
=
z
∑
n
=
1
∞
(
2
n
−
2
)
!
!
(
2
n
−
1
)
!
!
(
z
2
+
1
)
n
{\displaystyle \operatorname {arccot}(z)=\cot ^{-1}(z)=z\sum _{n=1}^{\infty }{\frac {(2n-2)!!}{(2n-1)!!\left(z^{2}+1\right)^{n}}}}
[ 函数 3]
arccot
x
+
arccot
y
=
arccot
x
y
−
1
x
+
y
,
x
>
−
y
{\displaystyle \operatorname {arccot} x+\operatorname {arccot} y=\operatorname {arccot} {\frac {xy-1}{x+y}},x>-y}
arccot
x
+
arccot
y
=
arccot
x
y
−
1
x
+
y
+
π
,
x
<
−
y
{\displaystyle \operatorname {arccot} x+\operatorname {arccot} y=\operatorname {arccot} {\frac {xy-1}{x+y}}+\pi ,x<-y}
arctan
x
+
arccot
x
=
π
2
{\displaystyle \arctan x+\operatorname {arccot} x={\frac {\pi }{2}}}
∫
arccot
x
c
d
x
=
x
arccot
x
c
+
c
2
ln
(
c
2
+
x
2
)
{\displaystyle \int \operatorname {arccot} {\frac {x}{c}}\ dx=x\operatorname {arccot} {\frac {x}{c}}+{\frac {c}{2}}\ln(c^{2}+x^{2})}
∫
x
arccot
x
c
d
x
=
c
2
+
x
2
2
arccot
x
c
+
c
x
2
{\displaystyle \int x\operatorname {arccot} {\frac {x}{c}}\ dx={\frac {c^{2}+x^{2}}{2}}\operatorname {arccot} {\frac {x}{c}}+{\frac {cx}{2}}}
∫
x
2
arccot
x
c
d
x
=
x
3
3
arccot
x
c
+
c
x
2
6
−
c
3
6
ln
(
c
2
+
x
2
)
{\displaystyle \int x^{2}\operatorname {arccot} {\frac {x}{c}}\ dx={\frac {x^{3}}{3}}\operatorname {arccot} {\frac {x}{c}}+{\frac {cx^{2}}{6}}-{\frac {c^{3}}{6}}\ln(c^{2}+x^{2})}
∫
x
n
arccot
x
c
d
x
=
x
n
+
1
n
+
1
arccot
x
c
+
c
n
+
1
∫
x
n
+
1
c
2
+
x
2
d
x
,
n
≠
1
{\displaystyle \int x^{n}\operatorname {arccot} {\frac {x}{c}}\ dx={\frac {x^{n+1}}{n+1}}\operatorname {arccot} {\frac {x}{c}}+{\frac {c}{n+1}}\int {\frac {x^{n+1}}{c^{2}+x^{2}}}\ dx,\quad n\neq 1}
微分导数在三种定义 下皆相同，但第三种定义在0不可微 不同的反余切定义
Gradshtein, I. S., I. M. Ryzhik, et al. (2000). Table of integrals, series, and products, Academic Pr.
Lehmer, Derrick Henry. "On arccotangent relations for π." American Mathematical Monthly (1938): 657-664.
《 Exponentielle & logarithme 》, § Fonctions circulaires réciproques, Dictionnaire de mathématiques – algèbre, analyse, géométrie , Encyclopædia Universalis.
Sloane, N. J. A. Sequences （OEIS 数列A005408 ）/M2400 and （OEIS 数列A091007 ） in "The On-Line Encyclopedia of Integer Sequences." Wetherfield, M. "The Enhancement of Machin's Formula by Todd's Process." Math. Gaz. 80, 333-344, 1996.
Wrench Jr, J. W., and L. B. Smith. "Values of the terms of the Gregory series for arccot 5 and arccot 239 to 1150 and 1120 decimal places, respectively." Mathematical Tables and other Aids to Computation 4 (1950): 160-161.
Bennett, A. A. "The Four Term Diophantine Arccotangent Relation." Ann. Math. 27, 21-24, 1926.
Beyer, W. H. CRC Standard Mathematical Tables, 28th ed （页面存档备份 ，存于互联网档案馆 ）. Boca Raton, FL: CRC Press, pp. 142-143, 1987.
Bronshtein, I. N. and Semendyayev, K. A. Handbook of Mathematics, 3rd ed （页面存档备份 ，存于互联网档案馆 ）. New York: Springer-Verlag, p. 70, 1997.
Castellanos, D. "The Ubiquitous Pi. Part I." Math. Mag. 61, 67-98, 1988a.
Valentine, Willard L. "A study of learning curves: II. The relationship between the hyperbola and the arc cotangent function." The Journal of General Psychology 4.1-4 (1930): 359-362.
Valentine, WILLARD L. "A study of learning curves. I. The application of Meyer's arc cotangent function and Thurstone's hyperbola to the maze performance of white rats." Journal of Comparative Psychology 10.4 (1930): 421.
Castellanos, D. "The Ubiquitous Pi. Part II." Math. Mag. 61, 148-163, 1988b.
Lehmer, D. H. "A Cotangent Analogue of Continued Fractions." Duke Math. J. 4, 323-340, 1938a.
Valentine, Willard L. "A study of learning curves: III. The relationship between a growth curve and the arc cotangent function." The Journal of General Psychology 5.2 (1931): 251-255.
Lehmer, D. H. "On Arccotangent Relations for pi." Amer. Math. Monthly 45, 657-664, 1938b.
Spanier, J. and Oldham, K. B. "Inverse Trigonometric Functions." Ch. 35 in An Atlas of Functions （页面存档备份 ，存于互联网档案馆 ）. Washington, DC: Hemisphere, pp. 331-341, 1987.
Bennett, A. A. "The four term Diophantine arccotangent relation." Annals of Mathematics (1925): 21-24. 
![{\displaystyle [0,\pi ]}](http://wikimedia.org/api/rest_v1/media/math/render/svg/3e2a912eda6ef1afe46a81b518fe9da64a832751)
![{\displaystyle [0,180^{\circ }]}](http://wikimedia.org/api/rest_v1/media/math/render/svg/d1a22dc4758c76bc17559be79e50eec36b292c33)
![{\displaystyle (-{\frac {\pi }{2}},{\frac {\pi }{2}}]}](http://wikimedia.org/api/rest_v1/media/math/render/svg/a91a44d576e5cafae20687acc5b488948b4f6143)
![{\displaystyle (-90^{\circ },90^{\circ }]}](http://wikimedia.org/api/rest_v1/media/math/render/svg/14f9812826a015ccca5d98ad77828227b2c1304c)
![{\displaystyle \operatorname {arccot} x={\frac {i}{2}}\left[\ln \left({\frac {x-i}{x}}\right)-\ln \left({\frac {x+i}{x}}\right)\right]}](http://wikimedia.org/api/rest_v1/media/math/render/svg/e9236be612d7c5c872e9b2a46049ffafddc9c0e2)
