

单位圆的角度
三角学 |
---|
历史 三角函数 广义三角函数 反三角函数 |
参考 |
恒等式 精确值 三角表 |
定理 |
正弦定理 餘弦定理 正切定理 餘切定理 勾股定理 |
微积分 |
三角换元法 三角函数的积分 三角函数的微分 反三角函数的积分 |
在数学中,三角恒等式是对出现的所有值都为實变量,涉及到三角函数的等式。这些恒等式在表达式中有些三角函数需要简化的时候是很有用的。一个重要应用是非三角函数的积分:一个常用技巧是首先使用使用三角函数的代换规则,则通过三角恒等式可简化结果的积分。
目录
为了避免由于的不同意思所带来的混淆,我們經常用下列兩個表格來表示三角函数的倒数和反函数。在表示余割函数時,’‘有时會寫成比較长的’‘。
函数 | 反函數 | 倒数 | |||
---|---|---|---|---|---|
全寫 | 簡寫 | 全寫 | 簡寫 | 全寫 | 簡寫 |
sine | sin | arcsine | arcsin | cosecant | csc |
cosine | cos | arccosine | arccos | secant | sec |
tangent | tan | arctangent | arctan | cotangent | cot |
cotangent | cot | arccotangent | arccot | tangent | tan |
secant | sec | arcsecant | arcsec | cosine | cos |
cosecant | csc | arccosecant | arccsc | sine | sin |
不同的角度度量适合于不同的情况。本表展示最常用的系统。弧度是缺省的角度量并用在指数函数中。所有角度度量都是无单位的。
角度單位 | 值 | |||||||
---|---|---|---|---|---|---|---|---|
轉 | ||||||||
角度 | ||||||||
弧度 | ||||||||
梯度 |
畢達哥拉斯三角恒等式如下:
由上面的平方關係加上三角函數的基本定義,可以導出下面的表格,即每個三角函數都可以用其他五個表達。(严谨地说,所有根号前都应根据实际情况添加正负号)
函數 | ||||||
---|---|---|---|---|---|---|
正矢、餘矢、半正矢、半餘矢、外正割用於航行。例如半正矢可以計算球體上的兩個點之間的距離,但他們不常用。
名稱 | 函數 | 值[1] |
---|---|---|
正矢, versine | ||
餘的正矢, vercosine | ||
餘矢, coversine | ||
餘的餘矢, covercosine | ||
半正矢, haversine | ||
餘的半正矢, havercosine | ||
半餘矢, hacoversine cohaversine |
||
餘的半餘矢, hacovercosine cohavercosine |
||
外正割,exsecant | ||
外餘割,excosecant | ||
弦, chord | ||
純虛數指數函數, cosine and imaginary unit sine |
||
輻角,Argument |
通过检视单位圆,可确立三角函数的下列性质:
当三角函数反射自某个特定的值,结果经常是另一个其他三角函数。这导致了下列恒等式:
反射于 | 反射于 | 反射于 | 反射于 |
---|---|---|---|
通过旋转特定角度移位三角函数,经常可以找到更简单的表达结果的不同的三角函数。例如通过旋转、和弧度移位函数。因为这些函数的周期要么是要么是,新函数和没有移位的旧函数完全一样。
移位 | 移位 和的周期 |
移位 | 移位 , , 和的周期 |
---|---|---|---|
它们也叫做“和差定理”或“和差公式”。最快的证明方式是欧拉公式。
正弦 | |
---|---|
余弦 | |
正切 | |
余切 | |
正割 | |
余割 | |
注意正负号的对应。 |
这里的”“意味着索引遍历集合的大小为的所有子集的集合。
在这两个恒等式中出现了在有限多项中不出现的不对称:在每个乘积中,只有有限多个正弦因子和餘有限多个余弦因子。
如果只有有限多项是非零,则在右边只有有限多项是非零,因为正弦因子将变为零,而在每个项中,所有却有限多的余弦因子将是单位一。
设,对于。设是变量,,的次基本对称多项式。则
项的数目依赖于。例如,
并以此类推。一般情况可通过数学归纳法证明。
是次切比雪夫多项式 | |
---|---|
是次伸展多项式 | |
棣莫弗定理,是虚单位 |
- 。
(這個的函數是狄利克雷核。)
這些公式可以使用和差恒等式或多倍角公式来证明。
弦 | 切 | 割 | ||
---|---|---|---|---|
二倍角公式 | 正 | |||
餘 | ||||
三倍角公式 | 正 | |||
餘 | ||||
半角公式 | 正 | |||
餘 |
倍角公式 | |
---|---|
(第二类切比雪夫多项式) | |
(第一类切比雪夫多项式) | |
倍遞迴公式 | |
、。(遞迴關係) |
参见正切半角公式,它也叫做“万能公式”。
- 正矢
- 餘矢
从解余弦二倍角公式的第二和第三版本得到。
正弦 | 餘弦 | 其他 |
---|---|---|
餘弦 | 正弦 | |
---|---|---|
如果是奇數 | ||
如果是偶數 |
- ,,
- ,,
- ,,
數學家韋達在其三角學著作《應用於三角形的數學定律》給出积化和差与和差化积恒等式。积化和差恒等式可以通过展开角的和差恒等式的右手端来证明。
积化和差 | 和差化积 |
---|---|
- 如果,
-
- 那么
- 那么
- 如果,
- 那么
- 那么
- 如果,
- 那么
- 那么
- 如果(半圆)
- 那么:
(前三个等式是一般情况;第四个是本质。)
利用三角恒等式的指數定義和雙曲函數的指數定義即可求出下列恆等式:
所以
三角函數 | 雙曲函數 |
---|---|
- 其他恆等式:
对于某些用途,知道同样周期但不同相位移动的正弦波的任何线性组合是有相同周期但不同相位移动的正弦波是重要的。在正弦和余弦波的线性组合的情况下,我们有
这里的
更一般的说,对于任何相位移动,我们有
这里
而
|
|
|
|


在微積分中,下面陳述的關係要求角用弧度來度量;如果用其他方式比如角度來這些關係會變得更加複雜。如果三角函數以幾何的方式來定義,它們的導數可以通過驗證兩個極限而找到。第一個是:
可以使用單位圓和夾擠定理來驗證。如果用洛必達法則來证明這個極限,那也就用這個極限證明了正弦的导数是餘弦,並因此在應用洛必達法則中使用正弦的導數是餘弦的事實,就是邏輯謬論中的循環論證了。第二個極限是:
使用恆等式驗證。已經確立了這兩個極限,你可以使用導數的極限定義和加法定理來證明和。如果正弦和餘弦函數用它們的泰勒級數來定義,則導數可以通過冪級數逐項微分得到。
結果的三角函數可以使用上述恆等式和微分規則來做微分。
在三角函數積分表中可以找到積分恆等式。
三角函數(正弦和餘弦)的微分是同樣兩個函數線性組合的事實在很多數學領域包括微分方程和傅立葉變換中是重要的基本原理。
函数 | 反函数 |
---|---|