反餘切

反餘切（-{反餘切}-arccotangent-{反余切}--學術名詞資訊  國家教育研究院 terms.naer.edu.tw [2014-08-07]，記為：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.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.、arcctg、ACOTACOT 函數  office.microsoft.com [2014-08-07]或）又稱為逆餘切，是一種反三角函數Gradshtein, I. S., I. M. Ryzhik, et al. (2000). Table of integrals, series, and products, Academic Pr.，對應的三角函數為餘切函數，是利用已知直角三角形的鄰邊和對邊這兩條直角邊長度的比值求出其夾角大小的函數，但其輸入值和反正切的輸入值互為倒數，是高等數學中的一種基本特殊函數。

反餘切可以視為餘切的反函數，但餘切函數是周期函數且在實數上不具有一一對應的關係，所以不存在反函數，但也可以視為多值函数Zwillinger, D. (Ed.). "Inverse Circular Functions." §6.3 in CRC Standard Mathematical Tables and Formulae . Boca Raton, FL: CRC Press, pp. 465-467, 1995.，因此我們必須限制餘切函數的定義域使其成為單射和滿射也是可逆的。

一般最常見的方式是限制餘切函數的定義域在0到（180°）之間Lehmer, Derrick Henry. "On arccotangent relations for π." American Mathematical Monthly (1938): 657-664.，如下圖所示（以紅色曲線表示），此時反餘切函數不是奇函数也不是偶函数，而是一個單調遞減的有界函數，最大值為（180°）、最小值為0且函數連續，但有兩條漸近線。

300px|center

另外一種定義方式是限制餘切函數的定義域在（±90°）之間，如下圖所示arccot  itl.nist.gov [2014-08-07]（以紅色曲線表示），這種限制方式與反正切相同，此時反餘切函數是奇函數，值域與其他相關性質皆與反正切類似，但函數並不連續。

300px|center

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

但由於複變分析的定義方式會造成函數不連續，在時有斷點，因此應用在測量學上時會採用取最小同界角的方式避免斷點Domain of Arccot  mathforum.org [2014-08-07]。

反餘切函數經常記為，在外文文獻中常記為《 Exponentielle & logarithme 》, § Fonctions circulaires réciproques, Dictionnaire de mathématiques – algèbre, analyse, géométrie, Encyclopædia Universalis.，在一些舊的教科書中也有人記為arcctg，但那是舊的用法。根據ISO 31-11，應將反餘切函數記為，因為可能會與混淆，是正切函數。

 定義 
反餘切表示餘切的反函數，因此是一個多值函數。為了要符合函數定義，因此要對原函數加以限制，從而存在多種定義方式。最常見的定義方式有兩種：
將餘切函數限制在（[0, 180°]）的反函數，應用於測量學
將餘切函數限制在（）的反函數Weisstein, Eric W. "Inverse Cotangent ." From MathWorld--A Wolfram Web Resource.，應用於複變分析
在複變分析中則是採用第二種定義延伸至複數，並存在等式：

這個動作使反餘切被推廣到複數。
此外，反餘切函數也可以使用其他反三角函數進行定義：

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

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

對時給出反餘切函數的泰勒展開式為Sloane, N. J. A. Sequences /M2400 and  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.：

 性質 
反餘切函數滿足等式：

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

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

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

反餘切函數的微分導數為微分導數在三種定義下皆相同，但第三種定義在0不可微：

除了反正切，反餘切函數同樣可以表示梅欽類公式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.：


 恆等式 
下面恒等式均适用于函数2（取最小同界角的反余切函数）

 如果 
 如果 
 和差 

 積分 

 參見 

 反正切
 正切
 餘切

 註釋 

不同的反餘切定義

 參考文獻 

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.

 外部連結 




Category:反三角函数