数学中,馀函数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). 页面存档备份,存于互联网档案馆