三角函数

三角函数：正弦, 餘弦, 正切, 正割(鏈線), 餘割(鏈線), 餘切(鏈線)

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

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

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

历史 [编辑]

早期对于三角函数的研究可以追溯到古代。古希腊三角术的奠基人是公元前2世纪的喜帕恰斯。他按照古巴比伦人的做法，将圆周分为360等份（即圆周的弧度为360度，与现代的弧度制不同）。对于给定的弧度，他给出了对应的弦的长度数值，这个记法和现代的正弦函数是等价的。喜帕恰斯实际上给出了最早的三角函数数值表。然而古希腊的三角学基本是球面三角学。这与古希腊人研究的主体是天文学有关。梅涅劳斯在他的著作《球面学》中使用了正弦来描述球面的梅涅劳斯定理。古希腊三角学与其天文学的应用在埃及的托勒密时代达到了高峰，托勒密在《数学汇编》（Syntaxis Mathematica）中计算了36度角和72度角的正弦值，还给出了计算和角公式和半角公式的方法。托勒密还给出了所有0到180度的所有整数和半整数弧度对应的正弦值。

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

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

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

几何定义 [编辑]

直角三角形中的定义 [编辑]

a, b, h為角A的对边、邻边和斜边

在直角三角形中仅有锐角（大小在0到90度之间的角）三角函数的定义。给定一个锐角 $\theta$ ，可以做出一个直角三角形，使得其中的一个内角是 $\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}.$

直角坐标系中的定义 [编辑]

设 $P\left( {x,y} \right)$ 是平面直角坐标系 $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}$

这样可以对除了锐角以外的其他角度也定义三角函数。要注意的是以上的定义都只在定义式有意义的时候成立。比如说当 $x=0$ 的时候， $\frac{y}{x}$ 和 $\frac{r}{x}$ 都没有意义，这说明对于90度角和270度角，正切和正割没有定义。同样地，对于0度角和180度角，余切和余割没有定义。

单位圆定义 [编辑]

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

正弦： $\sin \theta = y.$
餘弦： $\cos \theta = x.$

正切： $\tan \theta = \frac{x}{y}.$
余切： $\cot \theta = \frac{y}{x}.$

正割： $\sec \theta = \frac{1}{x}.$
余割： $\csc \theta = \frac{1}{y}.$

用单位圆定义三角函数

这个定义和坐标系的定义类似，但角度 $\theta$ 可以是任何的数值。对于大于360° 或小于-360° 的角度，可以认为是顺时针（逆时针）旋转了不止一圈。而多转或少转了整数圈不会影响三角函数的取值。如果按弧度制的方式记录角度，将弧长作为三角函数的输入值（360° 等于2π），那么三角函数就是取值为全体实数 $\mathbb{R}$ ，周期为2π的周期函数。比如：

$\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π弧度或360° ；正切或余切的基本周期是π弧度或 180° 。

基本性质 [编辑]

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

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

三角恒等式 [编辑]

主条目：三角恒等式

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

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

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

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

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

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

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

微积分 [编辑]

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

函数	$\,\ \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 \|$
* 不计常数项

分析学定义 [编辑]

級數定義 [编辑]

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

几何学中，三角函数的定义是建立在几何直观上的。分析学中，数学家用无穷级数给出了不依赖几何直观的纯代数定义：

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

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

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

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

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

$\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, \qquad \mbox{for } |x| < \frac {\pi} {2}$

$\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, \qquad \mbox{for } 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, \qquad \mbox{for } |x| < \frac {\pi} {2}$

$\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, \qquad \mbox{for } 0 < |x| < \pi$

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

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

与指数函数和复数的联系 [编辑]

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

$e^{{\mathrm{i}}\theta} = \cos\theta + {\mathrm{i}}\sin\theta \,.$

这个关系式首先被欧拉注意到，因此叫做欧拉公式。在这种方式下，三角函数在复分析的几何解释中变成了本质性的。例如，通过上述恒等式，如果考虑在复平面中 e^ix 所定义的单位圆，同上面一样，我们可以根据余弦和正弦来把这个圆参数化，复指数和三角函数之间联系就变得更加明显了。

进一步的，这样就可以定义对复自变量 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)$

这里的 i² = −1。还有对于纯实数 x，

$\cos x \, = \, \mbox{Re } (e^{{\mathrm{i}}x})$

$\sin x \, = \, \mbox{Im } (e^{{\mathrm{i}}x})$

我们还知道，这种指数过程与周期行为有密切的联系。

**複平面中的三角函數**。

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

较少見的三角函數 [编辑]

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

正矢	$\textrm{versin} \theta = 1 - \cos \theta \,$
	$\textrm{vercosin} \theta = 1 + \cos \theta \,$
餘矢	$\textrm{coversin} \theta = \textrm{versin}\left(\frac{\pi}{2} - \theta\right) = 1 - \sin \theta \,$
	$\textrm{covercosin} \theta = \textrm{vercosin}\left(\frac{\pi}{2} - \theta\right) = 1 + \sin \theta \,$
半正矢	$\textrm{haversin} \theta = \frac {\textrm{versin} \theta} {2} = \frac{1 - \cos \theta}{2} \,$
	$\textrm{havercosin} \theta = \frac {\textrm{vercosin} \theta} {2} = \frac{1 + \cos \theta}{2} \,$
半餘矢	$\textrm{hacoversin} \theta = \frac {\textrm{coversin} \theta} {2} = \frac{1 - \sin \theta}{2} \,$
	$\textrm{hacovercosin} \theta = \frac {\textrm{covercosin} \theta} {2} = \frac{1 + \sin \theta}{2} \,$
外正割	$\textrm{exsec} \theta = \sec \theta - 1 \,$
外餘割	$\textrm{excsc} \theta = \textrm{exsec}(\frac{\pi}{2} - \theta) = \csc \theta - 1 \!$

微分方程定义 [编辑]

正弦和余弦函数都满足微分方程

$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》。^[2]

弧度的重要性 [编辑]

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

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

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

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

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

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

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

$y'' = -y \,$ ,

但满足

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

对余弦也是类似的。

这意味着这些正弦和余弦是不同的函数，因此只有它的辐角是弧度的条件下，正弦的四阶导数才再次是正弦。

利用函数方程定义三角函数 [编辑]

在数学分析中，可以利用基于和差公式这样的性质的函数方程来定义三角函数。例如，取用给定此种公式和毕达哥拉斯恒等式，可以证明只有两个实函数满足这些条件。即存在唯一的一对实函数 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 到 π/2，因为通过三角函数的周期性和对称性，所有其他角度可以化简到这个范围内。）

主条目：生成三角函数表

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

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

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

三角函数的特殊值 [编辑]

主条目：三角函數精確值

对于一些简单的角度，使用毕达哥拉斯定理可以很容易手工计算三角函数的值，像下面例子这样。事实上， $\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}$	--
cot	--	$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}$	--
csc	--	$\sqrt{6}+\sqrt{2}$	$2$	$\sqrt{2}$	$\frac{2\sqrt{3}}{3}$	$\sqrt{6} - \sqrt{2}$	$1$

反三角函数 [编辑]

主条目：反三角函数

由於三角函数屬於周期函数，而不是单射函数，所以严格來說並没有反函数。因此要定义其反函数必须先限制三角函数的定义域，使得三角函数成為双射函数。基本的反三角函数定义为：

反三角函数	定义	值域
$\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⁻¹ 和 cos⁻¹ 经常用于 arcsin 和 arccos。使用这种符号的时候，反函数可能跟三角函数的倒数混淆。使用“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)$

注释 [编辑]

^ Abramowitz; Weisstein.
^ Needham, p. ix.
^ 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).

参考文献 [编辑]

Abramowitz, Milton、Irene A. Stegun，《Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables》，Dover，New York（1964年），ISBN 0-486-61272-4。
Boyer, Carl B.，《A History of Mathematics》，John Wiley & Sons, Inc.，第二版（1991年），ISBN 0-471-54397-7。
Joseph, George G.，《The Crest of the Peacock: Non-European Roots of Mathematics》，第二版，Penguin Books，London，（2000年），ISBN 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 0-691-09541-8。
Needham, Tristan，《Preface》，Visual Complex Analysis，Oxford University Press，（1999年），ISBN 0-19-853446-9。
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日访问。

参见 [编辑]

外部链接 [编辑]

Engineers Edge的三角函數列表
nanoSouffle線上繪圖─可繪畫各種函數。可在各瀏覽器使用，JavaScript只用於實時更新，並非必須
正弦和餘弦函數─以REXX來表示
以角度和弧度表示的角所對應的函數值
單位圓教學Flash動畫
常用三角函數表（文字版）

[1] Abramowitz; Weisstein.

[2] Needham, p. ix.

[3] Kantabutra.

[4] 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.

[5] R. P. Brent, "Fast Multiple-Precision Evaluation of Elementary Functions", J. ACM 23, 242 (1976).

[1]

[2]

[3]

[4]

[5]