三角恒等式

在几何上依据以O为中心的单位圆可以构造角θ的很多三角函数
三角函數示意圖
幾個三角函數的圖形,分別為正弦、餘弦、正切、餘切、正割、餘割和正矢。配色與上圖相同
单位圆的角度

数学中,三角恒等式是对出现的所有值都为實变量,涉及到三角函数的等式。这些恒等式在表达式中有些三角函数需要简化的时候是很有用的。一个重要应用是非三角函数的积分:一个常用技巧是首先使用使用三角函数的代换规则,则通过三角恒等式可简化结果的积分。

符号

[编辑]

为了避免由于的不同意思所带来的混淆,我們經常用下列兩個表格來表示三角函数倒数反函数。另外在表示余割函数時,''有时會寫成比較长的''。

函数 反函數 倒数
中文 全寫 簡寫 中文 全寫 簡寫 中文 全寫 簡寫
正弦 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

不同的角度度量适合于不同的情况。本表展示最常用的系统。弧度是缺省的角度量并用在指数函数中。所有角度度量都是无单位的。另外在計算機中角度的符號為D,弧度的符號為R,梯度的符號為G。

相同角度的轉換表
角度單位 計算機中代號
角度 D
弧度 R
梯度 G

基本關係

[编辑]
三角函數間的關係,可分成正函數餘函數

畢達哥拉斯三角恒等式如下:

由上面的平方關係加上三角函數的基本定義,可以導出下面的表格,即每個三角函數都可以用其他五個表達。(严谨地说,所有根号前都应根据实际情况添加正负号)

函數

其他函數的基本關係

[编辑]

正矢餘矢半正矢半餘矢外正割用於航行。例如半正矢可以計算球體上的兩個點之間的距離,但它們不常用。

名稱 函數 [1]
正矢, versine

餘的正矢, vercosine
餘矢, coversine
餘的餘矢, covercosine
半正矢, haversine
餘的半正矢, havercosine
半餘矢, hacoversine
cohaversine
餘的半餘矢, hacovercosine
cohavercosine
外正割,exsecant
外餘割,excosecant
弦函數, chord
純虛數指數函數,
cosine and imaginary unit sine
輻角,Argument

對稱、移位和周期

[编辑]

通過檢視單位圓,可確立三角函數的下列性質,這些性質也被稱為誘導公式

對稱

[编辑]

當三角函数反射自某个特定的值,結果經常是另一个其他三角函數。這導致了下列恆等式:

反射於 反射於 反射於 反射於

移位和周期

[编辑]

通過旋轉特定角度移位三角函數,經常可以找到更簡單的表達结果的不同的三角函數。例如通過旋轉弧度移位函數。因爲這些函數的周期要麼是要麼是,所以新函數和沒有移位的舊函數完全一樣。

移位 移位 移位 移位
的周期 , , 的周期


角的和差恆等式

[编辑]
正弦與餘弦的角和公式的圖形證明法。使用了相似三角形的性質與三角函數的定義,強調的線段是單位長度
正切的角和公式的圖形證明法。使用了相似三角形的性質與三角函數的定義,強調的線段是單位長度。

又稱做“和差定理”、“和差公式”或“和角公式”。最簡要的檢定方式是使用歐拉公式[註 1]

正弦
余弦
正切
余切
正割
余割
注意正負號的對應。


根据,以及和差恒等式,可以得到同角的正弦余弦的和差关系,例如,

正弦與余弦的無限多項和

[编辑]

這里的""意味著索引遍歷集合的大小為的所有子集的集合。

在这两个恒等式中出现了在有限多项中不出现的不对称:在每个乘积中,只有有限多个正弦因子和餘有限多个余弦因子。

如果只有有限多项是非零,则在右边只有有限多项是非零,因为正弦因子将变为零,而在每个项中,所有却有限多的余弦因子将是单位一。

正切的有限多项和

[编辑]

,对于。设是变量基本对称多项式。则

项的数目依赖于。例如,

并以此类推。一般情况可通过数学归纳法证明。

多倍角公式

[编辑]
切比雪夫多项式
伸展多项式
棣莫弗定理虚单位

(這個的函數是狄利克雷核。)

雙倍角、三倍角和半角公式

[编辑]

這些公式可以使用和差恒等式或多倍角公式来证明。

雙倍角公式
降次公式
三倍角公式
半角公式

n倍角公式

[编辑]
倍角公式

(第二类切比雪夫多项式

(第一类切比雪夫多项式

倍遞迴公式
。(遞迴關係)

参见正切半角公式,它也叫做“万能公式”。

其他函數的倍半角公式

[编辑]
正矢
餘矢

幂简约公式

[编辑]

从解余弦二倍角公式的第二和第三版本得到。

正弦 餘弦 其他


餘弦 正弦
如果奇數
如果偶數

数值连乘

[编辑]
[2]
[2]
,,
,,
,,

常見的恆等式

[编辑]

积化和差与和差化积恆等式

[编辑]

數學家韋達在其三角學著作《應用於三角形的數學定律》給出积化和差与和差化积恒等式。积化和差恒等式可以通过展开角的和差恒等式的右手端来证明。

积化和差 和差化积

平方差公式

[编辑]

(可藉由積化和差公式+2倍角公式推導而來)

其他恆等式

[编辑]
如果
那么
如果
那么
如果
那么

托勒密定理

[编辑]
如果(半圆)
那么:

(前三个等式是一般情况;第四个是本质。)

三角函數與雙曲函數的恆等式

[编辑]

利用三角恒等式的指數定義雙曲函數的指數定義即可求出下列恆等式: