「角度の加法定理」の版間の差分
提供: tknotebook
								
												
				| (1人の利用者による、間の12版が非表示) | |||
| 1行: | 1行: | ||
[[Category:数学]][[Category:線形代数]][[category:回転]]  | [[Category:数学]][[Category:線形代数]][[category:回転]]  | ||
| − | [[メインページ]]>[[数学の部屋  | + | [[メインページ]]>[[数学の部屋#回転]]  | 
線形代数のカテゴリなのに角度の公式は少し不似合かもしれませんが、この公式は内積と深い関わり合いがあるのでこれを最初の話題にしておきます。  | 線形代数のカテゴリなのに角度の公式は少し不似合かもしれませんが、この公式は内積と深い関わり合いがあるのでこれを最初の話題にしておきます。  | ||
高校になると3角関数の公式として加法定理というのを習います。こんな公式です。  | 高校になると3角関数の公式として加法定理というのを習います。こんな公式です。  | ||
| − | |||
| − | \  | + | {{eqn|<math> \cos(\alpha+\beta)=\cos\alpha\cos\beta-\sin\alpha\sin\beta</math>|1}}  | 
| − | + | {{eqn|<math> \sin(\alpha+\beta)=\sin\alpha\cos\beta+\cos\alpha\sin\beta</math>|2}}  | |
| + | |||
| + | |||
| + | ここでは幾何学的な説明のみで加法定理を導いてみましょう。下の図を見てください。  | ||
[[ファイル:角度の加法の定理の幾何学的な証明を表す図.png]]  | [[ファイル:角度の加法の定理の幾何学的な証明を表す図.png]]  | ||
| − | + | 図には原点が片方の端点で、長さが1で、<math>x</math>軸とのなす角が <math>\alpha+\beta</math>になる線分 OTがあります。  | |
Tの座標は当然ながら    | Tの座標は当然ながら    | ||
| − | |||
| − | + | {{eqn|<math> x = \cos(\alpha + \beta), y = \sin(\alpha+\beta)</math>|3}}   | |
| − | + | ||
| − | |||
| − | + | です。OPの長さは<math> \cos \beta </math> ですから、Pの<math>x</math>座標は <math> \cos\alpha\cos\beta </math>。  | |
| + | TPの長さは<math> \sin \beta </math> ですから、QPの長さは <math>\sin\alpha\sin\beta</math>。従って, T(とQ)の<math>x</math>座標は   | ||
| − | + | ||
| + | {{eqn|<math>\cos\alpha\cos\beta - \sin\alpha\sin\beta</math>|4}}  | ||
| + | |||
| + | |||
| + | ORの長さは<math> \sin \beta </math> ですから、Rのy座標は <math>\cos\alpha\sin\beta</math>。  | ||
| + | |||
| + | RTの長さは<math> \cos \beta </math> ですから、RSの長さは <math>\sin\alpha\cos\beta</math>  | ||
従って, T(とS)のy座標は   | 従って, T(とS)のy座標は   | ||
| − | + | ||
| + | {{eqn|<math>\sin\alpha\cos\beta + \cos\alpha\sin\beta</math>|5}}  | ||
| + | |||
これで公式(1), (2)が正しいことが確かめられました。  | これで公式(1), (2)が正しいことが確かめられました。  | ||
2018年2月25日 (日) 22:21時点における最新版
線形代数のカテゴリなのに角度の公式は少し不似合かもしれませんが、この公式は内積と深い関わり合いがあるのでこれを最初の話題にしておきます。 高校になると3角関数の公式として加法定理というのを習います。こんな公式です。
 
 | 
( 1 ) | 
 
 | 
( 2 ) | 
ここでは幾何学的な説明のみで加法定理を導いてみましょう。下の図を見てください。
図には原点が片方の端点で、長さが1で、
軸とのなす角が 
になる線分 OTがあります。
Tの座標は当然ながら 
 
 | 
( 3 ) | 
です。OPの長さは
 ですから、Pの
座標は 
。
TPの長さは
 ですから、QPの長さは 
。従って, T(とQ)の
座標は 
 
 | 
( 4 ) | 
ORの長さは
 ですから、Rのy座標は 
。
RTの長さは
 ですから、RSの長さは 
従って, T(とS)のy座標は 
 
 | 
( 5 ) | 
これで公式(1), (2)が正しいことが確かめられました。
もちろんこの説明は完全ではありません。αとβが鈍角になった時などで図形の形が変わるため、 念のためにそういう場合でも大丈夫か検証する必要があるからです。 厳密に証明したい人は、是非様々なパターンを網羅して、式の形が変わらないことを確認してみてください。
次ページ 2次元の内積の幾何学的な性質 へ
