【SPONSORED LINK】

ベクトル2|ベクトルの[内積]は何がどう便利なのか?

前回の記事では,ベクトルの基本の考え方と

  • 実数をベクトルにかける
  • ベクトルとベクトルの和,差をとる

というベクトルの計算の基本について説明しました.

この記事では,ベクトルの計算のうちでも重要な「ベクトルとベクトルをかける」ということに相当する内積について説明します.

ベクトルの内積をいきなり定義しても,なかなかなぜそのように定義すると良いのかピンとこないことがほとんどです.

そこで,この記事ではどうして内積というものを定義すると嬉しいのかというところから順を追って説明します.

【SPONSORED LINK】

ベクトルの和の長さ

ベクトルの内積を考えるために,まずはベクトルの和の長さを考えます.

ベクトルの和の長さ

前回の記事では,ベクトル\ve{a}の長さを|\ve{a}|で表すことを説明しました.

それでは,ベクトルの和\ve{a}+\ve{b}の長さ|\ve{a}+\ve{b}|はどのように計算できるでしょうか?

例えば,\ve{a}\ve{b}が同じ向きであれば|\ve{a}+\ve{b}|=|\ve{a}|+|\ve{b}|となりますね.

Rendered by QuickLaTeX.com

同様に,\ve{a}\ve{b}が逆向きの場合には長さを引き算すれば良いですね.

しかし,\ve{a}\ve{b}が平行でない場合には,|\ve{a}+\ve{b}|はそう易々とは計算はできなさそうです.

Rendered by QuickLaTeX.com

余弦定理の復習

2つの辺の長さとその間の角の大きさが絡む三角形においては,[余弦定理]が大切なのでした.

[余弦定理] \ang{A}=\theta\tri{ABC}について,以下が成り立つ.

\begin{align*} \mrm{BC}^2=\mrm{AB}^2+\mrm{AC}^2-2\mrm{AB}\cdot\mrm{AC}\cdot\cos{\theta} \end{align*}

Rendered by QuickLaTeX.com

余弦定理について詳しくは以下の記事を参照してください.

[余弦定理]の等式

\begin{align*} \mrm{BC}^2=\mrm{AB}^2+\mrm{AC}^2-2\mrm{AB}\cdot\mrm{AC}\cdot\cos{\theta} \end{align*}

ベクトルを用いて表すことを考えます.

上の三角形ABCは,\ve{b}=\Ve{AB}, \ve{c}=\Ve{AC}とおくと,

Rendered by QuickLaTeX.com

と表せますから,[余弦定理]の等式は

\begin{align*} |\ve{b}-\ve{c}|^2=|\ve{b}|^2+|\ve{c}|^2-2|\ve{b}||\ve{c}|\cos{\theta} \end{align*}

となりますね.

内積の定義

それでは,この記事の本題の内積の説明に移ります.

今の等式で右辺の項の順番を少し変えて

\begin{align*} |\ve{b}-\ve{c}|^2=|\ve{b}|^2-2|\ve{b}||\ve{c}|\cos{\theta}+|\ve{c}|^2 \end{align*}

とすると,なんだか展開公式

\begin{align*} (b-c)^2=b^2-2bc+c^2 \end{align*}

の匂いがしてきませんか?

ここで,以下のように定義しましょう.

零ベクトルでない2つのベクトル\ve{x}, \ve{y}に対して,\ve{x}の始点と\ve{y}の始点を一致させたときの2つのベクトルのなす角(\leqq180^\circ)\ve{x}\ve{y}なす角という.

Rendered by QuickLaTeX.com

\ve{b}, \ve{c}のなす角が\thetaのとき,

\begin{align*} |\ve{b}||\ve{c}|\cos{\theta} \end{align*}

\ve{b}\ve{c}内積 (inner product)といい,\ve{b}\cdot\ve{c}と表す.ただし,\ve{b}=\ve{0}または\ve{c}=\ve{0}のときは\ve{b}\cdot\ve{c}=0とする.

この定義から,先ほどのベクトルの等式は

\begin{align*} |\ve{b}-\ve{c}|^2=|\ve{b}|^2-2\ve{b}\cdot\ve{c}+|\ve{c}|^2 \end{align*}

と表すことができますね.

このように,内積を使うとベクトルの長さの2乗は(b-c)^2=b^2-2bc+c^2と同様に展開することができるわけですね.

ベクトルの展開公式

この記事の初めには,|\ve{a}+\ve{b}|をどのように計算するのかを考えていたのでした.そこで,ベクトルの差の長さの展開公式

\begin{align*} |\ve{b}-\ve{c}|^2=|\ve{b}|^2-2\ve{b}\cdot\ve{c}+|\ve{c}|^2 \end{align*}

ベクトルの和\ve{a}+\ve{b}の長さ|\ve{a}+\ve{b}|のものに書き直してみましょう.

-\ve{c}=\ve{a}とおけば,

\begin{align*} &|\ve{b}+\ve{a}|^2=|\ve{b}|^2-2\ve{b}\cdot(-\ve{a})+|-\ve{a}|^2 \\\iff&|\ve{a}+\ve{b}|^2=|\ve{a}|^2+2\ve{a}\cdot\ve{b}+|\ve{b}|^2 \end{align*}

となります.和の場合も(a+b)^2=a^2+2ab+b^2と同様に展開できるわけですね.

ただし,本当は第2項で暗に用いている-2\ve{b}\cdot(-\ve{a})=2\ve{a}\cdot\ve{b}を証明しなければなりませんが,この内積の性質については次の記事で説明します.

ベクトルの内積を用いることで,|\ve{b}+\ve{c}|^2|\ve{b}-\ve{c}|^2(b+c)^2(b-c)^2の展開と同様に計算することができる.

内積の具体例

内積を使うと,具体的には以下のような問題を解くことができます.

|\ve{a}|=2, |\ve{b}|=3のベクトル\ve{a}, \ve{b}のなす角が60^\circのとき,|\ve{a}-\ve{b}|を求めよ.

Rendered by QuickLaTeX.com

内積\ve{a}\cdot\ve{b}

\begin{align*} \ve{a}\cdot\ve{b} =&|\ve{a}||\ve{b}|\cos{30^\circ} \\=&2\cdot3\cdot\frac{1}{2} =3 \end{align*}

となるので,ベクトルの長さの2乗の展開より,

\begin{align*} |\ve{a}-\ve{b}|^2 =&|\ve{a}|^2-2\ve{a}\cdot\ve{b}+|\ve{b}|^2 \\=&2^2-2\cdot3+3^2 =7 \end{align*}

となる.よって,|\ve{a}-\ve{b}|=\sqrt{7}である.

やっていることは[余弦定理]と同じです.

実際,全く同じ問題を平面図形の問題として出題するならば,以下のようになります.

三角形ABCにおいて,\mrm{AC}=2, \mrm{BC}=3, \ang{C}=60^\circのとき,ABの長さを求めよ.

Rendered by QuickLaTeX.com

\mrm{AC}\cdot\mrm{BC}\cos{60^\circ}

\begin{align*} \mrm{AC}\cdot\mrm{BC}\cos{60^\circ} =2\cdot3\cdot\frac{1}{2} =3 \end{align*}

となるので,[余弦定理]より

\begin{align*} \mrm{AB}^2 =&\mrm{AC}^2-2\mrm{AC}\cdot\mrm{BC}\cos{60^\circ}+\mrm{BC}^2 \\=&2^2-2\cdot3+3^2 =7 \end{align*}

となる.よって,\mrm{AB}=\sqrt{7}である.

ベクトルの展開公式

\begin{align*} |\ve{b}-\ve{c}|^2=|\ve{b}|^2-2\ve{b}\cdot\ve{c}+|\ve{c}|^2 \end{align*}

[余弦定理]と丸ごと同じである様子が見てとれますね.

|\ve{b}-\ve{c}|^2の展開は[余弦定理]をベクトルを用いて表したものになっている.

三角形の面積

内積の応用としては,三角形の面積の公式が挙げられます.

三角形の面積の公式

以下がベクトルを用いた三角形の面積公式の基本形です.

三角形OABに対して,\ve{a}=\Ve{OA}, \ve{b}=\Ve{AB}とすると,三角形OABの面積は

\begin{align*} \frac{1}{2}\sqrt{|\ve{a}|^2|\ve{b}|^2-(\ve{a}\cdot\ve{b})^2} \end{align*}

である.

Rendered by QuickLaTeX.com

三角形OABの面積は

\begin{align*} \tri{OAB} =&\frac{1}{2}\mrm{OA}\cdot\mrm{OB}\sin{\ang{O}} \\=&\frac{1}{2}\mrm{OA}\cdot\mrm{OB}\sqrt{1-\cos^2{\ang{O}}} \\=&\frac{1}{2}\sqrt{\mrm{OA}^2\cdot\mrm{OB}^2-\mrm{OA}^2\cdot\mrm{OB}^2\cos^2{\ang{O}}} \\=&\frac{1}{2}\sqrt{|\ve{a}|^2|\ve{b}|^2-(\ve{a}\cdot\ve{b})^2} \end{align*}

となる.

ぱっと見ではややこしく見える公式ですが,結局証明でやっていることは

  • 三角形の面積の基本公式\frac{1}{2}\mrm{OA}\cdot\mrm{OB}\sin{\ang{O}}\sin{\ang{O}}\cos{\ang{O}}で表す
  • 根号の中に\mrm{OA}\cdot\mrm{OB}を放り込む

ということだけですから,覚えなくてもすぐに自分で導けますね.

とくに,この公式をxy平面でこの公式を考えると,以下のようにとても簡単な式になります.

xy平面上の三角形OABに対して,\Ve{OA}=\pmat{a_1\\a_2}, \Ve{OB}=\pmat{b_1\\b_2}とすると,三角形OABの面積は

\begin{align*} \frac{1}{2}|a_1b_2-a_2b_1| \end{align*}

である.

\ve{a}=\Ve{OA}, \ve{b}=\Ve{AB}とすると,

  • \ve{a}=\pmat{a_1\\a_2}
  • \ve{b}=\pmat{b_1\\b_2}
  • \ve{a}\cdot\ve{b}=a_1b_1+a_2b_2

なので,上の面積公式より,

\begin{align*} \tri{OAB} =&\frac{1}{2}\sqrt{|\ve{a}|^2|\ve{b}|^2-(\ve{a}\cdot\ve{b})^2} \\=&\frac{1}{2}\sqrt{({a_1}^2+{a_2}^2)({b_1}^2+{b_2}^2)-(a_1b_1+a_2b_2)^2} \\=&\frac{1}{2}\sqrt{({a_1}^2{b_1}^2+{a_1}^2{b_2}^2+{a_2}^2{b_1}^2+{a_2}^2{b_2}^2)-({a_1}^2{b_1}^2+2+a_1b_1a_2b_2+{a_2}^2{b_2}^2)} \\=&\frac{1}{2}\sqrt{{a_1}^2{b_2}^2-2a_1b_1a_2b_2+{a_2}^2{b_1}^2} \\=&\frac{1}{2}\sqrt{(a_1b_2-a_2b_1)^2} =\frac{1}{2}|a_1b_2-a_2b_1| \end{align*}

となる.

具体例

次の問題を考えましょう.

次の三角形ABCの面積を求めよ.

  1. \mrm{AB}=2, \mrm{AC}=3, \Ve{AB}\cdot\Ve{AC}=-2
  2. xy平面上で\mrm{A}(1,2), \mrm{B}(3,-1), \mrm{C}=(-3,0)

(1) ベクトルの三角形の面積公式より,

\begin{align*} \tri{ABC} =&\frac{1}{2}\sqrt{\mrm{AB}^2\mrm{AC}^2-(\Ve{AB}\cdot\Ve{AC})^2} \\&=\frac{1}{2}\sqrt{2^2\cdot3^2-(-2)^2} =\frac{1}{2}\sqrt{32} =2\sqrt{2} \end{align*}

である.

(2) \Ve{AB}=\pmat{3-1\\-1-2}=\pmat{2\\-3}, \Ve{AC}=\pmat{-3-1\\0-2}=\pmat{-4\\-2}だから,xy平面での三角形の面積公式より

\begin{align*} \tri{ABC} =&\frac{1}{2}|2\cdot(-2)-(-3)\cdot(-4)| =8 \end{align*}

である.

\tri{OAB}=\dfrac{1}{2}\sqrt{\mrm{OA}^2\cdot\mrm{OB}^2-(\Ve{OA}\cdot\Ve{OB})^2}により三角形の面積が計算できる.また,\Ve{OA}=\pmat{a_1\\a_2}, \Ve{OB}=\pmat{b_1\\b_2}と成分で表せるとき,この公式は\tri{OAB}=\dfrac{1}{2}|a_1b_2-a_2b_1|となる.

内積には様々な良い性質があります.

次の記事では,内積の基本性質をまとめます.

シェアする

  • このエントリーをはてなブックマークに追加

フォローする

最後までありがとうございました

以下の関連記事もいかがですか?

SPONSORED LINK
関連記事

記事一覧はこちらからどうぞ!

記事

一覧へ

Twitterを

フォロー

TouTube

を見る

オススメ

参考書

大学数学の

姉妹ブログ