本条目介绍的是
三角函数 中的一个概念,
余函数 也可以指特定情况下微分方程的通解。
在数学 中,余函数 (cofunction 或complementary function ) 是一个用来描述三角函数 间关系的术语。如果函数 f 是函数 g 的余函数,那么 f 的函数值等于对应余角 代入函数 g 的函数值,也就是说,若f (A ) = g (B ) ,则A 与B 互为余角 (即两个角之和为直角 )。[ 1] 这个定义通常适用于三角函数。[ 2] [ 3]
某个函数的余函数通常会在原函数的名称加上“co- ”前缀,这样的用法最早可以追朔到埃德蒙·冈特 在1620年的著作《Canon triangulorum》中。[ 4] [ 5]
如果一个三角函数 f 是函数 g 的余函数,此时若:
f
(
x
)
=
g
(
y
)
{\displaystyle f(x)=g(y)}
则x 和y 互为余角 :
x
=
π
2
−
y
{\displaystyle x={\frac {\pi }{2}}-y}
x
=
90
∘
−
y
{\displaystyle x=90^{\circ }-y}
对于非三角函数(如双曲函数 ),或者定义域 所代表的意义并非角 的度量,则不适用于以上定义。但有些余函数的定义是参考于与其相关的三角函数,例如双曲正弦 、双曲余弦 、古德曼函数 以及余古德曼函数 是在定义中将对应的三角函数替换为余函数来定义。
例如,正弦 (sine ,拉丁语 :sinus )和余弦 (co sine ,拉丁语 :cosinus [ 4] [ 5] 、sinus complementi [ 4] [ 5] )互为余函数(所以余弦名称有一个“余”字,cosine且以“co-”为前缀):
sin
(
π
2
−
A
)
=
cos
(
A
)
{\displaystyle \sin \left({\frac {\pi }{2}}-A\right)=\cos(A)}
[ 1] [ 3]
cos
(
π
2
−
A
)
=
sin
(
A
)
{\displaystyle \cos \left({\frac {\pi }{2}}-A\right)=\sin(A)}
[ 1] [ 3]
正割 (secant ,拉丁语 :secans )和余割 (co secant ,拉丁语 :cosinus 、secans complementi )以及正切(tangent ,拉丁语 :tangens )和余切(co tangent ,拉丁语 :cotangens [ 4] [ 5] 、tangens complementi [ 4] [ 5] )也互为余函数:
sec
(
π
2
−
A
)
=
csc
(
A
)
{\displaystyle \sec \left({\frac {\pi }{2}}-A\right)=\csc(A)}
[ 1] [ 3]
csc
(
π
2
−
A
)
=
sec
(
A
)
{\displaystyle \csc \left({\frac {\pi }{2}}-A\right)=\sec(A)}
[ 1] [ 3]
tan
(
π
2
−
A
)
=
cot
(
A
)
{\displaystyle \tan \left({\frac {\pi }{2}}-A\right)=\cot(A)}
[ 1] [ 3]
cot
(
π
2
−
A
)
=
tan
(
A
)
{\displaystyle \cot \left({\frac {\pi }{2}}-A\right)=\tan(A)}
[ 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)
正弦和余弦
sin
(
π
2
−
A
)
=
cos
(
A
)
{\displaystyle \sin \left({\frac {\pi }{2}}-A\right)=\cos(A)}
[ 1] [ 3]
cos
(
π
2
−
A
)
=
sin
(
A
)
{\displaystyle \cos \left({\frac {\pi }{2}}-A\right)=\sin(A)}
[ 1] [ 3]
正割和余割
sec
(
π
2
−
A
)
=
csc
(
A
)
{\displaystyle \sec \left({\frac {\pi }{2}}-A\right)=\csc(A)}
[ 1] [ 3]
csc
(
π
2
−
A
)
=
sec
(
A
)
{\displaystyle \csc \left({\frac {\pi }{2}}-A\right)=\sec(A)}
[ 1] [ 3]
正切和余切
tan
(
π
2
−
A
)
=
cot
(
A
)
{\displaystyle \tan \left({\frac {\pi }{2}}-A\right)=\cot(A)}
[ 1] [ 3]
cot
(
π
2
−
A
)
=
tan
(
A
)
{\displaystyle \cot \left({\frac {\pi }{2}}-A\right)=\tan(A)}
[ 1] [ 3]
正矢和余矢
ver
(
π
2
−
A
)
=
cvs
(
A
)
{\displaystyle \operatorname {ver} \left({\frac {\pi }{2}}-A\right)=\operatorname {cvs} (A)}
[ 6]
cvs
(
π
2
−
A
)
=
ver
(
A
)
{\displaystyle \operatorname {cvs} \left({\frac {\pi }{2}}-A\right)=\operatorname {ver} (A)}
余的正矢和余的余矢
vcs
(
π
2
−
A
)
=
cvc
(
A
)
{\displaystyle \operatorname {vcs} \left({\frac {\pi }{2}}-A\right)=\operatorname {cvc} (A)}
[ 7]
cvc
(
π
2
−
A
)
=
vcs
(
A
)
{\displaystyle \operatorname {cvc} \left({\frac {\pi }{2}}-A\right)=\operatorname {vcs} (A)}
半正矢和半余矢
hav
(
π
2
−
A
)
=
hcv
(
A
)
{\displaystyle \operatorname {hav} \left({\frac {\pi }{2}}-A\right)=\operatorname {hcv} (A)}
hcv
(
π
2
−
A
)
=
hav
(
A
)
{\displaystyle \operatorname {hcv} \left({\frac {\pi }{2}}-A\right)=\operatorname {hav} (A)}
余的半正矢和余的半余矢
hvc
(
π
2
−
A
)
=
hcc
(
A
)
{\displaystyle \operatorname {hvc} \left({\frac {\pi }{2}}-A\right)=\operatorname {hcc} (A)}
hcc
(
π
2
−
A
)
=
hvc
(
A
)
{\displaystyle \operatorname {hcc} \left({\frac {\pi }{2}}-A\right)=\operatorname {hvc} (A)}
外正割和外余割
exs
(
π
2
−
A
)
=
exc
(
A
)
{\displaystyle \operatorname {exs} \left({\frac {\pi }{2}}-A\right)=\operatorname {exc} (A)}
exc
(
π
2
−
A
)
=
exs
(
A
)
{\displaystyle \operatorname {exc} \left({\frac {\pi }{2}}-A\right)=\operatorname {exs} (A)}
余函数不一定是代表两函数间的关系,也可以是一种函数的分类。例如三角函数也可以根据性质区分成正函数与余函数。例如正弦 、正切、正割可以称为正函数,而余弦、余切、余割则称为余函数。正函数代表的是对于该正角在单位圆上割圆八线 的各段长度;余函数代表的是对于该余角在单位圆上割圆八线的各段长度。
^ 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.0 2.1 Aufmann, Richard; Nation, Richard. Algebra and Trigonometry 8. Cengage Learning . 2014: 528 [2017-07-28 ] . ISBN 978-128596583-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.0 4.1 4.2 4.3 4.4 Gunter, Edmund . Canon triangulorum. 1620.
^ 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). (页面存档备份 ,存于互联网档案馆 )
^ Weisstein, Eric Wolfgang . Coversine . MathWorld . Wolfram Research, Inc. [2015-11-06 ] . (原始内容存档 于2005-11-27). (页面存档备份 ,存于互联网档案馆 )
^ Weisstein, Eric Wolfgang . Covercosine . MathWorld . Wolfram Research, Inc. [2015-11-06 ] . (原始内容存档 于2014-03-28). (页面存档备份 ,存于互联网档案馆 )