三角恆等式

維基百科,自由的百科全書
跳到: 導覽搜尋
在幾何上依據以O為中心的單位圓可以構造角θ的很多三角函數。
單位圓的角度

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

符號[編輯]

為了避免由於 sin−1(x) 的不同意思所帶來的混淆,我們經常用下列兩個表格來表示三角函數倒數反函數。在表示餘割函數時,'csc'有時會寫成比較長的 'cosec'。

函數 倒數
全寫 簡寫 全寫 簡寫
sine sin cosecant csc
cosine cos secant sec
tangent tan cotangent cot
函數 反函數
全寫 簡寫 全寫 簡寫
sine sin arcsine arcsin
cosine cos arccosine arccos
tangent tan arctangent arctan
cotangent cot arccotangent arccot
secant sec arcsecant arcsec
cosecant csc arccosecant arccsc


不同的角度度量適合於不同的情況。本表展示最常用的系統。弧度是缺省的角度量並用在指數函數中。所有角度度量都是無單位的。

相同角度的轉換表
角度單位
\mathbf{0} \tfrac{1}{12} \tfrac{1}{8} \tfrac{1}{6} \tfrac{1}{4} \tfrac{1}{2} \tfrac{3}{4} \mathbf{1}
角度 30° 45° 60° 90° 180° 270° 360°
弧度 \mathbf{0} \tfrac{\pi}{6} \tfrac{\pi}{4} \tfrac{\pi}{3} \tfrac{\pi}{2} \pi \tfrac{3\pi}{2} 2\pi
梯度 0^g 33\tfrac{1}{3}^g 50^g 66\tfrac{2}{3}^g 100^g 200^g 300^g 400^g

基本關係[編輯]

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

\sin^2 \theta + \cos^2 \theta = 1\,
\tan^2 \theta + 1\, = \sec^2 \theta
1\, + \cot^2 \theta = \csc^2 \theta

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

函數 sin cos tan cot sec csc
\sin \theta  \sin \theta\  \sqrt{1 - \cos^2\theta}  \frac{\tan\theta}{\sqrt{1 + \tan^2\theta}}  \frac{1}{\sqrt{1+\cot^2\theta}}  \frac{\sqrt{\sec^2 \theta - 1}}{\sec \theta}  \frac{1}{\csc \theta}
\cos \theta  \sqrt{1 - \sin^2\theta}  \cos \theta\  \frac{1}{\sqrt{1 + \tan^2 \theta}}  \frac{\cot \theta}{\sqrt{1 + \cot^2 \theta}}  \frac{1}{\sec \theta}  \frac{\sqrt{\csc^2\theta - 1}}{\csc \theta}
\tan \theta  \frac{\sin\theta}{\sqrt{1 - \sin^2\theta}}  \frac{\sqrt{1 - \cos^2\theta}}{\cos \theta}  \tan \theta\  \frac{1}{\cot \theta}  \sqrt{\sec^2\theta - 1}  \frac{1}{\sqrt{\csc^2\theta - 1}}
\cot \theta  {\sqrt{1 - \sin^2\theta} \over \sin \theta}  {\cos \theta \over \sqrt{1 - \cos^2\theta}}  {1 \over \tan\theta}  \cot\theta\  {1 \over \sqrt{\sec^2\theta - 1}}  \sqrt{\csc^2\theta - 1}
\sec \theta  {1 \over \sqrt{1 - \sin^2\theta}}  {1 \over \cos \theta}  \sqrt{1 + \tan^2\theta}  {\sqrt{1 + \cot^2\theta} \over \cot \theta} \sec\theta\  {\csc\theta \over \sqrt{\csc^2\theta - 1}}
\csc \theta  {1 \over \sin \theta}  {1 \over \sqrt{1 - \cos^2 \theta}}  {\sqrt{1 + \tan^2\theta} \over \tan \theta}  \sqrt{1 + \cot^2 \theta}  {\sec \theta \over \sqrt{\sec^2\theta - 1}}  \csc \theta\

其他函數的基本關係[編輯]

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

名稱 函數 [1]
正矢, versine \operatorname{versin}(\theta)
\operatorname{vers}(\theta)
\operatorname{ver}(\theta)
1 - \cos (\theta)
餘的正矢, vercosine \operatorname{vercosin}(\theta) 1 + \cos (\theta)
餘矢, coversine \operatorname{coversin}(\theta)
\operatorname{cvs}(\theta)
1 - \sin(\theta)
餘的餘矢, covercosine \operatorname{covercosin}(\theta) 1 + \sin(\theta)
半正矢 , haversine \operatorname{haversin}(\theta) \frac{1 - \cos (\theta)}{2}
餘的半正矢, havercosine \operatorname{havercosin}(\theta) \frac{1 + \cos (\theta)}{2}
半餘矢 , hacoversine
cohaversine
\operatorname{hacoversin}(\theta) \frac{1 - \sin (\theta)}{2}
餘的半餘矢, hacovercosine
cohavercosine
\operatorname{hacovercosin}(\theta) \frac{1 + \sin (\theta)}{2}
外正割 , exsecant \operatorname{exsec}(\theta) \sec(\theta) - 1
外餘割, excosecant \operatorname{excsc}(\theta) \csc(\theta) - 1
, chord \operatorname{crd}(\theta) 2\sin\left(\frac{\theta}{2}\right)
歐拉公式函數,
cosine and imaginary unit sine
\operatorname{cis}(\theta) \cos \theta + i\;\sin \theta
輻角,Argument \arg(x) \operatorname{Im}(\ln x)

對稱、移位和周期[編輯]

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

對稱[編輯]

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

反射於 \theta=0 反射於 \theta= \pi/2 反射於 \theta= \pi 反射於 \theta= 3\pi/2

\begin{align}
\sin(0-\theta) &= -\sin \theta \\
\cos(0-\theta) &= +\cos \theta \\
\tan(0-\theta) &= -\tan \theta \\
\cot(0-\theta) &= -\cot \theta \\
\sec(0-\theta) &= +\sec \theta \\
\csc(0-\theta) &= -\csc \theta 
\end{align}

\begin{align}
\sin(\tfrac{\pi}{2} - \theta) &= +\cos \theta \\
\cos(\tfrac{\pi}{2} - \theta) &= +\sin \theta \\
\tan(\tfrac{\pi}{2} - \theta) &= +\cot \theta \\
\cot(\tfrac{\pi}{2} - \theta) &= +\tan \theta \\
\sec(\tfrac{\pi}{2} - \theta) &= +\csc \theta \\
\csc(\tfrac{\pi}{2} - \theta) &= +\sec \theta 
\end{align}

\begin{align}
\sin(\pi - \theta) &= +\sin \theta \\
\cos(\pi - \theta) &= -\cos \theta \\
\tan(\pi - \theta) &= -\tan \theta \\
\cot(\pi - \theta) &= -\cot \theta \\
\sec(\pi - \theta) &= -\sec \theta \\
\csc(\pi - \theta) &= +\csc \theta 
\end{align}

\begin{align}
\sin(\tfrac{3\pi}{2} - \theta) &= -\cos \theta \\
\cos(\tfrac{3\pi}{2} - \theta) &= -\sin \theta \\
\tan(\tfrac{3\pi}{2} - \theta) &= +\cot \theta \\
\cot(\tfrac{3\pi}{2} - \theta) &= +\tan \theta \\
\sec(\tfrac{3\pi}{2} - \theta) &= -\csc \theta \\
\csc(\tfrac{3\pi}{2} - \theta) &= -\sec \theta 
\end{align}

移位和周期[編輯]

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

移位 \frac{\pi}{2} 移位 \pi
\tan\cot 的周期
移位 \frac{3\pi}{2} 移位 2\pi
\sin, \cos, \csc\sec 的周期

\begin{align}
\sin(\theta + \tfrac{\pi}{2}) &= +\cos \theta \\
\cos(\theta + \tfrac{\pi}{2}) &= -\sin \theta \\
\tan(\theta + \tfrac{\pi}{2}) &= -\cot \theta \\
\cot(\theta + \tfrac{\pi}{2}) &= -\tan \theta \\
\sec(\theta + \tfrac{\pi}{2}) &= -\csc \theta \\
\csc(\theta + \tfrac{\pi}{2}) &= +\sec \theta 
\end{align}

\begin{align}
\sin(\theta + \pi) &= -\sin \theta \\
\cos(\theta + \pi) &= -\cos \theta \\
\tan(\theta + \pi) &= +\tan \theta \\
\cot(\theta + \pi) &= +\cot \theta \\
\sec(\theta + \pi) &= -\sec \theta \\
\csc(\theta + \pi) &= -\csc \theta 
\end{align}

\begin{align}
\sin(\theta + \tfrac{3\pi}{2}) &= -\cos \theta \\
\cos(\theta + \tfrac{3\pi}{2}) &= +\sin \theta \\
\tan(\theta + \tfrac{3\pi}{2}) &= -\cot \theta \\
\cot(\theta + \tfrac{3\pi}{2}) &= -\tan \theta \\
\sec(\theta + \tfrac{3\pi}{2}) &= +\csc \theta \\
\csc(\theta + \tfrac{3\pi}{2}) &= -\sec \theta 
\end{align}

\begin{align}
\sin(\theta + 2\pi) &= +\sin \theta \\
\cos(\theta + 2\pi) &= +\cos \theta \\
\tan(\theta + 2\pi) &= +\tan \theta \\
\cot(\theta + 2\pi) &= +\cot \theta \\
\sec(\theta + 2\pi) &= +\sec \theta \\
\csc(\theta + 2\pi) &= +\csc \theta 
\end{align}

角的和差恆等式[編輯]

展示正弦和餘弦的角和公式,強調的線段是單位長度。
展示正切的角和公式,強調的線段是單位長度。

它們也叫做「和差定理」或「和差公式」。最快的證明方式是歐拉公式

正弦 \sin(\theta\pm\psi)=\sin\theta\cos\psi\pm\cos\theta\sin\psi\,
餘弦 \cos(\theta\pm\psi)=\cos\theta\cos\psi\mp\sin\theta\sin\psi\,
正切 \tan(\theta\pm\psi)=\frac{\tan\theta\pm\tan\psi}{1\mp\tan\theta\tan\psi}
餘切 \cot(\theta\pm\psi)=\frac{\cot\theta\cot\psi\mp1}{\cot\psi\pm\cot\theta}
正割 \sec(\theta\pm\psi)=\frac{\sec\theta\sec\psi}{1\mp\tan\theta\tan\psi}
餘割 \csc(\theta\pm\psi)=\frac{\csc\theta\csc\psi}{\cot\psi\pm\cot\theta}
注意正負號的對應。

\begin{align}x \pm y = a \pm b &\Rightarrow \ x + y = a + b \\ &\mbox{and} \ x -y = a -b \end{align}
\begin{align}
x \pm y = a \mp b &\Rightarrow \ x + y = a - b \\ &\mbox{and}\  x - y = a + b\end{align}

正弦與餘弦的無限多項和[編輯]

 \sin\left(\sum_{i=1}^\infty \theta_i\right)
=\sum_{\mathrm{odd}\  k \ge 1} (-1)^{(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 \ge 0} ~ (-1)^{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 遍歷集合 { 1, 2, 3, ... } 的大小為 k 的所有子集的集合。

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

如果只有有限多項 \theta_i 是非零,則在右邊只有有限多項是非零,因為正弦因子將變為零,而在每個項中,所有卻有限多的餘弦因子將是單位一。

正切的有限多項和[編輯]

xi = tan(θi ),對於 i = 1, ..., n。設 ek 是變量 xi, i = 1, ..., n, k = 0, ..., nk基本對稱多項式。則

\tan(\theta_1+\cdots+\theta_n) = \frac{e_1 - e_3 + e_5 -\cdots}{e_0 - e_2 + e_4 - \cdots},

項的數目依賴於 n。 例如,

 \begin{align} \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{align}

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

多倍角公式[編輯]

Tnn切比雪夫多項式 \cos n\theta =T_n \cos \theta \,
Snn伸展多項式 \sin^2 n\theta = S_n \sin^2\theta\,
棣莫弗定理i虛單位 \cos n\theta +i\sin n\theta=(\cos(\theta)+i\sin(\theta))^n \,
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(x/2)}.

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

二倍角、三倍角和半角公式[編輯]

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

二倍角公式 \begin{align}
\sin 2\theta &= 2 \sin \theta \cos \theta \ \\ &= \frac{2 \tan \theta} {1 + \tan^2 \theta}
\end{align} \begin{align}\tan 2\theta &= \frac{2 \tan \theta} {1 - \tan^2 \theta} \ \\ &= \frac{1}{1-\tan\theta}-\frac{1}{1+\tan\theta}\end{align} \sec 2\theta = \frac{\sec^2\theta}{1-\tan^2\theta}
\begin{align}
\cos 2\theta &= \cos^2 \theta - \sin^2 \theta \\ &= 2 \cos^2 \theta - 1 \\ 
&= 1 - 2 \sin^2 \theta \\ &= \frac{1 - \tan^2 \theta} {1 + \tan^2 \theta}
\end{align} \cot 2\theta = \frac{\cot \theta - \tan \theta}{2}\, \csc 2\theta = \frac{\csc^2\theta}{2\cot\theta}
=\frac{\sec\theta\csc\theta}{2}
三倍角公式 \sin 3\theta = 3 \sin \theta- 4 \sin^3\theta \, \tan 3\theta = \frac{3 \tan\theta - \tan^3\theta}{1 - 3 \tan^2\theta} \sec 3\theta =\frac{\sec^3\theta}{4-3 \sec^2\theta}
\cos 3\theta = 4 \cos^3\theta - 3 \cos \theta \, \cot 3\theta =\frac{\cot^3\theta - 3\cot\theta}{3 \cot^2\theta-1} \csc 3\theta =\frac{\csc^3\theta}{3\csc^2\theta-4}
半角公式 \sin \frac{\theta}{2} = \pm\, \sqrt{\frac{1 - \cos \theta}{2}} \begin{align} \tan \frac{\theta}{2} &= \csc \theta - \cot \theta \\ &= \pm\, \sqrt{1 - \cos \theta \over 1 + \cos \theta} \\ &= \frac{\sin \theta}{1 + \cos \theta} \\ &= \frac{1-\cos \theta}{\sin \theta} \\ &= \frac{\cos \theta+\sin \theta-1}{\cos \theta-\sin \theta+1} \end{align} \sec \frac{\theta}{2} = \pm\, \sqrt{\frac{2\sec\theta}{\sec\theta + 1}}
\cos \frac{\theta}{2} = \pm\, \sqrt{\frac{1 + \cos\theta}{2}} \begin{align} \cot \frac{\theta}{2} &= \csc \theta + \cot \theta \\ &= \pm\, \sqrt{1 + \cos \theta \over 1 - \cos \theta} \\ &= \frac{\sin \theta}{1 - \cos \theta} \\ &= \frac{1 + \cos \theta}{\sin \theta}\\ &= \frac{\cos \theta-\sin \theta+1}{\cos \theta+\sin \theta-1} \end{align} \csc \frac{\theta}{2} = \pm\, \sqrt{\frac{2\sec\theta}{\sec\theta - 1}}

n倍角公式[編輯]

n倍角公式
\sin n\theta = \sum_{k=0}^n \binom{n}{k} \cos^k \theta\,\sin^{n-k} \theta\,\sin\left(\frac{1}{2}(n-k)\pi\right)
=\sin \theta \sum_{k=0}^{\lfloor \frac{n-1}{2}\rfloor}(-1)^k \binom{n-1-k}{k}~(2\cos \theta)^{n-1-2k}(第二類切比雪夫多項式
\cos n\theta = \sum_{k=0}^n \binom{n}{k} \cos^k \theta\,\sin^{n-k} \theta\,\cos\left(\frac{1}{2}(n-k)\pi\right)
=\sum_{k=0}^{\lfloor \frac{n}{2}\rfloor}(-1)^k \frac{n}{n-k} \binom{n-k}{k}~(2\cos \theta)^{n-2k}(第一類切比雪夫多項式
\tan n\theta = \frac{\displaystyle \sum_{k=1}^{\left[\frac{n}{2}\right]} (-1)^{k+1} \binom{n}{2k-1} \tan^{2k-1}\theta}{\displaystyle \sum_{k=1}^{\left[\frac{n+1}{2}\right]} (-1)^{k+1} \binom{n}{2(k-1)} \tan^{2(k-1)}\theta}
n倍遞迴公式
\tan\,n\theta = \frac{\tan (n{-}1)\theta + \tan \theta}{1 - \tan (n{-}1)\theta\,\tan \theta}\cot\,n\theta = \frac{\cot (n{-}1)\theta\,\cot \theta - 1}{\cot (n{-}1)\theta + \cot \theta}.(遞迴關係)

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

其他函數的倍半角公式[編輯]

正矢
  • \operatorname{versin} 2\theta = 2\sin^2\theta
餘矢
  • \operatorname{cvs} 2\theta = (\sin\theta-\cos\theta)^2

冪簡約公式[編輯]

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

正弦 餘弦 其他
\sin^2\theta = \frac{1 - \cos 2\theta}{2} \cos^2\theta = \frac{1 + \cos 2\theta}{2} \sin^2\theta \cos^2\theta = \frac{1 - \cos 4\theta}{8}
\sin^3\theta = \frac{3 \sin\theta - \sin 3\theta}{4} \cos^3\theta = \frac{3 \cos\theta + \cos 3\theta}{4} \sin^3\theta \cos^3\theta = \frac{3\sin 2\theta - \sin 6\theta}{32}
\sin^4\theta = \frac{3 - 4 \cos 2\theta + \cos 4\theta}{8} \cos^4\theta = \frac{3 + 4 \cos 2\theta + \cos 4\theta}{8} \sin^4\theta \cos^4\theta = \frac{3-4\cos 4\theta + \cos 8\theta}{128}
\sin^5\theta = \frac{10 \sin\theta - 5 \sin 3\theta + \sin 5\theta}{16} \cos^5\theta = \frac{10 \cos\theta + 5 \cos 3\theta + \cos 5\theta}{16} \sin^5\theta \cos^5\theta = \frac{10\sin 2\theta - 5\sin 6\theta + \sin 10\theta}{512}

可以用一個式子表達(參閱英文的三角恆等式頁面)

餘弦 正弦
如果n是奇數 \cos^n\theta = \frac{2}{2^n} \sum_{k=0}^{\frac{n-1}{2}} \binom{n}{k} \cos{((n-2k)\theta)} \sin^n\theta = \frac{2}{2^n} \sum_{k=0}^{\frac{n-1}{2}} (-1)^{(\frac{n-1}{2}-k)} \binom{n}{k} \sin{((n-2k)\theta)}
如果n是偶數 \cos^n\theta = \frac{1}{2^n} \binom{n}{\frac{n}{2}} + \frac{2}{2^n} \sum_{k=0}^{\frac{n}{2}-1} \binom{n}{k} \cos{((n-2k)\theta)} \sin^n\theta = \frac{1}{2^n} \binom{n}{\frac{n}{2}} + \frac{2}{2^n} \sum_{k=0}^{\frac{n}{2}-1} (-1)^{(\frac{n}{2}-k)} \binom{n}{k} \cos{((n-2k)\theta)}

常見的恆等式[編輯]

積化和差與和差化積恆等式[編輯]

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

積化和差
\sin\theta\sin\phi={\cos(\theta+\phi)-\cos(\theta-\phi)\over-2}
\cos\theta\cos\phi={\cos(\theta-\phi)+\cos(\theta+\phi)\over2}
\sin\theta\cos\phi={\sin(\theta+\phi)+\sin(\theta-\phi)\over2}
\cos\theta\sin\phi={\sin(\theta+\phi)-\sin(\theta-\phi)\over2}
和差化積
\sin\theta+\sin\phi=2\sin\frac{\theta+\phi}{2}\cos\frac{\theta-\phi}{2}
\cos\theta+\cos\phi=2\cos\frac{\theta+\phi}{2}\cos\frac{\theta-\phi}{2}
\cos\theta-\cos\phi=-2\sin{\theta+\phi\over2}\sin{\theta-\phi\over2}
\sin\theta-\sin\phi=2\cos{\theta+\phi\over2}\sin{\theta-\phi\over2}

其他恆等式[編輯]

如果 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 \,任何一個是直角,則兩端都應為無窮大

如果 x + y + z = \pi  \,
那麼\sin 2x + \sin 2y + \sin 2z = 4\sin x\sin y\sin z.\,


\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}.\,

托勒密定理[編輯]

 \mbox{If }w + x + y + z = \pi = \mbox{half circle,} \,
\begin{align} \mbox{then }
&     \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{align}

(前三個等式是平凡的;第四個是這個恆等式的實質。)本質上這是使用三角學語言的托勒密定理

三角函數與雙曲函數的恆等式[編輯]

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

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

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

所以

\cosh ix = \tfrac12(e^{i x} + e^{-i x}) = \cos x

\sinh ix = \tfrac12(e^{i x} - e^{-i x}) = i \sin x

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

三角函數 雙曲函數
\sin \theta =-i\sinh{i\theta}\, \sinh{\theta}=i\sin{(-i\theta)}\,
\cos{\theta}=\cosh{i\theta}\, \cosh{\theta}=\cos{(-i\theta)}\,
\tan \theta =-i\tanh{i\theta}\, \tanh{\theta}=i\tan{(-i\theta)}\,
\cot{\theta}=i\coth{i\theta}\, \coth \theta =-i\cot{(-i\theta)}\,
\sec{\theta}=\operatorname{sech}{\,i\theta}\, \operatorname{sech}{\theta}=\sec{(-i\theta)}\,
\csc{\theta}=i\;\operatorname{csch}{\, i\theta}\, \operatorname{csch} \theta =-i\csc{(-i\theta)}\,
  • 其他恆等式:
\cosh ix = \tfrac12(e^{i x} + e^{-i x}) = \cos x
\sinh ix = \tfrac12(e^{i x} - e^{-i x}) = 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)\,

這裡的

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


更一般的說,對於任何相位移動,我們有

a\sin x+b\sin(x+\alpha)= c \sin(x+\beta)\,

這裡


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


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

反三角函數[編輯]

 \arcsin x+\arccos x=\frac{\pi}{2}\;
 \arctan x+\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.
\sin ( \arccos x)=\sqrt{1-x^2} \,
\sin ( \arctan x)=\frac{x}{\sqrt{1+x^2}}
\cos ( \arctan x)=\frac{1}{\sqrt{1+x^2}}
\cos ( \arcsin x)=\sqrt{1-x^2} \,
\tan ( \arcsin x)=\frac{x}{\sqrt{1 - x^2}}
\tan ( \arccos x)=\frac{\sqrt{1 - x^2}}{x}

無限乘積公式[編輯]

為了用於特殊函數,有下列三角函數無窮乘積公式[2][3]

\sin x = x \prod_{n = 1}^\infty\left(1 - \frac{x^2}{\pi^2 n^2}\right)
\sinh x = x \prod_{n = 1}^\infty\left(1 + \frac{x^2}{\pi^2 n^2}\right)
\frac{\sin x}{x} = \prod_{n = 1}^\infty\cos\left(\frac{x}{2^n}\right)
\cos x = \prod_{n = 1}^\infty\left(1 - \frac{x^2}{\pi^2(n - \frac{1}{2})^2}\right)
\cosh x = \prod_{n = 1}^\infty\left(1 + \frac{x^2}{\pi^2(n - \frac{1}{2})^2}\right)
|\sin x| = \frac1{2}\prod_{n = 0}^\infty \sqrt[2^{n+1}]{\left|\tan\left(2^n x\right)\right|}

微積分[編輯]

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

\lim_{x\rightarrow 0}\frac{\sin x}{x}=1

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

\lim_{x\rightarrow 0}\frac{1-\cos x}{x}=0

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

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

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


\begin{align}
{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} \arccot x &=-{1 \over 1 + x^2}             \\  \\
{d \over dx} \sec x &= \tan x \sec x  ,& {d \over dx} \arcsec x &={ 1 \over |x|\sqrt{x^2 - 1}}   \\  \\
{d \over dx} \csc x &= -\csc x \cot x ,& {d \over dx} \arccsc x &=-{1 \over |x|\sqrt{x^2 - 1}}
\end{align}

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

蘊涵[編輯]

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

指數定義[編輯]

函數 反函數
\sin \theta = \frac{e^{{\mathrm{i}}\theta} - e^{-{\mathrm{i}}\theta}}{2{\mathrm{i}}} \, \arcsin x = -{\mathrm{i}}\ln \left({\mathrm{i}}x + \sqrt{1 - x^2}\right) \,
\cos \theta = \frac{e^{{\mathrm{i}}\theta} + e^{-{\mathrm{i}}\theta}}{2} \, \arccos x = -{\mathrm{i}}\ln \left(x + \sqrt{x^2 - 1}\right) \,


\tan \theta = \frac{e^{{\mathrm{i}}\theta} - e^{-{\mathrm{i}}\theta}}{{\mathrm{i}}(e^{{\mathrm{i}}\theta} + e^{-{\mathrm{i}}\theta})} \, \arctan x = \frac{\mathrm{i}}{2}\ln \left(\frac{{\mathrm{i}}+ x}{{\mathrm{i}}- x}\right)\,
\csc \theta = \frac{2{\mathrm{i}}}{e^{{\mathrm{i}}\theta} - e^{-{\mathrm{i}}\theta}} \, \arccsc x = -{\mathrm{i}}\ln \left(\tfrac{\mathrm{i}}{x} + \sqrt{1 - \tfrac{1}{x^2}}\right) \,
\sec \theta = \frac{2}{e^{{\mathrm{i}}\theta} + e^{-{\mathrm{i}}\theta}} \, \arcsec x = -{\mathrm{i}}\ln \left(\tfrac{1}{x} + \sqrt{1 - \tfrac{\mathrm{i}}{x^2}}\right) \,
\cot \theta = \frac{{\mathrm{i}}(e^{{\mathrm{i}}\theta} + e^{-{\mathrm{i}}\theta})}{e^{{\mathrm{i}}\theta} - e^{-{\mathrm{i}}\theta}} \, \arccot x = \frac{\mathrm{i}}{2}\ln \left(\frac{{\mathrm{i}}- x}{{\mathrm{i}}+ x}\right) \,
\operatorname{cis} \, \theta = e^{{\mathrm{i}}\theta} \, \operatorname{arccis} \, x =-{\mathrm{i}} \ln x \,

參見[編輯]

參考文獻[編輯]

  1. ^ Abramowitz and Stegun, p. 78, 4.3.147
  2. ^ Abramowitz and Stegun, p. 75, 4.3.89–90
  3. ^ Abramowitz and Stegun, p. 85, 4.5.68–69