數學中,餘函數cofunctioncomplementary function) 是一個用來描述三角函數間關係的術語。如果函數 f 是函數 g 的餘函數,那麼 f 的函數值等於對應餘角代入函數 g 的函數值,也就是說,若f(A) = g(B),則AB互為餘角(即兩個角之和為直角)。[1]這個定義通常適用於三角函數。[2][3] 某個函數的餘函數通常會在原函數的名稱加上「co-」前綴,這樣的用法最早可以追朔到埃德蒙·岡特英语Edmund_Gunter在1620年的著作《Canon triangulorum》中。[4][5]

定義

如果一個三角函數 f 是函數 g 的餘函數,此時若:

 

xy互為餘角

 
 

對於非三角函數(如双曲函数),或者定義域所代表的意義並非的度量,則不適用於以上定義。但有些餘函數的定義是參考於與其相關的三角函數,例如雙曲正弦雙曲餘弦古德曼函數以及餘古德曼函數是在定義中將對應的三角函數替換為餘函數來定義。

例如,正弦sine拉丁語sinus)和餘弦cosine拉丁語cosinus[4][5]sinus complementi[4][5])互為餘函數(所以餘弦名稱有一個「餘」字,cosine且以「co-」為前綴):

 [1][3]  [1][3]

正割secant拉丁語secans)和餘割cosecant拉丁語cosinussecans complementi)以及正切(tangent拉丁語tangens)和餘切(cotangent拉丁語cotangens[4][5]tangens complementi[4][5])也互為餘函數:

 [1][3]  [1][3]
 [1][3]  [1][3]

這些等式也稱為餘函數恆等式[2][3]

餘函數列表

其他互為餘函數的三角函數還有:

  • 正矢(versed sine,縮寫ver)和餘矢(coversed sine,cvs)
  • 餘的正矢(versed cosine,縮寫vcs)和餘的餘矢(coversed cosine,cvc)
  • 半正矢(haversine,縮寫hav)和半餘矢(hacoversine,縮寫hcv)
  • 餘的半正矢(havercosine,縮寫hvc)和餘的半餘矢(hacovercosine,縮寫hcc)
  • 正弧餘弧
  • 外正割(exsecant,縮寫exs)和外餘割(excosecant,縮寫exc)
正弦和餘弦  [1][3]  [1][3]
正割和餘割  [1][3]  [1][3]
正切和餘切  [1][3]  [1][3]
正矢和餘矢  [6]  
餘的正矢和餘的餘矢  [7]  
半正矢和半餘矢    
餘的半正矢和餘的半餘矢    
外正割和外餘割    

正函數與餘函數

餘函數不一定是代表兩函數間的關係,也可以是一種函數的分類。例如三角函數也可以根據性質區分成正函數與餘函數。例如正弦、正切、正割可以稱為正函數,而餘弦、餘切、餘割則稱為餘函數。正函數代表的是對於該正角在單位圓上割圓八線的各段長度;餘函數代表的是對於該餘角在單位圓上割圓八線的各段長度。

參見

參考文獻

  1. ^ 1.00 1.01 1.02 1.03 1.04 1.05 1.06 1.07 1.08 1.09 1.10 1.11 1.12 Hall, Arthur Graham; Frink, Fred Goodrich. Chapter II. The Acute Angle [10] Functions of complementary angles. Trigonometry. Part I: Plane Trigonometry. New York: Henry Holt and Company. January 1909: 11–12. 
  2. ^ 2.0 2.1 Aufmann, Richard; Nation, Richard. Algebra and Trigonometry 8. Cengage Learning. 2014: 528 [2017-07-28]. ISBN 978-128596583-3. 
  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 3.13 Bales, John W. 5.1 The Elementary Identities. Precalculus. 2012 [2001] [2017-07-30]. (原始内容存档于2017-07-30). 页面存档备份,存于互联网档案馆
  4. ^ 4.0 4.1 4.2 4.3 4.4 Gunter, Edmund. Canon triangulorum. 1620. 
  5. ^ 5.0 5.1 5.2 5.3 5.4 Roegel, Denis (编). A reconstruction of Gunter's Canon triangulorum (1620) (Research report). HAL. 2010-12-06 [2017-07-28]. inria-00543938. (原始内容存档于2017-07-28). 页面存档备份,存于互联网档案馆
  6. ^ Weisstein, Eric Wolfgang. Coversine. MathWorld. Wolfram Research, Inc. [2015-11-06]. (原始内容存档于2005-11-27). 页面存档备份,存于互联网档案馆
  7. ^ Weisstein, Eric Wolfgang. Covercosine. MathWorld. Wolfram Research, Inc. [2015-11-06]. (原始内容存档于2014-03-28). 页面存档备份,存于互联网档案馆