三角函数

三角函数（trigonometric functions）是数学很常见的一类关于角度的函数。三角函数将直角三角形的内角和它的两边的比值相关联，亦可以用单位圆的各种有关线段的长的等价来定义。三角函数在研究三角形和圆形等几何形状的性质时有着重要的作用，亦是研究振动、波、天体运动和各种周期性现象的基础数学工具。在数学分析上，三角函数亦定义为无穷级数或特定微分方程的解，允许它们的取值扩展到任意实数值，甚至是复数值。

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

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

## 历史

三角函数的早期研究可以追溯到古代。例如古埃及数学家在鉴别尼罗河泛滥后的土地边界、保持金字塔每边斜度相同，都使用了三角术，只是他们可能还没有对这种方式定名而已。古希腊三角术的奠基人是公元前2世纪的喜帕恰斯。他按照古巴比伦人的做法，将圆周分为360等份（即圆周的弧度为360度，与现代的弧度制不同）。对于指定弧度，他给出了对应的弦的长度数值，这记法和现代的正弦函数等价。喜帕恰斯实际上给出了最早的三角函数数值表。然而古希腊的三角学基本是球面三角学。这与古希腊人研究的主体是天文学有关。梅涅劳斯在他的著作《球面学》中使用了正弦来描述球面的梅涅劳斯定理。古希腊三角学与其天文学的应用在埃及的托勒密时代达到了高峰，托勒密在《数学汇编》（Syntaxis Mathematica）中计算了36度角和72度角的正弦值，还给出了计算和角公式和半角公式的方法。托勒密还给出了所有0到180度的所有整数和半整数弧度对应的正弦值。

希腊文化传播到古印度后，印度人继续研究了三角术。公元5世纪末的数学家阿耶波多提出用弧对应的弦长的一半来对应半弧的正弦，后来古印度数学家亦用了这做法，和现代的正弦定义一致。阿耶波多的计算中也使用了余弦和正割。他在计算弦长时使用了不同的单位，重新计算了0到90度中间隔三又四分之三度（3.75°）的三角函数值表。然而古印度的数学与当时的中国一样，停留在计算方面，缺乏系统的定义和演绎的证明。阿拉伯人也采用了古印度人的正弦定义，但他们的三角学是直接继承于古希腊。阿拉伯天文学家引入了正切和余切、正割和余割的概念，并计算了间隔10分（10′）的正弦和正切数值表。到了公元14世纪，阿拉伯人将三角计算重新以算术方式代数化（古希腊人采用的是建立在几何上的推导方式）的努力为后来三角学从天文学中独立出来，成为了有更广泛应用的学科奠定了基础。

进入15世纪后，阿拉伯数学文化开始传入欧洲。随着欧洲商业兴盛起来，航行、历法测定和地理测绘中出现了对三角学的需求。在翻译阿拉伯数学著作的同时，欧洲数学家开始制作更详细精确的三角函数值表。哥白尼的学生乔治·约阿希姆·瑞提克斯制作了间隔10秒（10″）的正弦表，有9位精确值。瑞提克斯还改变了正弦的定义，原来称弧对应的弦长是正弦，瑞提克斯则将角度对应的弦长称为正弦。16世纪后，数学家开始将古希腊有关球面三角的结果和定理转化为平面三角定理。弗朗索瓦·韦达给出了托勒密的不少结果对应的平面三角形式。他还尝试计算了多倍角正弦的表达方式。

18世纪开始引进解析几何等分析学工具，数学家开始用分析学研究三角函数。牛顿在1669年的《分析学》一书中给出了正弦和余弦函数的无穷级数表示。Collins将牛顿的结果告诉詹姆斯·格列高里，后者进一步给出了正切等三角函数的无穷级数。莱布尼兹在1673年左右也独立得到这结果。欧拉的《无穷小量分析引论》（Introductio in Analysin Infinitorum，1748年）对建立三角函数的分析处理做了最主要的贡献，他定义三角函数为无穷级数，并表述了欧拉公式，还有使用接近现代的简写sin.、cos.、tang.、cot.、sec.和csc.（cosec.）。

1631年徐光启与邓玉函、汤若望合撰《大测》首次将三角函数引入中国并确立了正弦、余弦等译名。

## 几何定义

### 以直角三角形来定义

<image>

直角三角形只有锐角（大小在0至90度之间的角）三角函数的定义。指定锐角$\theta$可做出直角三角形，使一个内角为$\theta$，对应股（对边a）、勾（邻边b）和弦（斜边h）：

$\theta$的正弦是对边与斜边的比值：$\sin{\theta}=\frac{a}{h}$ $\theta$的余弦是邻边与斜边的比值：$\cos{\theta}=\frac{b}{h}$ $\theta$的正切是对边与邻边的比值：$\tan{\theta}=\frac{a}{b}$ $\theta$的余切是邻边与对边的比值：$\cot{\theta}=\frac{b}{a}$ $\theta$的正割是斜边与邻边的比值：$\sec{\theta}=\frac{h}{b}$ $\theta$的余割是斜边与对边的比值：$\csc{\theta}=\frac{h}{a}$

### 以直角坐标系来定义

<image>

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

正弦｜余弦｜正切｜余切｜正割｜余割

$\sin \theta = \frac{y}{r}$｜$\cos \theta = \frac{x}{r}$｜$\tan \theta = \frac{y}{x}$｜$\cot \theta = \frac{x}{y}$｜$\sec \theta = \frac{r}{x}$｜$\csc \theta = \frac{r}{y}$

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

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

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

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

### 单位圆定义

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

<image>

正弦｜余弦｜正切｜余切｜正割｜余割

$\sin \theta = y$｜$\cos \theta = x$｜$\tan \theta = \frac{y}{x}$｜$\cot \theta = \frac{x}{y}$｜$\sec \theta = \frac{1}{x}$｜$\csc \theta = \frac{1}{y}$

## 基本性质

<image>

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

### 三角恒等式

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

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

因此可以推导出

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

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

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

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

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

$$\sin (2x) = 2\sin x \cos x$$

$$\cos (2x) = \cos^2 x - \sin^2 x$$

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

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

还有半角公式：

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

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

$$\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$｜$\cos x$｜$\tan x$｜$\cot x$｜$\sec x$｜$\csc x$

导数｜$\cos x$｜$-\sin x$｜$\sec^{2} x$｜$-\csc^{2} x$｜$\sec{x}\tan{x}$｜$-\csc{x}\cot{x}$

反导数（不计常数项）｜$-\cos x$｜$\sin x$｜$-\ln \left |\cos x\right |$｜$\ln \left |\sin x\right |$｜$\ln \left |\sec x + \tan x\right |$｜$\ln \left |\csc x - \cot x\right |$

## 分析学定义

### 级数定义

<image>

在几何学中，三角函数的定义建立在几何直观上，只用几何和极限的性质就可以直接得知正弦和余弦的导数。在分析学中，三角函数是解析函数，数学家利用泰勒级数给出了不依赖几何直观的代数定义：

$$\sin x = \sum_{n=0}^\infty \frac{(-1)^nx^{2n+1}}{(2n+1)!}= x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \cdots$$

$$\cos x = \sum_{n=0}^\infty \frac{(-1)^nx^{2n}}{(2n)!}= 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \cdots$$

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

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

其他三角函数的级数定义：

$$\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{2 x^5}{15} + \frac{17 x^7}{315} + \cdots \left( |x| < \frac {\pi} {2}\right)$$

$$\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 {7 x^3} {360} + \frac {31 x^5} {15120} + \cdots (0 < |x| < \pi)$$

$$\sec x =\sum_{n=0}^\infty \frac{(-1)^n E_n x^{2n}}{(2n)!} = 1 + \frac {x^2} {2} + \frac {5 x^4} {24} + \frac {61 x^6} {720} + \cdots \left( |x| < \frac {\pi} {2}\right)$$

$$\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 {2 x^5} {945} - \cdots ( 0 < |x| < \pi)$$

其中$B_n \,$是伯努利数，$E_n \,$是欧拉数。

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

#### 与指数函数和复数的关系

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

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

欧拉首先注意到这关系式，因此叫做欧拉公式。从中可推出，对实数x。

$$\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 \, = \, \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 \, = \, \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\mathrm{i}) = \sin a \cosh b + (\cos a \sinh b)\mathrm{i}$$

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

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

（其中$\sinh$、$\cosh$、$\tanh$为双曲函数，其马劳克林级数与对应的三角函数很类似，只差在正负号）

<image>

｜

<image>

｜

<image>

｜

<image>

｜

<image>

｜

<image>

$\sin(z)$｜$\cos(z)$｜$\tan(z)$｜$\cot(z)$｜$\sec(z)$｜$\csc(z)$

### 较少见的三角函数

<image>

除了上述六种基本函数，史上还有下列几种较少见的三角函数：

- 弦函数（$\mathrm{crd}\; \theta$）：早期的三角函数表纪录的是弦的全长（如托勒密全弦表），对应的三角函数为crd函数。不过今日此函数已被正弦函数取代，已经鲜少使用。
- 正矢（$\mathrm{versin}\; \theta$）、余矢系列函数，与其半值函数（如半正矢系列函数）：早期导航术中很重要的三角函数之一，因半正矢公式出名。不过其定义和基本三角函数高度相关，因此在计算机和计算器普及后这个函数已经几乎没再使用。
- 外正割（$\mathrm{exsec}\; \theta$）和外余割（$\mathrm{excsc}\; \theta$）：由于正割和余割部分的数值十分接近一，因此运算时很容易出现灾难性抵消或数值误差，因此出现了外正割和外余割的函数与函数表来解决这类问题。不过这类问题在计算机和计算器普及后逐渐消失，因此这个函数已经几乎没再使用。

正矢｜$\mathrm{versin}\; \theta=1-\cos \theta$｜半正矢｜$\mathrm{haversin}\;\theta=\frac{1-\cos\theta}{2}$

余的正矢｜$\mathrm{vercosin}\; \theta=1+\cos\theta$｜余的半正矢｜$\mathrm{havercosin}\;\theta=\frac{1+\cos\theta}{2}$

余矢｜$\mathrm{coversin}\; \theta=1-\sin\theta$｜半余矢｜$\mathrm{hacoversin}\;\theta=\frac{1-\sin\theta}{2}$

余的余矢｜$\mathrm{covercosin}\; \theta=1+\sin\theta$｜余的半余矢｜$\mathrm{hacovercosin}\;\theta=\frac{1+\sin\theta}{2}$

外正割｜$\mathrm{exsec}\; \theta=\sec\theta-1$｜外余割｜$\mathrm{excsc}\; \theta=\csc\theta-1$

弦函数｜$\mathrm{crd}\; \theta= 2\sin\left(\frac{\theta}{2}\right)$

### 微分方程定义

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

$$y''+ y = 0\,$$

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

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

$$y'=1+y^2 \,$$

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

#### 弧度的重要性

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

$$f(x) = \sin(kx); k \ne 0, k \ne 1 \,$$

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

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

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

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

如果$x$是圈（转，$2\pi$弧度，$360$度），则

$$k = 2\pi$$

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

$y'' = -y \,$。

但满足

$y'' = -k^2y \,$。

对余弦也是类似的。

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

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

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

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

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

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

并满足附加条件

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

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

## 计算

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

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

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

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

### 三角函数的特殊值

<image>

特殊角度可用勾股定理（即毕氏定理）人手轻易计出三角函数的值。$\pi / 60$弧度（3°）的任何整数倍之正弦、余弦和正切都可人手计算。以下是常用的特殊函数值。

函数｜$0 \ (0^\circ)$｜$\frac{\pi}{12} \ (15^\circ)$｜$\frac{\pi}{6} \ (30^\circ)$｜$\frac{\pi}{4} \ (45^\circ)$｜$\frac{\pi}{3} \ (60^\circ)$｜$\frac{5\pi}{12} \ (75^\circ)$｜$\frac{\pi}{2} \ (90^\circ)$

$\sin$｜$0$｜$\frac{ \sqrt{6} - \sqrt{2} } {4}$｜$\frac{1}{2}$｜$\frac{\sqrt{2}}{2}$｜$\frac{\sqrt{3}}{2}$｜$\frac{ \sqrt{6} + \sqrt{2} } {4}$｜$1$

$\cos$｜$1$｜$\frac{\sqrt{6}+\sqrt{2}}{4}$｜$\frac{\sqrt{3}}{2}$｜$\frac{\sqrt{2}}{2}$｜$\frac{1}{2}$｜$\frac{ \sqrt{6} - \sqrt{2}} {4}$｜$0$

$\tan$｜$0$｜$2-\sqrt{3}$｜$\frac{\sqrt{3}}{3}$｜$1$｜$\sqrt{3}$｜$2+\sqrt{3}$｜$\pm\infty$

$\cot$｜$\pm\infty$｜$2+\sqrt{3}$｜$\sqrt{3}$｜$1$｜$\frac{\sqrt{3}}{3}$｜$2-\sqrt{3}$｜$0$

$\sec$｜$1$｜$\sqrt{6} - \sqrt{2}$｜$\frac{2\sqrt{3}}{3}$｜$\sqrt{2}$｜$2$｜$\sqrt{6}+\sqrt{2}$｜$\pm\infty$

$\csc$｜$\pm\infty$｜$\sqrt{6}+\sqrt{2}$｜$2$｜$\sqrt{2}$｜$\frac{2 \sqrt{3}}{3}$｜$\sqrt{6} - \sqrt{2}$｜$1$

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

## 反三角函数

三角函数属周期函数而不是单射函数，严格来说并没有反函数，要定义其反函数必须先限制三角函数的定义域，使得三角函数成为双射函数。基本的反三角函数定义为：

反三角函数｜定义｜值域

$\arcsin(x) = y \,$｜$\sin(y) = x \,$｜$-\frac{\pi}{2} \le y \le \frac{\pi}{2} \,$

$\arccos(x) = y \,$｜$\cos(y) = x \,$｜$0 \le y \le \pi \,$

$\arctan(x) = y \,$｜$\tan(y) = x \,$｜$-\frac{\pi}{2} < y < \frac{\pi}{2} \,$

$\arccsc(x) = y \,$｜$\csc(y) = x \,$｜$-\frac{\pi}{2} \le y \le \frac{\pi}{2}, y \ne 0 \,$

$\arcsec(x) = y \,$｜$\sec(y) = x \,$｜$0 \le y \le \pi, y \ne \frac{\pi}{2} \,$

$\arccot(x) = y \,$｜$\cot(y) = x \,$｜$0 < y < \pi \,$

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

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

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

这些函数也可以通过证明它们是其他函数的原函数来定义。例如反正弦函数，可以写为如下积分：

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

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

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

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

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

## 相关定理

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

### 正弦定理

<image>

正弦定理声称对于边长为$a$、$b$和$c$而相应角为$A$、$B$和$C$的三角形，有：

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

其中$R$是三角形的外接圆半径。正弦定理用于计算已知两角和一边时三角形的未知边长，是三角测量中常见情况，前述为数学常用。至于物理学应用为三分力且合力为0的情况。

### 余弦定理

余弦定理（也叫余弦公式）是勾股定理的延伸：

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

也可表示为

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

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

### 正切定理

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

### 余切定理

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

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

### 周期函数

<image>

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

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

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

右边动画可见，只用几项就形成非常准确的估计。

## 延伸阅读

- 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， Trigonometric Delights，Princeton Univ. Press.（1998年），重印版（2005年2月25日）：ISBN 978-0-691-09541-7。
- Needham, Tristan， Preface， Visual Complex Analysis，Oxford University Press，（1999年），ISBN 978-0-19-853446-4。
- O'Connor, J.J.、E.F. Robertson， Trigonometric functions，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的三角函数列表
- nanoSouffle线上绘图─可绘画各种函数。可在各浏览器使用，JavaScript只用于实时更新，并非必须
- 正弦和余弦函数─以REXX来表示
- http://www.dudefree.com/unitcircle/
- 常用三角函数表（文字版）