三角函数

提示：此条目的主题不是三角形函数。

三角函数（英語：trigonometric functions^{[註 1]}）是數學中常見的一類關於角度的函数。三角函數將直角三角形的内角與它两邊的比值相关联，也可以等价地用与单位圆有关的各种线段的长度来定义。三角函数在研究三角形和圆等几何形状的性质时有重要作用，也是研究振动、波、天体运动以及各种周期性现象的基础数学工具^[1]。在数学分析，三角函数也定义为无穷级数或特定微分方程的解，允许它们的取值扩展到任意实数值，甚至是複數值。

三角函数图像（动画演示）

常見的三角函数包括正弦函数（${\displaystyle \sin }$）、余弦函数（${\displaystyle \cos }$）和正切函数（${\displaystyle \tan }$或${\displaystyle \operatorname {tg} }$）^[1]；在航海学、测绘学、工程学等其他学科中，还会用到如余切函数（${\displaystyle \cot }$或${\displaystyle \operatorname {ctg} }$）、正割函数（${\displaystyle \sec }$）、余割函数（${\displaystyle \csc }$）、正矢函数、半正矢函数等其他的三角函数。不同的三角函数之间的关系可以通过几何直观或者计算得出，称为三角恒等式。

三角函数一般用于计算三角形中未知长度的边和未知的角度，在导航、工程学以及物理学方面都有广泛的用途。另外，以三角函数为模版，可以定义一类相似的函数，叫做双曲函数^[2]。常见的双曲函数也称双曲正弦函数、双曲余弦函数等。

历史

三角函数的早期研究可以追溯到古代。例如古埃及数学家在鑑別尼羅河泛濫後的土地邊界、保持金字塔每邊斜度相同，都使用了三角術，只是他們可能還沒有對這種方式定名而已。古希腊三角术的奠基人是公元前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世纪后，阿拉伯数学文化开始传入欧洲。随着欧洲商业的兴盛，航行、历法测定和地理测绘中出现了对三角学的需求。在翻译阿拉伯数学著作的同时，欧洲数学家开始制作更详细精确的三角函数值表。哥白尼的学生乔治·约阿希姆·瑞提克斯（英语：Goerg Joachim Rheticus）制作了间隔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年徐光启与邓玉函、汤若望合撰《大测》首次将三角函数引入中国并确立了正弦、余弦等译名。

几何定义

直角三角形中的定义

 

a，b，h分別為角A的对边、邻边和斜边

直角三角形中仅有锐角（大小在0到90度之间的角）三角函数的定义^[6]。指定锐角${\displaystyle \theta }$ ，可以做出直角三角形，使一内角為${\displaystyle \theta }$ 。设三角形中${\displaystyle \theta }$ 的对边、邻边和斜边长度分别是a，b，h，那么

${\displaystyle \theta }$ 的正弦是对边与斜边的比值：${\displaystyle \sin {\theta }={\frac {a}{h}}}$

${\displaystyle \theta }$ 的餘弦是邻边与斜边的比值：${\displaystyle \cos {\theta }={\frac {b}{h}}}$

${\displaystyle \theta }$ 的正切是对边与邻边的比值：${\displaystyle \tan {\theta }={\frac {a}{b}}}$

${\displaystyle \theta }$ 的余切是邻边与对边的比值：${\displaystyle \cot {\theta }={\frac {b}{a}}}$

${\displaystyle \theta }$ 的正割是斜边与邻边的比值：${\displaystyle \sec {\theta }={\frac {h}{b}}}$

${\displaystyle \theta }$ 的餘割是斜边与对边的比值：${\displaystyle \csc {\theta }={\frac {h}{a}}}$

直角坐标系中的定义

 

设${\displaystyle P(x,y)}$ 是平面直角坐标系${\displaystyle xOy}$ 中的一点，${\displaystyle \theta }$ 是横轴正向${\displaystyle {\vec {Ox}}}$ 逆时针旋转到${\displaystyle {\vec {OP}}}$ 方向所形成的角，${\displaystyle r={\sqrt {x^{2}+y^{2}}}>0}$ 是${\displaystyle P}$ 到原点${\displaystyle O}$ 的距离，则${\displaystyle \theta }$ 的六个三角函数定义为^[7]：

正弦	餘弦	正切	餘切	正割	餘割
${\displaystyle \sin \theta ={\frac {y}{r}}}$	${\displaystyle \cos \theta ={\frac {x}{r}}}$	${\displaystyle \tan \theta ={\frac {y}{x}}}$	${\displaystyle \cot \theta ={\frac {x}{y}}}$	${\displaystyle \sec \theta ={\frac {r}{x}}}$	${\displaystyle \csc \theta ={\frac {r}{y}}}$

这样可以对任意角度定义三角函数（除非当定义式无意义时）。对于大于360°或小于-360°的角度，可以认为是逆时针（顺时针）旋转了不止一圈。而多转或少转了整数圈不会影响三角函数的取值^[8]。如果按弧度制的方式记录角度，将弧长作为三角函数的输入值（360°等于${\displaystyle 2\pi }$ ），那么三角函数就是取值为全体实数R，最小正周期（基本周期）为${\displaystyle 2\pi }$ 的周期函数。比如：

${\displaystyle \sin \theta =\sin \left(\theta +2\pi k\right),\quad \forall \theta \in \mathbb {R} ,\;\;k\in \mathbb {Z} }$ 

${\displaystyle \cos \theta =\cos \left(\theta +2\pi k\right),\quad \forall \theta \in \mathbb {R} ,\;\;k\in \mathbb {Z} }$ 

正弦、余弦、正割或余割的基本周期是${\displaystyle 2\pi }$ 弧度或360°；正切或余切的基本周期是${\displaystyle \pi }$ 弧度或180°。

单位圆定义

三角函数也可以依据直角坐标系${\displaystyle xOy}$ 中半径为1，圆心为原点${\displaystyle O}$ 的单位圆来定义^[1]。指定一角${\displaystyle \theta }$ ，设${\displaystyle A(1,0)}$ 为起始点，如果${\displaystyle \theta >0}$ 则将${\displaystyle OA}$ 逆时针转动，如果${\displaystyle \theta <0}$ 则顺时针移动，直到转过的角度等于${\displaystyle \theta }$ 为止。设最终点A转到的位置为${\displaystyle P(x,y)}$ ，那么：

 

用单位圆定义三角函数

正弦	餘弦	正切	餘切	正割	餘割
${\displaystyle \sin \theta =y}$	${\displaystyle \cos \theta =x}$	${\displaystyle \tan \theta ={\frac {y}{x}}}$	${\displaystyle \cot \theta ={\frac {x}{y}}}$	${\displaystyle \sec \theta ={\frac {1}{x}}}$	${\displaystyle \csc \theta ={\frac {1}{y}}}$

基本性质

 

在直角坐标系平面上f(x)＝sin(x)和f(x)＝cos(x)函数的图像

从几何定义中可以推导出很多三角函数的性质。比如说，正弦函数、正切函数、余切函数和余割函数是奇函数，余弦函数和正割函数是偶函数^[9]。正弦和余弦函数的图像形状一样（见右图），可以看作是沿坐标横轴平移得到的两个函数。正弦和余弦函数关于${\displaystyle x={\frac {\pi }{4}}}$ 轴对称。正切函数和余切函数、正割函数和余割函数也分别如此。

三角恒等式

主条目：三角恒等式

不同三角函数间有很多对任意的角度取值都成立的等式，称为三角恒等式。最著名的是毕达哥拉斯恒等式，它说明对于任何角，正弦的平方加上余弦的平方总是1^[1]。这可从斜边为1的直角三角形应用勾股定理得出。用符号形式表示，毕达哥拉斯恒等式为

${\displaystyle \sin ^{2}\!x+\cos ^{2}\!x=1}$ 。

因此可推導出

${\displaystyle \tan ^{2}\!x+1=\sec ^{2}\!x}$ 。

${\displaystyle 1+\cot ^{2}\!x=\csc ^{2}\!x}$ 。

另一关键联系是和差公式，它根据两个角度自身的正弦和余弦而给出它们的和与差的正弦和余弦^[1]。它们可以用几何的方法使用托勒密的论证方法推导出来；还可以用代数方法使用欧拉公式檢定^{[註 2]}。

${\displaystyle \sin \left(x+y\right)=\sin x\cos y+\cos x\sin y}$  ${\displaystyle \cos \left(x+y\right)=\cos x\cos y-\sin x\sin y}$  ${\displaystyle \tan \left(x+y\right)={\frac {\tan x+\tan y}{1-\tan x\tan y}}}$

${\displaystyle \sin \left(x-y\right)=\sin x\cos y-\cos x\sin y}$  ${\displaystyle \cos \left(x-y\right)=\cos x\cos y+\sin x\sin y}$  ${\displaystyle \tan \left(x-y\right)={\frac {\tan x-\tan y}{1+\tan x\tan y}}}$

当两角相同，和角公式简化为更简单的等式，称为二倍角公式（或倍角公式）：

${\displaystyle \sin(2x)=2\sin x\cos x}$ 

${\displaystyle \cos(2x)=\cos ^{2}x-\sin ^{2}x}$ 

${\displaystyle \tan(2x)={\frac {2\tan x}{1-\tan ^{2}x}}}$ 

这些等式还可以用来推导积化和差恒等式^[10]，以前曾用它把两数的积变换成两数的和而像对数那样使运算更快。（用制好的三角函数表）

還有半角公式：

${\displaystyle \sin {\frac {x}{2}}=\pm {\sqrt {\frac {1-\cos x}{2}}}}$ 

${\displaystyle \cos {\frac {x}{2}}=\pm {\sqrt {\frac {1+\cos x}{2}}}}$ 

${\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}}}$ 

微积分

三角函数的积分和导数可参见导数表、积分表和三角函数积分表。下面是六個基本三角函數的導數和積分的列表。

函数	${\displaystyle \sin x}$	${\displaystyle \cos x}$	${\displaystyle \tan x}$	${\displaystyle \cot x}$	${\displaystyle \sec x}$	${\displaystyle \csc x}$
导函数	${\displaystyle \cos x}$	${\displaystyle -\sin x}$	${\displaystyle \sec ^{2}x}$	${\displaystyle -\csc ^{2}x}$	${\displaystyle \sec {x}\tan {x}}$	${\displaystyle -\csc {x}\cot {x}}$
反导函数^＊	${\displaystyle -\cos x}$	${\displaystyle \sin x}$	${\displaystyle -\ln \left|\cos x\right|}$	${\displaystyle \ln \left|\sin x\right|}$	${\displaystyle \ln \left|\sec x+\tan x\right|}$	${\displaystyle \ln \left|\csc x-\cot x\right|}$
＊不计常数项

分析学定义

級數定義

 

正弦函数（蓝色）十分接近于它的7次泰勒级数（粉色）

几何学中，三角函数的定义是建立在几何直观上的，只用几何和极限的性质，就可直接获知正弦和餘弦的導數。分析学中，三角函數是解析函數，数学家用泰勒級數给出了不依赖几何直观的代数定义^[11]：

${\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 }$ 

${\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 }$ 

可以证明以上的无穷级数对任意实数${\displaystyle x}$ 都是收敛的，所以很好地定义了正弦和余弦函数。

三角函数的级数定义常用做严格处理三角函数和起点应用（比如，在傅立叶级数中），因为无穷级数的理论可从实数系的基础发展而来，不需任何几何方面的考虑。这样，这些函数的可微性和连续性便可以单独从级数定义来确立。

其他三角函数的级数定义：^[12]

${\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)}$ 

${\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 )}$ 

${\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)}$ 

${\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 )}$ 

其中${\displaystyle B_{n}\,}$ 是伯努利数，${\displaystyle E_{n}\,}$ 是欧拉数。

这些定义也可以看作是每个三角函数作为实函数的泰勒级数。从复分析的一个定理得出，这实函数到复数有个唯一的解析扩展。它们有同样的泰勒级数，所以复数上的三角函数是使用上述级数来定义的。

与指数函数和复数的联系

可以从上述的级数定义证明正弦和余弦函数分别是复指数函数在它的自变量为纯虚数时候的虚数和实数部分：

${\displaystyle e^{{\mathrm {i} }\theta }=\cos \theta +{\mathrm {i} }\sin \theta \,}$ 。（i是虚数单位）

欧拉首先注意到这关系式，因此叫做欧拉公式^[13]。从中可推出，对实数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的三角函数：

${\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)}$ 

${\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)}$ 

${\displaystyle \sin(a+b\mathrm {i} )=\sin a\cosh b+(\cos a\sinh b)\mathrm {i} }$ 

${\displaystyle \cos(a+b\mathrm {i} )=\cos a\cosh b-(\sin a\sinh b)\mathrm {i} }$ 

${\displaystyle \tan(a+b\mathrm {i} )={\frac {\tan a+(\tanh b)\mathrm {i} }{1-(\tan a\tanh b)\mathrm {i} }}}$ 

（其中${\displaystyle \sinh }$ 、${\displaystyle \cosh }$ 、${\displaystyle \tanh }$ 為雙曲函數，其馬勞克林級數與對應的三角函數很類似，只差在正負號）

複平面中的三角函數（亮度表示函數值的絕對值，色相表示函數值的主輻角）

${\displaystyle \sin(z)}$	${\displaystyle \cos(z)}$	${\displaystyle \tan(z)}$	${\displaystyle \cot(z)}$	${\displaystyle \sec(z)}$	${\displaystyle \csc(z)}$

较少見的三角函數

 

在單位圓上展示的三角函數，包括了兩種正矢（versin、vercos）、餘矢（coversin、covercos）、外正割和外餘割

除了上述六個基本函數，史上還有下列幾个较少見的三角函数：

正矢	${\displaystyle \mathrm {versin} \;\theta =1-\cos \theta }$	半正矢	${\displaystyle \mathrm {haversin} \;\theta ={\frac {1-\cos \theta }{2}}}$
	${\displaystyle \mathrm {vercosin} \;\theta =1+\cos \theta }$		${\displaystyle \mathrm {havercosin} \;\theta ={\frac {1+\cos \theta }{2}}}$
餘矢	${\displaystyle \mathrm {coversin} \;\theta =1-\sin \theta }$	半餘矢	${\displaystyle \mathrm {hacoversin} \;\theta ={\frac {1-\sin \theta }{2}}}$
	${\displaystyle \mathrm {covercosin} \;\theta =1+\sin \theta }$		${\displaystyle \mathrm {hacovercosin} \;\theta ={\frac {1+\sin \theta }{2}}}$
外正割	${\displaystyle \mathrm {exsec} \;\theta =\sec \theta -1}$	外餘割	${\displaystyle \mathrm {excsc} \;\theta =\csc \theta -1}$

微分方程定义

三角函数在物理学中是研究振动和波的不可或缺的工具。例如简谐振动满足以下微分方程，正弦和余弦函数都满足

${\displaystyle y''+y=0\,}$ 

就是说，它们加上自己的二阶导数都等于0函数。在由所有这條方程的解的二维向量空间${\displaystyle V}$ 中，正弦函数是满足初始条件${\displaystyle y(0)=0}$ 和${\displaystyle y'(0)=1}$ 的唯一解，而余弦函数是满足初始条件${\displaystyle y(0)=1}$ 和${\displaystyle y'(0)=0}$ 的唯一解^[14]。因为正弦和余弦函数是线性无关的，它们在一起形成了${\displaystyle V}$ 的基。这种定义正弦和余弦函数的方法本质上等价于使用欧拉公式。（参见线性微分方程）。很明显这條微分方程不只用来定义正弦和余弦函数，还可用来证明正弦和余弦函数的三角恒等式。进一步的，观察到正弦和余弦函数满足${\displaystyle y''=-y\,}$ ，这意味着它们是二阶导数算子的特征函数。

正切函数是非线性微分方程

${\displaystyle y'=1+y^{2}\,}$ 

满足初始条件${\displaystyle y(0)=0}$ 的唯一解。有个非常有趣的形象证明证明了正切函数满足这微分方程，参见Needham的Visual Complex Analysis。^[15]

弧度的重要性

弧度通过测量沿着单位圆的路径的长度而指定一角，并构成正弦和余弦函数的特定辐角。特别是，只有映射弧度到比率的那些正弦和余弦函数才满足描述它们的经典微分方程。如果正弦和余弦函数的弧度辐角是正比于频率的

${\displaystyle f(x)=\sin(kx);k\neq 0,k\neq 1\,}$ 

则导数将正比于“振幅”。

${\displaystyle f'(x)=k\cos(kx)\,}$ 。

这里的${\displaystyle k}$ 是表示在单位之间映射的常数。如果${\displaystyle x}$ 是度，则

${\displaystyle k={\frac {\pi }{180^{\circ }}}}$ 。

如果${\displaystyle x}$ 是圈（轉，${\displaystyle 2\pi }$ 弧度，${\displaystyle 360}$ 度），則

${\displaystyle k=2\pi }$ 

这意味着使用度（或圈）的正弦的二阶导数不满足微分方程

${\displaystyle y''=-y\,}$ ，

但满足

${\displaystyle y''=-k^{2}y\,}$ ；

对余弦也是类似的。

这意味着这些正弦和余弦是不同的函数，因此只有它的辐角是弧度的条件下，正弦的四阶导数才再次是正弦。因为凡是作为函数意义上的正弦、余弦、正切，都只用弧度定义，而不用360度的角度定义。

利用函数方程定义三角函数

在数学分析中，可以利用基于和差公式这样的性质的函数方程来定义三角函数。例如，取用给定此种公式和毕达哥拉斯恒等式，可以证明只有两个实函数满足这些条件。即存在唯一的一对实函数${\displaystyle \sin }$ 和${\displaystyle \cos }$ 使得对于所有实数${\displaystyle x}$ 和${\displaystyle y}$ ，下列方程成立^[16]：

${\displaystyle \sin ^{2}\!x+\cos ^{2}\!x=1,\,}$ 

${\displaystyle \sin(x+y)=\sin \!x\cos \!y+\cos \!x\sin \!y,\,}$ 

${\displaystyle \cos(x+y)=\cos \!x\cos \!y-\sin \!x\sin \!y,\,}$ 

并满足附加条件

${\displaystyle 0<x\!\cos \!x<\sin \!x<x\ \mathrm {for} \qquad 0<x<1}$ 。

从其他函数方程开始的推导也有可能，这种推导可以扩展到复数。作为例子，这推导可以用来定义伽罗瓦域中的三角学。

计算

计算三角函数是复杂的主题，由于计算机和提供对任何角度的内置三角函数的科学计算器的广泛使用，现在大多数人都不需要了。本节中将描述它在三个重要背景下的计算详情：历史上三角函数表的使用，计算机使用的现代技术，以及容易找到简单精确值的一些“重要”角度。（下面只考虑一个角度小范围，比如0到${\displaystyle {\frac {\pi }{2}}}$ ，因为通过三角函数的周期性和对称性，所有其他角度可以化简到这范围内。）

主条目：生成三角函数表

有计算机之前，人们通常通过对计算到多个有效数字的三角函数表的内插来计算三角函数的值。这种表格在人们刚刚产生三角函数的概念的时候就已经有了，它们通常是通过从已知值（比如${\displaystyle \sin {\frac {\pi }{2}}=1}$ ）开始并重复应用半角和和差公式而生成^[17]。

现代计算机使用了各种技术。^[18]一个常见的方式，特别是在有浮点单元的高端处理器上，是组合多项式或有理式逼近（比如切比雪夫逼近、最佳一致逼近和Padé逼近，和典型用于更高或可变精度的泰勒级数和罗朗级数）和范围简约与表查找—首先在一个较小的表中查找最接近的角度，然后使用多项式来计算修正。^[19]在缺乏硬件乘法器的简单设备上，有叫做CORDIC算法的一个更有效算法（和相关技术），因为它只用了移位和加法。出于性能的原因，所有这些方法通常都用硬件来实现。

对于非常高精度的运算，在级数展开收敛变得太慢的时候，可以用算术几何平均来逼近三角函数，它自身通过复数椭圆积分来逼近三角函数。^[20]

三角函数的特殊值

主条目：三角函数精确值

 

如图所示，大小为${\displaystyle 30^{\circ }}$ 和${\displaystyle 45^{\circ }}$ 的整数倍的${\displaystyle \theta }$ 角和它们的精确正弦和余弦值标注在单位圆上。${\displaystyle \theta }$ 角均用弧度制和角度制表示。${\displaystyle \theta }$ 角所对应的单位圆上的点的坐标为（${\displaystyle \cos \theta }$ ，${\displaystyle \sin \theta }$ ）

对于一些简单的角度，使用毕达哥拉斯定理（也就是勾股定理）可以很容易人手计算三角函数的值。事实上，${\displaystyle \pi /60}$ 弧度（3°）的任何整数倍的正弦、余弦和正切都可以手工计算。以下是一些常用的特殊函数值^[21]。

函数名	${\displaystyle 0\ (0^{\circ })}$	${\displaystyle {\frac {\pi }{12}}\ (15^{\circ })}$	${\displaystyle {\frac {\pi }{6}}\ (30^{\circ })}$	${\displaystyle {\frac {\pi }{4}}\ (45^{\circ })}$	${\displaystyle {\frac {\pi }{3}}\ (60^{\circ })}$	${\displaystyle {\frac {5\pi }{12}}\ (75^{\circ })}$	${\displaystyle {\frac {\pi }{2}}\ (90^{\circ })}$
${\displaystyle \sin }$	${\displaystyle 0}$	${\displaystyle {\frac {{\sqrt {6}}-{\sqrt {2}}}{4}}}$	${\displaystyle {\frac {1}{2}}}$	${\displaystyle {\frac {\sqrt {2}}{2}}}$	${\displaystyle {\frac {\sqrt {3}}{2}}}$	${\displaystyle {\frac {{\sqrt {6}}+{\sqrt {2}}}{4}}}$	${\displaystyle 1}$
${\displaystyle \cos }$	${\displaystyle 1}$	${\displaystyle {\frac {{\sqrt {6}}+{\sqrt {2}}}{4}}}$	${\displaystyle {\frac {\sqrt {3}}{2}}}$	${\displaystyle {\frac {\sqrt {2}}{2}}}$	${\displaystyle {\frac {1}{2}}}$	${\displaystyle {\frac {{\sqrt {6}}-{\sqrt {2}}}{4}}}$	${\displaystyle 0}$
${\displaystyle \tan }$	${\displaystyle 0}$	${\displaystyle 2-{\sqrt {3}}}$	${\displaystyle {\frac {\sqrt {3}}{3}}}$	${\displaystyle 1}$	${\displaystyle {\sqrt {3}}}$	${\displaystyle 2+{\sqrt {3}}}$	${\displaystyle \pm \infty }$
${\displaystyle \cot }$	${\displaystyle \pm \infty }$	${\displaystyle 2+{\sqrt {3}}}$	${\displaystyle {\sqrt {3}}}$	${\displaystyle 1}$	${\displaystyle {\frac {\sqrt {3}}{3}}}$	${\displaystyle 2-{\sqrt {3}}}$	${\displaystyle 0}$
${\displaystyle \sec }$	${\displaystyle 1}$	${\displaystyle {\sqrt {6}}-{\sqrt {2}}}$	${\displaystyle {\frac {2{\sqrt {3}}}{3}}}$	${\displaystyle {\sqrt {2}}}$	${\displaystyle 2}$	${\displaystyle {\sqrt {6}}+{\sqrt {2}}}$	${\displaystyle \pm \infty }$
${\displaystyle \csc }$	${\displaystyle \pm \infty }$	${\displaystyle {\sqrt {6}}+{\sqrt {2}}}$	${\displaystyle 2}$	${\displaystyle {\sqrt {2}}}$	${\displaystyle {\frac {2{\sqrt {3}}}{3}}}$	${\displaystyle {\sqrt {6}}-{\sqrt {2}}}$	${\displaystyle 1}$

注：${\displaystyle \pm \infty }$ 有时会写作无定义（不存在）。

反三角函数

主条目：反三角函数

由於三角函数属于周期函数，而不是单射函数，所以严格来说并没有反函数。因此要定义其反函数必须先限制三角函数的定义域，使得三角函数成为双射函数。基本的反三角函数定义为^[9]：

反三角函数	定义	值域
${\displaystyle \arcsin(x)=y\,}$	${\displaystyle \sin(y)=x\,}$	${\displaystyle -{\frac {\pi }{2}}\leq y\leq {\frac {\pi }{2}}\,}$
${\displaystyle \arccos(x)=y\,}$	${\displaystyle \cos(y)=x\,}$	${\displaystyle 0\leq y\leq \pi \,}$
${\displaystyle \arctan(x)=y\,}$	${\displaystyle \tan(y)=x\,}$	${\displaystyle -{\frac {\pi }{2}}<y<{\frac {\pi }{2}}\,}$
${\displaystyle \operatorname {arccsc}(x)=y\,}$	${\displaystyle \csc(y)=x\,}$	${\displaystyle -{\frac {\pi }{2}}\leq y\leq {\frac {\pi }{2}},y\neq 0\,}$
${\displaystyle \operatorname {arcsec}(x)=y\,}$	${\displaystyle \sec(y)=x\,}$	${\displaystyle 0\leq y\leq \pi ,y\neq {\frac {\pi }{2}}\,}$
${\displaystyle \operatorname {arccot}(x)=y\,}$	${\displaystyle \cot(y)=x\,}$	${\displaystyle 0<y<\pi \,}$

对于反三角函数，符号${\displaystyle \sin ^{-1}}$ 和${\displaystyle \cos ^{-1}}$ 经常用于${\displaystyle \arcsin }$ 和${\displaystyle \arccos }$ 。使用这种符号的时候，反函数可能跟三角函数的倒数混淆。使用“${\displaystyle \mathrm {arc-} }$ ”前缀的符号避免了这种混淆，尽管“${\displaystyle \operatorname {arcsec} }$ ”可能偶尔跟“arcsecond”混淆。

正如正弦和余弦那样，反三角函数也可以根据无穷级数来定义。例如，

${\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]：

${\displaystyle \arcsin \left(x\right)=\int _{0}^{x}{\frac {1}{\sqrt {1-z^{2}}}}\,\mathrm {d} z,\quad |x|<1}$ 

可以在反三角函数条目中找到类似的公式。使用复对数可把这些函数延伸到复数辐角：

${\displaystyle \arcsin(z)=-{\mathrm {i} }\ln \left({\mathrm {i} }z+{\sqrt {1-z^{2}}}\right)}$ 

${\displaystyle \arccos(z)=-{\mathrm {i} }\ln \left(z+{\sqrt {z^{2}-1}}\right)}$ 

${\displaystyle \arctan(z)={\frac {\mathrm {i} }{2}}\ln \left({\frac {1-{\mathrm {i} }z}{1+{\mathrm {i} }z}}\right)}$ 

相关定理

三角函数，正如其名，在三角学十分重要。在三角学研究，数学家发现了许多利用三角函数来刻画三角形、圆形或多边形的定理。

正弦定理

主条目：正弦定理

 

利萨茹曲线，一种三角基的函数形成的图像

正弦定理声称对于边长为${\displaystyle a}$ 、${\displaystyle b}$ 和${\displaystyle c}$ 而相应角为${\displaystyle A}$ 、${\displaystyle B}$ 和${\displaystyle C}$ 的三角形，有^[23]：

${\displaystyle {\frac {a}{\sin A}}={\frac {b}{\sin B}}={\frac {c}{\sin C}}=2R}$ 

其中${\displaystyle R}$ 是三角形的外接圆半径。正弦定理用于计算已知两角和一边时三角形的未知边长，是三角测量中常见情况，前述為數學常用。至於物理學應用為三分力且合力為0的情況。

余弦定理

主条目：余弦定理

余弦定理（也叫余弦公式）是托勒密定理的延伸^[23]：

${\displaystyle c^{2}=a^{2}+b^{2}-2ab\cos C}$ 

也可表示为

${\displaystyle \cos C={\frac {a^{2}+b^{2}-c^{2}}{2ab}}}$ 。

余弦定理用于确定三角形已知两边和一角时未知的值。

正切定理^[24]

主条目：正切定理

${\displaystyle {\frac {a+b}{a-b}}={\frac {\tan {\dfrac {A+B}{2}}}{\tan {\dfrac {A-B}{2}}}}}$ 

餘切定理

主条目：餘切定理

${\displaystyle \cot {\frac {\alpha }{2}}={\frac {s-a}{\zeta }}}$ 

其中${\textstyle \zeta ={\sqrt {{\frac {1}{s}}(s-a)(s-b)(s-c)}}}$ 为三角形的内切圆半径，${\textstyle s={\frac {a+b+c}{2}}}$ 为三角形半周长。

周期函数

 

谐波数目递增的方波的加法合成的动画

三角函数在物理也重要，如用正弦和余弦函数描述简谐运动，它描述了很多自然现象，比如附着在弹簧上的物体的振动，挂在绳子上物体的小角度摆动。正弦和余弦函数是圆周运动的一维投影^[25]。

三角函数在一般周期函数的研究中也很有用。这些函数有作为图像的特征波模式，在描述循环现象比如声波或光波的时候是很有用的。每个信号都可以记为不同频率的正弦和余弦函数的（通常无限）和^[26]；这是傅立叶分析的基础想法，这里的三角级数可以用来解微分方程的各种边值问题。例如，方波可以写为傅立叶级数^[27]

${\displaystyle x_{\mathrm {square} }(t)={\frac {4}{\pi }}\sum _{k=1}^{\infty }{\sin {\left[(2k-1)t\right]} \over (2k-1)}}$ 。

在右边的动画中，可以看到只用幾项就形成非常准确的估计。

参见

•  數学主题

• 三角函數精確值
• 三角恒等式
• 三角学
• 生成三角函数表
• 双曲函数
• 勾股定理
• 方向余弦
• 欧拉公式
• 诱导公式

注释

1. 也称为圆函数、角函数、测角仪函数(circular functions, angle functions, goniometric functions)
2. 由于欧拉公式的证明过程中使用了棣莫弗公式，而棣莫弗公式的证明过程中使用了和角公式，故使用欧拉公式证明和角公式会造成循环论证，故而此方法僅为檢定方法，而非严谨的证明方法。对于类似方法也应注意甄别。

参考资料

1. 萧树铁, 扈志明. 微积分. 北京: 清华大学出版社有限公司. 2006: p.8–9 [2013-12-21]. ISBN 7302122148. （原始内容于2013-12-24）.  引文格式1维护：冗余文本 (link)}
2. 清华大学数学科学系《微积分》编写组. 微积分（I）. 清华大学出版社. 2003 [2013-12-21]. ISBN 9787302067856. （原始内容于2013-12-24）. 
3. 莫里斯·克莱因 著，张理京，张锦炎，江泽涵 译. 《古今数学思想》第一册. 上海科学技术出版社. 2002. ISBN 9787532361724. 
4. Uta C.Merzbach, Carl B. Boyer. A History of Mathematics. John Wiley & Sons, Inc.第3版. 2011. ISBN 978-0-470-52548-7 （英语）. 
5. 莫里斯·克莱因著，朱学贤，申又枨，叶其孝译. 《古今数学思想》第二册. 上海科学技术出版社. 2002. ISBN 9787532361731. 
6. 銳角三角函數 (PDF). [2013-12-21]. （原始内容 (PDF)于2013-12-24）. 
7. 三角函數的定義. Webcai.math.fcu.edu.tw. [2013-12-21]. （原始内容于2014-01-04）. 
8. 廣義角三角函數 (PDF). [2013-12-21]. （原始内容 (PDF)于2013-12-24）. 
9. 谭杰锋, 郑爱武. 高等数学. 清华大学出版社. 2006 [2013-12-21]. （原始内容于2013-12-24）. 
10. 初三年级. 积化和差公式. Zhongxue.hujiang.com. [2013-12-21]. （原始内容于2013-12-24）. 
11. Ahlfors, pages 43–44.
12. Abramowitz; Weisstein.
13. (PDF). [2013-12-21]. （原始内容 (PDF)存档于2007-02-08）. 
14. 以微積分方法探討三角函數的性質 (PDF). [2013-12-21]. （原始内容 (PDF)于2013-12-24）. 
15. Needham, p. ix.
16. Kannappan, Palaniappan. Functional Equations and Inequalities with Applications. Springer. 2009. ISBN 978-0387894911. 
17. 和差角公式. Highscope.ch.ntu.edu.tw. 2011-10-19 [2013-12-21]. （原始内容于2013-12-24）. 
18. Kantabutra.
19. 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.
20. 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）. 
21. 三角函數特殊角的值. Web.ntnu.edu.tw. [2013-12-21]. （原始内容于2013-12-24）. 
22. 雙曲函數及反三角函數. Stat.nuk.edu.tw. [2013-12-21]. （原始内容于2014-04-27）. 
23. 正弦定理與餘弦定理 (PDF). [2013-12-21]. （原始内容 (PDF)于2016-05-08）. 
24. Eli Maor, Trigonometric Delights, Princeton University Press, 2002.
25. 圓與三角學. Episte.math.ntu.edu.tw. 2004-06-19 [2013-12-21]. （原始内容于2013-04-28）. 
26. 靳希,杨尔滨,赵玲. 信号处理原理与应用. 清华大学出版社. 2004 [2013-12-21]. ISBN 9787302083573. （原始内容于2013-12-24）.  |chapter=被忽略 (帮助)
27. 邓翔宇. 信号与系统. 清华大学出版社. 2006 [2013-12-21]. ISBN 9787810827058. （原始内容于2013-12-24）.  |chapter=被忽略 (帮助)

延伸阅读

• Abramowitz, Milton、Irene A. Stegun，Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables，Dover，New York（1964年），ISBN 978-0-486-61272-0。
• Boyer, Carl B.，A History of Mathematics，John Wiley & Sons, Inc.，第二版（1991年），ISBN 978-0-471-54397-8。
• Joseph, George G.，The Crest of the Peacock: Non-European Roots of Mathematics，第二版，Penguin Books，London，（2000年），ISBN 978-0-691-00659-8。
• Kantabutra, Vitit，On hardware for computing exponential and trigonometric functions，IEEE Trans. Computers 45 (3), 328-339（1996年）。
• Maor, Eli，，Princeton Univ. Press.（1998年），重印版（2005年2月25日）：ISBN 978-0-691-09541-7。
• Needham, Tristan，，Visual Complex Analysis（页面存档备份，存于互联网档案馆），Oxford University Press，（1999年），ISBN 978-0-19-853446-4。
• O'Connor, J.J.、E.F. Robertson，，MacTutor History of Mathematics Archive，（1996年）。
• O'Connor, J.J.、E.F. Robertson，Madhava of Sangamagramma（页面存档备份，存于互联网档案馆），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.

外部链接

• Engineers Edge的三角函數列表（页面存档备份，存于互联网档案馆）
• ─可繪畫各種函數。可在各瀏覽器使用，JavaScript只用於實時更新，並非必須
• ─以REXX來表示
• 以角度和弧度表示的角所對應的函數值^{[永久失效連結]}
• http://www.dudefree.com/unitcircle/ （页面存档备份，存于互联网档案馆）