三角関数さんかくかんすうの加法定理かほうていり

1導入どうにゅう

加法定理かほうていりは、2 回かいの平面回転へいめんかいてんの合成ごうせいが角度かくどの和わによる 1 回かいの回転かいてんに一致いっちすることを座標ざひょうで表現ひょうげんした恒等式こうとうしきである。本講義ほんこうぎでは回転行列かいてんぎょうれつから厳密げんみつに導出どうしゅつし、差角さかく・倍角ばいかく・半角はんかくの公式こうしきを帰結きけつとして整理せいりする。

2回転行列かいてんぎょうれつ

$2\times 2$2\times2 行列ぎょうれつ $A=\left(a_{ij}\right)$A=(a_{ij}) と列れつベクトル $(x,y{)}^{\mathsf{T}}$(x,y)^\mathsf T の積せきを

と定義ていぎする。2 行列ぎょうれつ $A,B$A,B の積せきは $(AB{)}_{ij}=\sum _{k=1}^2{a}_{ik}{b}_{kj}$(AB)_{ij}=\sum_{k=1}^2a_{ik}b_{kj} で定義ていぎされ、まず $B$B、次つぎに $A$A を作用さようさせる線型写像せんけいしゃぞうの合成ごうせいを表現ひょうげんする。

原点げんてんからの距離きょりが $r\ge 0$r\geq0 で偏角へんかくが $t$t の点てんを $r{P}_t$rP_t と表記ひょうきし、回転かいてん $Q_{\theta }$Q_\theta を $Q_{\theta }\left(r{P}_t\right)=r{P}_{t+\theta }$Q_\theta(rP_t)=rP_{t+\theta} と定義ていぎする。符号付弧長ふごうつきこちょうの加法かほうから $Q_{\alpha }\circ Q_{\beta }=Q_{\alpha +\beta }$Q_\alpha\circ Q_\beta=Q_{\alpha+\beta} が成立せいりつする。回転かいてんは原点げんてんを固定こていし、ベクトルが張はる平行四辺形へいこうしへんけいと直線上ちょくせんじょうの有向距離ゆうこうきょりを保存ほぞんするため、ベクトルの和わと実数倍じっすうばいを保存ほぞんする。したがって $Q_{\theta }$Q_\theta は線型写像せんけいしゃぞうである。

標準基底ひょうじゅんきていを $e_1=(1,0{)}^{\mathsf{T}}$e_1=(1,0)^\mathsf T、$e_2=(0,1{)}^{\mathsf{T}}$e_2=(0,1)^\mathsf T とする。$Q_{\theta }$Q_\theta は長ながさ、直交性ちょっこうせい、向むきを保存ほぞんする線型写像せんけいしゃぞうである。$e_1$e_1 の像ぞうは $u=(\cos \theta ,\sin \theta {)}^{\mathsf{T}}$u=(\cos\theta,\sin\theta)^\mathsf T である。$e_2$e_2 の像ぞうは、$u$u に直交ちょっこうする単位たんいベクトルのうち $(u,v)$(u,v) が正せいの向むきをもつものなので、$v=(-\sin \theta ,\cos \theta {)}^{\mathsf{T}}$v=(-\sin\theta,\cos\theta)^\mathsf T と一意いちいに定さだまる。したがって、$Q_{\theta }$Q_\theta の行列表現ぎょうれつひょうげんは

である。任意にんいのベクトルに $R_{\beta }$R_\beta を作用さようさせ、その後あとに $R_{\alpha }$R_\alpha を作用さようさせると、幾何的きかてきには合計ごうけいで $\alpha +\beta$\alpha+\beta の回転かいてんとなる。したがって、加法定理かほうていりを使用しようせずに

が成立せいりつする。左辺さへんを計算けいさんすると、

$R_{\alpha +\beta }$R_{\alpha+\beta} と成分せいぶんを比較ひかくして、すべての実数じっすう $\alpha ,\beta$\alpha,\beta について

を得える。

3差角公式さかくこうしき

$\beta$\beta を $-\beta$-\beta に置換ちかんし、$\cos (-\beta )=\cos \beta$\cos(-\beta)=\cos\beta、$\sin (-\beta )=-\sin \beta$\sin(-\beta)=-\sin\beta を使用しようすると、

が成立せいりつする。

4倍角公式ばいかくこうしき

$\beta =\alpha =\theta$\beta=\alpha=\theta とすれば、

を得える。最後さいごの 2 式しきには ${\sin }^2\theta +{\cos }^2\theta =1$\sin^2\theta+\cos^2\theta=1 を使用しようした。

5正接せいせつの加法公式かほうこうしき

$\cos \alpha \cos \beta \ne 0$\cos\alpha\cos\beta\ne0 かつ $1-\tan \alpha \tan \beta \ne 0$1-\tan\alpha\tan\beta\ne0 のとき、正弦せいげんの加法公式かほうこうしきを余弦よげんの加法公式かほうこうしきで除じょして

を得える。同様どうように、$\cos \alpha \cos \beta \ne 0$\cos\alpha\cos\beta\ne0 かつ $1+\tan \alpha \tan \beta \ne 0$1+\tan\alpha\tan\beta\ne0 のとき、

が成立せいりつする。

6半角公式はんかくこうしきと符号ふごう

倍角公式ばいかくこうしきで $\theta$\theta を $\theta /2$\theta/2 に置換ちかんすると、

が成立せいりつする。平方根へいほうこんを取とる場合ばあいは、

となり、符号ふごうは $\theta /2$\theta/2 の位置いち、すなわち象限しょうげんまたは座標軸ざひょうじくから決定けっていする。正接せいせつに関かんする公式こうしきは、分母ぶんぼが非零ひれいである範囲はんいにのみ適用てきようする。

7複素数ふくそすうによる別証明べつしょうめい

この節せつは複素数ふくそすうとオイラーの公式こうしきを導入どうにゅうした後あとの別証明べつしょうめいであり、回転行列かいてんぎょうれつによる証明しょうめいの前提ぜんていではない。

に $e^{i\theta }=\cos \theta +i\sin \theta$e^{i\theta}=\cos\theta+i\sin\theta を代入だいにゅうし、実部じつぶと虚部きょぶを比較ひかくすると、同一どういつの加法定理かほうていりを得える。

8適用範囲てきようはんい

正弦せいげんと余弦よげんの加法かほう・差角さかく・倍角ばいかくの恒等式こうとうしきは、すべての実数角じっすうかくについて成立せいりつする。正接せいせつの公式こうしきや商しょうによる変形へんけいでは分母ぶんぼの非零性ひれいせいを確認かくにんする。半角公式はんかくこうしきから平方根へいほうこんを取とるときは象限しょうげんによる符号選択ふごうせんたくが必要ひつようである。

9関連講義かんれんこうぎ