加法定理の証明（一般角に対する厳密な方法）

1999年の東大の第一問（文理共通）で「一般角に対して三角関数の加法定理（1と3のみ）を証明せよ」という問題が出題され話題になりました。

加法定理を証明するには，単位円を用いた三角関数の一般角における定義をきちんと理解している必要があります。→三角関数の3通りの定義とメリットデメリット

加法定理の証明のうち，余弦定理を用いる方法を紹介します。

加法定理の証明で一番有名な方法です。

cosマイナスの証明

余弦定理を用います。加法定理の証明の核心部分です。

重要な注： 角度 $\theta$ は $0$ 以上 $\pi$ 以下です。よって，$\alpha-\beta$（を $2\pi$ で割った余り）が $\pi$ 以下ならその値が $\theta$ になります。つまり $\cos\theta=\cos(\alpha-\beta)$ です。一方，$\alpha-\beta$（を $2\pi$ で割った余り）が $\pi$ より大きい場合，$\theta$ の「反対側の角度」に対応するので $\cos\theta=\cos\{2\pi-(\alpha-\beta)\}$ です。後者の場合も後述の補助公式Bより $\cos\theta=\cos(\alpha-\beta)$ となります。

残り5つの証明

一般角に対してcosマイナスが証明できてしまえば，あとは難しい発想は必要ありません。

補助公式はとりあえず認めて下さい！（最後に補足します）

3（cosプラス）の証明

これはcosマイナスで $\beta\to -\beta$ とするだけです：

$\cos (\alpha-(-\beta))=\cos\alpha\cos(-\beta)+\sin\alpha\sin(-\beta)$

ここで，補助公式A，Bを使うと3を得ることができます。

2（sinマイナス）の証明

cosマイナスで位相をズラします：

例えば，$\beta\to \beta+\dfrac{\pi}{2}$ とします。

$\cos (\alpha-(\beta+\dfrac{\pi}{2}))=\cos\alpha\cos(\beta+\dfrac{\pi}{2})+\sin\alpha\sin(\beta+\dfrac{\pi}{2})$

ここで，補助公式C，Dを使うと

$\sin (\alpha-\beta)=\sin\alpha\cos\beta-\cos\alpha\sin\beta$

となり3を得ることができます。

1（sinプラス）の証明

これはsinマイナスで $\beta\to -\beta$ とするだけです：

$\sin (\alpha-(-\beta))=\sin\alpha\cos(-\beta)-\cos\alpha\sin(-\beta)$

となり補助公式A，Bを使うと2を得ることができます。

5（tanプラス）の証明

1と3を使えばOKです：

$\tan(\alpha+\beta)=\dfrac{\sin(\alpha+\beta)}{\cos(\alpha+\beta)}\\ =\dfrac{\sin\alpha\cos\beta+\cos\alpha\sin\beta}{\cos\alpha\cos\beta-\sin\alpha\sin\beta}\\ =\dfrac{\tan\alpha+\tan\beta}{1-\tan\alpha\tan\beta}$

ただし，最後の行は分母分子を $\cos\alpha\cos\beta$ で割りました。

6（tanマイナス）の証明

2と4を使います。5と全く同様にできます。

補助公式について

険しい道のりはまだ続きます。三角関数の定義から加法定理を 厳密に証明するには補助公式A〜Dも一般角に対して証明しなければいけません（東大の問題はここまで要求しているのか分かりませんが）。

• AとBについては図を書けばすぐに分かります。つまり，$x$ 軸に関する折り返しで $(x,y)\to (x,-y)$ となるので $\cos(-\theta)=\cos\theta,\sin(-\theta)=-\sin\theta$ となります。

• CとDをきちんと証明するのはめんどうです。
  「$\frac{\pi}{2}$ 回転で $(x,y)\to (-y,x)$ になること」
  「$-\frac{\pi}{2}$ 回転で $(x,y)\to (y,-x)$ になること」
  を言えばOKです。 これを厳密に証明するには $(x,y)$ がどの象限にあるかで場合分けしてやる必要があります。きちんと書くのは本当にめんどくさい（教科書にも書いていないレベル）ので図と図の説明を添えれば十分でしょう。

図の説明

• 青い点の一つを $\frac{\pi}{2}$ 回転させると別の青い点へ移る
• 図の四つの直角三角形は相似＆斜辺の長さが等しいので合同

よって，$(x,y)$ がどこにあっても $\frac{\pi}{2}$ 回転で $(-y,x)$ になり $-\frac{\pi}{2}$ 回転で $(y,-x)$ になることが確認できる。

次に，余弦定理を用いない証明を紹介します。cosプラスの証明のみ行います。残り5つの証明は上記の方法と同様です。

下図のように，単位円に内接する三角形 $OAB$ 及びそれを時計回りに $\alpha$ だけ回転させた三角形 $OA'B'$ を考えます。

$OAB$ と $OA'B'$ は合同であるから，

$AB=A'B'$ つまり ${AB}^2=A'B'^2$

一方，上図のような座標より

$AB^2= {(1-\cos{(\alpha+\beta)})}^2+\sin^2{(\alpha+\beta)} \\ =2(1-\cos{(\alpha+\beta)})$

$A'B'^2={(\cos{\alpha}-\cos{\beta})}^2+{(-\sin{\alpha}}-\sin{\beta})^2\\ =2(1-(\cos{\alpha}\cos{\beta}-\sin{\alpha}\sin{\beta}))$

両式を比べて

$\cos{(\alpha+\beta)}=\cos{\alpha}\cos{\beta}-\sin{\alpha}\sin{\beta}$

となります。

Tag:三角関数の基本公式一覧

Tag:数学2の教科書に載っている公式の解説一覧