三角関数6
加法定理の使い方を具体例から解説

三角関数
三角関数

例えば,次の問題を考えましょう.

$\sin{75^\circ}$, $\cos{105^\circ}$, $\tan{-15^\circ}$を求めよ.

$75^\circ$も$105^\circ$も$-15^\circ$もいわゆる有名角ではないので,すぐには求めることができません.

しかし,この記事で説明する三角関数の加法定理を用いることで,これらを求めることができます.

この記事では

  • 加法定理とはどんな公式か?
  • 加法定理の使い方の具体例
  • 加法定理の証明

を順に説明します.

加法定理

加法定理は偏角が和$\alpha+\beta$または差$\alpha-\beta$になっているときに使える公式です.

[加法定理] 実数$\alpha$, $\beta$に対して,以下が成り立つ.

    \begin{align*}\sin{(\alpha+\beta)}&=\sin{\alpha}\cos{\beta}+\cos{\alpha}\sin{\beta}, \\\sin{(\alpha-\beta)}&=\sin{\alpha}\cos{\beta}-\cos{\alpha}\sin{\beta}, \\\cos{(\alpha+\beta)}&=\cos{\alpha}\cos{\beta}-\sin{\beta}\sin{\alpha}, \\\cos{(\alpha-\beta)}&=\cos{\alpha}\cos{\beta}+\sin{\beta}\sin{\alpha}, \\\tan{(\alpha+\beta)}&=\dfrac{\tan{\alpha}+\tan{\beta}}{1-\tan{\alpha}\tan{\beta}}, \\\tan{(\alpha-\beta)}&=\dfrac{\tan{\alpha}-\tan{\beta}}{1+\tan{\alpha}\tan{\beta}}.\end{align*}

ただし,

  • $\tan{(\alpha+\beta)}$の加法定理では$\cos{\alpha}\neq0$, $\cos{\beta}\neq0$, $\cos{(\alpha+\beta)}\neq0$
  • $\tan{(\alpha-\beta)}$の加法定理では$\cos{\alpha}\neq0$, $\cos{\beta}\neq0$, $\cos{(\alpha-\beta)}\neq0$

とする.

最後の$\tan$の条件は,$\tan$が$\cos{\theta}\neq0$のときに$\tan{\theta}=\dfrac{\sin{\theta}}{\cos{\theta}}$と定義されるからですね.

証明は後回しにして,これらの使い方を具体例から考えましょう.

加法定理の具体例

加法定理を用いて,この記事の冒頭の問題を解いてみましょう.

次の値を求めよ.

  1. $\sin{75^\circ}$
  2. $\cos{105^\circ}$
  3. $\tan{-15^\circ}$

加法定理を意識すると,$75^\circ$, $105^\circ$, $-15^\circ$を有名角$\alpha$, $\beta$の差で表したいところです.

例えば,

  • $75^\circ=30^\circ+45^\circ$
  • $105^\circ=45^\circ+60^\circ$
  • $-15^\circ=30^\circ-45^\circ$

とみれば,加法定理から次のように求めることができます.

(1)加法定理$\sin{(\alpha+\beta)}=\sin{\alpha}\cos{\beta}+\cos{\alpha}\sin{\beta}$で$\alpha=30^\circ$, $\beta=45^\circ$とみれば,

    \begin{align*}\sin{75^\circ} =&\sin{(30^\circ+45^\circ)} \\=&\sin{30^\circ}\cos{45^\circ}+\cos{30^\circ}\sin{45^\circ} \\=&\frac{1}{2}\cdot\frac{\sqrt{2}}{2}+\frac{\sqrt{3}}{2}\cdot\frac{\sqrt{2}}{2} \\=&\frac{\sqrt{2}+\sqrt{6}}{4}\end{align*}

となる.

(2)加法定理$\cos{(\alpha-\beta)}=\cos{\alpha}\cos{\beta}+\sin{\beta}\sin{\alpha}$で$\alpha=45^\circ$, $\beta=60^\circ$とみれば,

    \begin{align*}\cos{105^\circ} =&\cos{(45^\circ+60^\circ)} \\=&\cos{45^\circ}\cos{60^\circ}-\sin{45^\circ}\sin{60^\circ} \\=&\frac{\sqrt{2}}{2}\cdot\frac{1}{2}-\frac{\sqrt{2}}{2}\cdot\frac{\sqrt{3}}{2} \\=&\frac{\sqrt{2}-\sqrt{6}}{4}\end{align*}

となる.

(3)加法定理$\tan{(\alpha-\beta)}=\dfrac{\tan{\alpha}-\tan{\beta}}{1+\tan{\alpha}\tan{\beta}}$で$\alpha=30^\circ$, $\beta=45^\circ$とみれば,

    \begin{align*}\tan{-15^\circ} =&\tan{(30^\circ-45^\circ)} \\=&\frac{\tan{30^\circ}-\tan{45^\circ}}{1+\tan{30^\circ}\tan{45^\circ}} \\=&\frac{\frac{1}{\sqrt{3}}-1}{1+\frac{1}{\sqrt{3}}\cdot1} =\frac{1-\sqrt{3}}{\sqrt{3}+1} \end{align*}

である.

和の表し方は1通りではありません.例えば$105^\circ=135^\circ-30^\circ$とみても,$\cos{105^\circ}$は

    \begin{align*}\cos{105^\circ} =&\cos{(135^\circ-30^\circ)} \\=&\cos{135^\circ}\cos{30^\circ}+\sin{135^\circ}\sin{30^\circ} \\=&-\frac{\sqrt{2}}{2}\cdot\frac{\sqrt{3}}{2}+\frac{\sqrt{2}}{2}\cdot\frac{1}{2} \\=&\frac{-\sqrt{6}+\sqrt{2}}{4}\end{align*}

と(当然ながら)同じ結果になりますね.

加法定理と偏角の変換公式

以前の記事で説明した偏角の変換公式は加法定理から導出することもできます.

実数$\theta$に対して,

  1. $\cos{(-180^{\circ}-\theta)}$
  2. $\sin{(\theta-90^{\circ})}$
  3. $\tan{(180^{\circ}-\theta)}$

を$\sin{\theta}$, $\cos{\theta}$, $\tan{\theta}$を用いて表せ.

(1)加法定理$\cos{(\alpha-\beta)}=\cos{\alpha}\cos{\beta}+\sin{\beta}\sin{\alpha}$で$\alpha=-180^\circ$, $\beta=\theta$とみれば,

    \begin{align*}\cos(-180^{\circ}-\theta) =&\cos{(-180^\circ)}\cos{\theta}+\sin{(-180^\circ)}\sin{\theta} \\=&(-1)\cdot\cos{\theta}+0\cdot\sin{\theta} =-\cos{\theta}\end{align*}

ですね.

(2)加法定理$\sin{(\alpha-\beta)}=\sin{\alpha}\cos{\beta}-\cos{\alpha}\sin{\beta}$で$\alpha=\theta$, $\beta=90^\circ$とみれば,

    \begin{align*}\sin{(\theta-90^{\circ})} =&\sin{\theta}\cos{90^\circ}-\cos{\theta}\sin{90^\circ} \\=&\sin{\theta}\cdot0-1\cdot\cos{\theta} =-\cos{\theta}\end{align*}

ですね.

(3)加法定理$\tan{(\alpha-\beta)}=\dfrac{\tan{\alpha}-\tan{\beta}}{1+\tan{\alpha}\tan{\beta}}$で$\alpha=180^\circ$, $\beta=\theta$とみれば,

    \begin{align*}\tan{(180^{\circ}-\theta)} =&\frac{\tan{180^\circ}-\tan{\theta}}{1+\tan{180^\circ}\tan{\theta}} \\=&\frac{0-\tan{\theta}}{1+0\cdot \tan{\theta}} =-\tan{\theta}\end{align*}

ですね.

ただし,以前に説明したように図を見れば瞬時に導ける基本的な

  • $(\theta\pm180^{\circ})$型の公式
  • $(-\theta)$型の公式
  • $(90^{\circ}-\theta)$型の公式

は当たり前にしておくのが良いでしょう.

偏角の変換公式は覚えるな|基本の3公式から簡単に導く方法
三角関数sinθ, coθ, tanθの偏角の変換公式はさまざまな形がありますが,ほとんどの公式は覚える必要はありません.実はほんの少し分かりやすい公式を覚えておくだけで,他の偏角の変換公式は全て導くことができます.

加法定理の証明

それでは6つの公式を証明していきますが,まずは$\cos{(\alpha+\beta)}$の加法定理を証明します.

この$\cos{(\alpha+\beta)}$の加法定理から,他の加法定理を芋づる式に導くことができます.

他にもベクトルの内積を用いれば,最初に$\cos{(\alpha-\beta)}$を示すこともできます.

$\cos{(\alpha+\beta)}$の加法定理の証明

(再掲)実数$\alpha$, $\beta$に対して

    \begin{align*}\cos{(\alpha+\beta)}&=\cos{\alpha}\cos{\beta}-\sin{\beta}\sin{\alpha}\end{align*}

が成り立つ.


$xy$平面の単位円上に,4点

  • 偏角$0$の点$\mrm{P}$
  • 偏角$\alpha+\beta$の点$\mrm{Q}$
  • 偏角$\alpha$の点$\mrm{A}$
  • 偏角$\beta$の点$\mrm{B}$

をとる.

Rendered by QuickLaTeX.com

このとき,4点の座標は

  • $\mrm{P}(1,0)$
  • $\mrm{Q}(\cos{(\alpha+\beta)},\sin{(\alpha+\beta)})$
  • $\mrm{A}(\cos{(-\alpha)},\sin{(-\alpha)})$
  • $\mrm{B}(\cos{\beta},\sin{\beta})$

であり,線分$\mrm{PQ}$を原点中心に偏角$-\alpha$だけ回転させると線分$\mrm{AB}$に一致するから,$\mrm{PQ}=\mrm{AB}$が従う.

    \begin{align*}\mrm{PQ}^2 =&\brb{\cos{(\alpha+\beta)}-1}^2+\brb{\sin{(\alpha+\beta)}-0}^2 \\=&\brb{\cos^2{(\alpha+\beta)}-2\cos{(\alpha+\beta)}+1}+\sin^2{(\alpha+\beta)} \\=&\brb{\cos^2{(\alpha+\beta)}+\sin^2{(\alpha+\beta)}}-2\cos{(\alpha+\beta)}+1 \\=&2-2\cos{(\alpha+\beta)}, \\\mrm{AB}^2 =&\bra{\cos{\alpha}-\cos{\beta}}^2+\bra{-\sin{\alpha}-\sin{\beta}}^2 \\=&\bra{\cos^2{\alpha}-2\cos{\alpha}\cos{\beta}+\cos^2{\beta}}+\bra{\sin^2{\alpha}+2\sin{\alpha}\sin{\beta}+\sin^2{\beta}} \\=&\bra{\cos^2{\alpha}+\cos^2{\beta}}+\bra{\sin^2{\alpha}+\sin^2{\beta}}-2\cos{\alpha}\cos{\beta}+2\sin{\alpha}\sin{\beta} \\=&2-2\cos{\alpha}\cos{\beta}+2\sin{\alpha}\sin{\beta} \end{align*}

なので,

    \begin{align*} &\mrm{PQ}^2=\mrm{QB}^2 \\\iff& 2-2\cos{(\alpha+\beta)}=2-2\cos{\alpha}\cos{\beta}+2\sin{\alpha}\sin{\beta} \\\iff& \cos{(\alpha+\beta)}=\cos{\alpha}\cos{\beta}-\sin{\alpha}\sin{\beta} \end{align*}

が従う.

$\cos(\alpha-\beta)$の加法定理の証明

(再掲)実数$\alpha$, $\beta$に対して

    \begin{align*}\cos{(\alpha-\beta)}=\cos{\alpha}\cos{\beta}+\sin{\alpha}\sin{\beta}\end{align*}

が成り立つ.


$\cos{(\alpha+\beta)}$の加法定理で,$\beta$の代わりに$-\beta$を用いれば,

    \begin{align*}\cos{(\alpha-\beta)} =&\cos{\alpha}\cos{(-\beta)}-\sin{\alpha}\sin{(-\beta)} \\=&\cos{\alpha}\cos{\beta}+\sin{\alpha}\sin{\beta}\end{align*}

が成り立ちますね.

なお,最後の等号で$(-\theta)$型の偏角の変換公式を用いています.

$\sin(\alpha-\beta)$の加法定理の証明

(再掲)実数$\alpha$, $\beta$に対して

    \begin{align*}\sin{(\alpha-\beta)}=\sin{\alpha}\cos{\beta}-\cos{\alpha}\sin{\beta}\end{align*}

が成り立つ.


$(90^\circ-\theta)$型の偏角の変換公式より

    \begin{align*}\sin{(\alpha-\beta)} =&\cos{\{90^\circ-(\alpha-\beta)\}} \\=&\cos{\{(90^\circ-\alpha)+\beta\}}\end{align*}

ですね.ここで,$\cos{(\alpha+\beta)}$の加法定理で,$\alpha$の代わりに$90^\circ-\alpha$を用いれば,

    \begin{align*}\sin{(\alpha-\beta)} =&\cos{(90^\circ-\alpha)}\cos{\beta}-\sin{(90^\circ-\alpha)}\sin{\beta} \\=&\sin{\alpha}\cos{\beta}-\cos{\alpha}\sin{\beta}\end{align*}

が成り立ちます.

なお,最後の等号で$(90^\circ-\theta)$型の偏角の変換公式を用いています.

$\sin(\alpha+\beta)$の加法定理の証明

(再掲)実数$\alpha$, $\beta$に対して

    \begin{align*}\sin{(\alpha+\beta)}=\sin{\alpha}\cos{\beta}+\cos{\alpha}\sin{\beta}\end{align*}

が成り立つ.


$\sin{(\alpha-\beta)}$の加法定理で,$\beta$の代わりに$-\beta$を用いれば,

このとき

    \begin{align*}\sin{(\alpha+\beta)} =&\sin{\alpha}\cos{(-\beta)}-\cos{\alpha}\sin{(-\beta)} \\=&\sin{\alpha}\cos{\beta}+\cos{\alpha}\sin{\beta}\end{align*}

が成り立ちます.

なお,最後の等号で$(-\theta)$型の偏角の変換公式を用いています.

$\tan(\alpha+\beta)$の加法定理の証明

(再掲)実数$\alpha$, $\beta$に対して

    \begin{align*}\tan{(\alpha+\beta)}=\frac{\tan{\alpha}+\tan{\beta}}{1-\tan{\alpha}\tan{\beta}}\end{align*}

が成り立つ.


$\cos{\theta}\neq0$なる任意の実数$\theta$に対して$\tan{\theta}=\dfrac{\sin{\theta}}{\cos{\theta}}$と定義されるので,

    \begin{align*}\tan{(\alpha+\beta)} =&\frac{\sin{\alpha}\cos{\beta}+\cos{\alpha}\sin{\beta}}{\cos{\alpha}\cos{\beta}-\sin{\alpha}\sin{\beta}} \\=&\frac{\frac{\sin{\alpha}}{\cos{\alpha}}+\frac{\sin{\beta}}{\cos{\beta}}}{1-\frac{\sin{\alpha}\sin{\beta}}{\cos{\alpha}\cos{\beta}}} \\=&\frac{\tan{\alpha}+\tan{\beta}}{1-\tan{\alpha}\tan{\beta}}\end{align*}

が成り立ちます.

なお,2つ目の等号では$\cos(\alpha+\beta)$, $\sin(\alpha+\beta)$の加法定理を用いており,2つ目の等号では分母分子を$\cos{\alpha}\cos{\beta}$で割っています.

$\tan(\alpha-\beta)$の加法定理の証明

(再掲)実数$\alpha$, $\beta$に対して

    \begin{align*}\tan{(\alpha-\beta)}=\frac{\tan{\alpha}-\tan{\beta}}{1+\tan{\alpha}\tan{\beta}}\end{align*}

が成り立つ.


$\tan{(\alpha+\beta)}$の加法定理で,$\beta$の代わりに$-\beta$を用いれば,

    \begin{align*}\tan{(\alpha-\beta)} =&\frac{\tan{\alpha}+\tan{(-\beta)}}{1-\tan{\alpha}\tan{(-\beta)}} \\=&\frac{\tan{\alpha}-\tan{\beta}}{1+\tan{\alpha}\tan{\beta}}\end{align*}

が成り立ちます.

なお,最後の等号で$(-\theta)$型の偏角の変換公式を用いています.

コメント