历史
三角函数的早期研究可以追溯到古代。例如古埃及 数学家在鉴别尼罗河 泛滥后的土地 边界、保持金字塔 每边斜度 相同,都使用了三角术,只是他们可能还没有对这种方式定名而已。古希腊 三角术的奠基人是公元前2世纪的喜帕恰斯 。他按照古巴比伦 人的做法,将圆周分为360等份(即圆周的弧度为360度,与现代的弧度制 不同)。对于指定弧度,他给出了对应的弦的长度数值,这记法和现代的正弦函数等价。喜帕恰斯实际上给出了最早的三角函数数值表。然而古希腊的三角学基本是球面三角学。这与古希腊人研究的主体是天文学有关。梅涅劳斯 在他的著作《球面学》中使用了正弦来描述球面的梅涅劳斯定理 。古希腊三角学与其天文学的应用在埃及的托勒密 时代达到了高峰,托勒密在《数学汇编》(Syntaxis Mathematica )中计算了36度角和72度角的正弦值,还给出了计算和角公式和半角公式的方法。托勒密还给出了所有0到180度的所有整数和半整数弧度对应的正弦值[3] :133-140 [4] :151-152 。
希腊文化 传播到古印度 后,印度人 继续研究了三角术。公元5世纪末的数学家阿耶波多 提出用弧对应的弦长的一半来对应半弧的正弦,后来古印度数学家亦用了这做法,和现代的正弦定义一致[4] :189 。阿耶波多的计算中也使用了余弦和正割。他在计算弦长时使用了不同的单位,重新计算了0到90度中间隔三又四分之三度(3.75°)的三角函数值表[4] :193 。然而古印度的数学与当时的中国一样,停留在计算方面,缺乏系统的定义和演绎的证明。阿拉伯人也采用了古印度人的正弦定义,但他们的三角学是直接继承于古希腊。阿拉伯天文学家引入了正切和余切、正割和余割的概念,并计算了间隔10分(10′)的正弦和正切数值表[3] :214-215 。到了公元14世纪,阿拉伯人将三角计算重新以算术方式代数化(古希腊人采用的是建立在几何上的推导方式)的努力为后来三角学从天文学中独立出来,成为了有更广泛应用的学科奠定了基础。[3] :225
进入15世纪后,阿拉伯数学文化开始传入欧洲。随着欧洲商业的兴盛,航行、历法测定和地理测绘中出现了对三角学的需求。在翻译阿拉伯数学著作的同时,欧洲数学家开始制作更详细精确的三角函数值表。哥白尼 的学生乔治·约阿希姆·瑞提克斯 制作了间隔10秒(10″)的正弦表,有9位精确值。瑞提克斯还改变了正弦的定义,原来称弧对应的弦长是正弦,瑞提克斯则将角度对应的弦长称为正弦。16世纪后,数学家开始将古希腊有关球面三角的结果和定理转化为平面三角定理。弗朗索瓦·韦达 给出了托勒密的不少结果对应的平面三角形式。他还尝试计算了多倍角正弦的表达方式。[3] :275-278
18世纪开始引进解析几何等分析学工具,数学家开始用分析学研究三角函数。牛顿在1669年的《分析学》一书中给出了正弦和余弦函数的无穷级数 表示。Collins 将牛顿的结果告诉詹姆斯·格列高里 ,后者进一步给出了正切等三角函数的无穷级数。莱布尼兹 在1673年左右也独立得到这结果[5] :162-163 。欧拉 的《无穷小量分析引论 》(Introductio in Analysin Infinitorum ,1748年)对建立三角函数的分析处理做了最主要的贡献,他定义三角函数为无穷级数,并表述了欧拉公式 ,还有使用接近现代的简写sin. 、cos. 、tang. 、cot. 、sec. 和csc. (cosec. )。
1631年徐光启 与邓玉函 、汤若望 合撰《大测》首次将三角函数引入中国并确立了正弦、余弦等译名。
几何定义
直角三角形中的定义
直角三角形 中仅有锐角 (大小在0到90度之间的角)三角函数的定义[6] 。指定锐角
θ
{\displaystyle \theta }
,可以做出直角三角形,使一内角为
θ
{\displaystyle \theta }
。设三角形中
θ
{\displaystyle \theta }
的对边、邻边和斜边长度分别是a,b,h,那么
θ
{\displaystyle \theta }
的正弦 是对边与斜边的比值:
sin
θ
=
a
h
{\displaystyle \sin {\theta }={\frac {a}{h}}}
θ
{\displaystyle \theta }
的余弦 是邻边与斜边的比值:
cos
θ
=
b
h
{\displaystyle \cos {\theta }={\frac {b}{h}}}
θ
{\displaystyle \theta }
的正切 是对边与邻边的比值:
tan
θ
=
a
b
{\displaystyle \tan {\theta }={\frac {a}{b}}}
θ
{\displaystyle \theta }
的余切 是邻边与对边的比值:
cot
θ
=
b
a
{\displaystyle \cot {\theta }={\frac {b}{a}}}
θ
{\displaystyle \theta }
的正割 是斜边与邻边的比值:
sec
θ
=
h
b
{\displaystyle \sec {\theta }={\frac {h}{b}}}
θ
{\displaystyle \theta }
的余割 是斜边与对边的比值:
csc
θ
=
h
a
{\displaystyle \csc {\theta }={\frac {h}{a}}}
直角坐标系中的定义
设
P
(
x
,
y
)
{\displaystyle P(x,y)}
是平面直角坐标系
x
O
y
{\displaystyle xOy}
中的一点,
θ
{\displaystyle \theta }
是横轴正向
O
x
→
{\displaystyle {\vec {Ox}}}
逆时针旋转到
O
P
→
{\displaystyle {\vec {OP}}}
方向所形成的角,
r
=
x
2
+
y
2
>
0
{\displaystyle r={\sqrt {x^{2}+y^{2}}}>0}
是
P
{\displaystyle P}
到原点
O
{\displaystyle O}
的距离,则
θ
{\displaystyle \theta }
的六个三角函数定义为[7] :
正弦
余弦
正切
余切
正割
余割
sin
θ
=
y
r
{\displaystyle \sin \theta ={\frac {y}{r}}}
cos
θ
=
x
r
{\displaystyle \cos \theta ={\frac {x}{r}}}
tan
θ
=
y
x
{\displaystyle \tan \theta ={\frac {y}{x}}}
cot
θ
=
x
y
{\displaystyle \cot \theta ={\frac {x}{y}}}
sec
θ
=
r
x
{\displaystyle \sec \theta ={\frac {r}{x}}}
csc
θ
=
r
y
{\displaystyle \csc \theta ={\frac {r}{y}}}
这样可以对任意角度定义三角函数(除非当定义式无意义时)。对于大于360°或小于-360°的角度,可以认为是逆时针(顺时针)旋转了不止一圈。而多转或少转了整数圈不会影响三角函数的取值[8] 。如果按弧度制的方式记录角度,将弧长作为三角函数的输入值(360°等于
2
π
{\displaystyle 2\pi }
),那么三角函数就是取值为全体实数R,最小正周期(基本周期)为
2
π
{\displaystyle 2\pi }
的周期函数 。比如:
sin
θ
=
sin
(
θ
+
2
π
k
)
,
∀
θ
∈
R
,
k
∈
Z
{\displaystyle \sin \theta =\sin \left(\theta +2\pi k\right),\quad \forall \theta \in \mathbb {R} ,\;\;k\in \mathbb {Z} }
cos
θ
=
cos
(
θ
+
2
π
k
)
,
∀
θ
∈
R
,
k
∈
Z
{\displaystyle \cos \theta =\cos \left(\theta +2\pi k\right),\quad \forall \theta \in \mathbb {R} ,\;\;k\in \mathbb {Z} }
正弦、余弦、正割或余割的基本周期是
2
π
{\displaystyle 2\pi }
弧度或360°;正切或余切的基本周期是
π
{\displaystyle \pi }
弧度或180°。
单位圆定义
三角函数也可以依据直角坐标系
x
O
y
{\displaystyle xOy}
中半径为1,圆心为原点
O
{\displaystyle O}
的单位圆 来定义[1] 。指定一角
θ
{\displaystyle \theta }
,设
A
(
1
,
0
)
{\displaystyle A(1,0)}
为起始点,如果
θ
>
0
{\displaystyle \theta >0}
则将
O
A
{\displaystyle OA}
逆时针转动,如果
θ
<
0
{\displaystyle \theta <0}
则顺时针移动,直到转过的角度等于
θ
{\displaystyle \theta }
为止。设最终点A 转到的位置为
P
(
x
,
y
)
{\displaystyle P(x,y)}
,那么:
正弦
余弦
正切
余切
正割
余割
sin
θ
=
y
{\displaystyle \sin \theta =y}
cos
θ
=
x
{\displaystyle \cos \theta =x}
tan
θ
=
y
x
{\displaystyle \tan \theta ={\frac {y}{x}}}
cot
θ
=
x
y
{\displaystyle \cot \theta ={\frac {x}{y}}}
sec
θ
=
1
x
{\displaystyle \sec \theta ={\frac {1}{x}}}
csc
θ
=
1
y
{\displaystyle \csc \theta ={\frac {1}{y}}}
基本性质
在直角坐标系平面上
f (
x )=sin(
x )和
f (
x )=cos(
x )函数的图像
从几何定义中可以推导出很多三角函数的性质。比如说,正弦函数、正切函数、余切函数和余割函数是奇函数,余弦函数和正割函数是偶函数[9] 。正弦和余弦函数的图像形状一样(见右图),可以看作是沿坐标横轴平移得到的两个函数。正弦和余弦函数关于
x
=
π
4
{\displaystyle x={\frac {\pi }{4}}}
轴对称。正切函数和余切函数、正割函数和余割函数也分别如此。
三角恒等式
不同三角函数间有很多对任意的角度取值都成立的等式,称为三角恒等式。最著名的是毕达哥拉斯恒等式 ,它说明对于任何角,正弦的平方加上余弦的平方总是1[1] 。这可从斜边为1的直角三角形应用勾股定理 得出。用符号形式表示,毕达哥拉斯恒等式为
sin
2
x
+
cos
2
x
=
1
{\displaystyle \sin ^{2}\!x+\cos ^{2}\!x=1}
。因此可推导出
tan
2
x
+
1
=
sec
2
x
{\displaystyle \tan ^{2}\!x+1=\sec ^{2}\!x}
。
1
+
cot
2
x
=
csc
2
x
{\displaystyle 1+\cot ^{2}\!x=\csc ^{2}\!x}
。另一关键联系是和差公式 ,它根据两个角度自身的正弦和余弦而给出它们的和与差的正弦和余弦[1] 。它们可以用几何的方法使用托勒密 的论证方法推导出来;还可以用代数方法使用欧拉公式 检验[注 2] 。
sin
(
x
+
y
)
=
sin
x
cos
y
+
cos
x
sin
y
{\displaystyle \sin \left(x+y\right)=\sin x\cos y+\cos x\sin y}
cos
(
x
+
y
)
=
cos
x
cos
y
−
sin
x
sin
y
{\displaystyle \cos \left(x+y\right)=\cos x\cos y-\sin x\sin y}
tan
(
x
+
y
)
=
tan
x
+
tan
y
1
−
tan
x
tan
y
{\displaystyle \tan \left(x+y\right)={\frac {\tan x+\tan y}{1-\tan x\tan y}}}
sin
(
x
−
y
)
=
sin
x
cos
y
−
cos
x
sin
y
{\displaystyle \sin \left(x-y\right)=\sin x\cos y-\cos x\sin y}
cos
(
x
−
y
)
=
cos
x
cos
y
+
sin
x
sin
y
{\displaystyle \cos \left(x-y\right)=\cos x\cos y+\sin x\sin y}
tan
(
x
−
y
)
=
tan
x
−
tan
y
1
+
tan
x
tan
y
{\displaystyle \tan \left(x-y\right)={\frac {\tan x-\tan y}{1+\tan x\tan y}}}
当两角相同,和角公式简化为更简单的等式,称为二倍角公式 (或倍角公式 ):
sin
(
2
x
)
=
2
sin
x
cos
x
{\displaystyle \sin(2x)=2\sin x\cos x}
cos
(
2
x
)
=
cos
2
x
−
sin
2
x
{\displaystyle \cos(2x)=\cos ^{2}x-\sin ^{2}x}
tan
(
2
x
)
=
2
tan
x
1
−
tan
2
x
{\displaystyle \tan(2x)={\frac {2\tan x}{1-\tan ^{2}x}}}
这些等式还可以用来推导积化和差恒等式 [10] ,以前曾用它把两数的积变换成两数的和而像对数 那样使运算更快。(用制好的三角函数表)
还有半角公式:
sin
x
2
=
±
1
−
cos
x
2
{\displaystyle \sin {\frac {x}{2}}=\pm {\sqrt {\frac {1-\cos x}{2}}}}
cos
x
2
=
±
1
+
cos
x
2
{\displaystyle \cos {\frac {x}{2}}=\pm {\sqrt {\frac {1+\cos x}{2}}}}
tan
x
2
=
±
1
−
cos
x
1
+
cos
x
=
1
−
cos
x
sin
x
=
sin
x
1
+
cos
x
{\displaystyle \tan {\frac {x}{2}}=\pm {\sqrt {\frac {1-\cos x}{1+\cos x}}}={\frac {1-\cos x}{\sin x}}={\frac {\sin x}{1+\cos x}}}
微积分
三角函数的积分 和导数 可参见导数表 、积分表 和三角函数积分表 。下面是六个基本三角函数的导数和积分的列表。
函数
sin
x
{\displaystyle \sin x}
cos
x
{\displaystyle \cos x}
tan
x
{\displaystyle \tan x}
cot
x
{\displaystyle \cot x}
sec
x
{\displaystyle \sec x}
csc
x
{\displaystyle \csc x}
导函数
cos
x
{\displaystyle \cos x}
−
sin
x
{\displaystyle -\sin x}
sec
2
x
{\displaystyle \sec ^{2}x}
−
csc
2
x
{\displaystyle -\csc ^{2}x}
sec
x
tan
x
{\displaystyle \sec {x}\tan {x}}
−
csc
x
cot
x
{\displaystyle -\csc {x}\cot {x}}
反导函数 *
−
cos
x
{\displaystyle -\cos x}
sin
x
{\displaystyle \sin x}
−
ln
|
cos
x
|
{\displaystyle -\ln \left|\cos x\right|}
ln
|
sin
x
|
{\displaystyle \ln \left|\sin x\right|}
ln
|
sec
x
+
tan
x
|
{\displaystyle \ln \left|\sec x+\tan x\right|}
ln
|
csc
x
−
cot
x
|
{\displaystyle \ln \left|\csc x-\cot x\right|}
*不计常数项
分析学定义
级数定义
正弦函数(蓝色)十分接近于它的7次泰勒级数(粉色)
几何学中,三角函数的定义是建立在几何直观上的,只用几何和极限 的性质,就可直接获知正弦和余弦的导数 。分析学 中,三角函数是解析函数 ,数学家用泰勒级数 给出了不依赖几何直观的代数定义[11] :
sin
x
=
∑
n
=
0
∞
(
−
1
)
n
x
2
n
+
1
(
2
n
+
1
)
!
=
x
−
x
3
3
!
+
x
5
5
!
−
x
7
7
!
+
⋯
{\displaystyle \sin x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}x^{2n+1}}{(2n+1)!}}=x-{\frac {x^{3}}{3!}}+{\frac {x^{5}}{5!}}-{\frac {x^{7}}{7!}}+\cdots }
cos
x
=
∑
n
=
0
∞
(
−
1
)
n
x
2
n
(
2
n
)
!
=
1
−
x
2
2
!
+
x
4
4
!
−
x
6
6
!
+
⋯
{\displaystyle \cos x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}x^{2n}}{(2n)!}}=1-{\frac {x^{2}}{2!}}+{\frac {x^{4}}{4!}}-{\frac {x^{6}}{6!}}+\cdots }
可以证明以上的无穷级数对任意实数
x
{\displaystyle x}
都是收敛的,所以很好地定义了正弦和余弦函数。
三角函数的级数定义常用做严格处理三角函数和起点应用(比如,在傅立叶级数 中),因为无穷级数 的理论可从实数系 的基础发展而来,不需任何几何方面的考虑。这样,这些函数的可微性 和连续性 便可以单独从级数定义来确立。
其他三角函数的级数定义:[12]
tan
x
=
∑
n
=
1
∞
(
−
1
)
n
−
1
2
2
n
(
2
2
n
−
1
)
B
2
n
x
2
n
−
1
(
2
n
)
!
=
x
+
x
3
3
+
2
x
5
15
+
17
x
7
315
+
⋯
(
|
x
|
<
π
2
)
{\displaystyle \tan x=\sum _{n=1}^{\infty }{\frac {(-1)^{n-1}2^{2n}(2^{2n}-1)B_{2n}x^{2n-1}}{(2n)!}}=x+{\frac {x^{3}}{3}}+{\frac {2x^{5}}{15}}+{\frac {17x^{7}}{315}}+\cdots \left(|x|<{\frac {\pi }{2}}\right)}
csc
x
=
∑
n
=
0
∞
(
−
1
)
n
+
1
2
(
2
2
n
−
1
−
1
)
B
2
n
x
2
n
−
1
(
2
n
)
!
=
1
x
+
x
6
+
7
x
3
360
+
31
x
5
15120
+
⋯
(
0
<
|
x
|
<
π
)
{\displaystyle \csc x=\sum _{n=0}^{\infty }{\frac {(-1)^{n+1}2(2^{2n-1}-1)B_{2n}x^{2n-1}}{(2n)!}}={\frac {1}{x}}+{\frac {x}{6}}+{\frac {7x^{3}}{360}}+{\frac {31x^{5}}{15120}}+\cdots (0<|x|<\pi )}
sec
x
=
∑
n
=
0
∞
(
−
1
)
n
E
n
x
2
n
(
2
n
)
!
=
1
+
x
2
2
+
5
x
4
24
+
61
x
6
720
+
⋯
(
|
x
|
<
π
2
)
{\displaystyle \sec x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}E_{n}x^{2n}}{(2n)!}}=1+{\frac {x^{2}}{2}}+{\frac {5x^{4}}{24}}+{\frac {61x^{6}}{720}}+\cdots \left(|x|<{\frac {\pi }{2}}\right)}
cot
x
=
∑
n
=
0
∞
(
−
1
)
n
2
2
n
B
2
n
x
2
n
−
1
(
2
n
)
!
=
1
x
−
x
3
−
x
3
45
−
2
x
5
945
−
⋯
(
0
<
|
x
|
<
π
)
{\displaystyle \cot x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}2^{2n}B_{2n}x^{2n-1}}{(2n)!}}={\frac {1}{x}}-{\frac {x}{3}}-{\frac {x^{3}}{45}}-{\frac {2x^{5}}{945}}-\cdots (0<|x|<\pi )}
其中
B
n
{\displaystyle B_{n}\,}
是伯努利数 ,
E
n
{\displaystyle E_{n}\,}
是欧拉数 。
这些定义也可以看作是每个三角函数作为实函数的泰勒级数。从复分析 的一个定理得出,这实函数到复数有个唯一的解析扩展。它们有同样的泰勒级数,所以复数上的三角函数是使用上述级数来定义的。
与指数函数和复数的联系
可以从上述的级数定义证明正弦和余弦函数分别是复指数函数 在它的自变量为纯虚数 时候的虚数和实数部分:
e
i
θ
=
cos
θ
+
i
sin
θ
{\displaystyle e^{{\mathrm {i} }\theta }=\cos \theta +{\mathrm {i} }\sin \theta \,}
。(i 是虚数单位 )欧拉 首先注意到这关系式,因此叫做欧拉公式 [13] 。从中可推出,对实数x ,
cos
x
=
Re
(
e
i
x
)
,
sin
x
=
Im
(
e
i
x
)
{\displaystyle \cos x\,=\,\operatorname {Re} \;\left(e^{{\mathrm {i} }x}\right)\;\;,\qquad \quad \sin x\,=\,\operatorname {Im} \;\left(e^{{\mathrm {i} }x}\right)}
进一步还可以定义对复自变量z 的三角函数:
sin
z
=
∑
n
=
0
∞
(
−
1
)
n
(
2
n
+
1
)
!
z
2
n
+
1
=
e
i
z
−
e
−
i
z
2
i
=
−
i
sinh
(
i
z
)
{\displaystyle \sin z\,=\,\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n+1)!}}z^{2n+1}\,=\,{e^{{\mathrm {i} }z}-e^{-{\mathrm {i} }z} \over 2{\mathrm {i} }}=-{\mathrm {i} }\sinh \left({\mathrm {i} }z\right)}
cos
z
=
∑
n
=
0
∞
(
−
1
)
n
(
2
n
)
!
z
2
n
=
e
i
z
+
e
−
i
z
2
=
cosh
(
i
z
)
{\displaystyle \cos z\,=\,\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n)!}}z^{2n}\,=\,{e^{{\mathrm {i} }z}+e^{-{\mathrm {i} }z} \over 2}=\cosh \left({\mathrm {i} }z\right)}
sin
(
a
+
b
i
)
=
sin
a
cosh
b
+
(
cos
a
sinh
b
)
i
{\displaystyle \sin(a+b\mathrm {i} )=\sin a\cosh b+(\cos a\sinh b)\mathrm {i} }
cos
(
a
+
b
i
)
=
cos
a
cosh
b
−
(
sin
a
sinh
b
)
i
{\displaystyle \cos(a+b\mathrm {i} )=\cos a\cosh b-(\sin a\sinh b)\mathrm {i} }
tan
(
a
+
b
i
)
=
tan
a
+
(
tanh
b
)
i
1
−
(
tan
a
tanh
b
)
i
{\displaystyle \tan(a+b\mathrm {i} )={\frac {\tan a+(\tanh b)\mathrm {i} }{1-(\tan a\tanh b)\mathrm {i} }}}
(其中
sinh
{\displaystyle \sinh }
、
cosh
{\displaystyle \cosh }
、
tanh
{\displaystyle \tanh }
为双曲函数 ,其马劳克林级数与对应的三角函数很类似,只差在正负号)
复平面中的三角函数 (亮度 表示函数值的绝对值 ,色相 表示函数值的主辐角 )
sin
(
z
)
{\displaystyle \sin(z)}
cos
(
z
)
{\displaystyle \cos(z)}
tan
(
z
)
{\displaystyle \tan(z)}
cot
(
z
)
{\displaystyle \cot(z)}
sec
(
z
)
{\displaystyle \sec(z)}
csc
(
z
)
{\displaystyle \csc(z)}
较少见的三角函数
在单位圆上展示的三角函数,包括了两种
正矢 (versin、vercos)、
余矢 (coversin、covercos)、
外正割 和
外余割
除了上述六个基本函数,史上还有下列几个较少见的三角函数:
正矢
v
e
r
s
i
n
θ
=
1
−
cos
θ
{\displaystyle \mathrm {versin} \;\theta =1-\cos \theta }
半正矢
h
a
v
e
r
s
i
n
θ
=
1
−
cos
θ
2
{\displaystyle \mathrm {haversin} \;\theta ={\frac {1-\cos \theta }{2}}}
v
e
r
c
o
s
i
n
θ
=
1
+
cos
θ
{\displaystyle \mathrm {vercosin} \;\theta =1+\cos \theta }
h
a
v
e
r
c
o
s
i
n
θ
=
1
+
cos
θ
2
{\displaystyle \mathrm {havercosin} \;\theta ={\frac {1+\cos \theta }{2}}}
余矢
c
o
v
e
r
s
i
n
θ
=
1
−
sin
θ
{\displaystyle \mathrm {coversin} \;\theta =1-\sin \theta }
半余矢
h
a
c
o
v
e
r
s
i
n
θ
=
1
−
sin
θ
2
{\displaystyle \mathrm {hacoversin} \;\theta ={\frac {1-\sin \theta }{2}}}
c
o
v
e
r
c
o
s
i
n
θ
=
1
+
sin
θ
{\displaystyle \mathrm {covercosin} \;\theta =1+\sin \theta }
h
a
c
o
v
e
r
c
o
s
i
n
θ
=
1
+
sin
θ
2
{\displaystyle \mathrm {hacovercosin} \;\theta ={\frac {1+\sin \theta }{2}}}
外正割
e
x
s
e
c
θ
=
sec
θ
−
1
{\displaystyle \mathrm {exsec} \;\theta =\sec \theta -1}
外余割
e
x
c
s
c
θ
=
csc
θ
−
1
{\displaystyle \mathrm {excsc} \;\theta =\csc \theta -1}
微分方程定义
三角函数在物理学中是研究振动和波的不可或缺的工具。例如简谐振动 满足以下微分方程 ,正弦和余弦函数都满足
y
″
+
y
=
0
{\displaystyle y''+y=0\,}
就是说,它们加上自己的二阶导数 都等于0函数。在由所有这条方程的解的二维向量空间
V
{\displaystyle V}
中,正弦函数是满足初始条件
y
(
0
)
=
0
{\displaystyle y(0)=0}
和
y
′
(
0
)
=
1
{\displaystyle y'(0)=1}
的唯一解,而余弦函数是满足初始条件
y
(
0
)
=
1
{\displaystyle y(0)=1}
和
y
′
(
0
)
=
0
{\displaystyle y'(0)=0}
的唯一解[14] 。因为正弦和余弦函数是线性无关的,它们在一起形成了
V
{\displaystyle V}
的基 。这种定义正弦和余弦函数的方法本质上等价于使用欧拉公式。(参见线性微分方程 )。很明显这条微分方程不只用来定义正弦和余弦函数,还可用来证明正弦和余弦函数的三角恒等式 。进一步的,观察到正弦和余弦函数满足
y
″
=
−
y
{\displaystyle y''=-y\,}
,这意味着它们是二阶导数算子的特征函数 。
正切函数是非线性微分方程
y
′
=
1
+
y
2
{\displaystyle y'=1+y^{2}\,}
满足初始条件
y
(
0
)
=
0
{\displaystyle y(0)=0}
的唯一解。有个非常有趣的形象证明证明了正切函数满足这微分方程,参见Needham 的Visual Complex Analysis 。[15]
弧度的重要性
弧度 通过测量沿着单位圆 的路径的长度而指定一角 ,并构成正弦和余弦函数的特定辐角 。特别是,只有映射弧度到比率的那些正弦和余弦函数才满足描述它们的经典微分方程 。如果正弦和余弦函数的弧度辐角是正比于频率 的
f
(
x
)
=
sin
(
k
x
)
;
k
≠
0
,
k
≠
1
{\displaystyle f(x)=\sin(kx);k\neq 0,k\neq 1\,}
则导数 将正比于“振幅 ”。
f
′
(
x
)
=
k
cos
(
k
x
)
{\displaystyle f'(x)=k\cos(kx)\,}
。这里的
k
{\displaystyle k}
是表示在单位之间映射的常数。如果
x
{\displaystyle x}
是度 ,则
k
=
π
180
∘
{\displaystyle k={\frac {\pi }{180^{\circ }}}}
。如果
x
{\displaystyle x}
是圈 (转 ,
2
π
{\displaystyle 2\pi }
弧度,
360
{\displaystyle 360}
度),则
k
=
2
π
{\displaystyle k=2\pi }
这意味着使用度(或圈)的正弦的二阶导数不满足微分方程
y
″
=
−
y
{\displaystyle y''=-y\,}
,但满足
y
″
=
−
k
2
y
{\displaystyle y''=-k^{2}y\,}
;对余弦也是类似的。
这意味着这些正弦和余弦是不同的函数,因此只有它的辐角是弧度的条件下,正弦的四阶导数才再次是正弦。因为凡是作为函数意义上的正弦、余弦、正切,都只用弧度定义,而不用360度的角度定义。
利用函数方程定义三角函数
在数学分析 中,可以利用基于和差公式这样的性质的函数方程 来定义三角函数。例如,取用给定此种公式和毕达哥拉斯恒等式,可以证明只有两个实函数 满足这些条件。即存在唯一的一对实函数
sin
{\displaystyle \sin }
和
cos
{\displaystyle \cos }
使得对于所有实数
x
{\displaystyle x}
和
y
{\displaystyle y}
,下列方程成立[16] :
sin
2
x
+
cos
2
x
=
1
,
{\displaystyle \sin ^{2}\!x+\cos ^{2}\!x=1,\,}
sin
(
x
+
y
)
=
sin
x
cos
y
+
cos
x
sin
y
,
{\displaystyle \sin(x+y)=\sin \!x\cos \!y+\cos \!x\sin \!y,\,}
cos
(
x
+
y
)
=
cos
x
cos
y
−
sin
x
sin
y
,
{\displaystyle \cos(x+y)=\cos \!x\cos \!y-\sin \!x\sin \!y,\,}
并满足附加条件
0
<
x
cos
x
<
sin
x
<
x
f
o
r
0
<
x
<
1
{\displaystyle 0<x\!\cos \!x<\sin \!x<x\ \mathrm {for} \qquad 0<x<1}
。从其他函数方程开始的推导也有可能,这种推导可以扩展到复数。作为例子,这推导可以用来定义伽罗瓦域 中的三角学 。
计算
计算三角函数是复杂的主题,由于计算机 和提供对任何角度的内置三角函数的科学计算器 的广泛使用,现在大多数人都不需要了。本节中将描述它在三个重要背景下的计算详情:历史上三角函数表的使用,计算机使用的现代技术,以及容易找到简单精确值的一些“重要”角度。(下面只考虑一个角度小范围,比如0到
π
2
{\displaystyle {\frac {\pi }{2}}}
,因为通过三角函数的周期性和对称性,所有其他角度可以化简到这范围内。)
主条目:生成三角函数表
有计算机之前,人们通常通过对计算到多个有效数字 的三角函数表的内插 来计算三角函数的值。这种表格在人们刚刚产生三角函数的概念的时候就已经有了,它们通常是通过从已知值(比如
sin
π
2
=
1
{\displaystyle \sin {\frac {\pi }{2}}=1}
)开始并重复应用半角和和差公式而生成[17] 。
现代计算机使用了各种技术。[18] 一个常见的方式,特别是在有浮点 单元的高端处理器上,是组合多项式 或有理式 逼近 (比如切比雪夫逼近 、最佳一致逼近和Padé逼近 ,和典型用于更高或可变精度的泰勒级数 和罗朗级数 )和范围简约与表查找—首先在一个较小的表中查找最接近的角度,然后使用多项式来计算修正。[19] 在缺乏硬件乘法器 的简单设备上,有叫做CORDIC算法 的一个更有效算法(和相关技术),因为它只用了移位 和加法。出于性能的原因,所有这些方法通常都用硬件 来实现。
对于非常高精度的运算,在级数展开收敛变得太慢的时候,可以用算术几何平均 来逼近三角函数,它自身通过复数 椭圆积分 来逼近三角函数。[20]
三角函数的特殊值
如图所示,大小为
30
∘
{\displaystyle 30^{\circ }}
和
45
∘
{\displaystyle 45^{\circ }}
的整数倍的
θ
{\displaystyle \theta }
角和它们的精确正弦和余弦值标注在单位圆上。
θ
{\displaystyle \theta }
角均用弧度制和角度制表示。
θ
{\displaystyle \theta }
角所对应的单位圆上的点的坐标为(
cos
θ
{\displaystyle \cos \theta }
,
sin
θ
{\displaystyle \sin \theta }
)
对于一些简单的角度,使用毕达哥拉斯定理 (也就是勾股定理 )可以很容易人手计算三角函数的值。事实上,
π
/
60
{\displaystyle \pi /60}
弧度 (3°)的任何整数倍的正弦、余弦和正切都可以手工计算。以下是一些常用的特殊函数值[21] 。
函数名
0
(
0
∘
)
{\displaystyle 0\ (0^{\circ })}
π
12
(
15
∘
)
{\displaystyle {\frac {\pi }{12}}\ (15^{\circ })}
π
6
(
30
∘
)
{\displaystyle {\frac {\pi }{6}}\ (30^{\circ })}
π
4
(
45
∘
)
{\displaystyle {\frac {\pi }{4}}\ (45^{\circ })}
π
3
(
60
∘
)
{\displaystyle {\frac {\pi }{3}}\ (60^{\circ })}
5
π
12
(
75
∘
)
{\displaystyle {\frac {5\pi }{12}}\ (75^{\circ })}
π
2
(
90
∘
)
{\displaystyle {\frac {\pi }{2}}\ (90^{\circ })}
sin
{\displaystyle \sin }
0
{\displaystyle 0}
6
−
2
4
{\displaystyle {\frac {{\sqrt {6}}-{\sqrt {2}}}{4}}}
1
2
{\displaystyle {\frac {1}{2}}}
2
2
{\displaystyle {\frac {\sqrt {2}}{2}}}
3
2
{\displaystyle {\frac {\sqrt {3}}{2}}}
6
+
2
4
{\displaystyle {\frac {{\sqrt {6}}+{\sqrt {2}}}{4}}}
1
{\displaystyle 1}
cos
{\displaystyle \cos }
1
{\displaystyle 1}
6
+
2
4
{\displaystyle {\frac {{\sqrt {6}}+{\sqrt {2}}}{4}}}
3
2
{\displaystyle {\frac {\sqrt {3}}{2}}}
2
2
{\displaystyle {\frac {\sqrt {2}}{2}}}
1
2
{\displaystyle {\frac {1}{2}}}
6
−
2
4
{\displaystyle {\frac {{\sqrt {6}}-{\sqrt {2}}}{4}}}
0
{\displaystyle 0}
tan
{\displaystyle \tan }
0
{\displaystyle 0}
2
−
3
{\displaystyle 2-{\sqrt {3}}}
3
3
{\displaystyle {\frac {\sqrt {3}}{3}}}
1
{\displaystyle 1}
3
{\displaystyle {\sqrt {3}}}
2
+
3
{\displaystyle 2+{\sqrt {3}}}
±
∞
{\displaystyle \pm \infty }
cot
{\displaystyle \cot }
±
∞
{\displaystyle \pm \infty }
2
+
3
{\displaystyle 2+{\sqrt {3}}}
3
{\displaystyle {\sqrt {3}}}
1
{\displaystyle 1}
3
3
{\displaystyle {\frac {\sqrt {3}}{3}}}
2
−
3
{\displaystyle 2-{\sqrt {3}}}
0
{\displaystyle 0}
sec
{\displaystyle \sec }
1
{\displaystyle 1}
6
−
2
{\displaystyle {\sqrt {6}}-{\sqrt {2}}}
2
3
3
{\displaystyle {\frac {2{\sqrt {3}}}{3}}}
2
{\displaystyle {\sqrt {2}}}
2
{\displaystyle 2}
6
+
2
{\displaystyle {\sqrt {6}}+{\sqrt {2}}}
±
∞
{\displaystyle \pm \infty }
csc
{\displaystyle \csc }
±
∞
{\displaystyle \pm \infty }
6
+
2
{\displaystyle {\sqrt {6}}+{\sqrt {2}}}
2
{\displaystyle 2}
2
{\displaystyle {\sqrt {2}}}
2
3
3
{\displaystyle {\frac {2{\sqrt {3}}}{3}}}
6
−
2
{\displaystyle {\sqrt {6}}-{\sqrt {2}}}
1
{\displaystyle 1}
注:
±
∞
{\displaystyle \pm \infty }
有时会写作无定义(不存在)。
反三角函数
由于三角函数属于周期函数 ,而不是单射函数 ,所以严格来说并没有反函数 。因此要定义其反函数必须先限制三角函数的定义域 ,使得三角函数成为双射函数 。基本的反三角函数定义为[9] :
反三角函数
定义
值域
arcsin
(
x
)
=
y
{\displaystyle \arcsin(x)=y\,}
sin
(
y
)
=
x
{\displaystyle \sin(y)=x\,}
−
π
2
≤
y
≤
π
2
{\displaystyle -{\frac {\pi }{2}}\leq y\leq {\frac {\pi }{2}}\,}
arccos
(
x
)
=
y
{\displaystyle \arccos(x)=y\,}
cos
(
y
)
=
x
{\displaystyle \cos(y)=x\,}
0
≤
y
≤
π
{\displaystyle 0\leq y\leq \pi \,}
arctan
(
x
)
=
y
{\displaystyle \arctan(x)=y\,}
tan
(
y
)
=
x
{\displaystyle \tan(y)=x\,}
−
π
2
<
y
<
π
2
{\displaystyle -{\frac {\pi }{2}}<y<{\frac {\pi }{2}}\,}
arccsc
(
x
)
=
y
{\displaystyle \operatorname {arccsc}(x)=y\,}
csc
(
y
)
=
x
{\displaystyle \csc(y)=x\,}
−
π
2
≤
y
≤
π
2
,
y
≠
0
{\displaystyle -{\frac {\pi }{2}}\leq y\leq {\frac {\pi }{2}},y\neq 0\,}
arcsec
(
x
)
=
y
{\displaystyle \operatorname {arcsec}(x)=y\,}
sec
(
y
)
=
x
{\displaystyle \sec(y)=x\,}
0
≤
y
≤
π
,
y
≠
π
2
{\displaystyle 0\leq y\leq \pi ,y\neq {\frac {\pi }{2}}\,}
arccot
(
x
)
=
y
{\displaystyle \operatorname {arccot}(x)=y\,}
cot
(
y
)
=
x
{\displaystyle \cot(y)=x\,}
0
<
y
<
π
{\displaystyle 0<y<\pi \,}
对于反三角函数,符号
sin
−
1
{\displaystyle \sin ^{-1}}
和
cos
−
1
{\displaystyle \cos ^{-1}}
经常用于
arcsin
{\displaystyle \arcsin }
和
arccos
{\displaystyle \arccos }
。使用这种符号的时候,反函数可能跟三角函数的倒数混淆。使用“
a
r
c
−
{\displaystyle \mathrm {arc-} }
”前缀的符号避免了这种混淆,尽管“
arcsec
{\displaystyle \operatorname {arcsec} }
”可能偶尔跟“arcsecond ”混淆。
正如正弦和余弦那样,反三角函数也可以根据无穷级数来定义。例如,
arcsin
z
=
z
+
(
1
2
)
z
3
3
+
(
1
⋅
3
2
⋅
4
)
z
5
5
+
(
1
⋅
3
⋅
5
2
⋅
4
⋅
6
)
z
7
7
+
⋯
{\displaystyle \arcsin z=z+\left({\frac {1}{2}}\right){\frac {z^{3}}{3}}+\left({\frac {1\cdot 3}{2\cdot 4}}\right){\frac {z^{5}}{5}}+\left({\frac {1\cdot 3\cdot 5}{2\cdot 4\cdot 6}}\right){\frac {z^{7}}{7}}+\cdots }
这些函数也可以通过证明它们是其他函数的原函数来定义。例如反正弦函数,可以写为如下积分[22] :
arcsin
(
x
)
=
∫
0
x
1
1
−
z
2
d
z
,
|
x
|
<
1
{\displaystyle \arcsin \left(x\right)=\int _{0}^{x}{\frac {1}{\sqrt {1-z^{2}}}}\,\mathrm {d} z,\quad |x|<1}
可以在反三角函数 条目中找到类似的公式。使用复对数 可把这些函数延伸到复数辐角:
arcsin
(
z
)
=
−
i
ln
(
i
z
+
1
−
z
2
)
{\displaystyle \arcsin(z)=-{\mathrm {i} }\ln \left({\mathrm {i} }z+{\sqrt {1-z^{2}}}\right)}
arccos
(
z
)
=
−
i
ln
(
z
+
z
2
−
1
)
{\displaystyle \arccos(z)=-{\mathrm {i} }\ln \left(z+{\sqrt {z^{2}-1}}\right)}
arctan
(
z
)
=
i
2
ln
(
1
−
i
z
1
+
i
z
)
{\displaystyle \arctan(z)={\frac {\mathrm {i} }{2}}\ln \left({\frac {1-{\mathrm {i} }z}{1+{\mathrm {i} }z}}\right)}
相关定理
三角函数,正如其名,在三角学 十分重要。在三角学研究,数学家发现了许多利用三角函数来刻画三角形、圆形或多边形的定理。
正弦定理
正弦定理 声称对于边长为
a
{\displaystyle a}
、
b
{\displaystyle b}
和
c
{\displaystyle c}
而相应角为
A
{\displaystyle A}
、
B
{\displaystyle B}
和
C
{\displaystyle C}
的三角形,有[23] :
a
sin
A
=
b
sin
B
=
c
sin
C
=
2
R
{\displaystyle {\frac {a}{\sin A}}={\frac {b}{\sin B}}={\frac {c}{\sin C}}=2R}
其中
R
{\displaystyle R}
是三角形的外接圆 半径。正弦定理用于计算已知两角和一边时三角形的未知边长,是三角测量 中常见情况,前述为数学常用。至于物理学应用为三分力且合力为0的情况。
余弦定理
主条目:余弦定理
余弦定理 (也叫余弦公式)是托勒密定理 的延伸[23] :
c
2
=
a
2
+
b
2
−
2
a
b
cos
C
{\displaystyle c^{2}=a^{2}+b^{2}-2ab\cos C}
也可表示为
cos
C
=
a
2
+
b
2
−
c
2
2
a
b
{\displaystyle \cos C={\frac {a^{2}+b^{2}-c^{2}}{2ab}}}
。
余弦定理用于确定三角形已知两边和一角时未知的值。
a
+
b
a
−
b
=
tan
A
+
B
2
tan
A
−
B
2
{\displaystyle {\frac {a+b}{a-b}}={\frac {\tan {\dfrac {A+B}{2}}}{\tan {\dfrac {A-B}{2}}}}}
余切定理
cot
α
2
=
s
−
a
ζ
{\displaystyle \cot {\frac {\alpha }{2}}={\frac {s-a}{\zeta }}}
其中
ζ
=
1
s
(
s
−
a
)
(
s
−
b
)
(
s
−
c
)
{\textstyle \zeta ={\sqrt {{\frac {1}{s}}(s-a)(s-b)(s-c)}}}
为三角形的内切圆半径,
s
=
a
+
b
+
c
2
{\textstyle s={\frac {a+b+c}{2}}}
为三角形半周长。
周期函数
三角函数在物理也重要,如用正弦和余弦函数描述简谐运动 ,它描述了很多自然现象,比如附着在弹簧上的物体的振动,挂在绳子上物体的小角度摆动。正弦和余弦函数是圆周运动 的一维投影[25] 。
三角函数在一般周期函数 的研究中也很有用。这些函数有作为图像的特征波模式,在描述循环现象比如声波或光波的时候是很有用的。每个信号都可以记为不同频率的正弦和余弦函数的(通常无限)和[26] ;这是傅立叶分析 的基础想法,这里的三角级数可以用来解微分方程的各种边值问题。例如,方波 可以写为傅立叶级数 [27]
x
s
q
u
a
r
e
(
t
)
=
4
π
∑
k
=
1
∞
sin
[
(
2
k
−
1
)
t
]
(
2
k
−
1
)
{\displaystyle x_{\mathrm {square} }(t)={\frac {4}{\pi }}\sum _{k=1}^{\infty }{\sin {\left[(2k-1)t\right]} \over (2k-1)}}
。在右边的动画中,可以看到只用几项就形成非常准确的估计。
参见 注释 参考资料
^ 1.0 1.1 1.2 1.3 1.4 萧树铁, 扈志明. 微积分 . 北京: 清华大学出版社有限公司. 2006: p.8–9 [2013-12-21 ] . ISBN 7302122148 . (原始内容存档 于2013-12-24). }
^ 清华大学数学科学系《微积分》编写组. 微积分(I) . 清华大学出版社. 2003 [2013-12-21 ] . ISBN 9787302067856 . (原始内容存档 于2013-12-24).
^ 3.0 3.1 3.2 3.3 莫里斯·克莱因 著,张理京,张锦炎,江泽涵 译. 《古今数学思想》第一册. 上海科学技术出版社. 2002. ISBN 9787532361724 .
^ 4.0 4.1 4.2 Uta C.Merzbach, Carl B. Boyer. A History of Mathematics . John Wiley & Sons, Inc.第3版. 2011. ISBN 978-0-470-52548-7 (英语) .
^ 莫里斯·克莱因 著,朱学贤,申又枨 ,叶其孝 译. 《古今数学思想》第二册. 上海科学技术出版社. 2002. ISBN 9787532361731 .
^ 銳角三角函數 (PDF) . [2013-12-21 ] . (原始内容存档 (PDF) 于2013-12-24).
^ 三角函數的定義 . Webcai.math.fcu.edu.tw. [2013-12-21 ] . (原始内容存档 于2014-01-04).
^ 廣義角三角函數 (PDF) . [2013-12-21 ] . (原始内容存档 (PDF) 于2013-12-24).
^ 9.0 9.1 谭杰锋, 郑爱武. 高等数学 . 清华大学出版社. 2006 [2013-12-21 ] . (原始内容存档 于2013-12-24).
^ 初三年级. 积化和差公式 . Zhongxue.hujiang.com. [2013-12-21 ] . (原始内容存档 于2013-12-24).
^ Ahlfors, pages 43–44.
^ Abramowitz; Weisstein.
^ Euler (1707-1783) —數學的莎士比亞 (PDF) . [2013-12-21 ] . (原始内容 (PDF) 存档于2007-02-08).
^ 以微積分方法探討三角函數的性質 (PDF) . [2013-12-21 ] . (原始内容存档 (PDF) 于2013-12-24).
^ Needham, p. ix.
^ Kannappan, Palaniappan. Functional Equations and Inequalities with Applications. Springer. 2009. ISBN 978-0387894911 .
^ 和差角公式 . Highscope.ch.ntu.edu.tw. 2011-10-19 [2013-12-21 ] . (原始内容存档 于2013-12-24).
^ Kantabutra.
^ However, doing that while maintaining precision is nontrivial, and methods like Gal's accurate tables, Cody and Waite reduction, and Payne and Hanek reduction algorithms can be used.
^ R. P. Brent, "Fast Multiple-Precision Evaluation of Elementary Functions", J. ACM '''23''', 242 (1976) . Doi.acm.org. [2013-12-21 ] . doi:10.1145/321941.321944 . (原始内容存档 于2015-05-16).
^ 三角函數特殊角的值 . Web.ntnu.edu.tw. [2013-12-21 ] . (原始内容存档 于2013-12-24).
^ 雙曲函數及反三角函數 . Stat.nuk.edu.tw. [2013-12-21 ] . (原始内容存档 于2014-04-27).
^ 23.0 23.1 正弦定理與餘弦定理 (PDF) . [2013-12-21 ] . (原始内容存档 (PDF) 于2016-05-08).
^ Eli Maor, Trigonometric Delights , Princeton University Press, 2002.
^ 圓與三角學 . Episte.math.ntu.edu.tw. 2004-06-19 [2013-12-21 ] . (原始内容存档 于2013-04-28).
^ 靳希,杨尔滨,赵玲. 信号处理原理与应用 . 清华大学出版社. 2004 [2013-12-21 ] . ISBN 9787302083573 . (原始内容存档 于2013-12-24).
^ 邓翔宇. 信号与系统 . 清华大学出版社. 2006 [2013-12-21 ] . ISBN 9787810827058 . (原始内容存档 于2013-12-24).
延伸阅读
Abramowitz, Milton、Irene A. Stegun,Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables ,Dover,New York(1964年),互联网档案馆 ),Oxford University Press,(1999年),互联网档案馆 ),MacTutor History of Mathematics Archive ,(2000年)。
Pearce, Ian G.,Madhava of Sangamagramma (页面存档备份 ,存于互联网档案馆 ),MacTutor History of Mathematics Archive ,(2002年)。
Weisstein, Eric W.,Tangent (页面存档备份 ,存于互联网档案馆 ),MathWorld ,2006年1月21日访问。
Lars Ahlfors, Complex Analysis: an introduction to the theory of analytic functions of one complex variable , second edition, McGraw-Hill Book Company, New York, 1966. 外部链接