反餘切

反餘切函數有多種定義方式
 綠色代表直接對餘切函數取反函數[函數 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]

反餘切(英語:arccotangent[3],記為:[4][5][6]arcctg[7]ACOT[8][1])又稱為逆餘切,是一種反三角函數[9][2],對應的三角函數餘切函數,是利用已知直角三角形的鄰邊和對邊這兩條直角邊長度的比值求出其夾角大小的函數,但其輸入值和反正切的輸入值互為倒數,是高等數學中的一種基本特殊函數

反餘切可以視為餘切反函數,但餘切函數周期函數且在實數上不具有一一對應的關係,所以不存在反函數,但也可以視為多值函數[函數 1][1],因此我們必須限制餘切函數的定義域使其成為單射滿射也是可逆的。

一般最常見的方式是限制餘切函數定義域0π(180°)之間[10][1][11],如下圖所示(以紅色曲線表示),此時反餘切函數不是奇函數也不是偶函數,而是一個單調遞減有界函數[12]最大值(180°)、最小值為0且函數連續,但有兩條漸近線

另外一種定義方式是限制餘切函數定義域(±90°)之間[13],如下圖所示[14](以紅色曲線表示),這種限制方式與反正切相同,此時反餘切函數是奇函數,值域與其他相關性質皆與反正切類似,但函數並不連續。

由於餘切是周期函數,而上述二種定義方式皆是取餘切的一個週期,因此其定義域皆為實數。但當將反餘切函數擴展至複數時,會採用後者的定義方式[4]

但由於複變分析的定義方式會造成函數不連續[函數 3],在時有斷點,因此應用在測量學上時會採用取最小同界角的方式[函數 2]避免斷點[15]

反餘切函數經常記為[1]在外文文獻中常記為[16][4][5][6],在一些舊的教科書中也有人記為arcctg,但那是舊的用法。根據ISO 31-11,應將反餘切函數記為,因為可能會與混淆,正切函數

反餘切表示餘切的反函數,因此是一個多值函數[1]。為了要符合函數定義,因此要對原函數加以限制,從而存在多種定義方式。最常見的定義方式有兩種:

  1. 餘切函數限制在 ([0, 180°])的反函數[1],應用於測量學
  2. 餘切函數限制在  )的反函數[2],應用於複變分析

在複變分析中則是採用第二種定義延伸至複數[4],並存在等式:

 

這個動作使反餘切被推廣到複數

 
拓展到複數的反餘切函數

此外,反餘切函數[函數 3]也可以使用其他反三角函數進行定義[2]

 

直角坐標系中

編輯

直角坐標系中,反餘切函數可以視為已知直線垂線斜率的傾角,但是有可能差一個負號。

級數定義

編輯

反餘切函數可以使用無窮級數定義:

 [函數 2]

 時給出反餘切函數的泰勒展開式為[函數 3][17]

 

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

也可以用當 洛朗級數來定義,對應 的情形:

 [函數 3]

此外也有歐拉導出的無窮級數[18]

 [函數 3]

性質

編輯

反餘切函數[函數 2]滿足等式:

 

反餘切函數是一個遞減函數。

在複變分析中,反餘切函數[函數 3]在當 不等於零時是一個奇函數,因此滿足下面等式:

 

反餘切雖有多種定義方式,但其在 時值是一樣的,為 (90°)。在複變分析中 時不連續左極和右極互為相反數[函數 3],而反餘切若是取最小同界角則在 時連續。

反餘切函數的微分導數為[註 2]

 
 
 
 
 

除了反正切,反餘切函數同樣可以表示梅欽類公式[19]

 

恆等式

編輯

下面恆等式均適用於函數2(取最小同界角的反餘切函數)[函數 2]

 
 
  如果  
  如果  

和差

編輯
 
 
 

積分

編輯
 
 
 
 

參見

編輯

註釋

編輯
  1. ^ Wolfram, Stephen. "FindRoot[ArcCot[x] == x, {x, 1}, WorkingPrecision -> 15]". from Wolfram Alpha: Computational Knowledge Engine, Wolfram Research. [2022-05-19] (英語). 
  2. ^ 微分導數在三種定義下皆相同,但第三種定義在0不可微
不同的反餘切定義
  1. ^ 1.0 1.1 直接對餘切函數取反函數 ,是多值函數
  2. ^ 2.00 2.01 2.02 2.03 2.04 2.05 2.06 2.07 2.08 2.09 2.10 2.11 2.12 2.13 2.14 取最小同界角的反餘切函數[1]
  3. ^ 3.00 3.01 3.02 3.03 3.04 3.05 3.06 3.07 3.08 3.09 3.10 3.11 3.12 複變反餘切函數的實數[2]

參考文獻

編輯
  1. ^ 1.0 1.1 1.2 1.3 1.4 1.5 1.6 Zwillinger, D. (Ed.). "Inverse Circular Functions." §6.3 in CRC Standard Mathematical Tables and Formulae頁面存檔備份,存於互聯網檔案館). Boca Raton, FL: CRC Press, pp. 465-467, 1995.
  2. ^ 2.0 2.1 2.2 2.3 Weisstein, Eric W. "Inverse Cotangent頁面存檔備份,存於互聯網檔案館)." From MathWorld--A Wolfram Web Resource.
  3. ^ 反餘切arccotangent反余切-學術名詞資訊 Archive.is存檔,存檔日期2014-08-08 國家教育研究院 terms.naer.edu.tw [2014-08-07]
  4. ^ 4.0 4.1 4.2 4.3 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.
  5. ^ 5.0 5.1 Harris, J. W. and Stocker, H. Handbook of Mathematics and Computational Science頁面存檔備份,存於互聯網檔案館). New York: Springer-Verlag, p. 311, 1998.
  6. ^ 6.0 6.1 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.
  7. ^ Т. Л. Корнієнко,В. І. Фіготіна. Алгебра і початки аналізу. 10 клас. Академічний рівень: Розробки уроків. Ranok Publishing House Ltd. : 205. ISBN 9786115403899. 烏克蘭文
  8. ^ ACOT 函數頁面存檔備份,存於互聯網檔案館) office.microsoft.com [2014-08-07]
  9. ^ Gradshtein, I. S., I. M. Ryzhik, et al. (2000). Table of integrals, series, and products, Academic Pr.
  10. ^ Lehmer, Derrick Henry. "On arccotangent relations for π." American Mathematical Monthly (1938): 657-664.
  11. ^ Raymond A. Barnett, Michael R. Ziegler, Karl E. Byleen. Analytic Trigonometry with Applications. John Wiley & Sons. 2011: 307. ISBN 9780470648056. 
  12. ^ 周忠榮. 1.2.5.4 反餘切函數. 应用数学. 清華大學出版社有限公司. 2005: 13 [2020-10-03]. ISBN 9787302112167. (原始內容存檔於2019-05-16). 
  13. ^ Denise Szecsei. Trigonometry. Homework helpers. Career Press. 2006: 87. ISBN 9781564149138. LCCN 2006028234. 
  14. ^ arccot頁面存檔備份,存於互聯網檔案館) itl.nist.gov [2014-08-07]
  15. ^ Domain of Arccot頁面存檔備份,存於互聯網檔案館) mathforum.org [2014-08-07]
  16. ^ 《 Exponentielle & logarithme 》, § Fonctions circulaires réciproques, Dictionnaire de mathématiques – algèbre, analyse, géométrie, Encyclopædia Universalis.
  17. ^ Sloane, N. J. A. Sequences (OEIS數列A005408)/M2400 and (OEIS數列A091007) in "The On-Line Encyclopedia of Integer Sequences."
  18. ^ Wetherfield, M. "The Enhancement of Machin's Formula by Todd's Process." Math. Gaz. 80, 333-344, 1996.
  19. ^ 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.
  1. Bennett, A. A. "The Four Term Diophantine Arccotangent Relation." Ann. Math. 27, 21-24, 1926.
  2. Beyer, W. H. CRC Standard Mathematical Tables, 28th ed頁面存檔備份,存於互聯網檔案館). Boca Raton, FL: CRC Press, pp. 142-143, 1987.
  3. Bronshtein, I. N. and Semendyayev, K. A. Handbook of Mathematics, 3rd ed頁面存檔備份,存於互聯網檔案館). New York: Springer-Verlag, p. 70, 1997.
  4. Castellanos, D. "The Ubiquitous Pi. Part I." Math. Mag. 61, 67-98, 1988a.
  5. 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.
  6. 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.
  7. Castellanos, D. "The Ubiquitous Pi. Part II." Math. Mag. 61, 148-163, 1988b.
  8. Lehmer, D. H. "A Cotangent Analogue of Continued Fractions." Duke Math. J. 4, 323-340, 1938a.
  9. 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.
  10. Lehmer, D. H. "On Arccotangent Relations for pi." Amer. Math. Monthly 45, 657-664, 1938b.
  11. Spanier, J. and Oldham, K. B. "Inverse Trigonometric Functions." Ch. 35 in An Atlas of Functions頁面存檔備份,存於互聯網檔案館). Washington, DC: Hemisphere, pp. 331-341, 1987.
  12. Bennett, A. A. "The four term Diophantine arccotangent relation." Annals of Mathematics (1925): 21-24.

外部連結

編輯