三角関数の合成
但し, .
また, の求め方が忘れやすいところですが, 右のように座標 の点を取って, 原点と結んだ線分の 軸の正の方向となす角が だ, と図で頭に入れておけば忘れにくくなります.
「三角関数の角度に関するたくさんの公式」もそうですが, 複雑な公式は図を利用した方が覚えやすいですね.
簡単に証明も載せておきます.
(証明)
なので,
となる角 が存在する.
加法定理を用いれば,
\begin{align*}
a\sin{x}+b\cos{x} &= \sqrt{a^2+b^2}\left(\frac{a}{\sqrt{a^2+b^2}}\sin{x}+\frac{b}{\sqrt{a^2+b^2}}\cos{x}\right)\\
&= \sqrt{a^2+b^2}(\cos\alpha\sin{x}+\sin\alpha\cos{x})\\
&= \sqrt{a^2+b^2}\sin(x+\alpha)
\end{align*}