内積と図形への応用 | 図形と方程式

1 成分による内積

定義 1.1 (内積). 実成分の平面ベクトル $\vec a=(a_1,a_2)$ 、 $\vec b=(b_1,b_2)$ の内積 (inner product) を

\vec a\cdot\vec b=a_1b_1+a_2b_2

で定める。空間ベクトル $\vec a=(a_1,a_2,a_3)$ 、 $\vec b=(b_1,b_2,b_3)$ では

\vec a\cdot\vec b=a_1b_1+a_2b_2+a_3b_3

で定める。内積の値は実数であり、どちらかのベクトルが零なら $0$ である。

2 長さとなす角による表示

定理 2.1. 平面または空間の非零ベクトル $\vec a,\vec b$ がなす角を $\theta\in[0,\pi]$ とすると

\vec a\cdot\vec b=|\vec a||\vec b|\cos\theta.

したがって、内積を長さと角による右辺で定義しても、成分による定義と一致する。

証明. 二つのベクトルを同じ始点 $\mathrm O$ に置き、終点を $\mathrm A,\mathrm B$ とする。成分の差の平方を展開すると、平面でも空間でも

|\vec a-\vec b|^2=|\vec a|^2+|\vec b|^2-2\vec a\cdot\vec b

となる。二つのベクトルが平行でない場合、 $\mathrm O,\mathrm A,\mathrm B$ が定める平面上の三角形に余弦定理§A2.1 定理 3.2を用いると

|\vec a-\vec b|^2=|\vec a|^2+|\vec b|^2-2|\vec a||\vec b|\cos\theta

を得る。空間の場合にも、この平面上での辺の長さは空間の成分で計算した長さと同じである。二つの等式を比較すると角による表示を得る。平行な場合には $\vec b=t\vec a$ （ $t\ne0$ ）と書く。 $\vec a\cdot\vec b=t|\vec a|^2$ であり、 $|\vec b|=|t||\vec a|$ である。 $t>0$ なら $\theta=0$ 、 $t<0$ なら $\theta=\pi$ なので、どちらの場合も角による表示が成り立つ。▨

非零ベクトルのなす角を成分から求めるには、次の式を使います。

\cos\theta=\frac{\vec a\cdot\vec b}{|\vec a||\vec b|}.

3 垂直条件と射影

定義 3.1 (直交). 平面または空間のベクトル $\vec a,\vec b$ が直交 (orthogonality) するとは、 $\vec a\cdot\vec b=0$ であることをいう。零ベクトルはすべてのベクトルに直交する。両ベクトルが非零なら、直交はなす角が $\pi/2$ であることと同値である。

非零の場合の同値性は、角の式と、 $[0,\pi]$ の範囲では $\cos\theta=0$ が $\theta=\pi/2$ に限ることから従います。

定義 3.2 (符号付き射影の長さ). 平面または空間のベクトル $\vec a\ne\vec0$ と $\vec b$ を同じ始点 $\mathrm O$ に置き、 $\vec b$ の終点を $\mathrm B$ とする。 $\mathrm O$ を通り $\vec a$ の方向に延びる直線へ、 $\mathrm B$ から下ろした垂線の足を $\mathrm H$ とする。 $\mathrm H$ が $\mathrm O$ から $\vec a$ と同じ向きにあるときは $\mathrm{OH}$ 、逆向きにあるときは $-\mathrm{OH}$ 、 $\mathrm H=\mathrm O$ のときは $0$ を、 $\vec b$ の $\vec a$ 方向への符号付き射影の長さ (signed projection length) と呼ぶ。

公式 3.3. 平面または空間のベクトル $\vec a\ne\vec0$ を基準の向きとすると、 $\vec b$ の $\vec a$ 方向への符号付き射影の長さは

p=\frac{\vec a\cdot\vec b}{|\vec a|}.

$\vec b\ne\vec0$ なら $p=|\vec b|\cos\theta$ であり、 $\vec b=\vec0$ なら $p=0$ である。

証明. $\vec b\ne\vec0$ のとき、 $\vec a$ と $\vec b$ のなす角を $\theta\in[0,\pi]$ とする。余弦の定義と射影の符号から $p=|\vec b|\cos\theta$ である。平行な場合にも、 $\theta=0,\pi$ を代入すれば同じ式が成り立つ。定理 2.1の等式を $|\vec a|>0$ で割ると公式を得る。 $\vec b=\vec0$ のときは垂線の足が始点に一致するので $p=0$ であり、成分による内積も $0$ である。▨

下の図では、 $\vec b$ の $\vec a$ 方向への符号付き射影の長さを、緑点の $x$ 座標で表します。この長さの $5$ 倍が内積です。

例 3.4. $\vec a=(3,0)$ 、 $\vec b=(-2,2)$ では、 $\vec a\cdot\vec b=-6$ 、 $|\vec a|=3$ 、 $|\vec b|=2\sqrt2$ である。したがって

\cos\theta=\frac{-6}{3\cdot2\sqrt2}=-\frac1{\sqrt2},\qquad \theta=\frac{3\pi}{4},\qquad p=\frac{-6}{3}=-2.

射影は $\vec a$ と逆向きなので符号が負となる。一方、 $\vec c=(0,2)$ に対しては $\vec a\cdot\vec c=0$ であり、両ベクトルは直交する。

問題 3.5. 座標平面上の点 $\mathrm A=(1,2)$ 、 $\mathrm B=(2,4)$ 、 $\mathrm P=(3,0)$ をとる。点 $\mathrm P$ から直線 $\mathrm{AB}$ に下ろした垂線の足を $\mathrm H$ とする。 $\overrightarrow{\mathrm{AP}}$ の $\overrightarrow{\mathrm{AB}}$ 方向への符号付き射影の長さ、点 $\mathrm H$ の座標、距離 $\mathrm{PH}$ を求め、点 $\mathrm H$ が線分 $\mathrm{AB}$ のどちら側にあるかを述べよ。

解答.

$\vec a=\overrightarrow{\mathrm{AB}}=(1,2)$ 、 $\vec b=\overrightarrow{\mathrm{AP}}=(2,-2)$ とおく。 $\vec a\cdot\vec b=-2$ 、 $|\vec a|=\sqrt5$ なので、公式 3.3により、符号付き射影の長さは

p=-\frac2{\sqrt5}

である。 $\vec a/|\vec a|$ は直線 $\mathrm{AB}$ の正の向きを表す単位ベクトルだから、

\overrightarrow{\mathrm{AH}} =p\frac{\vec a}{|\vec a|} =-\frac25(1,2).

したがって

\mathrm H=\left(\frac35,\frac65\right),\qquad \overrightarrow{\mathrm{HP}}=\left(\frac{12}5,-\frac65\right),\qquad \mathrm{PH}=\frac6{\sqrt5}.

実際、 $\overrightarrow{\mathrm{HP}}\cdot\vec a=12/5-12/5=0$ なので、求めた点は垂線の足である。 $\overrightarrow{\mathrm{AH}}=-(2/5)\overrightarrow{\mathrm{AB}}$ であるから、点 $\mathrm H$ は点 $\mathrm A$ 側の延長上にある。射影の長さが負となることは、点 $\mathrm H$ が点 $\mathrm A$ から $\overrightarrow{\mathrm{AB}}$ と逆向きにあることに対応する。▨

注意 3.6. 非零ベクトルの内積が負なら、なす角の範囲は $\pi/2<\theta\le\pi$ であり、逆向きの平角も含む。角を求める際には、長さの積で割った余弦の値を用いる。三次元の外積は二つのベクトルからベクトルを作る別の演算である。図形の条件を成分の式に直す場合には、直交を内積 $0$ として表し、線分上の点を位置ベクトルの内分式で表すなど、条件ごとに対応する式を用いる。

閑話休題：コサイン類似度と埋め込み 非零ベクトルに対する $\vec a\cdot\vec b/(|\vec a||\vec b|)$ は、 $-1$ から $1$ の値をとり、コサイン類似度と呼ばれます。ベクトルの成分が三つより多い場合にも、対応する成分の積を足す内積と、平方和の平方根である長さを用いて同じ比を定めます。文書を単語の出現回数のベクトルで表す検索モデルでは、質問文と文書のコサイン類似度を比較します。視聴履歴をベクトルで表す推薦モデルでも、コサイン類似度をユーザー間の類似度の指標として用いることができます。

言葉の埋め込みは、学習によって単語などを多成分のベクトルとして表す方法です。学習した表示によっては、意味の近い語のコサイン類似度が高くなるほか、

\vec{v}_{\text{王}} - \vec{v}_{\text{男}} + \vec{v}_{\text{女}} \approx \vec{v}_{\text{女王}}

のように、語の関係がベクトルの差と和によって近似的に表される場合があります。この近似の精度は、学習データとベクトルの作り方に依存します。言語モデルでも、語などを多成分のベクトルで表します。内積は、それらのベクトルの間の関係を計算する演算の一つとして用いられます。

4 例題

レベル1 — 内積と垂直条件

実ベクトルを扱う。次の問いに答えよ。

解法の型内積 = 成分の積の和。垂直 $\Longleftrightarrow$ 内積 = $0$

例 4.1. 内積を計算せよ。

\vec{a} = (4, -2),\ \vec{b} = (3, -3)\ \text{のとき}\quad \vec{a} \cdot \vec{b}

答 $18$

例 4.2. 内積を計算せよ。

\vec{a} = (-4, -3),\ \vec{b} = (2, 3)\ \text{のとき}\quad \vec{a} \cdot \vec{b}

答 $-17$

例 4.3. 内積を計算せよ。

\vec{a} = (-2, -4),\ \vec{b} = (-2, -1)\ \text{のとき}\quad \vec{a} \cdot \vec{b}

答 $8$

例 4.4. ベクトルが垂直になる t を求めよ。

\vec{a} = (-3, 1),\ \vec{b} = (3, -1)\ \text{のとき、}\ \vec{a} \perp (\vec{b} + t\vec{a})\ \text{となる}\ t

答 $t = 1$

注意 $a\cdot(b+ta)=a\cdot b+t|a|^2=0$ を解く

例 4.5. 内積を計算せよ。

\vec{a} = (-2, 4),\ \vec{b} = (1, -3)\ \text{のとき}\quad \vec{a} \cdot \vec{b}

答 $-14$

例 4.6. 内積を計算せよ。

\vec{a} = (-1, 3),\ \vec{b} = (5, -2)\ \text{のとき}\quad \vec{a} \cdot \vec{b}

答 $-11$

例 4.7. ベクトルが垂直になる t を求めよ。

\vec{a} = (3, 3),\ \vec{b} = (-3, -9)\ \text{のとき、}\ \vec{a} \perp (\vec{b} + t\vec{a})\ \text{となる}\ t

答 $t = 2$

注意 $a\cdot(b+ta)=a\cdot b+t|a|^2=0$ を解く

例 4.8. 内積を計算せよ。

\vec{a} = (-2, 0),\ \vec{b} = (-3, -1)\ \text{のとき}\quad \vec{a} \cdot \vec{b}

答 $6$

例 4.9. 内積を計算せよ。

\vec{a} = (-4, 2),\ \vec{b} = (-1, 5)\ \text{のとき}\quad \vec{a} \cdot \vec{b}

答 $14$

例 4.10. ベクトルが垂直になる t を求めよ。

\vec{a} = (-1, 3),\ \vec{b} = (-4, -8)\ \text{のとき、}\ \vec{a} \perp (\vec{b} + t\vec{a})\ \text{となる}\ t

答 $t = 2$

注意 $a\cdot(b+ta)=a\cdot b+t|a|^2=0$ を解く

5 演習

レベル1 — 内積と垂直条件

実ベクトルを扱う。次の問いに答えよ。

解法の型内積 = 成分の積の和。垂直 $\Longleftrightarrow$ 内積 = $0$

問題 5.1. 内積を計算せよ。

\vec{a} = (3, 3),\ \vec{b} = (4, -1)\ \text{のとき}\quad \vec{a} \cdot \vec{b}

解答.

答 $9$ ▨

問題 5.2. 内積を計算せよ。

\vec{a} = (2, 3),\ \vec{b} = (-3, -4)\ \text{のとき}\quad \vec{a} \cdot \vec{b}

解答.

答 $-18$ ▨

問題 5.3. 内積を計算せよ。

\vec{a} = (1, 4),\ \vec{b} = (5, -2)\ \text{のとき}\quad \vec{a} \cdot \vec{b}

解答.

答 $-3$ ▨

問題 5.4. 内積を計算せよ。

\vec{a} = (2, 1),\ \vec{b} = (-2, -1)\ \text{のとき}\quad \vec{a} \cdot \vec{b}

解答.

答 $-5$ ▨

問題 5.5. 内積を計算せよ。

\vec{a} = (-3, 3),\ \vec{b} = (1, -5)\ \text{のとき}\quad \vec{a} \cdot \vec{b}

解答.

答 $-18$ ▨

問題 5.6. 内積を計算せよ。

\vec{a} = (-5, -2),\ \vec{b} = (-1, -2)\ \text{のとき}\quad \vec{a} \cdot \vec{b}

解答.

答 $9$ ▨

問題 5.7. 内積を計算せよ。

\vec{a} = (5, -4),\ \vec{b} = (3, 4)\ \text{のとき}\quad \vec{a} \cdot \vec{b}

解答.

答 $-1$ ▨

問題 5.8. 内積を計算せよ。

\vec{a} = (1, 4),\ \vec{b} = (-3, 2)\ \text{のとき}\quad \vec{a} \cdot \vec{b}

解答.

答 $5$ ▨

問題 5.9. ベクトルが垂直になる t を求めよ。

\vec{a} = (-1, 2),\ \vec{b} = (-2, -6)\ \text{のとき、}\ \vec{a} \perp (\vec{b} + t\vec{a})\ \text{となる}\ t

解答.

答 $t = 2$

注意 $a\cdot(b+ta)=a\cdot b+t|a|^2=0$ を解く▨

問題 5.10. ベクトルが垂直になる t を求めよ。

\vec{a} = (3, 3),\ \vec{b} = (-2, -10)\ \text{のとき、}\ \vec{a} \perp (\vec{b} + t\vec{a})\ \text{となる}\ t

解答.

答 $t = 2$

注意 $a\cdot(b+ta)=a\cdot b+t|a|^2=0$ を解く▨

問題 5.11. 内積を計算せよ。

\vec{a} = (-4, -1),\ \vec{b} = (0, 4)\ \text{のとき}\quad \vec{a} \cdot \vec{b}

解答.

答 $-4$ ▨

問題 5.12. 内積を計算せよ。

\vec{a} = (2, 4),\ \vec{b} = (3, -2)\ \text{のとき}\quad \vec{a} \cdot \vec{b}

解答.

答 $-2$ ▨

問題 5.13. ベクトルが垂直になる t を求めよ。

\vec{a} = (3, 1),\ \vec{b} = (2, -16)\ \text{のとき、}\ \vec{a} \perp (\vec{b} + t\vec{a})\ \text{となる}\ t

解答.

答 $t = 1$

注意 $a\cdot(b+ta)=a\cdot b+t|a|^2=0$ を解く▨

問題 5.14. 内積を計算せよ。

\vec{a} = (-5, 5),\ \vec{b} = (0, 4)\ \text{のとき}\quad \vec{a} \cdot \vec{b}

解答.

答 $20$ ▨

問題 5.15. 内積を計算せよ。

\vec{a} = (3, 3),\ \vec{b} = (5, 4)\ \text{のとき}\quad \vec{a} \cdot \vec{b}

解答.

答 $27$ ▨

§A2.10内積と図形への応用

1 成分による内積

2 長さとなす角による表示

3 垂直条件と射影

4 例題

5 演習

前提記事