POINT
- 複数の三角関数の和を計算する.
- 物理的には,単振動を複数合成することを意味する.
- オイラーの公式を用いて導出することもできる.
三角関数の合成
まずは,$\sin$と$\cos$の合成公式を復習しましょう:三角関数の合成
\begin{aligned}
& a\sin\theta+b\cos\theta \\
&=\sqrt{a^2+b^2}\sin(\theta+\alpha)
\end{aligned}
と変形できる.但し,$\alpha$は& a\sin\theta+b\cos\theta \\
&=\sqrt{a^2+b^2}\sin(\theta+\alpha)
\end{aligned}
\begin{aligned}
\cos\alpha
&=\frac{a}{\sqrt{a^2+b^2}} \\
\sin\alpha
&=\frac{b}{\sqrt{a^2+b^2}}
\end{aligned}
で定義される.\cos\alpha
&=\frac{a}{\sqrt{a^2+b^2}} \\
\sin\alpha
&=\frac{b}{\sqrt{a^2+b^2}}
\end{aligned}
\begin{aligned}
& a\sin\theta+b\cos\theta \\
&=\sqrt{a^2+b^2} \\
&\quad \times \biggl( \sin\theta \cdot \frac{a}{\sqrt{a^2+b^2}}
+ \cos\theta \cdot \frac{b}{\sqrt{a^2+b^2}} \biggr) \\
&=\sqrt{a^2+b^2} ( \sin\theta\cos\alpha + \cos\theta \sin\alpha ) \\
&=\sqrt{a^2+b^2}\sin(\theta+\alpha)
\end{aligned}
但し,三辺が$a$,$b$,$\sqrt{a^2+b^2}$の直角三角形を考えて,$\cos\alpha=\dfrac{a}{\sqrt{a^2+b^2}}$,$\sin\alpha=\dfrac{b}{\sqrt{a^2+b^2}}$とした.//& a\sin\theta+b\cos\theta \\
&=\sqrt{a^2+b^2} \\
&\quad \times \biggl( \sin\theta \cdot \frac{a}{\sqrt{a^2+b^2}}
+ \cos\theta \cdot \frac{b}{\sqrt{a^2+b^2}} \biggr) \\
&=\sqrt{a^2+b^2} ( \sin\theta\cos\alpha + \cos\theta \sin\alpha ) \\
&=\sqrt{a^2+b^2}\sin(\theta+\alpha)
\end{aligned}
複数の三角関数
三角関数の合成公式は,複数の三角関数の和にも一般化できます.$\cos\theta=\sin(\theta+\pi/2)$により$\cos$は全て$\sin$に変換できるため,はじめから$\sin$だけの和を考えます.三角関数の合成
$\color{red}{\theta}$を任意に選ぶとき,
【証明】\begin{aligned}
& \sum_{i=1}^N A_i \sin\theta_i\\
&=\sqrt{a^2+b^2}\sin(\color{red}{\theta}+\alpha)
\end{aligned}
と変形できる.但し,$a$, $b$, $\alpha$は& \sum_{i=1}^N A_i \sin\theta_i\\
&=\sqrt{a^2+b^2}\sin(\color{red}{\theta}+\alpha)
\end{aligned}
\begin{aligned}
a&=\biggl[\sum_{i=1}^N A_i \cos(\theta_i-\theta)\biggr] \\
b&=\biggl[\sum_{i=1}^N A_i \sin(\theta_i-\theta)\biggr] \\
\cos\alpha
&=\frac{a}{\sqrt{a^2+b^2}} \\
\sin\alpha
&=\frac{b}{\sqrt{a^2+b^2}}
\end{aligned}
で定義される.a&=\biggl[\sum_{i=1}^N A_i \cos(\theta_i-\theta)\biggr] \\
b&=\biggl[\sum_{i=1}^N A_i \sin(\theta_i-\theta)\biggr] \\
\cos\alpha
&=\frac{a}{\sqrt{a^2+b^2}} \\
\sin\alpha
&=\frac{b}{\sqrt{a^2+b^2}}
\end{aligned}
\begin{aligned}
&\sum_{i=1}^N A_i \sin\theta_i \\
&=\sum_{i=1}^N A_i \sin\bigl[\theta+(\theta_i-\theta)\bigr] \\
&=\sum_{i=1}^N A_i \bigl[\sin\theta \cos(\theta_i-\theta) + \cos\theta \sin(\theta_i-\theta)\bigr] \\
&=a\sin\theta
+b\cos\theta \\
&=\sqrt{a^2+b^2}\sin(\theta+\alpha)
\end{aligned}
となります.但し,$a$, $b$, $\alpha$は&\sum_{i=1}^N A_i \sin\theta_i \\
&=\sum_{i=1}^N A_i \sin\bigl[\theta+(\theta_i-\theta)\bigr] \\
&=\sum_{i=1}^N A_i \bigl[\sin\theta \cos(\theta_i-\theta) + \cos\theta \sin(\theta_i-\theta)\bigr] \\
&=a\sin\theta
+b\cos\theta \\
&=\sqrt{a^2+b^2}\sin(\theta+\alpha)
\end{aligned}
\begin{aligned}
a&=\biggl[\sum_{i=1}^N A_i \cos(\theta_i-\theta)\biggr] \\
b&=\biggl[\sum_{i=1}^N A_i \sin(\theta_i-\theta)\biggr] \\
\cos\alpha
&=\frac{a}{\sqrt{a^2+b^2}} \\
\sin\alpha
&=\frac{b}{\sqrt{a^2+b^2}}
\end{aligned}
と定義しました.//a&=\biggl[\sum_{i=1}^N A_i \cos(\theta_i-\theta)\biggr] \\
b&=\biggl[\sum_{i=1}^N A_i \sin(\theta_i-\theta)\biggr] \\
\cos\alpha
&=\frac{a}{\sqrt{a^2+b^2}} \\
\sin\alpha
&=\frac{b}{\sqrt{a^2+b^2}}
\end{aligned}
複素指数関数を使う方法
三角関数の計算は,オイラーの公式を用いることで複素指数関数の計算に帰着できます(参考:三角関数の公式をオイラーの公式で導く - Notes_JP)そこで,三角関数の合成公式を複素指数関数を使って導いてみましょう.
【証明】
$A_j=|A_j|e^{i\phi_j}$とし,任意の$\theta$を選んだとき,
\begin{aligned}
\sum_{j=1}^N A_j e^{i\theta_j}
&=\Biggl[\sum_{j=1}^N A_j e^{i(\theta_j-\theta)} \Biggr] e^{i\theta} \\
&=re^{i\alpha}\cdot e^{i\theta} \\
&=re^{i(\theta+\alpha)}
\end{aligned}
となる.ここで,$r\geq 0$は以下で定められる:\sum_{j=1}^N A_j e^{i\theta_j}
&=\Biggl[\sum_{j=1}^N A_j e^{i(\theta_j-\theta)} \Biggr] e^{i\theta} \\
&=re^{i\alpha}\cdot e^{i\theta} \\
&=re^{i(\theta+\alpha)}
\end{aligned}
\begin{aligned}
r^2
&=\Biggl| \sum_{j=1}^N A_j e^{i(\theta_j-\theta)} \Biggr|^2 \\
&=\sum_{j=1}^N |A_j|^2 \\
&\quad + 2\sum_{1\leq j < k\leq N} |A_j||A_k| \cos[(\theta_j-\theta_k)+(\phi_j-\phi_k)]
\end{aligned}
r^2
&=\Biggl| \sum_{j=1}^N A_j e^{i(\theta_j-\theta)} \Biggr|^2 \\
&=\sum_{j=1}^N |A_j|^2 \\
&\quad + 2\sum_{1\leq j < k\leq N} |A_j||A_k| \cos[(\theta_j-\theta_k)+(\phi_j-\phi_k)]
\end{aligned}
$\alpha$は
\begin{aligned}
a
&=\mathrm{Re\,}\Biggl[\sum_{j=1}^N A_j e^{i(\theta_j-\theta)} \Biggr] \\
&=\sum_{j=1}^N |A_j|\cos(\theta_j+\phi_j-\theta) \\
b
&=\mathrm{Im\,}\Biggl[\sum_{j=1}^N A_j e^{i(\theta_j-\theta)} \Biggr] \\
&=\sum_{j=1}^N |A_j|\sin(\theta_j+\phi_j-\theta)
\end{aligned}
とするとき,a
&=\mathrm{Re\,}\Biggl[\sum_{j=1}^N A_j e^{i(\theta_j-\theta)} \Biggr] \\
&=\sum_{j=1}^N |A_j|\cos(\theta_j+\phi_j-\theta) \\
b
&=\mathrm{Im\,}\Biggl[\sum_{j=1}^N A_j e^{i(\theta_j-\theta)} \Biggr] \\
&=\sum_{j=1}^N |A_j|\sin(\theta_j+\phi_j-\theta)
\end{aligned}
\begin{aligned}
\cos\alpha
&=\frac{a}{\sqrt{a^2+b^2}}
=\frac{a}{r}\\
\sin\alpha
&=\frac{b}{\sqrt{a^2+b^2}}
=\frac{b}{r}
\end{aligned}
で定められる.//\cos\alpha
&=\frac{a}{\sqrt{a^2+b^2}}
=\frac{a}{r}\\
\sin\alpha
&=\frac{b}{\sqrt{a^2+b^2}}
=\frac{b}{r}
\end{aligned}
【注】
上の導出において,次の性質を使っています:
2つの複素数$z_1 =r_1e^{i\varphi_1}$, $z_2 =r_2e^{i\varphi_2}$について
\begin{aligned}
& |z_1+z_2|^2 \\
&=(z_1+z_2) \overline{(z_1+z_2)} \\
&=|z_1|^2 + |z_2|^2 + 2\mathrm{Re\,}(z_1 \overline{z_2}) \\
&=r_1^2 + r_2^2 + 2r_1r_2\cos(\varphi_1-\varphi_2), \\
&z_1 + z_2 \\
&=\underbrace{(r_1\cos\varphi_1+r_2\cos\varphi_2)}_{=\mathrm{Re\,}(z_1 + z_2)}
+ i\underbrace{(r_1\sin\varphi_1 + r_2\sin\varphi_2)}_{=\mathrm{Im\,}(z_1 + z_2)}
\end{aligned}
となる.& |z_1+z_2|^2 \\
&=(z_1+z_2) \overline{(z_1+z_2)} \\
&=|z_1|^2 + |z_2|^2 + 2\mathrm{Re\,}(z_1 \overline{z_2}) \\
&=r_1^2 + r_2^2 + 2r_1r_2\cos(\varphi_1-\varphi_2), \\
&z_1 + z_2 \\
&=\underbrace{(r_1\cos\varphi_1+r_2\cos\varphi_2)}_{=\mathrm{Re\,}(z_1 + z_2)}
+ i\underbrace{(r_1\sin\varphi_1 + r_2\sin\varphi_2)}_{=\mathrm{Im\,}(z_1 + z_2)}
\end{aligned}
【補足】
両辺の虚部をとれば上で導いた(三角関数の)公式になります.
参考文献
- 音と音波 (小橋豊):$\S 2.7$「単振動の合成と分解」が物理的な意味について参考になります:
- List of trigonometric identities - Wikipedia