1. 高校数学の美しい物語
  2. 加法定理の証明(一般角に対する厳密な方法)

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

更新日時 2021/03/07

三角関数の加法定理: 任意の実数 α,β\alpha,\beta に対して

1. sin(α+β)=sinαcosβ+cosαsinβ\sin (\alpha+\beta)=\sin\alpha\cos\beta+\cos\alpha\sin\beta

2. sin(αβ)=sinαcosβcosαsinβ\sin (\alpha-\beta)=\sin\alpha\cos\beta-\cos\alpha\sin\beta

3. cos(α+β)=cosαcosβsinαsinβ\cos (\alpha+\beta)=\cos\alpha\cos\beta-\sin\alpha\sin\beta

4. cos(αβ)=cosαcosβ+sinαsinβ\cos (\alpha-\beta)=\cos\alpha\cos\beta+\sin\alpha\sin\beta

(さらに,α,β,α±β\alpha,\beta,\alpha\pm\betatan\tan が存在するとき,)

5. tan(α+β)=tanα+tanβ1tanαtanβ\tan (\alpha+\beta)=\dfrac{\tan\alpha+\tan\beta}{1-\tan\alpha\tan\beta}

6. tan(αβ)=tanαtanβ1+tanαtanβ\tan (\alpha-\beta)=\dfrac{\tan\alpha-\tan\beta}{1+\tan\alpha\tan\beta}

加法定理の証明をなんとなく知っている人は多いですが, 一般角に対してきちんと証明するのは(難しくはないが)相当めんどうです。そこで,きちんと証明を書いておきます。

目次
  • 東大でも出題された

  • コサインマイナスの証明

  • 残り5つの証明

  • 補助公式について

東大でも出題された

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

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

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

step1. まず余弦定理を使って一般角に対して4(コサインマイナス)を証明する

step2. 4を使って残りの5つを証明する

コサインマイナスの証明

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

証明

A(cosα,sinα),B(cosβ,sinβ)A(\cos\alpha,\sin\alpha),B(\cos\beta,\sin\beta) とおくと

AB2=(cosαcosβ)2+(sinαsinβ)2=22cosαcosβ2sinαsinβAB^2=(\cos\alpha-\cos\beta)^2+(\sin\alpha-\sin\beta)^2\\=2-2\cos\alpha\cos\beta-2\sin\alpha\sin\beta

加法定理の証明

一方,OAundefined\overrightarrow{OA}OBundefined\overrightarrow{OB} のなす角を θ\theta とおくと,三角形 OABOAB に余弦定理を用いて AB2=12+12211cosθ=22cosθAB^2=1^2+1^2-2\cdot 1\cdot 1\cos \theta=2-2\cos\theta

ここで, 任意の α,β\alpha,\beta に対して cosθ=cos(αβ)\cos\theta=\cos(\alpha-\beta) が成立する(重要な注)ので上の二式を比較して cos(αβ)=cosαcosβ+sinαsinβ\cos (\alpha-\beta)=\cos\alpha\cos\beta+\sin\alpha\sin\beta を得る。

重要な注: θ\theta

αβ\alpha-\beta2π2\pi で割った余り」か「 βα\beta-\alpha2π2\pi で割った余り」のうち 00 から π\pi 以下のものである。

よって,cosθ=cos(αβ)\cos\theta=\cos(\alpha-\beta) または cosθ=cos(βα)\cos\theta=\cos(\beta-\alpha)

これと,cos(βα)=cos(αβ)\cos(\beta-\alpha)=\cos(\alpha-\beta) (→記事末尾の補助公式B)よりOK。

残り5つの証明

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

補助公式

A. sin(θ)=sinθ\sin (-\theta)=-\sin\theta ,B. cos(θ)=cosθ\cos (-\theta)=\cos\theta

C. sin(θ±π2)=±cosθ\sin (\theta\pm \dfrac{\pi}{2})=\pm\cos\theta ,D. cos(θ±π2)=sinθ\cos (\theta\pm \dfrac{\pi}{2})=\mp\sin\theta

補助公式はとりあえず認めて下さい!(最後に補足します)

3(コサインプラス):これはコサインマイナスで ββ\beta\to -\beta とするだけです:

cos(α(β))=cosαcos(β)+sinαsin(β)\cos (\alpha-(-\beta))=\cos\alpha\cos(-\beta)+\sin\alpha\sin(-\beta)

ここで,補助公式A,Bを使うと3を得る。

2(サインマイナス):コサインマイナスで位相をズラします:

例えば,ββ+π2\beta\to \beta+\dfrac{\pi}{2} とします。

cos(α(β+π2))=cosαcos(β+π2)+sinαsin(β+π2)\cos (\alpha-(\beta+\dfrac{\pi}{2}))=\cos\alpha\cos(\beta+\dfrac{\pi}{2})+\sin\alpha\sin(\beta+\dfrac{\pi}{2})

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

sin(αβ)=sinαcosβcosαsinβ\sin (\alpha-\beta)=\sin\alpha\cos\beta-\cos\alpha\sin\beta

となり3を得る。

1(サインプラス):これはサインマイナスで ββ\beta\to -\beta とするだけです:

sin(α(β))=sinαcos(β)cosαsin(β)\sin (\alpha-(-\beta))=\sin\alpha\cos(-\beta)-\cos\alpha\sin(-\beta)

となり補助公式A,Bを使うと2を得る。

5(タンジェントプラス):1と3を使えばOKです:

tan(α+β)=sin(α+β)cos(α+β)=sinαcosβ+cosαsinβcosαcosβsinαsinβ=tanα+tanβ1tanαtanβ\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αcosβ\cos\alpha\cos\beta で割った。

6(タンジェントマイナス):2と4を使います。5と全く同様にできます。

補助公式について

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

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

・CとDをちゃんと証明するのはめんどうです。

π2\frac{\pi}{2} 回転で (x,y)(y,x)(x,y)\to (-y,x) になること」

「- π2\frac{\pi}{2} 回転で (x,y)(y,x)(x,y)\to (y,-x) になること」

を言えばOKです。

補助定理の証明

これを厳密に証明するには (x,y)(x,y) がどの象限にあるかで場合分けしてやる必要があります。きちんと書くのは本当にめんどくさい(教科書にも書いていないレベル)ので図と図の説明を添えれば十分でしょう。

図の説明

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

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

加法定理の証明をきちんと書くのがこんなにも険しいとは!

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

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

  1. 高校数学の美しい物語
  2. 加法定理の証明(一般角に対する厳密な方法)