查看“︁三角函数”︁的源代码

{{noteTA
|G1=Math
|1=zh-cn:通过; zh-tw:透過; zh-hk:通過;
}}{{Distinguish|三角形函数}}[[File:Trigonometric_functions-zh.svg|400px|right|thumb|三角函数图像（[[Media:Trigonometric functions derivation animation-zh.svg|动画演示]]）]]
{{三角学}}
'''三角函数'''（{{lang-en|trigonometric functions}}{{notetag|也称为圆函数、角函数、测角仪函数(circular functions、angle functions、goniometric functions)}}）是[[數學]]很常見的一類關於[[角|角度]]的[[函数]]。三角函數將[[直角三角形]]的内角和它的两邊的[[比值]]相关联，亦可以用[[单位圆]]的各种有关线段的长的等价來定义。三角函数在研究[[三角形]]和[[圆形]]等[[几何形状]]的性质时有著重要的作用，亦是研究振动、波、天体运动和各种[[周期函数|周期性现象]]的基础数学工具<ref name="微积分">{{cite book |author=萧树铁, 扈志明 |title=微积分 |year=2006 |publisher=清华大学出版社有限公司 |location=北京 |isbn=7302122148 |url=http://books.google.com.tw/books?id=9AX50PZMzp8C |pages=8-9 |access-date=2013-12-21 |archive-date=2013-12-24 |archive-url=https://web.archive.org/web/20131224103021/http://books.google.com.tw/books?id=9AX50PZMzp8C |dead-url=no }}}</ref>。在[[数学分析]]上，三角函数亦定义为[[无穷级数]]或特定[[微分方程]]的解，允许它们的取值扩展到任意实数值，甚至是[[複數 (數學)|複數]]值。 
 
常見的三角函数有[[正弦函数]]（<math>\sin</math>）、[[余弦函数]]（<math>\cos</math>）和[[正切函数]]（<math>\tan</math>或<math>\operatorname{tg}</math>或<math>\operatorname{tang}</math>）<ref name="微积分"/>；在[[航海学]]、[[测绘学]]和[[工程学]]等其他学科中还会用到例如[[余切函数]]（<math>\cot</math>或<math>\operatorname{ctg}</math>）、[[正割函数]]（<math>\sec</math>）、[[余割函数]]（<math>\csc</math>）、[[正矢|正矢函数]]和[[正矢|半正矢函数]]等其它三角函数。不同的三角函数之间的关系可以几何直观或计算得出，称为[[三角恒等式]]。

三角函数一般用于计算[[三角形]]中的未知长度的边和未知的角度，在导航、工程学和[[物理学]]方面都有广泛的用途。另外，以三角函数为模版，可以定义一类相似的函数，叫做[[双曲函数]]<ref>{{cite web |author=清华大学数学科学系《微积分》编写组 |url=http://books.google.com.tw/books?id=frF4kbHvF6YC&pg=PA35&dq=%E9%9B%99%E6%9B%B2%E5%87%BD%E6%95%B8&hl=en&sa=X&ei=XDq1UuzMLoaVkQWs04CwBw&ved=0CDkQ6AEwAQ#v=onepage&q=%E9%9B%99%E6%9B%B2%E5%87%BD%E6%95%B8&f=false |title=微积分（I） |publisher=清华大学出版社 |date=2003 |ISBN=9787302067856 |accessdate=2013-12-21 |archive-date=2013-12-24 |archive-url=https://web.archive.org/web/20131224110512/http://books.google.com.tw/books?id=frF4kbHvF6YC&pg=PA35&dq=%E9%9B%99%E6%9B%B2%E5%87%BD%E6%95%B8&hl=en&sa=X&ei=XDq1UuzMLoaVkQWs04CwBw&ved=0CDkQ6AEwAQ#v=onepage&q=%E9%9B%99%E6%9B%B2%E5%87%BD%E6%95%B8&f=false |dead-url=no }}</ref>。常见的双曲函数也称[[双曲正弦]]函数、[[双曲余弦]]函数等。

== 历史 ==
三角函数的早期研究可以追溯到古代。例如[[古埃及]]数学家在鑑別[[尼羅河]]泛濫後的[[土地]]邊界、保持[[金字塔]]每邊[[斜度]]相同，都使用了三角術，只是他們可能還沒有對這種方式定名而已。[[古希腊]]三角术的奠基人是公元前2世纪的[[喜帕恰斯]]。他按照[[古巴比伦]]人的做法，将圆周分为360等份（即圆周的弧度为360度，与现代的[[弧度|弧度制]]不同）。对于指定弧度，他给出了对应的弦的长度[[数值]]，这记法和现代的正弦函数等价。喜帕恰斯实际上给出了最早的三角函数数值表。然而古希腊的三角学基本是球面三角学。这与古希腊人研究的主体是天文学有关。[[梅涅劳斯]]在他的著作《球面学》中使用了正弦来描述球面的[[梅涅劳斯定理]]。古希腊三角学与其天文学的应用在埃及的[[托勒密]]时代达到了高峰，托勒密在《数学汇编》（{{lang|en|''Syntaxis Mathematica''}}）中计算了36度角和72度角的正弦值，还给出了计算和角公式和半角公式的方法。托勒密还给出了所有0到180度的所有整数和半整数弧度对应的正弦值<ref name="klein1">{{cite book|author=莫里斯·克莱因 著，张理京，张锦炎，江泽涵 译|title=《古今数学思想》第一册|url=https://archive.org/details/gujinshuxuesixia0001unse|year=2002|publisher=上海科学技术出版社|isbn=9787532361724}}</ref>{{rp|133-140}}<ref name="ahm">{{cite book|author=Uta C.Merzbach, Carl B. Boyer|title='' A History of Mathematics''|url=https://archive.org/details/historyofmathema0003merz|year=2011|publisher=John Wiley & Sons, Inc.第3版|language=en|isbn=978-0-470-52548-7}}</ref>{{rp|151-152}}。

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

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

18世纪开始引进解析几何等分析学工具，数学家开始用分析学研究三角函数。牛顿在1669年的《分析学》一书中给出了正弦和余弦函数的[[无穷级数]]表示。{{lang|en|Collins}}将牛顿的结果告诉[[詹姆斯·格列高里]]，後者进一步给出了正切等三角函数的无穷级数。[[莱布尼兹]]在1673年左右也独立得到这结果<ref name="klein2">{{cite book|author=[[莫里斯·克莱因]]著，朱学贤，[[申又枨]]，[[叶其孝]]译|title=《古今数学思想》第二册|url=https://archive.org/details/gujinshuxuesixia0002klin|year=2002|publisher=上海科学技术出版社|isbn=9787532361731}}</ref>{{rp|162-163}}。[[欧拉]]的《[[无穷小量分析引论]]》（{{lang|en|''Introductio in Analysin Infinitorum''}}，1748年）对建立三角函数的分析处理做了最主要的贡献，他定义三角函数为无穷级数，并表述了[[欧拉公式]]，还有使用接近现代的简写{{lang|en|''sin.''}}、{{lang|en|''cos.''}}、{{lang|en|''tang.''}}、{{lang|en|''cot.''}}、{{lang|en|''sec.''}}和{{lang|en|''csc.''}}（{{lang|en|''cosec.''}}）。

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

== 几何定义 ==
=== 以直角三角形來定义 ===
[[File:Trigonometry triangle sim.png|right|thumb|150px|a，b，h分別為角A的对边、邻边和斜边]]
[[直角三角形]]只有[[锐角]]（大小在0至90度之间的角）三角函数的定义<ref>{{cite web |url=http://math1.ck.tp.edu.tw/%E6%9E%97%E4%BF%A1%E5%AE%89/%E5%AD%B8%E8%A1%93%E7%A0%94%E7%A9%B6/%E4%B8%8A%E8%AA%B2%E8%AC%9B%E7%BE%A9/%E7%AC%AC%E4%BA%8C%E5%86%8A/2-1%E9%8A%B3%E8%A7%92%E4%B8%89%E8%A7%92%E5%87%BD%E6%95%B8%E8%88%87%E5%9F%BA%E6%9C%AC%E9%97%9C%E4%BF%82.pdf |title=銳角三角函數 |format=PDF |date= |accessdate=2013-12-21 |archive-date=2013-12-24 |archive-url=https://web.archive.org/web/20131224112958/http://math1.ck.tp.edu.tw/%E6%9E%97%E4%BF%A1%E5%AE%89/%E5%AD%B8%E8%A1%93%E7%A0%94%E7%A9%B6/%E4%B8%8A%E8%AA%B2%E8%AC%9B%E7%BE%A9/%E7%AC%AC%E4%BA%8C%E5%86%8A/2-1%E9%8A%B3%E8%A7%92%E4%B8%89%E8%A7%92%E5%87%BD%E6%95%B8%E8%88%87%E5%9F%BA%E6%9C%AC%E9%97%9C%E4%BF%82.pdf |dead-url=no }}</ref>。指定锐角<math>\theta</math>可做出直角三角形，使一個内角為<math>\theta</math>，對應'''股'''（对边a）、'''勾'''（邻边b）和'''弦'''（斜边h）：
{|  cellpadding="4" style="border: 1px solid white;"
|<math>\theta</math>的'''[[正弦]]'''是对边与斜边的比值：<math>\sin{\theta}=\frac{a}{h}</math>
|-
|<math>\theta</math>的'''[[餘弦]]'''是邻边与斜边的比值：<math>\cos{\theta}=\frac{b}{h}</math>
|-
|<math>\theta</math>的'''[[正切]]'''是对边与邻边的比值：<math>\tan{\theta}=\frac{a}{b}</math>
|-
|<math>\theta</math>的'''[[余切]]'''是邻边与对边的比值：<math>\cot{\theta}=\frac{b}{a}</math>
|-
|<math>\theta</math>的'''[[正割]]'''是斜边与邻边的比值：<math>\sec{\theta}=\frac{h}{b}</math>
|-
|<math>\theta</math>的'''[[餘割]]'''是斜边与对边的比值：<math>\csc{\theta}=\frac{h}{a}</math>
|}

=== 以直角坐标系來定义 ===
[[File:Trig functions on descartes.png|thumb|250px]]
假设<math display="inline">P(x,y)</math>是平面直角坐标系<math display="inline">xOy</math>中的一点，<math display="inline">\theta</math>是横轴正向<math display="inline">\vec{Ox}</math>逆时针旋转到<math display="inline">\vec{OP}</math>方向所形成的一個角，<math display="inline">r = \sqrt {x^2 + y^2 }>0</math>是<math display="inline">P</math>到原点<math display="inline">O</math>的距离，则<math>\theta</math>的六種三角函数定义为<ref name="三角函數的定義">{{cite web |url=http://webcai.math.fcu.edu.tw/course/tri/definition/tridefinition.htm |title=三角函數的定義 |publisher=Webcai.math.fcu.edu.tw |date= |accessdate=2013-12-21 |archive-date=2014-01-04 |archive-url=https://web.archive.org/web/20140104230508/http://webcai.math.fcu.edu.tw/course/tri/definition/tridefinition.htm |dead-url=no }}</ref>：
{| class="wikitable"
!正弦
!餘弦
!正切
!餘切
!正割
!餘割
|-
|<math>\sin \theta = \frac{y}{r}</math>
|<math>\cos \theta = \frac{x}{r}</math>
|<math>\tan \theta = \frac{y}{x}</math>
|<math>\cot \theta = \frac{x}{y}</math>
|<math>\sec \theta = \frac{r}{x}</math>
|<math>\csc \theta = \frac{r}{y}</math>
|}
这样可以定义任何角度的三角函数（除非当定义式无意义时）。大于360°或小于-360°的角度可认为是转了（逆时针／顺时针）不止一圈。而多转或少转了整数圈不会影响三角函数的取值<ref>{{cite web|date=|title=廣義角三角函數|url=http://math1.ck.tp.edu.tw/%E6%9E%97%E4%BF%A1%E5%AE%89/%E5%AD%B8%E8%A1%93%E7%A0%94%E7%A9%B6/%E4%B8%8A%E8%AA%B2%E8%AC%9B%E7%BE%A9/%E7%AC%AC%E4%BA%8C%E5%86%8A/2-2%E5%BB%A3%E7%BE%A9%E8%A7%92%E4%B8%89%E8%A7%92%E5%87%BD%E6%95%B8.pdf|archive-url=https://web.archive.org/web/20131224114913/http://math1.ck.tp.edu.tw/%E6%9E%97%E4%BF%A1%E5%AE%89/%E5%AD%B8%E8%A1%93%E7%A0%94%E7%A9%B6/%E4%B8%8A%E8%AA%B2%E8%AC%9B%E7%BE%A9/%E7%AC%AC%E4%BA%8C%E5%86%8A/2-2%E5%BB%A3%E7%BE%A9%E8%A7%92%E4%B8%89%E8%A7%92%E5%87%BD%E6%95%B8.pdf|archive-date=2013-12-24|accessdate=2013-12-21|format=PDF|dead-url=no}}</ref>。如果按弧度制方式记录角度，将弧长作为三角函数的输入值（360°等于<math>2\pi</math>），那么三角函数就是取值为全体实数R，最小正周期（基本周期）为<math>2\pi</math>的[[周期函数]]，如
:<math>\sin\theta = \sin\left(\theta + 2\pi k \right), \quad \forall \theta \in \mathbb{R}, \; \; k \in \mathbb{Z}</math>
:<math>\cos\theta = \cos\left(\theta + 2\pi k \right), \quad \forall \theta \in \mathbb{R}, \; \; k \in \mathbb{Z}</math>

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

=== 单位圆定义 ===
三角函数亦可以根据直角坐标系<math>xOy</math>中半径为1，以圆心为原点<math>O</math>的[[单位圆]]来定义<ref name="微积分"/>。指定一角<math>\theta</math>，假设<math>A(1,0)</math>为起始点，如果<math>\theta>0</math>则将<math>OA</math>以逆时针方向转动，如果<math>\theta<0</math>则以顺时针方向移动，直到转过的角度等于<math>\theta</math>为止。假设最终点{{math|''A''}}转到的位置为<math>P(x,y)</math>，那么
[[File:Trig functions on unit circle zh.PNG|thumb|right|240px|用单位圆定义三角函数]]
{| class="wikitable"
!正弦
!餘弦
!正切
!餘切
!正割
!餘割
|-
|<math>\sin \theta = y</math>
|<math>\cos \theta = x</math>
|<math>\tan \theta = \frac{y}{x}</math>
|<math>\cot \theta = \frac{x}{y}</math>
|<math>\sec \theta = \frac{1}{x}</math>
|<math>\csc \theta = \frac{1}{y}</math>
|}

== 基本性质 ==
[[File:Sine cosine plot.svg|300px|right|thumb|在直角坐标系平面上''f''(''x'')＝sin(''x'')和''f''(''x'')＝cos(''x'')函数的图像]]
从几何定义中能推导出很多三角函数的性质。例如正弦函数、正切函数、余切函数和余割函数是奇函数，余弦函数和正割函数是偶函数<ref name="高等数学"/>。正弦和余弦函数的图像形状一样（见右图），可以看作是沿著坐标横轴平移得到的两組函数。正弦和余弦函数关于<math display="inline">x=\frac{\pi}{4}</math>轴对称。正切函数和余切函数、正割函数和余割函数也分别如此。

===三角恒等式===
{{main|三角恒等式}}
不同的三角函数之间有很多对任意的角度取值都成立的等式，称为三角恒等式。最著名的是'''毕达哥拉斯恒等式'''，它说明对于任何角，正弦的平方加上余弦的平方必定會是1<ref name="微积分"/>。这能从斜边为1的直角三角形应用[[勾股定理]]來得出。利用符号形式表示的話，毕达哥拉斯恒等式为
:<math>\sin^2\! x + \cos^2\! x = 1</math>。
因此可以推導出
:<math>\tan^2\! x + 1 = \sec^2\! x</math>。
:<math>1+ \cot^2\! x = \csc^2\! x</math>。

另一個关键联系是'''和差公式'''，它能根据两个角度自身的正弦和余弦而给出它们的和与差的正弦和余弦<ref name="微积分"/>。它们可以利用几何的方法使用[[托勒密]]的论证方法來推导出来；还可以利用代数方法使用[[欧拉公式#檢定和角公式|欧拉公式]]來檢定{{NoteTag|1=由于[[欧拉公式]]的证明过程中使用了[[棣莫弗公式]]，而棣莫弗公式的证明过程中使用了和角公式，故使用欧拉公式证明和角公式会造成[[循环论证]]，故而此方法僅为檢定方法，而非严谨的证明方法。对于类似方法也应注意甄别。}}。
{{col-start}}
{{col-2}}
:<math>\sin \left(x+y\right)=\sin x \cos y + \cos x \sin y</math>
:<math>\cos \left(x+y\right)=\cos x \cos y - \sin x \sin y</math>
:<math>\tan \left(x+y\right)=\frac{\tan x+\tan y}{1-\tan x \tan y}</math>
{{col-2}}
:<math>\sin \left(x-y\right)=\sin x \cos y - \cos x \sin y</math>
:<math>\cos \left(x-y\right)=\cos x \cos y + \sin x \sin y</math>
:<math>\tan \left(x-y\right)=\frac{\tan x-\tan y}{1+\tan x \tan y}</math>
{{col-end}}
当两角相同，和角公式简化为更简单的等式，称为'''[[三角恒等式|二倍角公式]]'''（或'''[[三角恒等式|倍角公式]]'''）：

:<math>\sin (2x) = 2\sin x \cos x</math>
:<math>\cos (2x) = \cos^2 x - \sin^2 x</math>
:<math>\tan (2x) = \frac{2\tan x}{1-\tan^2 x}</math>

这些等式还可以用来推导[[三角恒等式#积化和差与和差化积恆等式|积化和差恒等式]]<ref>{{cite web |author=初三年级 |url=http://zhongxue.hujiang.com/gy/shuxue/p246130/ |title=积化和差公式 |publisher=Zhongxue.hujiang.com |date= |accessdate=2013-12-21 |archive-date=2013-12-24 |archive-url=https://web.archive.org/web/20131224111708/http://zhongxue.hujiang.com/gy/shuxue/p246130/ |dead-url=no }}</ref>，以前曾經利用它把两数的积变换成两数的和而像[[对数]]那样使运算更快。（用制好的三角函数表）

還有半角公式：

:<math>\sin \frac{x}{2} = \pm \sqrt{\frac{1-\cos x}{2}}</math>
:<math>\cos \frac{x}{2} = \pm \sqrt{\frac{1+\cos x}{2}}</math>
:<math>\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}</math>

===微积分 ===
三角函数的[[积分]]和[[导数]]可参见[[导数表]]、[[积分表]]和[[三角函数积分表]]。以下是六種基本三角函數的導數和積分。
{| class="wikitable"  style="text-align:center;"
!  style="text-align:left;"|函数 
! <math>\sin x</math>
! <math>\cos x</math>
! <math>\tan x</math>
! <math>\cot x</math>
! <math>\sec x</math>
! <math>\csc x</math>
|- 
|style="text-align:left;"|'''导数'''
|<math>\cos x</math>
|<math>-\sin x </math>
|<math>\sec^{2} x</math>
|<math>-\csc^{2} x</math>
| <math>\sec{x}\tan{x}</math>
| <math>-\csc{x}\cot{x}</math>
|- 
|style="text-align:left;"|'''反导数（<small>不计常数项）</small>'''
|<math>-\cos x</math>
|<math>\sin x </math>
|<math>-\ln \left |\cos x\right | </math>
|<math>\ln \left |\sin x\right | </math>
|<math>\ln \left |\sec x + \tan x\right | </math>
|<math>\ln \left |\csc x - \cot x\right | </math>
|}

==分析学定义==
=== 級數定義 ===
[[File:Taylorsine.svg|300px|thumb|right|正弦函数（蓝色）十分接近于它的7次泰勒级数（粉色）]]
在[[几何学]]中，三角函数的定义建立在几何直观上，只用几何和[[极限 (数学)|极限]]的性质就可以直接得知正弦和餘弦的[[導數]]。在[[分析学]]中，三角函數是[[解析函數]]，数学家利用[[泰勒級數]]给出了不依赖几何直观的代数定义<ref>Ahlfors, pages 43–44.</ref>：
:<math>\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 </math>
:<math>\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 </math>
可以证明以上的无穷级数对任意实数<math>x</math>都是收敛的，所以很好地定义了正弦和余弦函数。

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

其他三角函数的级数定义：<ref>Abramowitz; Weisstein.</ref>
:<math> 
\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)</math>
:<math>
\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) </math>
:<math> 
\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) </math>
:<math> 
\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) </math>
其中<math>B_n \,</math>是[[伯努利数]]，<math>E_n \,</math>是[[欧拉数]]。

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

==== 与指数函数和复数的關系 ====
可以从上述的级数定义证明正弦和余弦函数分别是[[指数函数#在複平面上|复指数函数]]在它的自变量为纯[[虚数]]时候的虚数和实数部分：

:<math> e^{{\mathrm{i}}\theta} = \cos\theta + {\mathrm{i}}\sin\theta \,</math>。（{{math|i}}是[[虚数单位]]）

[[欧拉]]首先注意到这关系式，因此叫做[[欧拉公式]]<ref>{{cite web |url=http://www.math.sinica.edu.tw/math_media/d262/26205.pdf |title=Euler (1707-1783) —數學的莎士比亞 |format=PDF |date= |accessdate=2013-12-21 |deadurl=yes |archiveurl=https://web.archive.org/web/20070208203439/http://www.math.sinica.edu.tw/math_media/d262/26205.pdf |archivedate=2007-02-08 }}</ref>。从中可推出，对实数{{math|''x''}}，
: <math>\cos x \, = \, \operatorname{Re} \; \left(e^{{\mathrm{i}}x}\right) \; \; , \qquad \quad \sin x \, = \, \operatorname{Im} \; \left(e^{{\mathrm{i}}x}\right)</math>
进一步还可定义对複自变量{{math|''z''}}的三角函数：
: <math>\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) </math>
: <math>\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)</math>

: <math>\sin (a+b\mathrm{i}) = \sin a \cosh b + (\cos a \sinh b)\mathrm{i}</math>

: <math>\cos (a+b\mathrm{i}) = \cos a \cosh b - (\sin a \sinh b)\mathrm{i}</math>

: <math>\tan (a+b\mathrm{i}) = \frac{\tan a + (\tanh b)\mathrm{i}}{1 - (\tan a \tanh b)\mathrm{i}}</math>

（其中[[雙曲正弦|<math>\sinh</math>]]、[[雙曲餘弦|<math>\cosh</math>]]、<math>\tanh</math>為[[雙曲函數]]，其馬勞克林級數與對應的三角函數很類似，只差在正負號）

{| cellpadding="4"  style="margin:auto; text-align:center;"
|+ '''複平面中的三角函數'''（[[亮度]]表示[[函數值]]的[[絕對值]]，[[色相]]表示函數值的[[辐角|主輻角]]）
|[[File:Complex sin.jpg|1000x140px|none]]
|[[File:Complex cos.jpg|1000x140px|none]]
|[[File:Complex tan.jpg|1000x140px|none]]
|[[File:Complex Cot.jpg|1000x140px|none]]
|[[File:Complex Sec.jpg|1000x140px|none]]
|[[File:Complex Csc.jpg|1000x140px|none]]
|-
|<math>
\sin(z)
</math>
|<math>
\cos(z)
</math>
|<math>
\tan(z)
</math>
|<math>
\cot(z)
</math>
|<math>
\sec(z)
</math>
|<math>
\csc(z)
</math>
|}

=== 较少見的三角函數 ===
[[File:Unit-circle sin cos tan cot exsec excsc versin vercos coversin covercos.svg|thumb|350px|單位圓上的三角函數，包括了兩種[[正矢]]（versin、vercos）、[[餘矢]]（coversin、covercos）、[[弦函數]]（crd）、[[外正割]]（exsec）和[[外餘割]]（excsc）]]
除了上述六種基本函數，史上還有下列幾種较少見的三角函数：
*[[弦函數]]（<math>\mathrm{crd}\; \theta</math>）：早期的三角函數表紀錄的是弦的全長（如[[托勒密全弦表]]），對應的三角函數為crd函數。<ref name="星空燦爛的數學-托勒密如何編製弦表">{{cite journal |author=蔡聰明 |date=1999年6月 |title=星空燦爛的數學(I)——托勒密如何編製弦表? |journal=數學傳播 |volume=23卷 |issue=2期 |pages=57-67 |url=https://web.math.sinica.edu.tw/math_media/d232/23210.pdf |access-date=2023-10-27 |archive-date=2021-05-06 |archive-url=https://web.archive.org/web/20210506205551/https://web.math.sinica.edu.tw/math_media/d232/23210.pdf |dead-url=no }}</ref>不過今日此函數已被[[正弦函數]]取代，已經鮮少使用。
*[[正矢]]（<math>\mathrm{versin}\; \theta</math>）、餘矢系列函數，與其半值函數（如[[半正矢]]系列函數）：早期導航術中很重要的三角函數之一，因[[半正矢公式]]出名。<ref name="Calvert_2004">{{cite web |author-first=James B. |author-last=Calvert |title=Trigonometry |orig-year=2004-01-10 |date=2007-09-14 |url-status=live |archive-url=https://web.archive.org/web/20071002214133/http://mysite.du.edu/~jcalvert/math/trig.htm |archive-date=2007-10-02 |url=http://www.du.edu/~jcalvert/math/trig.htm |access-date=2015-11-08}}</ref>不過其定義和基本三角函數高度相關，因此在-{zh-cn:计算机; zh-hk:計算機; zh-tw:電腦; zh-sg:电脑;}-和-{zh-cn:计算器; zh-tw:計算機; zh-hk:計數機;}-普及後這個函數已經幾乎沒再使用。
*[[外正割]]（<math>\mathrm{exsec}\; \theta</math>）和[[外餘割]]（<math>\mathrm{excsc}\; \theta</math>）：由於[[正割]]和[[餘割]]部分的數值十分接近一，因此運算時很容易出現[[灾难性抵消]]或數值誤差，因此出現了[[外正割]]和[[外餘割]]的函數與函數表來解決這類問題。不過這類問題在-{zh-cn:计算机; zh-hk:計算機; zh-tw:電腦; zh-sg:电脑;}-和-{zh-cn:计算器; zh-tw:計算機; zh-hk:計數機;}-普及後逐漸消失，因此這個函數已經幾乎沒再使用。<ref name="Calvert_2004"/>
{|cellpadding="3" style="border: 1px solid white;"
|-
|'''[[正矢]]'''
|<math>\mathrm{versin}\; \theta=1-\cos \theta</math>
|'''[[半正矢]]'''
|<math>\mathrm{haversin}\;\theta=\frac{1-\cos\theta}{2}</math>
|-
|'''[[餘的正矢]]'''
|<math>\mathrm{vercosin}\; \theta=1+\cos\theta</math>
|'''[[餘的半正矢]]'''
|<math>\mathrm{havercosin}\;\theta=\frac{1+\cos\theta}{2}</math>
|-
|'''[[餘矢]]'''
|<math>\mathrm{coversin}\; \theta=1-\sin\theta</math>
|'''[[半餘矢]]'''
|<math>\mathrm{hacoversin}\;\theta=\frac{1-\sin\theta}{2}</math>
|-
|'''[[餘的餘矢]]'''
|<math>\mathrm{covercosin}\; \theta=1+\sin\theta</math>
|'''[[餘的半餘矢]]'''
|<math>\mathrm{hacovercosin}\;\theta=\frac{1+\sin\theta}{2}</math>
|-
|'''[[外正割]]'''
|<math>\mathrm{exsec}\; \theta=\sec\theta-1</math>
|'''[[外餘割]]'''
|<math>\mathrm{excsc}\; \theta=\csc\theta-1</math>
|-
|'''[[弦函數]]'''
|<math>\mathrm{crd}\; \theta= 2\sin\left(\frac{\theta}{2}\right) </math>
|}

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

:<math>y''+ y = 0\,</math>

就是说，它们加上自己的二阶[[导数]]都等于0函数。在由所有这條方程的解的二维[[向量空间]]<math>V</math>中，正弦函数是满足初始条件<math>y(0) = 0</math>和<math>y'(0) = 1</math>的唯一解，而余弦函数是满足初始条件<math>y(0) = 1</math>和<math>y'(0) = 0</math>的唯一解<ref name="數學傳播">{{cite web |url=http://w3.math.sinica.edu.tw/math_media/d303/30304.pdf |title=以微積分方法探討三角函數的性質 |format=PDF |date= |accessdate=2013-12-21 |archive-date=2013-12-24 |archive-url=https://web.archive.org/web/20131224114750/http://w3.math.sinica.edu.tw/math_media/d303/30304.pdf |dead-url=no }}</ref>。因为正弦和余弦函数是线性无关的，它们在一起形成了<math>V</math>的[[基 (线性代数)|基]]。这种定义正弦和余弦函数的方法本质上等价于使用欧拉公式。（参见[[线性微分方程]]）。很明显这條微分方程不只用来定义正弦和余弦函数，还可用来证明正弦和余弦函数的[[三角恒等式]]。进一步的，观察到正弦和余弦函数满足<math>y''=-y \,</math>，这意味着它们是二阶导数算子的[[本徵函數|特征函数]]。

正切函数是非线性微分方程
:<math>y'=1+y^2 \,</math>

满足初始条件<math display="inline">y(0) = 0</math>的唯一解。有个非常有趣的形象证明证明了正切函数满足这微分方程，参见{{lang|en|Needham}}的''Visual Complex Analysis''。<ref>Needham, p. ix.</ref> 

==== 弧度的重要性 ====
[[弧度]]通过测量沿着[[单位圆]]的路径的长度而指定一[[角]]，并构成正弦和余弦函数的特定[[辐角]]。特别是，只有映射弧度到比率的那些正弦和余弦函数才满足描述它们的经典[[微分方程]]。如果正弦和余弦函数的弧度辐角是正比于[[頻率 (物理學)|频率]]的
:<math>f(x) = \sin(kx); k \ne 0, k \ne 1 \,</math>
则[[导数]]将正比于“[[振幅]]”。
:<math>f'(x) = k\cos(kx) \,</math>。

这里的<math>k</math>是表示在单位之间映射的常数。如果<math>x</math>是[[度 (角)|度]]，则 
:<math>k = \frac{\pi}{180^\circ}</math>。

如果<math>x</math>是[[圈]]（[[轉 (角)|轉]]，<math>2\pi</math>弧度，<math>360</math>度），則
:<math>k = 2\pi</math>

这意味着使用度（或圈）的正弦的二阶导数不满足微分方程
:<math>y'' = -y \,</math>，
但满足
:<math>y'' = -k^2y \,</math>；
对余弦也是类似的。

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

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

在[[数学分析]]中，可以利用基于和差公式这样的性质的[[函数方程]]来定义三角函数。例如，取用给定此种公式和毕达哥拉斯恒等式，可以证明只有两个[[实函数]]满足这些条件。即存在唯一的一对实函数<math>\sin</math>和<math>\cos</math>使得对于所有实数<math>x</math>和<math>y</math>，下列方程成立<ref name=kannappan>{{cite book|last=Kannappan|first=Palaniappan|title=Functional Equations and Inequalities with Applications|year=2009|publisher=Springer|isbn=978-0387894911}}</ref>：
:<math>
\sin^2\!x + \cos^2\!x = 1,\,
</math>
:<math>\sin(x+y) = \sin\!x\cos\!y + \cos\!x\sin\!y,\,</math>
:<math>\cos(x+y) = \cos\!x\cos\!y - \sin\!x\sin\!y,\,</math>
并满足附加条件
:<math>0 < x\!\cos\!x < \sin\!x < x\ \mathrm{for}\qquad 0 < x < 1</math>。
从其他函数方程开始的推导也有可能，这种推导可以扩展到复数。作为例子，这推导可以用来定义[[有限域|伽罗瓦域]]中的[[三角学]]。

== 计算 ==

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

{{main|生成三角函数表}}
在-{zh-cn:计算机; zh-hk:計算機; zh-tw:電腦; zh-sg:电脑;}-誕生前，人们通常通过对计算到多个[[有效数字]]的三角函数表的[[内插]]来计算三角函数的值。这种表格在人们刚刚产生三角函数的概念的时候就已经有了，它们通常是通过从已知值（比如<math>\sin \frac{\pi}{2}=1</math>）开始并重复应用半角和和差公式而生成<ref>{{cite web |url=http://highscope.ch.ntu.edu.tw/wordpress/?p=14630 |title=和差角公式 |publisher=Highscope.ch.ntu.edu.tw |date=2011-10-19 |accessdate=2013-12-21 |archive-date=2013-12-24 |archive-url=https://web.archive.org/web/20131224115036/http://highscope.ch.ntu.edu.tw/wordpress/?p=14630 |dead-url=no }}</ref>。 

现代-{zh-cn:计算机; zh-hk:計算機; zh-tw:電腦; zh-sg:电脑;}-使用了各种技术。<ref>Kantabutra.</ref>一个常见的方式，特别是在有[[浮点数|浮点]]单元的高端处理器上，是组合[[多项式]]或[[有理函数|有理式]][[逼近论|逼近]]（比如[[切比雪夫逼近]]、最佳一致逼近和[[Padé逼近]]，和典型用于更高或可变精度的[[泰勒级数]]和[[罗朗级数]]）和范围简约与表查找—首先在一个较小的表中查找最接近的角度，然后使用多项式来计算修正。<ref>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.</ref>在缺乏[[算术逻辑单元|-{zh-cn:硬件; zh-tw:硬體; zh-hk:硬件}-乘法器]]的简单设备上，有叫做[[CORDIC算法]]的一个更有效算法（和相关技术），因为它只用了[[位操作#移位|移位]]和加法。出于性能的原因，所有这些方法通常都用[[计算机硬件|-{zh-cn:硬件; zh-tw:硬體; zh-hk:硬件}-]]来实现。

对于非常高精度的运算，在级数展开收敛变得太慢的时候，可以用[[算术几何平均]]来逼近三角函数，它自身通过[[复数 (数学)|复数]][[椭圆积分]]来逼近三角函数。<ref>{{cite web |url=http://doi.acm.org/10.1145/321941.321944 |title=R. P. Brent, "Fast Multiple-Precision Evaluation of Elementary Functions", J. ACM '&#39;'23'&#39;', 242 (1976) |doi=10.1145/321941.321944 |publisher=Doi.acm.org |date= |accessdate=2013-12-21 |archive-date=2015-05-16 |archive-url=https://www.webcitation.org/6YZtURpdD?url=http://doi.acm.org/10.1145/321941.321944 |dead-url=no }}</ref>

=== 三角函数的特殊值 ===
{{main|三角函数精确值}}
[[File:Unit circle angles color.svg|缩略图|大小为<math>30^\circ</math>和<math>45^\circ</math>的整数倍的<math>\theta</math>角和它们的精确正弦和余弦值标注在单位圆上。<math>\theta</math>角均用弧度制和角度制表示。<math>\theta</math>角所对应的单位圆上的点的坐标为（<math>\cos\theta</math>，<math>\sin\theta</math>）]]
特殊角度可用[[勾股定理]]（即[[毕达哥拉斯定理|毕氏定理]]）人手輕易计出三角函数的值。<math>\pi / 60</math>[[弧度]]（3°）的任何整数倍之正弦、余弦和正切都可人手计算。以下是常用的特殊函数值<ref>{{cite web |url=http://web.ntnu.edu.tw/~495403073/T3073_3061_1075/T3.htm |title=三角函數特殊角的值 |publisher=Web.ntnu.edu.tw |date= |accessdate=2013-12-21 |archive-date=2013-12-24 |archive-url=https://web.archive.org/web/20131224105917/http://web.ntnu.edu.tw/~495403073/T3073_3061_1075/T3.htm |dead-url=no }}</ref>。

{| class="wikitable" style="text-align: center;"
|-
! 函数
! <math>0 \ (0^\circ)</math>
! <math>\frac{\pi}{12} \ (15^\circ)</math>
! <math>\frac{\pi}{6} \ (30^\circ)</math>
! <math>\frac{\pi}{4} \ (45^\circ)</math>
! <math>\frac{\pi}{3} \ (60^\circ)</math>
! <math>\frac{5\pi}{12} \ (75^\circ)</math>
!<math>\frac{\pi}{2} \ (90^\circ)</math>
|-
|<math>\sin</math>
| <math>0</math>
| <math>\frac{ \sqrt{6} - \sqrt{2} } {4}</math>
| <math>\frac{1}{2}</math>
| <math>\frac{\sqrt{2}}{2}</math>
| <math>\frac{\sqrt{3}}{2}</math>
| <math>\frac{ \sqrt{6} + \sqrt{2} } {4}</math>
| <math>1</math>
|-
|<math>\cos</math>
| <math>1</math>
| <math>\frac{\sqrt{6}+\sqrt{2}}{4}</math>
| <math>\frac{\sqrt{3}}{2}</math>
| <math>\frac{\sqrt{2}}{2}</math>
| <math>\frac{1}{2}</math>
| <math>\frac{ \sqrt{6} - \sqrt{2}} {4}</math>
| <math>0</math>
|-
|<math>\tan</math>
| <math>0</math>
| <math>2-\sqrt{3}</math>
| <math>\frac{\sqrt{3}}{3}</math>
| <math>1</math>
| <math>\sqrt{3}</math>
| <math>2+\sqrt{3}</math>
| <math>\pm\infty</math>
|-
|<math>\cot</math>
| <math>\pm\infty</math>
| <math>2+\sqrt{3}</math>
| <math>\sqrt{3}</math>
| <math>1</math>
| <math>\frac{\sqrt{3}}{3}</math>
| <math>2-\sqrt{3}</math>
| <math>0</math>
|-
|<math>\sec</math>
| <math>1</math>
| <math>\sqrt{6} - \sqrt{2}</math>
| <math>\frac{2\sqrt{3}}{3}</math>
| <math>\sqrt{2}</math>
| <math>2</math>
| <math>\sqrt{6}+\sqrt{2}</math>
| <math>\pm\infty</math>
|-
|<math>\csc</math>
| <math>\pm\infty</math>
| <math>\sqrt{6}+\sqrt{2}</math>
| <math>2</math>
| <math>\sqrt{2}</math>
| <math>\frac{2 \sqrt{3}}{3}</math>
| <math>\sqrt{6} - \sqrt{2}</math>
| <math>1</math>
|}
注：<math>\pm\infty</math>有时会写作无定义（不存在）。

== 反三角函数 ==
{{main|反三角函数}}
三角函数属[[周期函数]]而不是[[单射函数]]，严格来说并没有[[反函数]]，要定义其反函数必须先限制三角函数的[[定义域]]，使得三角函数成为[[双射函数]]。基本的反三角函数定义为<ref name="高等数学">{{cite web|author=谭杰锋, 郑爱武|url=http://books.google.com.tw/books?id=Wgiw-sHJcR0C&pg=PA12&dq=%E4%B8%89%E8%A7%92%E5%87%BD%E6%95%B8&hl=en&sa=X&ei=xxa1UpOCF8SukgXgx4CYDQ&redir_esc=y#v=onepage&q=%E4%B8%89%E8%A7%92%E5%87%BD%E6%95%B8&f=false|title=高等数学|publisher=清华大学出版社|date=2006|accessdate=2013-12-21|archive-date=2013-12-24|archive-url=https://web.archive.org/web/20131224115301/http://books.google.com.tw/books?id=Wgiw-sHJcR0C&pg=PA12&dq=%E4%B8%89%E8%A7%92%E5%87%BD%E6%95%B8&hl=en&sa=X&ei=xxa1UpOCF8SukgXgx4CYDQ&redir_esc=y#v=onepage&q=%E4%B8%89%E8%A7%92%E5%87%BD%E6%95%B8&f=false|dead-url=no}}</ref>：

{| class="wikitable" 
|-
! '''反三角函数''' !! '''定义''' !! '''值域'''
|-
| <math> \arcsin(x) = y \, </math>
| <math> \sin(y) = x \, </math>
| <math> -\frac{\pi}{2} \le y \le \frac{\pi}{2} \, </math>
|-
| <math> \arccos(x) = y \, </math>
| <math> \cos(y) = x \, </math>
| <math> 0 \le y \le \pi \, </math>
|-
| <math> \arctan(x) = y \, </math>
| <math> \tan(y) = x \, </math>
| <math> -\frac{\pi}{2} < y < \frac{\pi}{2} \, </math>
|-
| <math> \arccsc(x) = y \, </math>
| <math> \csc(y) = x \, </math>
| <math> -\frac{\pi}{2} \le y \le \frac{\pi}{2}, y \ne 0 \, </math>
|-
| <math> \arcsec(x) = y \, </math>
| <math> \sec(y) = x \, </math>
| <math> 0 \le y \le \pi, y \ne \frac{\pi}{2} \, </math>
|-
| <math> \arccot(x) = y \, </math>
| <math> \cot(y) = x \, </math>
| <math> 0 < y < \pi \, </math>
|}

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

正如正弦和余弦那样，反三角函数也可以根据无穷级数来定义。例如，
:<math>
\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</math>
这些函数也可以通过证明它们是其他函数的原函数来定义。例如反正弦函数，可以写为如下积分<ref>{{cite web |url=http://www.stat.nuk.edu.tw/cbme/math/calculus/cal2/c5_6/bud.htm |title=雙曲函數及反三角函數 |publisher=Stat.nuk.edu.tw |date= |accessdate=2013-12-21 |archive-date=2014-04-27 |archive-url=https://web.archive.org/web/20140427102205/http://www.stat.nuk.edu.tw/cbme/math/calculus/cal2/c5_6/bud.htm |dead-url=no }}</ref>：
:<math>
\arcsin\left(x\right) =
\int_0^x \frac 1 {\sqrt{1 - z^2}}\,\mathrm{d}z, \quad |x| < 1
</math>
可以在[[反三角函数]]条目中找到类似的公式。使用复[[对数]]可把这些函数延伸到复数辐角：
:<math>
\arcsin (z) = -{\mathrm{i}}
\ln \left({\mathrm{i}}
z + \sqrt{1 - z^2} \right)
</math>
:<math>
\arccos (z) = -{\mathrm{i}}
\ln \left( z + \sqrt{z^2 - 1}\right)
</math>
:<math>
\arctan (z) = \frac{\mathrm{i}}
{2} \ln\left(\frac{1-{\mathrm{i}}
z}{1+{\mathrm{i}}
z}\right)
</math>

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

=== 正弦定理 ===
{{main|正弦定理}}
[[File:Lissajous_curve_5by4.svg|thumb|right|[[利萨茹曲线|利萨茹（Lissajous）曲线]]，一种三角基的函数形成的图像]]
'''正弦定理'''声称对于边长为<math>a</math>、<math>b</math>和<math>c</math>而相应角为<math>A</math>、<math>B</math>和<math>C</math>的三角形，有<ref name="正弦定理與餘弦定理">{{cite web |url=http://math1.ck.tp.edu.tw/%E6%9E%97%E4%BF%A1%E5%AE%89/%E5%AD%B8%E8%A1%93%E7%A0%94%E7%A9%B6/%E4%B8%8A%E8%AA%B2%E8%AC%9B%E7%BE%A9/%E7%AC%AC%E4%BA%8C%E5%86%8A/2-3%E6%AD%A3%E5%BC%A6%E9%A4%98%E5%BC%A6%E5%AE%9A%E7%90%86.pdf |title=正弦定理與餘弦定理 |format=PDF |date= |accessdate=2013-12-21 |archive-date=2016-05-08 |archive-url=https://web.archive.org/web/20160508153039/http://math1.ck.tp.edu.tw/%E6%9E%97%E4%BF%A1%E5%AE%89/%E5%AD%B8%E8%A1%93%E7%A0%94%E7%A9%B6/%E4%B8%8A%E8%AA%B2%E8%AC%9B%E7%BE%A9/%E7%AC%AC%E4%BA%8C%E5%86%8A/2-3%E6%AD%A3%E5%BC%A6%E9%A4%98%E5%BC%A6%E5%AE%9A%E7%90%86.pdf |dead-url=no }}</ref>：
:<math>\frac{a}{\sin A} = \frac{b}{\sin B} = \frac{c}{\sin C} = 2R</math>
其中<math>R</math>是三角形的[[外接圆]]半径。正弦定理用于计算已知两角和一边时三角形的未知边长，是[[三角测量]]中常见情况，前述為數學常用。至於物理學應用為三分力且合力為0的情況。

=== 余弦定理 ===
{{main|余弦定理}}
'''余弦定理'''（也叫余弦公式）是[[托勒密定理|勾股定理]]的延伸<ref name="正弦定理與餘弦定理"/>：

<math>c^2=a^2+b^2-2ab\cos C</math>

也可表示为

<math>\cos C=\frac{a^2+b^2-c^2}{2ab}</math>。

余弦定理用于确定三角形已知两边和一角时未知的值。
===正切定理<ref>Eli Maor, ''Trigonometric Delights'', Princeton University Press, 2002.</ref>===
{{main|正切定理}}
:<math>\frac{a+b}{a-b} = \frac{\tan\dfrac{A+B}{2}}{\tan\dfrac{A-B}{2}}</math>

===餘切定理===
{{main|餘切定理}}
<math>\cot{ \frac{\alpha}{2 }} = \frac{s-a}{\zeta }</math>

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

=== 周期函数 ===
[[File:Synthesis_square.gif|thumb|340px|right|谐波数目递增的[[方波]]的加法合成动画]]
三角函数在物理也重要，如用正弦和余弦函数描述[[简谐运动]]，它描述了很多自然现象，比如附着在弹簧上的物体的振动，挂在绳子上物体的小角度摆动。正弦和余弦函数是[[圆周运动]]的一维投影<ref name="圓與三角學">{{cite web |url=http://episte.math.ntu.edu.tw/articles/ar/ar_wy_geo_03/ |title=圓與三角學 |publisher=Episte.math.ntu.edu.tw |date=2004-06-19 |accessdate=2013-12-21 |archive-date=2013-04-28 |archive-url=https://web.archive.org/web/20130428094050/http://episte.math.ntu.edu.tw/articles/ar/ar_wy_geo_03/ |dead-url=no }}</ref>。

三角函数在一般[[周期函数]]的研究中也很有用。这些函数有作为图像的特征波模式，在描述循环现象比如声波或光波的时候是很有用的。每个信号都可以记为不同频率的正弦和余弦函数的（通常无限）和<ref>{{cite book|author=靳希|author2=杨尔滨|author3=赵玲|url=http://books.google.com.tw/books?id=R2YLDWFQsbEC&pg=PA35&dq=%E5%82%85%E9%87%8C%E5%8F%B6%E7%BA%A7%E6%95%B0&hl=en&sa=X&ei=JTe1Uq7SCoSolQW8pIEw&redir_esc=y#v=onepage&q=%E5%82%85%E9%87%8C%E5%8F%B6%E7%BA%A7%E6%95%B0&f=false|title=信号处理原理与应用|publisher=清华大学出版社|date=2004|isbn=9787302083573|chapter=傅里叶变换|accessdate=2013-12-21|archive-date=2013-12-24|archive-url=https://web.archive.org/web/20131224114433/http://books.google.com.tw/books?id=R2YLDWFQsbEC&pg=PA35&dq=%E5%82%85%E9%87%8C%E5%8F%B6%E7%BA%A7%E6%95%B0&hl=en&sa=X&ei=JTe1Uq7SCoSolQW8pIEw&redir_esc=y#v=onepage&q=%E5%82%85%E9%87%8C%E5%8F%B6%E7%BA%A7%E6%95%B0&f=false|dead-url=no}}</ref>；这是[[傅立叶分析]]的基础想法，这里的三角级数可以用来解微分方程的各种边值问题。例如，[[方波]]可以写为[[傅立叶级数]]<ref>{{cite book|author=邓翔宇 |url=http://books.google.com.tw/books?id=TaAXZKH2J4gC&pg=PA61&dq=%E6%96%B9%E6%B3%A2%E7%9A%84%E5%82%85%E9%87%8C%E5%8F%B6%E7%BA%A7%E6%95%B0&hl=en&sa=X&ei=lTe1UqeTGcTKkwWgmYCwBg&ved=0CCwQ6AEwAA#v=onepage&q=%E6%96%B9%E6%B3%A2%E7%9A%84%E5%82%85%E9%87%8C%E5%8F%B6%E7%BA%A7%E6%95%B0&f=false |title=信号与系统 |publisher=清华大学出版社 |date=2006 |isbn=9787810827058 |chapter=连续信号与系统的频域分析 |accessdate=2013-12-21 |archive-date=2013-12-24 |archive-url=https://web.archive.org/web/20131224115936/http://books.google.com.tw/books?id=TaAXZKH2J4gC&pg=PA61&dq=%E6%96%B9%E6%B3%A2%E7%9A%84%E5%82%85%E9%87%8C%E5%8F%B6%E7%BA%A7%E6%95%B0&hl=en&sa=X&ei=lTe1UqeTGcTKkwWgmYCwBg&ved=0CCwQ6AEwAA#v=onepage&q=%E6%96%B9%E6%B3%A2%E7%9A%84%E5%82%85%E9%87%8C%E5%8F%B6%E7%BA%A7%E6%95%B0&f=false |dead-url=no }}</ref>

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

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

== 参见 ==
{{portal|數学}}
* [[三角函數精確值]]
* [[三角恒等式]]
* [[三角学]]
* [[生成三角函数表]]
* [[双曲函数]]
* [[勾股定理]]
* [[单位向量|方向余弦]]
* [[欧拉公式]]
* [[诱导公式]]

== 注释 ==
{{notefoot}}
==参考资料==
<references/>

== 延伸阅读 ==
* 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，[https://web.archive.org/web/20040404234808/http://www.pupress.princeton.edu/books/maor/ ''Trigonometric Delights'']，Princeton Univ. Press.（1998年），重印版（2005年2月25日）：ISBN 978-0-691-09541-7。
* Needham, Tristan，[https://web.archive.org/web/20040602145226/http://www.usfca.edu/vca/PDF/vca-preface.pdf ''Preface'']，''[http://www.usfca.edu/vca/ Visual Complex Analysis]{{Wayback|url=http://www.usfca.edu/vca/PDF/vca-preface.pdf |date=20040602145226 }}''，Oxford University Press，（1999年），ISBN 978-0-19-853446-4。
* O'Connor, J.J.、E.F. Robertson，[https://web.archive.org/web/20130120084848/http://www-gap.dcs.st-and.ac.uk/~history/HistTopics/Trigonometric_functions.html ''Trigonometric functions'']，''MacTutor History of Mathematics Archive''，（1996年）。
* O'Connor, J.J.、E.F. Robertson，[http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Madhava.html ''Madhava of Sangamagramma'']{{Wayback|url=http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Madhava.html |date=20060226001644 }}，''MacTutor History of Mathematics Archive''，（2000年）。
* Pearce, Ian G.，[http://www-history.mcs.st-andrews.ac.uk/history/Projects/Pearce/Chapters/Ch9_3.html ''Madhava of Sangamagramma'']{{Wayback|url=http://www-history.mcs.st-andrews.ac.uk/history/Projects/Pearce/Chapters/Ch9_3.html |date=20060505201342 }}，''MacTutor History of Mathematics Archive''，（2002年）。
* Weisstein, Eric W.，[http://mathworld.wolfram.com/Tangent.html ''Tangent'']{{Wayback|url=http://mathworld.wolfram.com/Tangent.html |date=20060719202529 }}，''[[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.

== 外部链接 ==

* [http://www.engineersedge.com/math/trigonometric-functions.htm Engineers Edge的三角函數列表]{{Wayback|url=http://www.engineersedge.com/math/trigonometric-functions.htm |date=20070928061202 }}
* [https://web.archive.org/web/20130723082524/http://nanographer.nanosouffle.net/ nanoSouffle線上繪圖]─可繪畫各種函數。可在各瀏覽器使用，{{lang|en|JavaScript}}只用於實時更新，並非必須
* [https://web.archive.org/web/20020531074347/http://www.geocities.com/SiliconValley/Garage/3323/aat/a_sin.html 正弦和餘弦函數]─以{{lang|en|REXX}}來表示
* [http://en.wikipedia.org/wiki/Image:Trig_Table.pdf 以角度和弧度表示的角所對應的函數值]{{dead link|date=2018年5月 |bot=InternetArchiveBot |fix-attempted=yes }}
* http://www.dudefree.com/unitcircle/ {{Wayback|url=http://www.dudefree.com/unitcircle/ |date=20210504214233 }}
* [https://web.archive.org/web/20080110163119/http://billeccentrec.blogspot.com/2007/07/tables-of-logarithms-and-trigonometric.html 常用三角函數表（文字版）]

{{三角函數}}

{{Authority control}}
[[Category:三角学|S]]                      
[[Category:基本特殊函数]]
[[Category:三角函数|*]]
{{Good article}}