三角函数图像（动画演示 ） 三角函数 （英語：trigonometric functions [ 註 1] 數學 很常見的一類關於角度 的函数 。三角函數將直角三角形 的内角和它的两邊的比值 相关联，亦可以用单位圆 的各种有关线段的长的等价來定义。三角函数在研究三角形 和圆形 等几何形状 的性质时有著重要的作用，亦是研究振动、波、天体运动和各种周期性现象 的基础数学工具[ 1] 数学分析 上，三角函数亦定义为无穷级数 或特定微分方程 的解，允许它们的取值扩展到任意实数值，甚至是複數 值。
常見的三角函数有正弦函数 （sin {\displaystyle \sin } 余弦函数 （cos {\displaystyle \cos } 正切函数 （tan {\displaystyle \tan } tg {\displaystyle \operatorname {tg} } tang {\displaystyle \operatorname {tang} } [ 1] 航海学 、测绘学 和工程学 等其他学科中还会用到例如余切函数 （cot {\displaystyle \cot } ctg {\displaystyle \operatorname {ctg} } 正割函数 （sec {\displaystyle \sec } 余割函数 （csc {\displaystyle \csc } 正矢函数 和半正矢函数 等其它三角函数。不同的三角函数之间的关系可以几何直观或计算得出，称为三角恒等式 。
三角函数一般用于计算三角形 中的未知长度的边和未知的角度，在导航、工程学和物理学 方面都有广泛的用途。另外，以三角函数为模版，可以定义一类相似的函数，叫做双曲函数 [ 2] 双曲正弦 函数、双曲余弦 函数等。
三角函数的早期研究可以追溯到古代。例如古埃及 数学家在鑑別尼羅河 泛濫後的土地 邊界、保持金字塔 每邊斜度 相同，都使用了三角術，只是他們可能還沒有對這種方式定名而已。古希腊 三角术的奠基人是公元前2世纪的喜帕恰斯 。他按照古巴比伦 人的做法，将圆周分为360等份（即圆周的弧度为360度，与现代的弧度制 不同）。对于指定弧度，他给出了对应的弦的长度数值 ，这记法和现代的正弦函数等价。喜帕恰斯实际上给出了最早的三角函数数值表。然而古希腊的三角学基本是球面三角学。这与古希腊人研究的主体是天文学有关。梅涅劳斯 在他的著作《球面学》中使用了正弦来描述球面的梅涅劳斯定理 。古希腊三角学与其天文学的应用在埃及的托勒密 时代达到了高峰，托勒密在《数学汇编》（Syntaxis Mathematica [ 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 ） 弗朗索瓦·韦达 给出了托勒密的不少结果对应的平面三角形式。他还尝试计算了多倍角正弦的表达方式。[ 3] :275-278
18世纪开始引进解析几何等分析学工具，数学家开始用分析学研究三角函数。牛顿在1669年的《分析学》一书中给出了正弦和余弦函数的无穷级数 表示。Collins 詹姆斯·格列高里 ，後者进一步给出了正切等三角函数的无穷级数。莱布尼兹 在1673年左右也独立得到这结果[ 5] :162-163 。欧拉 的《无穷小量分析引论 》（Introductio in Analysin Infinitorum 欧拉公式 ，还有使用接近现代的简写sin. cos. tang. cot. sec. csc. cosec.
1631年徐光启 与邓玉函 、汤若望 合撰《大测》首次将三角函数引入中国并确立了正弦、余弦等译名。
a，b，h分別為角A的对边、邻边和斜边 直角三角形 只有锐角 （大小在0至90度之间的角）三角函数的定义[ 6] θ {\displaystyle \theta } θ {\displaystyle \theta } 股 （对边a）、勾 （邻边b）和弦 （斜边h）：
假设P ( x , y ) {\textstyle P(x,y)} x O y {\textstyle xOy} θ {\textstyle \theta } O x → {\textstyle {\vec {Ox}}} O P → {\textstyle {\vec {OP}}} r = x 2 + y 2 > 0 {\textstyle r={\sqrt {x^{2}+y^{2}}}>0} P {\textstyle P} O {\textstyle O} θ {\displaystyle \theta } [ 7]
这样可以定义任何角度的三角函数（除非当定义式无意义时）。大于360°或小于-360°的角度可认为是转了（逆时针／顺时针）不止一圈。而多转或少转了整数圈不会影响三角函数的取值[ 8] 2 π {\displaystyle 2\pi } 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 } π {\displaystyle \pi }
三角函数亦可以根据直角坐标系x O y {\displaystyle xOy} 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)}
用单位圆定义三角函数 在直角坐标系平面上f (x )＝sin(x )和f (x )＝cos(x )函数的图像 从几何定义中能推导出很多三角函数的性质。例如正弦函数、正切函数、余切函数和余割函数是奇函数，余弦函数和正割函数是偶函数[ 9] x = π 4 {\textstyle x={\frac {\pi }{4}}}
不同的三角函数之间有很多对任意的角度取值都成立的等式，称为三角恒等式。最著名的是毕达哥拉斯恒等式 ，它说明对于任何角，正弦的平方加上余弦的平方必定會是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 ( 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}}} 三角函数的积分 和导数 可参见导数表 、积分表 和三角函数积分表 。以下是六種基本三角函數的導數和積分。
正弦函数（蓝色）十分接近于它的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 } 雙曲函數 ，其馬勞克林級數與對應的三角函數很類似，只差在正負號）
單位圓上的三角函數，包括了兩種正矢 （versin、vercos）、餘矢 （coversin、covercos）、弦函數 （crd）、外正割 （exsec）和外餘割 （excsc） 除了上述六種基本函數，史上還有下列幾種较少見的三角函数：
三角函数在物理学是研究振动和波不可或缺的工具，如简谐振动 满足以下微分方程 ，正弦和余弦函数都满足
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} [ 16] V {\displaystyle V} 基 。这种定义正弦和余弦函数的方法本质上等价于使用欧拉公式。（参见线性微分方程 ）。很明显这條微分方程不只用来定义正弦和余弦函数，还可用来证明正弦和余弦函数的三角恒等式 。进一步的，观察到正弦和余弦函数满足y ″ = − y {\displaystyle y''=-y\,} 特征函数 。
正切函数是非线性微分方程
y ′ = 1 + y 2 {\displaystyle y'=1+y^{2}\,} 满足初始条件y ( 0 ) = 0 {\textstyle y(0)=0} Needham Visual Complex Analysis 。[ 17]
弧度 通过测量沿着单位圆 的路径的长度而指定一角 ，并构成正弦和余弦函数的特定辐角 。特别是，只有映射弧度到比率的那些正弦和余弦函数才满足描述它们的经典微分方程 。如果正弦和余弦函数的弧度辐角是正比于频率 的
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} [ 18]
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} [ 19]
现代计算机使用了各种技术。[ 20] 浮点 单元的高端处理器上，是组合多项式 或有理式 逼近 （比如切比雪夫逼近 、最佳一致逼近和帕德逼近 ，和典型用于更高或可变精度的泰勒级数 和罗朗级数 ）和范围简约与表查找—首先在一个较小的表中查找最接近的角度，然后使用多项式来计算修正。[ 21] 硬件乘法器 的简单设备上，有叫做CORDIC算法 的一个更有效算法（和相关技术），因为它只用了移位 和加法。出于性能的原因，所有这些方法通常都用硬件 来实现。
对于非常高精度的运算，在级数展开收敛变得太慢的时候，可以用算术几何平均 来逼近三角函数，它自身通过复数 椭圆积分 来逼近三角函数。[ 22]
大小为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°）的任何整数倍之正弦、余弦和正切都可人手计算。以下是常用的特殊函数值[ 23]
注：± ∞ {\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 } 这些函数也可以通过证明它们是其他函数的原函数来定义。例如反正弦函数，可以写为如下积分[ 24]
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)} 三角函数，正如其名，在三角学 十分重要。三角学研究发现了许多利用三角函数来刻画三角形、圆形或多边形的定理。
利萨茹（Lissajous）曲线 ，一种三角基的函数形成的图像正弦定理 声称对于边长为a {\displaystyle a} b {\displaystyle b} c {\displaystyle c} A {\displaystyle A} B {\displaystyle B} C {\displaystyle C} [ 25]
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的情況。
余弦定理 （也叫余弦公式）是勾股定理 的延伸[ 25]
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}}}
谐波数目递增的方波 的加法合成动画 三角函数在物理也重要，如用正弦和余弦函数描述简谐运动 ，它描述了很多自然现象，比如附着在弹簧上的物体的振动，挂在绳子上物体的小角度摆动。正弦和余弦函数是圆周运动 的一维投影[ 27]
三角函数在一般周期函数 的研究中也很有用。这些函数有作为图像的特征波模式，在描述循环现象比如声波或光波的时候是很有用的。每个信号都可以记为不同频率的正弦和余弦函数的（通常无限）和[ 28] 傅立叶分析 的基础想法，这里的三角级数可以用来解微分方程的各种边值问题。例如，方波 可以写为傅立叶级数 [ 29]
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)}} 右边动画可見，只用幾项就形成非常准确的估计。
^ 也称为圆函数（circular functions angle functions goniometric functions ^ 由于欧拉公式 的证明过程中使用了棣莫弗公式 ，而棣莫弗公式的证明过程中使用了和角公式，故使用欧拉公式证明和角公式会造成循环论证 ，故而此方法僅为檢定方法，而非严谨的证明方法。对于类似方法也应注意甄别。 ^1.0 1.1 1.2 1.3 1.4 萧树铁, 扈志明.微积分 . 北京: 清华大学出版社有限公司. 2006: 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 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）. ^ 蔡聰明.星空燦爛的數學(I)——托勒密如何編製弦表? (PDF) . 數學傳播. 1999年6月,23卷 (2期): 57–67 [2023-10-27 ] . （原始内容存档 (PDF) 于2021-05-06）. ^15.0 15.1 Calvert, James B.Trigonometry . 2007-09-14 [2004-01-10] [2015-11-08 ] . （原始内容存档 于2007-10-02）. ^ 以微積分方法探討三角函數的性質 (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）. ^25.0 25.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年），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 ISBN 978-0-691-09541-7 。 Needham, Tristan，Preface Visual Complex Analysis （页面存档备份 ，存于互联网档案馆 ）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 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.
