![]() |
反餘切是多值函式 (Zwillinger 1995, p. 465),也表示為
(Abramowitz and Stegun 1972, p. 79; Harris and Stocker 1998, p. 311; Jeffrey 2000, p. 124) 或
(Spanier and Oldham 1987, p. 333; Gradshteyn and Ryzhik 2000, p. 208; Jeffrey 2000, p. 127),它是餘切的反函式。變體
(例如,Beyer 1987, p. 141; Bronshtein and Semendyayev, 1997, p. 70) 和
有時用於指代反餘切的顯式主值,儘管這種區分並不總是被做出 (例如,Zwillinger 1995, p. 466)。更糟糕的是,符號
有時用於主值,而
用於多值函式 (Abramowitz and Stegun 1972, p. 80)。請注意,在符號
(在北美和全球袖珍計算器中常用) 中,
是餘切,而上標
表示反函式,不是乘法逆元。
反餘切的主值在 Wolfram 語言中實現為ArcCot[z].
定義反餘切至少有兩種可能的約定。這項工作遵循 Abramowitz 和 Stegun (1972, p. 79) 以及 Wolfram 語言的約定,取 的範圍為
,在
處不連續,並且分支切割線段沿著
放置。這個定義可以用自然對數表示為
|
(1)
|
正如它必須的那樣,這個定義也與 Wolfram 語言對以下項的定義一致ArcTan,因此ArcCot[z] 等於ArcTan[1/z].
另一種不同但常見的約定 (例如,Zwillinger 1995, p. 466; Bronshtein and Semendyayev, 1997, p. 70; Jeffrey 2000, p. 125) 將 的範圍定義為
,從而給出一個在實數線
上連續的函式。在檢查涉及反三角函式的恆等式時,應格外小心,因為它們的適用範圍或精確形式可能因所使用的約定而異。
的導數由下式給出
|
(2)
|
積分由下式給出
|
(3)
|
當 時,反餘切的麥克勞林級數由下式給出
|
(4)
| |||
|
(5)
|
|
(6)
| |||
|
(7)
|
對於 。
尤拉推匯出了無窮級數
|
(8)
|
(Wetherfield 1996).
反餘切滿足
|
(9)
|
對於 ,
|
(10)
|
對於所有 ,並且
|
(11)
| |||
|
(12)
| |||
|
(13)
| |||
|
(14)
| |||
|
(15)
| |||
|
(16)
| |||
|
(17)
|
餘切的解析和包括以下優美的結果
|
(18)
|
(OEIS A091007),其中
|
(19)
|
(H. S. Wilf, pers. comm., May 21, 2002).
一個數
|
(20)
|
其中 是一個整數或有理數,有時被稱為格雷果裡數。Lehmer (1938a) 表明,
可以表示為整數引數的反餘切的有限和
|
(21)
|
其中
|
(22)
|
其中 是向下取整函式,並且
|
(23)
| |||
|
(24)
|
其中 且
,並且遞迴持續到
。如果一個反正切和寫成
|
(25)
|
那麼方程 (◇) 變為
|
(26)
|
其中
|
(27)
|
反餘切和可以用於生成類馬欽公式。
其他反餘切恆等式包括
|
(28)
| |||
|
(29)
|
以及許多其他恆等式 (Bennett 1926, Lehmer 1938b)。請注意,對於方程 (29), 的約定選擇很重要,因為它在
約定中對所有複數
成立,但在
約定中,僅在以原點為中心的透鏡形區域之外成立。
