角度の加法定理

提供: tknotebook
移動: 案内検索

メインページ>数学の部屋#回転

線形代数のカテゴリなのに角度の公式は少し不似合かもしれませんが、この公式は内積と深い関わり合いがあるのでこれを最初の話題にしておきます。 高校になると3角関数の公式として加法定理というのを習います。こんな公式です。


 \cos(\alpha+\beta)=\cos\alpha\cos\beta-\sin\alpha\sin\beta ( 1 )
 \sin(\alpha+\beta)=\sin\alpha\cos\beta+\cos\alpha\sin\beta ( 2 )


ここでは幾何学的な説明のみで加法定理を導いてみましょう。下の図を見てください。


角度の加法の定理の幾何学的な証明を表す図.png

図には原点が片方の端点で、長さが1で、x軸とのなす角が \alpha+\betaになる線分 OTがあります。 Tの座標は当然ながら


 x = \cos(\alpha + \beta), y = \sin(\alpha+\beta) ( 3 )


です。OPの長さは \cos \beta ですから、Pのx座標は  \cos\alpha\cos\beta 。 TPの長さは \sin \beta ですから、QPの長さは \sin\alpha\sin\beta。従って, T(とQ)のx座標は 


\cos\alpha\cos\beta - \sin\alpha\sin\beta ( 4 )


ORの長さは \sin \beta ですから、Rのy座標は \cos\alpha\sin\beta

RTの長さは \cos \beta ですから、RSの長さは \sin\alpha\cos\beta 従って, T(とS)のy座標は 


\sin\alpha\cos\beta + \cos\alpha\sin\beta ( 5 )


これで公式(1), (2)が正しいことが確かめられました。

もちろんこの説明は完全ではありません。αとβが鈍角になった時などで図形の形が変わるため、 念のためにそういう場合でも大丈夫か検証する必要があるからです。 厳密に証明したい人は、是非様々なパターンを網羅して、式の形が変わらないことを確認してみてください。


次ページ 2次元の内積の幾何学的な性質