正射影される側のベクトル(例えば $\boldsymbol{\overrightarrow{\mathstrut a}}$ )の大きさや向きが変わると，正射影ベクトルはどうなりますか？

正射影される側のベクトル $\overrightarrow{\mathstrut a}$ の「大きさ」が変わっても正射影ベクトルは変化しない．また $\overrightarrow{\mathstrut a}$ に射影する場合も $-\overrightarrow{\mathstrut a}$ (「向き」が逆のベクトル)に射影する場合も正射影ベクトルは同じになる．

ベクトルの内積｜内積とは何かから垂直条件、正射影までスライドやさしく解説 | 高校数学

このページにある内容は，こちらのスライド でわかり易く説明しています．

PC環境なら全画面表示でより見やすく，よりわかりやすい！
全画面表示の仕方は こちら

高校数学[総目次]

数学B　第1章　ベクトル

	スライド	ノート	問題
1. ベクトルと有向線分
2. ベクトルの演算
3. ベクトルの成分
4. ベクトルの内積
5. 位置ベクトル
6. ベクトル方程式
7. 平面ベクトルの応用
8. 空間ベクトル
9. 空間ベクトルの成分
10. 空間ベクトルの内積
11. 空間の位置ベクトル
12. 空間ベクトルの応用
13. 空間のベクトル方程式

4.　ベクトルの内積

ベクトル同士の掛け算をどう定義するか

　ベクトルという分野のつまずきポイントを個人的に分析すれば，まず最初の関門が「ベクトルの差」であり，次がこの「ベクトルの内積」であろうと思われる．

　これまでにベクトルの演算として登場したものは次の3つである：

　　①ベクトルの和（ベクトル同士の足し算）
　　②ベクトルの差（ベクトル同士の引き算）
　　③ベクトルの実数倍（ベクトルと実数の掛け算）

　ここでは新たに，ベクトル同士の掛け算とでもいうべき内積についてみていこう．

　私たちが2×3=6というとき，例えば長さ2mの木の枝を3本並べると合計6mになるといった具体的なイメージがつかめる．これに近いベクトルの概念は，すぐ上の③にあるベクトルの実数倍である． $| \vec{a} | = 2$ であるベクトル $\vec{a}$ に対して， $3 \vec{a}$ の大きさは2×3=6である．

　しかしこれから導入しようとしている内積は，この描像とは全く異なっている．そもそも内積は最早ベクトルではない．内積という装置に2つのベクトルを入力して出力されてくるものは1つの数字である．では得られた数字は一体何を意味するのであろうか．
　2つのベクトルから抽出されたエッセンスをもとに精製された内積という不思議な数字について解説していこう．

4.1　内積

　ベクトルとは大きさと向きをもった量であった．ベクトル同士の掛け算を導入するとき，この大きさと向きという2つの量をどのように取り扱うのであろうか．
　まず大きさについてはそのまま内積計算でも利用する．一方，向きについてはそれぞれの向きがそのまま利用されるのではなく，次の説明する2つのベクトルの「なす角」を利用するのである．

ベクトルのなす角

2つのベクトルのなす角は始点をそろえてできる角

　2つのベクトル $\vec{a}$ と $\vec{b}$ について，2つの始点が一致するように平行移動させたときにできる角(図の $θ$ ，ただし $0 ≦ θ ≦ π$ )を， $\vec{a}$ と $\vec{b}$ のなす角という．

例

△ABCは1辺の長さが2の正三角形．

$\vec{A B}$ と $\vec{A C}$ のなす角は60°
$\vec{A B}$ と $\vec{B C}$ のなす角は，始点が異なっているから一致するように平行移動して120° (∠DBC)

内積

内積とはベクトル同士のある種の掛け算

　さて準備は整った．いよいよ2つのベクトル同士の掛け算ともいうべき内積を説明していこう．
　内積では2つのベクトルの大きさと、すぐ上で見た「なす角」を用いて計算する．しかし「なす角」の方はそのままの値を使うのではなく，なす角の余弦(cos，コサイン)を用いる．

　 $\vec{a}$ と $\vec{b}$ のなす角を $θ$ とするとき， $| \vec{a} | | \vec{b} | \cos θ$ を $\vec{a}$ と $\vec{b}$ の内積といい， $\vec{a} \cdot \vec{b}$ で表す：

ベクトルの内積
　 $\vec{a}$ と $\vec{b}$ のなす角を $θ$ とするとき，
$\vec{a} \cdot \vec{b} = | \vec{a} | | \vec{b} | \cos θ$

補足

　 $\vec{a} = \vec{0}$ または $\vec{b} = \vec{0}$ のとき，2つのベクトルのなす角を考えることはできないが， $\vec{a} \cdot \vec{b} = 0$ と定めておく．

例

2つのベクトル $\vec{a}, \vec{b}$ について， $| \vec{a} | = 2, | \vec{b} | = 3$ とする．

①　 $\vec{a}$ と $\vec{b}$ のなす角が60°のとき

$\vec{a} \cdot \vec{b} = | \vec{a} | | \vec{b} | \cos 60^{\circ} = 2 \cdot 3 \cdot \frac{1}{2} = 3$

②　 $\vec{a}$ と $\vec{b}$ のなす角が150°のとき

$\vec{a} \cdot \vec{b} = | \vec{a} | | \vec{b} | \cos 150^{\circ} = 2 \cdot 3 \cdot (- \frac{\sqrt{3}}{2}) = - 3 \sqrt{3}$

　さて，2つのベクトル $\vec{a}$ と $\vec{b}$ の内積を， $\vec{a} \cdot \vec{b} = | \vec{a} | | \vec{b} | \cos θ$ で計算することはわかったが，なんとも初学者にとってとっつきにくく，上で計算した3や $- 3 \sqrt{3}$ といった数字が何を意味しているかがわかりにくい．ここでこれらの数字の意味を図形的に提示する方法があるにはある．このページの下 4.5節の正射影 の考え方が，正に内積の図形的な意味を表すものなのであるが，実に残念なことに，それを知ったところで「ようし，内積がわかったぞ」という風にはなりにくい．正射影の考え方はむしろ内積が不自由なく使えるようになったあとで，入試問題などの応用問題に利用するという流れである．私の考えでは，学習の初段階では内積が何たるかを理解するのは脇へ置いておき，

差し当たって我慢する

というのが内積を理解する早道である．我慢をして計算練習を重ねて，とにかく意味は分からなくとも計算だけはできるようになっておくということである．数学の内容にはあとになってその意味や使い方がよくわかるようになるということはよくあって，内積もそういった事柄の一つではないかと感じる．内積はベクトルを学習している間は常に登場し続けるので，今後何十回，何百回と内積計算を行うことになるであろう．その過程の中で，自然と内積が自分の中で消化されていくというのが多くの人がたどる経過ではなかろうか．

　内積について学習のヒントを少しだけ述べておくと，内積が使われる場面の代表的な2つの例として，ひとつは2つのベクトルのなす角が90°であるという条件があるとき，そしてもうひとつはすぐ下で説明するベクトルの大きさを計算するとき，この2つがある．前者では内積の値が0であるかそうでないかだけが問題となり，後者は内積の値がベクトルの大きさの2乗を表すのである．

重要事項　自分自身との内積は大きさの2乗を表す

　同じベクトルのなす角は0°である．よって $\vec{a} \cdot \vec{a} = | \vec{a} | | \vec{a} | \cos 0^{\circ} = | \vec{a} |^{2}$ であるから，

重要
$| \vec{a} |^{2} = \vec{a} \cdot \vec{a} (| \vec{a} | = \sqrt{\vec{a} \cdot \vec{a}})$

　これはベクトルの大きさの2乗が知りたければ，自分自身との内積を計算すればよいということを意味している．あるいはこの式の右辺から左辺への変形を考えて，自分自身との内積は大きさの2乗に等しいということを述べている．これは大変重要な公式であることを強調しておく．

4.2　内積と成分

内積を成分で表すとシンプルこの上ない式となる

　△OABにおいて， $\vec{O A} = \vec{a} = (a_{1}, a_{2})$ ， $\vec{O B} = \vec{b} = (b_{1}, b_{2})$ とし， $\vec{a}$ と $\vec{b}$ のなす角を $θ$ とする．
　余弦定理により，
${A B}^{2} = {O A}^{2} + {O B}^{2} - 2 O A \cdot O B \cos θ$
　この式は， $θ = 0^{\circ}$ や $180^{\circ}$ のときも成り立つ．ベクトルで表せば，
$| \vec{b} - \vec{a} |^{2} = | \vec{a} |^{2} + | \vec{b} |^{2} - 2 \vec{a} \cdot \vec{b}$
$\begin{aligned} ∴ \vec{a} \cdot \vec{b} & = \frac{| \vec{a} |^{2} + | \vec{b} |^{2} - | \vec{b} - \vec{a} |^{2}}{2} \\ = \frac{({a_{1}}^{2} + {a_{2}}^{2}) + ({b_{1}}^{2} + {b_{2}}^{2}) - {(b_{1} - a_{1})^{2} + (b_{2} - a_{2})^{2}}}{2} \\ = \frac{2 (a_{1} b_{1} + a_{2} b_{2})}{2} \\ = a_{1} b_{1} + a_{2} b_{2} \end{aligned}$
　これは， $\vec{a} = \vec{0}$ ，または $\vec{b} = \vec{0}$ のとき，即ち $(a_{1}, a_{2}) = (0, 0)$ ，または $(b_{1}, b_{2}) = (0, 0)$ のときも成立．

内積と成分　 $\vec{a} = (a_{1}, a_{2})$ ， $\vec{b} = (b_{1}, b_{2})$ のとき，
$\vec{a} \cdot \vec{b} = a_{1} b_{1} + a_{2} b_{2}$

4.3　ベクトルのなす角

内積からは，なす角が直接求まるのではなくその余弦が求まる

　 $\vec{0}$ でない2つのベクトル $\vec{a} = (a_{1}, a_{2})$ ， $\vec{b} = (b_{1}, b_{2})$ のなす角を $θ$ とすると，
$\vec{a} \cdot \vec{b} = | \vec{a} | | \vec{b} | \cos θ$
$\begin{aligned} ∴ \cos θ & = \frac{\vec{a} \cdot \vec{b}}{| \vec{a} | | \vec{b} |} \\ = \frac{a_{1} b_{1} + a_{2} b_{2}}{\sqrt{{a_{1}}^{2} + {a_{2}}^{2}} \sqrt{{b_{1}}^{2} + {b_{2}}^{2}}} \end{aligned}$

ベクトルのなす角と内積
$\vec{0}$ でない2つのベクトル $\vec{a} = (a_{1}, a_{2})$ ， $\vec{b} = (b_{1}, b_{2})$ のなす角を $θ$ とすると，
$\begin{aligned} ∴ \cos θ & = \frac{\vec{a} \cdot \vec{b}}{| \vec{a} | | \vec{b} |} \\ = \frac{a_{1} b_{1} + a_{2} b_{2}}{\sqrt{{a_{1}}^{2} + {a_{2}}^{2}} \sqrt{{b_{1}}^{2} + {b_{2}}^{2}}} \end{aligned}$

例題　 $\vec{a} = (- 1, - 2), \vec{b} = (3, 1)$ のなす角 $θ$ を求めよ．

こたえ

$\begin{aligned} \vec{a} \cdot \vec{b} & = - 1 \cdot 3 + (- 2) \cdot 1 = - 5 \\ | \vec{a} | & = \sqrt{(- 1)^{2} + (- 2)^{2}} = \sqrt{5} \\ | \vec{b} | & = \sqrt{3^{1} + 1^{2}} = \sqrt{10} \end{aligned}$
　よって，
$\cos θ = \frac{- 5}{\sqrt{5} \sqrt{10}} = - \frac{1}{\sqrt{2}}$
　 $0^{\circ} ≦ θ ≦ 180^{\circ}$ より， $\underset{―}{θ = 135^{\circ}}$

ベクトルの垂直

これぞ内積の最頻出利用法 – ベクトルで垂直とくれば内積取って0！

　 $\vec{a}$ と $\vec{b}$ のなす角が $90^{\circ}$ のとき，「 $\vec{a}$ と $\vec{b}$ は垂直である」といい， $\vec{a} ⊥ \vec{b}$ で表す．

　 $\vec{a} ⊥ \vec{b}$ のとき， $\cos 90^{\circ} = 0$ であるから，
$\vec{a} \cdot \vec{b} = | \vec{a} | | \vec{b} | \cos 90^{\circ} = 0$

　逆に $\vec{a} \cdot \vec{b} = 0$ のとき，2つのベクトルのなす角を $θ$ とすると，
$| \vec{a} | | \vec{b} | \cos θ = 0$
　よって， $| \vec{a} | \neq 0$ ，かつ $| \vec{b} | \neq 0$ ならば， $\cos θ = 0$ ．
　 $0^{\circ} ≦ θ ≦ 180^{\circ}$ より， $θ = 90^{\circ}$ ．従って $\vec{a} ⊥ \vec{b}$ ．

　以上により次が成り立つ：

ベクトルの垂直条件　 $\vec{a} \neq \vec{0}$ かつ $\vec{b} \neq \vec{0}$ のとき，
$\vec{a} ⊥ \vec{b} ⟺ \vec{a} \cdot \vec{b} = 0$
　 $\vec{a} = (a_{1}, a_{2})$ ， $\vec{b} = (b_{1}, b_{2})$ と成分で表されているときは，
$\vec{a} ⊥ \vec{b} ⟺ a_{1} a_{2} + b_{1} b_{2} = 0$

注意

「 $\vec{a} \neq 0$ かつ $\vec{b} \neq 0$ 」の仮定がなければ，

$\begin{aligned} \vec{a} \cdot \vec{b} = 0 \\ ⟺ & \vec{a} ⊥ \vec{b} \underset{―}{o r \vec{a} = \vec{0} o r \vec{b} = \vec{0}} \end{aligned}$

のように下線部の条件が追加される．

4.4　内積の性質

特に次の [2] $\vec{a} \cdot \vec{a} = | \vec{a} |^{2}$ に注意．それ以外は通常の文字式とほぼ同等に扱える

内積の性質 $\begin{aligned} [1] \vec{a} \cdot \vec{b} = \vec{b} \cdot \vec{a} (交換法則) \\ [2] \vec{a} \cdot \vec{a} = {| \vec{a} |}^{2} \\ [3] \vec{a} \cdot (\vec{b} + \vec{c}) = \vec{a} \cdot \vec{b} + \vec{a} \cdot \vec{c} (分配法則) \\ [4] (\vec{a} + \vec{b}) \cdot \vec{c} = \vec{a} \cdot \vec{c} + \vec{b} \cdot \vec{c} (分配法則) \\ [5] (k \vec{a}) \cdot \vec{b} = \vec{a} \cdot (k \vec{b}) = k (\vec{a} \cdot \vec{b}) (k は実数) \end{aligned}$

証明

　2つのベクトルのなす角を $θ$ とする．

[1]
$\begin{aligned} (左辺) & = | \vec{a} | | \vec{b} | \cos θ \\ = | \vec{b} | | \vec{a} | \cos θ \\ = (右辺) \end{aligned}$

[2]
$\begin{aligned} (左辺) & = | \vec{a} | | \vec{a} | \cos 0^{\circ} \\ = | \vec{a} | | \vec{a} | \\ = (右辺) \end{aligned}$

[3]　 $\vec{a} = (a_{1}, a_{2})$ , $\vec{b} = (b_{1}, b_{2})$ , $\vec{c} = (c_{1}, c_{2})$ とすると，
$\begin{aligned} (左辺) & = (a_{1}, a_{2}) \cdot (b_{1} + c_{1}, b_{2} + c_{2}) \\ = a_{1} (b_{1} + c_{1}) + a_{2} (b_{2} + c_{2}) \\ = (a_{1} b_{1} + a_{2} b_{2}) + (a_{1} c_{1} + a_{2} c_{2}) \\ = (右辺) \end{aligned}$

[4]は，[3]と同様に示される．
　([1]と[3]を用いて示してもよい．)

[5]　 $\vec{a} = (a_{1}, a_{2})$ , $\vec{b} = (b_{1}, b_{2})$ とすると，
$\begin{aligned} (左辺) & = (k a_{1}, k a_{2}) \cdot (b_{1}, b_{2}) \\ = k a_{1} b_{1} + k a_{2} b_{2} \\ = {\begin{matrix} a_{1} \times k b_{1} + a_{2} \times k b_{2} = (a_{1}, b_{1}) \cdot (k b_{1}, k b_{2}) = (中辺) \\ k (a_{1} b_{1} + a_{2} b_{2}) = (右辺) \end{matrix} \end{aligned}$

■

補足

　[5]により， $k (\vec{a} \cdot \vec{b})$ は簡単に $k \vec{a} \cdot \vec{b}$ と書く．

注意

　 $(\vec{a} \cdot \vec{b}) \vec{c} = \vec{a} (\vec{b} \cdot \vec{c})$ のような式は成り立たない．

ベクトルの内積｜内積とは何かから垂直条件、正射影までスライドやさしく解説