内積ってcosを使っても求められるの?

OAOB=|OA||OB|cosAOB

このような公式を見たことがあります。

僕の内積の記憶は、OA=(a1,a2)OB=(b1,b2)のとき、OAOB=a1b1+a2b2でした。これを( i ) とおいておきます。

どうして内積が|OA||OB|cosAOBでも表せるのか理解したいと思います。

|OA||OB|

まずは|OA||OB|を確認しておきます。

|OA|

これは図で見ると簡単に分かります。

上記より、原点OからAまでの長さ|OA|は三平方の定理より、|OA|=a12+a22・・・( ii )
Aの座標はプラスでもマイナスでも2乗するので大丈夫です

|OB|

こちらも同様です。これは図で見ると簡単に分かります。

上記より、原点OからBまでの長さ|OB|は三平方の定理より、|OB|=b12+b22・・・( iii )
Bの座標はプラスでもマイナスでも2乗するので大丈夫です

|AB|

線分ABの長さは2通りの方法で表すことができます。

1つは上の|OA||OB|と同じようにベクトルABから求める方法と、図の三角形OABに対して余弦定理を使って求める2通りです。
関連記事:余弦定理の理解を深める

ベクトルABから|AB|を求める

AB=(b1,b2)(a1,a2)

=(b1a1,b2a2)

AB=(b1a1,b2a2)より、

|AB|=(b1a1)2+(b2a2)2

|AB|=b122a1b1+a12+b222a2b2+a22・・・( iv )

余弦定理より|AB|を求める

上図より、|AB|は余弦定理から求められます。

|AB|2=|OA|2+|OB|22|OA||OB|cosAOB

|OA|=a12+a22|OB|=b12+b22を代入すると、

|AB|2=a12+a22+b12+b222a12+a22b12+b22cosAOB・・・( v )

( v )に( iv )を代入すると、

b122a1b1+a12+b222a2b2+a22=a12+a22+b12+b222a12+a22b12+b22cosAOB

計算中…

b122a1b1+a12+b222a2b2+a22=a12+a22+b12+b222a12+a22b12+b22cosAOB

2a1b12a2b2=2a12+a22b12+b22cosAOB

a1b1+a2b2=a12+a22b12+b22cosAOB

a1b1+a2b2=a12+a22b12+b22cosAOB

ここで、( i ) OAOB=a1b1+a2b2、( ii )|OA|=a12+a22、( iii )|OB|=b12+b22より、

OAOB=|OA||OB|cosAOB

理解しようとしていた公式そのものになりました。

まとめ

一方は三平方の定理から長さを求めて、もう一方は余弦定理から求める。そうすると、内積が各長さとその間のcosの値で求められることが分かりました。

スポンサーリンク

当ページの注釈
  1. 問題の解答例など解法は見ずに解いています。覚えていない部分は学習はしますが、直接問題の解き方は調べていません。
    よって、順当な解法かは分かりませんが、何か参考になれば幸いです
  2. なるべく細かく書くようにしています。不明点はコメントいただければ嬉しいです
  3. また、正解かどうかのチェックは行い、正解にはなっています

 

キーワード

気になる人は調べてみてね。

ベクトル、内積、余弦定理、三平方の定理、絶対値