在数学中,三角恒等式是对出现的所有值都为實变量,涉及到三角函数的等式。这些恒等式在表达式中有些三角函数需要简化的时候是很有用的。一个重要应用是非三角函数的积分:一个常用技巧是首先使用使用三角函数的代换规则,则通过三角恒等式可简化结果的积分。
幾個三角函數的圖形,分別為正弦、餘弦、正切、餘切、正割、餘割和正矢。配色與上圖相同
为了避免由于的不同意思所带来的混淆,我們經常用下列兩個表格來表示三角函数的倒数和反函数。另外在表示余割函数時,''有时會寫成比較长的''。
不同的角度度量适合于不同的情况。本表展示最常用的系统。弧度是缺省的角度量并用在指数函数中。所有角度度量都是无单位的。另外在計算機中角度的符號為D,弧度的符號為R,梯度的符號為G。
正矢、餘矢、半正矢、半餘矢、外正割用於航行。例如半正矢可以計算球體上的兩個點之間的距離,但它們不常用。
更多信息 , ...
名稱
|
函數
|
值[1]
|
正矢, versine
|
|
|
餘的正矢, vercosine
|
|
|
餘矢, coversine
|
|
|
餘的餘矢, covercosine
|
|
|
半正矢, haversine
|
|
|
餘的半正矢, havercosine
|
|
|
半餘矢, hacoversine cohaversine
|
|
|
餘的半餘矢, hacovercosine cohavercosine
|
|
|
外正割,exsecant
|
|
|
外餘割,excosecant
|
|
|
弦函數, chord
|
|
|
純虛數指數函數, cosine and imaginary unit sine
|
|
|
輻角,Argument
|
|
|
关闭
通過檢視單位圓,可確立三角函數的下列性質,這些性質也被稱為誘導公式:
當三角函数反射自某个特定的值,結果經常是另一个其他三角函數。這導致了下列恆等式:
设,对于。设是变量,,的次基本对称多项式。则
项的数目依赖于。例如,
并以此类推。一般情况可通过数学归纳法证明。
- 。
(這個的函數是狄利克雷核。)
更多信息 , ... 关闭
参见正切半角公式,它也叫做“万能公式”。
- 正矢
- 餘矢
- [2]
- [2]
- ,,
- ,,
- ,,
數學家韋達在其三角學著作《應用於三角形的數學定律》給出积化和差与和差化积恒等式。积化和差恒等式可以通过展开角的和差恒等式的右手端来证明。
(可藉由積化和差公式+2倍角公式推導而來)
- 如果,
- 那么
- 如果,
- 那么
- 如果,
- 那么
- 如果(半圆)
- 那么:
(前三个等式是一般情况;第四个是本质。)
利用三角恒等式的指數定義和雙曲函數的指數定義即可求出下列恆等式:
所以
下表列出部分的三角函數與雙曲函數的恆等式:
更多信息 , ...
三角函數
|
雙曲函數
|
|
|
|
|
|
|
|
|
|
|
|
|
关闭
对于某些用途,知道同样周期但不同相位移动的正弦波的任何线性组合是有相同周期但不同相位移动的正弦波是重要的。在正弦和余弦波的线性组合的情况下,我们有
这里的
这个公式也叫辅助角公式或李善兰公式。更一般的说,对于任何相位移动,我们有
这里
而
为了用于特殊函数,有下列三角函数無窮乘積公式[3][4]:
正弦(藍色)、正弦的微分(橘色),其中,正弦的微分正好是餘弦。
餘弦(藍色)、餘弦的微分(橘色),其中,餘弦的微分正好是正弦的對x軸的鏡射。
在微積分中,下面陳述的關係要求角用弧度來度量;如果用其他方式比如角度來這些關係會變得更加複雜。如果三角函數以幾何的方式來定義,它們的導數可以通過驗證兩個極限而找到。第一個是:
可以使用單位圓和夾擠定理來驗證。如果用洛必達法則來证明這個極限,那也就用這個極限證明了正弦的导数是餘弦,並因此在應用洛必達法則中使用正弦的導數是餘弦的事實,就是邏輯謬論中的循環論證了。第二個極限是:
使用恆等式驗證。已經確立了這兩個極限,你可以使用導數的極限定義和加法定理來證明和。如果正弦和餘弦函數用它們的泰勒級數來定義,則導數可以通過冪級數逐項微分得到。
結果的三角函數可以使用上述恆等式和微分規則來做微分。
在三角函數積分表中可以找到積分恆等式。
三角函數(正弦和餘弦)的微分是同樣兩個函數線性組合的事實在很多數學領域包括微分方程和傅立葉變換中是重要的基本原理。
更多信息 , ...
函数
|
反函数
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
关闭
Abramowitz and Stegun, p. 78, 4.3.147
苏学孟. 求三角函数乘积的常用方法. 中学数学教学. 1995, (6) [2014-12-27]. (原始内容存档于2014-12-27).
Abramowitz and Stegun, p. 75, 4.3.89–90
Abramowitz and Stegun, p. 85, 4.5.68–69
- A one-page proof of many trigonometric identities using Euler's formula,by Connelly Barnes.
- Useful Formulae for Hong Kong Advanced Level Examination Pure Mathematics.