积化和差恒等式

在數學中，**三角恆等式**是對出現的所有值都為實變量，涉及到三角函數的等式。這些恆等式在表達式中有些三角函數需要簡化的時候是很有用的。一個重要應用是非三角函數的積分：一個常用技巧是首先使用使用三角函數的代換規則，則通過三角恆等式可簡化結果的積分。

## 符號

為了避免由於 $\sin ^{-1}x$ 的不同意思所帶來的混淆，我們經常用下列兩個表格來表示三角函數的倒數和反函數。另外在表示餘割函數時，' $\csc $ ' 有時會寫成比較長的' $\mathrm {cocsc} $ '。

不同的角度度量適合於不同的情況。本表展示最常用的系統。弧度是預設的角度量並用在指數函數中。所有角度度量都是無單位的。另外在計算機中角度的符號為 D，弧度的符號為 R，梯度的符號為 G。

## 基本關係

畢達哥拉斯三角恆等式如下：

由上面的平方關係加上三角函數的基本定義，可以導出下面的表格，即每個三角函數都可以用其他五個表達。（嚴謹地說，所有根號前都應根據實際情況添加正負號）

### 其他函數的基本關係

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

## 對稱、移位和周期

通過檢視單位圓，可確立三角函數的下列性質：

### 對稱

當三角函數反射自某個特定的 $\theta $ 值，結果經常是另一個其他三角函數。這導致了下列恆等式：

### 移位和周期

通過旋轉特定角度移位三角函數，經常可以找到更簡單的表達結果的不同的三角函數。例如通過旋轉 ${\tfrac {\pi }{2}}$ 、 $\pi $ 和 $2\pi $ 弧度移位函數。因為這些函數的周期要麼是 $\pi $ 要麼是 $2\pi $ ，新函數和沒有移位的舊函數完全一樣。

## 角的和差恆等式

它們也叫做「和差定理」、「和差公式」或「和角公式」。最快速簡要的檢定方式是使用歐拉公式。

### 正弦與餘弦的無限多項和

　
: $\sin \left(\sum _{i=1}^{\infty }\theta _{i}\right)=\sum _{{\mathrm {odd} }\ k\geq 1}(-1)^{\frac {k-1}{2}}\sum _{|A|=k}\left(\prod _{i\in A}\sin \theta _{i}\prod _{i\not \in A}\cos \theta _{i}\right)$

　
: $\cos \left(\sum _{i=1}^{\infty }\theta _{i}\right)=\sum _{{\mathrm {even} }\ k\geq 0}~(-1)^{\frac {k}{2}}~~\sum _{|A|=k}\left(\prod _{i\in A}\sin \theta _{i}\prod _{i\not \in A}\cos \theta _{i}\right)$

這裡的 " $|A|=k$ " 意味著索引 $A$ 遍歷集合 $\left\{1,2,3,\ldots \right\}$ 的大小為 $k$ 的所有子集的集合。

在這兩個恆等式中出現了在有限多項中不出現的不對稱：在每個乘積中，只有有限多個正弦因子和餘有限多個餘弦因子。

如果只有有限多項 $\theta _{i}$ 是非零，則在右邊只有有限多項是非零，因為正弦因子將變為零，而在每個項中，所有卻有限多的餘弦因子將是單位一。

### 正切的有限多項和

設 $x_{i}=\tan \theta _{i}$ ，對於 $i=1,\ldots ,n$ 。設 $e_{k}$ 是變量 $x_{i}$ ， $i=1,\ldots ,n$ ， $k=0,\ldots ,n$ 的 _$k$_ 次基本對稱多項式。則

　
: $\tan(\theta _{1}+\cdots +\theta _{n})={\frac {e_{1}-e_{3}+e_{5}-\cdots }{e_{0}-e_{2}+e_{4}-\cdots }},$

項的數目依賴於 $n$ 。例如，

　
: ${\begin{aligned}\tan(\theta _{1}+\theta _{2}+\theta _{3})&{}={\frac {e_{1}-e_{3}}{e_{0}-e_{2}}}={\frac {(x_{1}+x_{2}+x_{3})\ -\ (x_{1}x_{2}x_{3})}{1\ -\ (x_{1}x_{2}+x_{1}x_{3}+x_{2}x_{3})}},\\\\\tan(\theta _{1}+\theta _{2}+\theta _{3}+\theta _{4})&{}={\frac {e_{1}-e_{3}}{e_{0}-e_{2}+e_{4}}}\\\\&{}={\frac {(x_{1}+x_{2}+x_{3}+x_{4})\ -\ (x_{1}x_{2}x_{3}+x_{1}x_{2}x_{4}+x_{1}x_{3}x_{4}+x_{2}x_{3}x_{4})}{1\ -\ (x_{1}x_{2}+x_{1}x_{3}+x_{1}x_{4}+x_{2}x_{3}+x_{2}x_{4}+x_{3}x_{4})\ +\ (x_{1}x_{2}x_{3}x_{4})}},\end{aligned}}$

並以此類推。一般情況可通過數學歸納法證明。

## 多倍角公式

　
: $1+2\cos x+2\cos 2x+2\cos 3x+\cdots +2\cos(nx)={\frac {\sin \left[\left(n+{\frac {1}{2}}\right)x\right]}{\sin {\frac {x}{2}}}}$ 。

（這個 $x$ 的函數是狄利克雷核。）

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

這些公式可以使用和差恆等式或多倍角公式來證明。

### n 倍角公式

參見正切半角公式，它也叫做「萬能公式」。

### 其他函數的倍半角公式

**正矢**

 * $\operatorname {versin} 2\theta =2\sin ^{2}\theta ={\frac {(\sin 2\theta )(\sin \theta )}{\cos \theta }}=1-\cos 2\theta $

**餘矢**

 * $\operatorname {cvs} 2\theta =(\sin \theta -\cos \theta )^{2}=1-\sin 2\theta $

## 冪簡約公式

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

 

## 數值連乘

　
: $\prod _{k=0}^{n-1}\cos 2^{k}\theta ={\frac {\sin 2^{n}\theta }{2^{n}\sin \theta }}$

　
: $\prod _{k=0}^{n-1}\sin \left(x+{\frac {k\pi }{n}}\right)={\frac {\sin nx}{2^{n-1}}}$

　
: $\prod _{k=1}^{n-1}\sin \left({\frac {k\pi }{n}}\right)={\frac {n}{2^{n-1}}}$ , $\prod _{k=1}^{n-1}\sin \left({\frac {k\pi }{2n}}\right)={\frac {\sqrt {n}}{2^{n-1}}}$ , $\prod _{k=1}^{n}\sin \left({\frac {k\pi }{2n+1}}\right)={\frac {\sqrt {2n+1}}{2^{n}}}$

　
: $\prod _{k=1}^{n-1}\cos \left({\frac {k\pi }{n}}\right)={\frac {\sin {\frac {n\pi }{2}}}{2^{n-1}}}$ , $\prod _{k=1}^{n-1}\cos \left({\frac {k\pi }{2n}}\right)={\frac {\sqrt {n}}{2^{n-1}}}$ , $\prod _{k=1}^{n}\cos \left({\frac {k\pi }{2n+1}}\right)={\frac {1}{2^{n}}}$

　
: $\prod _{k=1}^{n-1}\tan \left({\frac {k\pi }{n}}\right)={\frac {n}{\sin {\frac {n\pi }{2}}}}$ , $\prod _{k=1}^{n-1}\tan \left({\frac {k\pi }{2n}}\right)=1$ , $\prod _{k=1}^{n}\tan {\frac {k\pi }{2n+1}}={\sqrt {2n+1}}$

## 常見的恆等式

### 積化和差與和差化積恆等式

數學家韋達在其三角學著作《應用於三角形的數學定律》給出積化和差與和差化積恆等式。積化和差恆等式可以通過展開角的和差恆等式的右手端來證明。

### 平方差公式

$$
\sin(x+y)\sin(x-y)=\sin ^{2}{x}-\sin ^{2}{y}=\cos ^{2}{y}-\cos ^{2}{x}\,
$$

$$
\cos(x+y)\cos(x-y)=\cos ^{2}{x}-\sin ^{2}{y}=\cos ^{2}{y}-\sin ^{2}{x}\,
$$

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

### 其他恆等式

　
: 如果 $x+y+z=n\pi $ ，

　
: 那麼 $\tan x+\tan y+\tan z=\tan x\tan y\tan z$

　
: $\cot x\cot y+\cot y\cot z+\cot z\cot x=1$

　
: 如果 $x+y+z=n\pi +{\frac {\pi }{2}}$ ，

　
: 那麼 $\tan x\tan y+\tan y\tan z+\tan z\tan x=1$

　
: $\cot x+\cot y+\cot z=\cot x\cot y\cot z$

　
: 如果 $x+y+z=\pi $ ，

　
: 那麼 $\sin 2x+\sin 2y+\sin 2z=4\sin x\sin y\sin z$

　
: $\sin x+\sin y+\sin z=4\cos {\frac {x}{2}}\cos {\frac {y}{2}}\cos {\frac {z}{2}}$

　
: $\cos x+\cos y+\cos z=1+4\sin {\frac {x}{2}}\sin {\frac {y}{2}}\sin {\frac {z}{2}}$

#### 托勒密定理

　
: 如果 $w+x+y+z=\pi $ （半圓）

　
: 那麼:

　
: ${\begin{aligned}\sin(w+x)\sin(x+y)&=\sin(x+y)\sin(y+z)\\&=\sin(y+z)\sin(z+w)\\&{}=\sin(z+w)\sin(w+x)\\&{}=\sin w\sin y+\sin x\sin z\end{aligned}}$

（前三個等式是一般情況；第四個是本質。）

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

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

$$
e^{ix}=\cos x+i\;\sin x,\;e^{-ix}=\cos x-i\;\sin x
$$

$$
e^{x}=\cosh x+\sinh x\!,\;e^{-x}=\cosh x-\sinh x\!
$$

所以

$$
\cosh ix={\tfrac {1}{2}}(e^{ix}+e^{-ix})=\cos x
$$

$$
\sinh ix={\tfrac {1}{2}}(e^{ix}-e^{-ix})=i\sin x
$$

下表列出部分的三角函數與雙曲函數的恆等式：

* 其他恆等式：

　
: $\cosh ix={\tfrac {1}{2}}(e^{ix}+e^{-ix})=\cos x$

　
: $\sinh ix={\tfrac {1}{2}}(e^{ix}-e^{-ix})=i\sin x$

　
: $\cosh(x+iy)=\cosh(x)\cos(y)+i\sinh(x)\sin(y)\,$

　
: $\sinh(x+iy)=\sinh(x)\cos(y)+i\cosh(x)\sin(y)\,$

　
: $\tanh ix=i\tan x\,$

　
: $\cosh x=\cos ix\,$

　
: $\sinh x=-i\sin ix\,$

　
: $\tanh x=-i\tan ix\,$

## 線性組合

對於某些用途，知道同樣周期但不同相位移動的正弦波的任何線性組合是有相同周期但不同相位移動的正弦波是重要的。在正弦和餘弦波的線性組合的情況下，我們有

　
: $a\sin x+b\cos x={\sqrt {a^{2}+b^{2}}}\cdot \sin(x+\varphi )\;(a>0)$

這裡的

　
: $\varphi =\arctan \left({\frac {b}{a}}\right)$

這個公式也叫輔助角公式或李善蘭公式。更一般的說，對於任何相位移動，我們有

　
: $a\sin x+b\sin(x+\alpha )=c\sin(x+\beta )\;(a+b\cos x>0)$

這裡

　
: $c={\sqrt {a^{2}+b^{2}+2ab\cos \alpha }},$

而

　
: $\beta =\arctan \left({\frac {b\sin \alpha }{a+b\cos \alpha }}\right)$

## 反三角函數

　
: $\arcsin x+\arccos x={\frac {\pi }{2}}\;$

　
: $\arctan x+\operatorname {arccot} x={\frac {\pi }{2}}.\;$

　
: $\arctan x+\arctan {\frac {1}{x}}=\left\{{\begin{matrix}{\frac {\pi }{2}},&{\mbox{if }}x>0\\-{\frac {\pi }{2}},&{\mbox{if }}x<0\end{matrix}}\right.$

　
: $\arctan x+\arctan y=\arctan {\frac {x+y}{1-xy}}+\left\{{\begin{matrix}\pi ,&{\mbox{if }}x,y>0\\-\pi ,&{\mbox{if }}x,y<0\\0,&{\mbox{otherwise }}\end{matrix}}\right.$

## 無限乘積公式

為了用於特殊函數，有下列三角函數無窮乘積公式：

## 微積分

在微積分中，下面陳述的關係要求角用弧度來度量；如果用其他方式比如角度來這些關係會變得更加複雜。如果三角函數以幾何的方式來定義，它們的導數可以通過驗證兩個極限而找到。第一個是：

　
: $\lim _{x\rightarrow 0}{\frac {\sin x}{x}}=1$

可以使用單位圓和夾擠定理來驗證。如果用洛必達法則來證明這個極限，那也就用這個極限證明了正弦的導數是餘弦，並因此在應用洛必達法則中使用正弦的導數是餘弦的事實，就是邏輯謬論中的循環論證了。第二個極限是：

　
: $\lim _{x\rightarrow 0}{\frac {1-\cos x}{x}}=0$

使用恆等式 $\tan {\frac {x}{2}}=1-{\frac {\cos x}{\sin x}}$ 驗證。已經確立了這兩個極限，你可以使用導數的極限定義和加法定理來證明 $\sin 'x=\cos x$ 和 $\cos 'x=-\sin x$ 。如果正弦和餘弦函數用它們的泰勒級數來定義，則導數可以通過冪級數逐項微分得到。

　
: ${d \over dx}\sin(x)=\cos(x)$

結果的三角函數可以使用上述恆等式和微分規則來做微分。

　
: ${\begin{aligned}{d \over dx}\sin x&=\cos x,&{d \over dx}\arcsin x&={1 \over {\sqrt {1-x^{2}}}}\\\\{d \over dx}\cos x&=-\sin x,&{d \over dx}\arccos x&=-{1 \over {\sqrt {1-x^{2}}}}\\\\{d \over dx}\tan x&=\sec ^{2}x,&{d \over dx}\arctan x&={1 \over 1+x^{2}}\\\\{d \over dx}\cot x&=-\csc ^{2}x,&{d \over dx}\operatorname {arccot} x&=-{1 \over 1+x^{2}}\\\\{d \over dx}\sec x&=\tan x\sec x,&{d \over dx}\operatorname {arcsec} x&={1 \over |x|{\sqrt {x^{2}-1}}}\\\\{d \over dx}\csc x&=-\csc x\cot x,&{d \over dx}\operatorname {arccsc} x&=-{1 \over |x|{\sqrt {x^{2}-1}}}\end{aligned}}$

在三角函數積分表中可以找到積分恆等式。

### 蘊涵

三角函數（正弦和餘弦）的微分是同樣兩個函數線性組合的事實在很多數學領域包括微分方程和傅立葉變換中是重要的基本原理。

## 指數定義

## 參見

* 餘弦定理
* 三角函數
* 正弦定理
* 正切定理
* 中線長公式
* 角平分線長公式
* 雙曲函數恆等式
* 三分之一角公式

## 註釋

## 參考文獻

### 引用

### 來源