热门问题
时间线
聊天
视角

反余切

来自维基百科,自由的百科全书

反餘切
Remove ads

反余切(英语:arccotangent[3],记为:[4][5][6]arcctg[7]ACOT[8][1])又称为逆余切,是一种反三角函数[2][9],对应的三角函数余切函数,是利用已知直角三角形的邻边和对边这两条直角边长度的比值求出其夹角大小的函数,但其输入值和反正切的输入值互为倒数,是高等数学中的一种基本特殊函数

反余切
Thumb

反余切函数有多种定义方式
 绿色代表直接对余切函数取反函数[函数 1]
 蓝色表示取最小正同界角[函数 2]
 红色表示在复变分析反余切实数[函数 3]
性质
奇偶性
定义域 实数
到达域 [函数 2]
[函数 2]
[函数 3]
[函数 3]
周期 N/A
特定值
当x=0
(90°)
当x=+∞ 0
当x=-∞ [函数 2]
(180°[函数 2]
0[函数 3]
其他性质
渐近线 [函数 2]
[函数 2]
[函数 3]
无穷大
拐点 [函数 2]
[函数 2]
不动点 0.86033358901938...[函数 2][注 1]
±0.86033358901938...[函数 3]

反余切可以视为余切反函数,但余切函数周期函数且在实数上不具有一一对应的关系,所以不存在反函数,但也可以视为多值函数[函数 1][1],因此我们必须限制余切函数的定义域使其成为单射满射也是可逆的。

一般最常见的方式是限制余切函数定义域0π(180°)之间[1][10][11],如下图所示(以红色曲线表示),此时反余切函数不是奇函数也不是偶函数,而是一个单调递减有界函数[12]最大值(180°)、最小值为0且函数连续,但有两条渐近线

Thumb

另外一种定义方式是限制余切函数定义域(±90°)之间[13],如下图所示[14](以红色曲线表示),这种限制方式与反正切相同,此时反余切函数是奇函数,值域与其他相关性质皆与反正切类似,但函数并不连续。

Thumb

由于余切是周期函数,而上述二种定义方式皆是取余切的一个周期,因此其定义域皆为实数。但当将反余切函数扩展至复数时,会采用后者的定义方式[4]

但由于复变分析的定义方式会造成函数不连续[函数 3],在时有断点,因此应用在测量学上时会采用取最小同界角的方式[函数 2]避免断点[15]

反余切函数经常记为[1]在外文文献中常记为[4][5][6][16],在一些旧的教科书中也有人记为arcctg,但那是旧的用法。根据ISO 31-11,应将反余切函数记为,因为可能会与混淆,正切函数

Remove ads

定义

反余切表示余切的反函数,因此是一个多值函数[1]。为了要符合函数定义,因此要对原函数加以限制,从而存在多种定义方式。最常见的定义方式有两种:

  1. 余切函数限制在([0, 180°])的反函数[1],应用于测量学
  2. 余切函数限制在)的反函数[2],应用于复变分析

在复变分析中则是采用第二种定义延伸至复数[4],并存在等式:

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

Thumb
拓展到复数的反余切函数

此外,反余切函数[函数 3]也可以使用其他反三角函数进行定义[2]

Remove ads

直角坐标系中

直角坐标系中,反余切函数可以视为已知直线垂线斜率的倾角,但是有可能差一个负号。

级数定义

反余切函数可以使用无穷级数定义:

[函数 2]

时给出反余切函数的泰勒展开式为[函数 3][17]

以上等式也可以直接用来表示取最小同界角的反余切函数[函数 2]

也可以用当洛朗级数来定义,对应的情形:

[函数 3]

此外也有欧拉导出的无穷级数[18]

[函数 3]
Remove ads

性质

反余切函数[函数 2]满足等式:

反余切函数是一个递减函数。

在复变分析中,反余切函数[函数 3]在当不等于零时是一个奇函数,因此满足下面等式:

反余切虽有多种定义方式,但其在时值是一样的,为(90°)。在复变分析中时不连续左极和右极互为相反数[函数 3],而反余切若是取最小同界角则在时连续。

反余切函数的微分导数为[注 2]

除了反正切,反余切函数同样可以表示梅钦类公式[19]

Remove ads

恒等式

下面恒等式均适用于函数2(取最小同界角的反余切函数)[函数 2]

如果
如果
Remove ads

和差

Remove ads

积分

Remove ads

参见

注释

参考文献

外部链接

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads