主題
Search

反餘切


ArcCot
ArcCotReImAbs
最小值 最大值
實部
虛部 Powered by webMathematica

反餘切是多值函式 cot^(-1)z (Zwillinger 1995, p. 465),也表示為 arccotz (Abramowitz and Stegun 1972, p. 79; Harris and Stocker 1998, p. 311; Jeffrey 2000, p. 124) 或 arcctgz (Spanier and Oldham 1987, p. 333; Gradshteyn and Ryzhik 2000, p. 208; Jeffrey 2000, p. 127),它是餘切反函式。變體 Arccotz (例如,Beyer 1987, p. 141; Bronshtein and Semendyayev, 1997, p. 70) 和 Cot^(-1)z 有時用於指代反餘切的顯式主值,儘管這種區分並不總是被做出 (例如,Zwillinger 1995, p. 466)。更糟糕的是,符號 arccotz 有時用於主值,而 Arccotz 用於多值函式 (Abramowitz and Stegun 1972, p. 80)。請注意,在符號 cot^(-1)z (在北美和全球袖珍計算器中常用) 中,cotz餘切,而上標 -1 表示反函式不是乘法逆元。

反餘切的主值Wolfram 語言中實現為ArcCot[z].

InverseCotangentBranchCut

定義反餘切至少有兩種可能的約定。這項工作遵循 Abramowitz 和 Stegun (1972, p. 79) 以及 Wolfram 語言的約定,取 cot^(-1)x 的範圍為 (-pi/2,pi/2],在 x=0 處不連續,並且分支切割線段沿著 (-i,i) 放置。這個定義可以用自然對數表示為

 cot^(-1)z=i/2[ln((z-i)/z)-ln((z+i)/z)].
(1)

正如它必須的那樣,這個定義也與 Wolfram 語言對以下項的定義一致ArcTan,因此ArcCot[z] 等於ArcTan[1/z].

另一種不同但常見的約定 (例如,Zwillinger 1995, p. 466; Bronshtein and Semendyayev, 1997, p. 70; Jeffrey 2000, p. 125) 將 cot^(-1)x 的範圍定義為 (0,pi),從而給出一個在實數線 R 上連續的函式。在檢查涉及反三角函式的恆等式時,應格外小心,因為它們的適用範圍或精確形式可能因所使用的約定而異。

cot^(-1)z導數由下式給出

 d/(dz)cot^(-1)z=-1/(1+z^2)
(2)

積分由下式給出

 intcot^(-1)zdz=zcot^(-1)z+1/2ln(1+z^2)+C.
(3)

x>0 時,反餘切的麥克勞林級數由下式給出

cot^(-1)x=pi/2-sum_(k=0)^(infty)((-1)^kx^(2k+1))/(2k+1)
(4)
=pi/2-x+1/3x^3-1/5x^5+1/7x^7-1/9x^9+...
(5)

(OEIS A005408)。關於 z=infty洛朗級數由下式給出

cot^(-1)z=sum_(k=0)^(infty)((-1)^kz^(-(2k+1)))/(2k+1)
(6)
=z^(-1)-1/3z^(-3)+1/5z^(-5)-1/7z^(-7)+1/9z^(-9)+...
(7)

對於 |z|>1

尤拉推匯出了無窮級數

 cot^(-1)z=zsum_(n=1)^infty((2n-2)!!)/((2n-1)!!(z^2+1)^n)
(8)

(Wetherfield 1996).

反餘切滿足

 cot^(-1)z=tan^(-1)(1/z)
(9)

對於 z!=0

 cot^(-1)z=-cot^(-1)(-z)
(10)

對於所有 z in C^*,並且

cot^(-1)x={sec^(-1)((sqrt(x^2+1))/x)-pi for x<0; sec^(-1)((sqrt(x^2+1))/x) for x>0
(11)
={-1/2pi-tan^(-1)x for x<0; 1/2pi-tan^(-1)x for x>=0
(12)
={-sin^(-1)(1/(sqrt(x^2+1))) for x<0; sin^(-1)(1/(sqrt(x^2+1))) for x>0
(13)
={-1/2pi-cot^(-1)(1/x) for x<0; 1/2pi-cot^(-1)(1/x) for x>0
(14)
={-csc^(-1)(sqrt(x^2+1)) for x<0; csc^(-1)(sqrt(x^2+1)) for x>0
(15)
={cos^(-1)(x/(sqrt(x^2+1)))-pi for x<0; cos^(-1)(x/(sqrt(x^2+1))) for x>0
(16)
={-1/2pi-sin^(-1)(x/(sqrt(x^2+1))) for x<0; 1/2pi-sin^(-1)(x/(sqrt(x^2+1))) for x>0.
(17)

餘切的解析和包括以下優美的結果

 sum_(n=1)^inftycot^(-1)n^2=cot^(-1)((1+t)/(1-t))=1.42474...,
(18)

(OEIS A091007),其中

 t=cot(1/2pisqrt(2))tanh(1/2pisqrt(2))
(19)

(H. S. Wilf, pers. comm., May 21, 2002).

一個數

 t_x=cot^(-1)x,
(20)

其中 x 是一個整數有理數,有時被稱為格雷果裡數。Lehmer (1938a) 表明,cot^(-1)(a/b) 可以表示為整數引數的反餘切的有限和

 cot^(-1)(a/b)=sum_(i=1)^k(-1)^(i-1)cot^(-1)n_i,
(21)

其中

 n_i=|_(a_i)/(b_i)_|,
(22)

其中 |_x_|向下取整函式,並且

a_(i+1)=a_in+i+b_i
(23)
b_(i+1)=a_i-n_ib_i,
(24)

其中 a_0=ab_0=b,並且遞迴持續到 b_(k+1)=0。如果一個反正切和寫成

 tan^(-1)n=sum_(k=1)f_ktan^(-1)n_k+ftan^(-1)1,
(25)

那麼方程 (◇) 變為

 cot^(-1)n=sum_(k=1)f_kcot^(-1)n_k+ccot^(-1)1,
(26)

其中

 c=2-f-2sum_(k=1)f_k.
(27)

反餘切和可以用於生成類馬欽公式

其他反餘切恆等式包括

2cot^(-1)(2x)-cot^(-1)x=cot^(-1)(4x^3+3x)
(28)
3cot^(-1)(3x)-cot^(-1)x=cot^(-1)((27x^4+18x^2-1)/(8x)),
(29)

以及許多其他恆等式 (Bennett 1926, Lehmer 1938b)。請注意,對於方程 (29),cot^(-1)z 的約定選擇很重要,因為它在 [0,pi] 約定中對所有複數 z 成立,但在 [-pi/2,pi/2] 約定中,僅在以原點為中心的透鏡形區域之外成立。


另請參閱

餘切, 反餘割, 反餘弦, 反正割, 反正弦, 反正切, 反三角函式, Lehmer 餘切展開, 馬欽公式, 類馬欽公式, 正切

相關 Wolfram 網站

http://functions.wolfram.com/ElementaryFunctions/ArcCot/

使用 探索

參考文獻

Abramowitz, M. and Stegun, I. A. (Eds.). "Inverse Circular Functions." §4.4 in Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, 9th printing. New York: Dover, pp. 79-83, 1972.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.Castellanos, D. "The Ubiquitous Pi. Part II." Math. Mag. 61, 148-163, 1988b.Harris, J. W. and Stocker, H. Handbook of Mathematics and Computational Science. New York: Springer-Verlag, p. 311, 1998.Jeffrey, A. "Inverse Trigonometric and Hyperbolic Functions." §2.7 in Handbook of Mathematical Formulas and Integrals, 2nd ed. Orlando, FL: Academic Press, pp. 124-128, 2000.Lehmer, D. H. "A Cotangent Analogue of Continued Fractions." Duke Math. J. 4, 323-340, 1938a.Lehmer, D. H. "On Arccotangent Relations for pi." Amer. Math. Monthly 45, 657-664, 1938b.Sloane, N. J. A. Sequences A005408/M2400 and A091007 in "The On-Line Encyclopedia of Integer Sequences."Spanier, J. and Oldham, K. B. "Inverse Trigonometric Functions." Ch. 35 in An Atlas of Functions. Washington, DC: Hemisphere, pp. 331-341, 1987.Wetherfield, M. "The Enhancement of Machin's Formula by Todd's Process." Math. Gaz. 80, 333-344, 1996.Zwillinger, D. (Ed.). "Inverse Circular Functions." §6.3 in CRC Standard Mathematical Tables and Formulae. Boca Raton, FL: CRC Press, pp. 465-467, 1995.

在 中被引用

反餘切

請這樣引用

Weisstein, Eric W. “反餘切。” 來自 Web 資源。 https://mathworld.tw/InverseCotangent.html

主題分類