高等学校数学B/ベクトル

メインページ > 高等学校の学習 > 高等学校数学 > 高等学校数学B > ベクトル

理科において、力は大きさと向きを持つ量であると習っただろう。大きさと向きを持つ量は、力の他にも、速度や風の吹き方などがある。

例えば、ある地点ある時刻における風の吹き方は、風速と風向から成り立つ。このように、大きさと向きを持つ量を導入すると、これらを効率よく扱える。

このページでは、大きさと向きを持つ量であるベクトルを扱う。

また、図形の問題に対して代数的なアプローチを取れるのもベクトルの利点である。

平面上のベクトル

平面上の点 $\mathrm {S}$ から点 $\mathrm {T}$ へ向かう矢印を考える。このような矢印のように向きを持つ線分を有向線分という。

このとき、点 $\mathrm {S}$ を始点、点 $\mathrm {T}$ を終点という。

有効線分で、大きさと方向が同じものはベクトルとして同じものとする。

有向線分は位置、長さ（大きさ）、向きという情報を持つ。ベクトルは、有向線分の持つ情報のうち、位置の情報を忘れて、大きさ、向きだけに着目したものと考えることができる。

有向線分 $\mathrm {ST}$ で表されるベクトルを $\mathrm {\vec {ST}}$ とかく。ベクトルは一文字で ${\vec {a}}$ などと表されることがある。ベクトル ${\vec {a}}$ の大きさを $|{\vec {a}}|$ で表す。

有向線分 $\mathrm {ST}$、有向線分 $\mathrm {S'T'}$ に対し、大きさが等しく、向きが等しいなら、位置が違っていても、ベクトルとして等しく、$\mathrm {\vec {ST}} =\mathrm {\vec {S'T'}}$ である。

大きさが 1 であるベクトルを単位ベクトルという。

ベクトル ${\vec {A}}$ の逆ベクトル

ベクトル ${\vec {a}}$ に対し、ベクトル ${\vec {a}}$ と方向が逆で、大きさが等しいベクトルを逆ベクトルといい、$-{\vec {a}}$ とかく。

始点と終点が等しいベクトルを零ベクトルといい、${\vec {0}}$ で表す。任意の点 $\mathrm {A}$ に対し、$\mathrm {\vec {AA}} ={\vec {0}}$ である。ゼロベクトルの大きさは 0 で、向きは考えないものとする。

ベクトルの加法

ベクトルの和

ベクトル ${\vec {a}},{\vec {b}}$ に対し、${\vec {a}}=\mathrm {\vec {AB}} ,{\vec {b}}=\mathrm {\vec {BC}}$ となる点をとる。このときベクトルの加法を ${\vec {a}}+{\vec {b}}=\mathrm {\vec {AC}}$ で定める。

ベクトルの加法について以下が成り立つ。

• ${\vec {a}}+{\vec {b}}={\vec {b}}+{\vec {a}}$
• $({\vec {a}}+{\vec {b}})+{\vec {c}}={\vec {a}}+({\vec {b}}+{\vec {c}})$

ベクトルの加法は可換である

また、${\vec {a}}+{\vec {0}}={\vec {a}}$ とする。

ベクトルの減法

ベクトル ${\vec {a}},{\vec {b}}$ に対し、 ${\vec {a}}-{\vec {b}}={\vec {a}}+(-{\vec {b}})$ とかく。

ベクトルの減法

ベクトルの実数倍

ゼロベクトルはないベクトル ${\vec {a}}$ と実数 $k$ に対し、ベクトルの実数倍 $k{\vec {a}}$ を以下のように定める。

1. $k>0$ のとき、ベクトル ${\vec {a}}$ と方向が同じで、大きさが $k$ 倍されたベクトル
2. $k=0$ のとき、ゼロベクトル ${\vec {0}}$
3. $k<0$ のとき、逆ベクトル $-{\vec {a}}$ と方向が同じで、大きさが $k$ 倍されたベクトル

またゼロベクトル ${\vec {0}}$ に対し、実数倍を $k{\vec {0}}={\vec {0}}$ で定める。

以下の性質がなりたつ。

• $(k+l){\vec {a}}=k{\vec {a}}+l{\vec {a}}$
• $k({\vec {a}}+{\vec {b}})=k{\vec {a}}+k{\vec {b}}$
• $(kl){\vec {a}}=k(l{\vec {a}})$

ベクトルの平行・垂直

ゼロベクトルではないベクトル ${\vec {a}},{\vec {b}}\,(\neq {\vec {0}})$ に対し、${\vec {a}}={\vec {\mathrm {AA'} }},{\vec {b}}={\vec {\mathrm {BB'} }}$ となる点をとる。

このとき、直線 $\mathrm {AA'}$ と直線 $\mathrm {BB'}$ が平行であるとき、ベクトル ${\vec {a}},{\vec {b}}$ は平行であるといい、 ${\vec {a}}\parallel {\vec {b}}$ で表す。

また、直線 $\mathrm {AA'}$ と直線 $\mathrm {BB'}$ が垂直であるとき、ベクトル ${\vec {a}},{\vec {b}}$ は垂直であるといい、${\vec {a}}\perp {\vec {b}}$ で表す。

ベクトル ${\vec {a}},{\vec {b}}$ が平行のとき、明らかに、片方のベクトルを実数倍すれば大きさと向きが一致するので、

${\vec {a}}\parallel {\vec {b}}\iff {\vec {b}}=k{\vec {a}}$ となる実数 $k$ が存在する

が成り立つ。

ベクトルの実数倍

ベクトルの分解

ベクトル ${\vec {a}},{\vec {b}}$ がともにゼロベクトルでなく(${\vec {a}},{\vec {b}}\neq {\vec {0}}$) 、平行でないとき、任意のベクトル ${\vec {p}}$ に対して、 ${\vec {p}}=s{\vec {a}}+t{\vec {b}}$ となる実数 $s,t$ を取ることができる。

証明

${\vec {a}}={\vec {\mathrm {OA} }},{\vec {b}}={\vec {\mathrm {OB} }},{\vec {p}}={\vec {\mathrm {OP} }}$ となる点をとる。点 $\mathrm {P}$ を通り、直線 $\mathrm {OB} ,\mathrm {OA}$ に平行な直線が、それぞれ 直線 $\mathrm {OA} ,\mathrm {OB}$ と交わる点をそれぞれ $\mathrm {S,T}$ と置く。

このとき、 ${\vec {\mathrm {OS} }}=s{\vec {a}},{\vec {\mathrm {OT} }}=t{\vec {b}}$ となる実数 $s,t$ を取ることができる。ここで、四角形 $\mathrm {OSPT}$ は平行四辺形なので、 ${\vec {p}}=s{\vec {a}}+t{\vec {b}}$ が成り立つ。

ベクトルの成分表示

ベクトル ${\vec {a}}$ に対して、座標平面上の原点を $\mathrm {O}$ とするとき、${\vec {a}}=\mathrm {\vec {OA}}$ となる点 $\mathrm {A} (a_{x},a_{y})$ を取ることができる。そこで、 $(a_{x},a_{y})$ をベクトル ${\vec {a}}$ の成分表示とし、 ${\vec {a}}=(a_{x},a_{y})$ と書くことにする。

ベクトル ${\vec {a}},{\vec {b}}$ に対して、${\vec {a}}=\mathrm {\vec {OA}} ,{\vec {b}}=\mathrm {\vec {OB}}$ となる点 $\mathrm {A} ,\mathrm {B}$ をとり、${\vec {a}}=(a_{x},a_{y}).{\vec {b}}=(b_{x},b_{y})$ とするとき

${\vec {a}}={\vec {b}}\iff {\vec {\mathrm {OA} }}={\vec {\mathrm {OB} }}\iff$点 $\mathrm {A} ,\mathrm {B}$ が一致する $\iff a_{x}=b_{x}$ かつ $a_{y}=b_{y}$

また、 ${\vec {a}}=(a_{x},a_{y})$ に対して、${\vec {a}}=\mathrm {\vec {OA}}$ とするとき、 $|{\vec {a}}|$ は線分 $\mathrm {OA}$ の長さなので、

$|{\vec {a}}|={\sqrt {a_{x}^{2}+a_{y}^{2}}}$

である。

ベクトル ${\vec {a}}=(a_{x},a_{y}),{\vec {b}}=(b_{x},b_{y})$ に対して、

${\vec {a}}+{\vec {b}}=(a_{x}+b_{x},a_{y}+b_{y})$

${\vec {a}}-{\vec {b}}=(a_{x}-b_{x},a_{y}-b_{y})$

$k{\vec {a}}=(ka_{x},ka_{y})$

がなりたつ。

位置ベクトル

ある点を原点として取り、そこからある点 $A$ へひいた矢印のベクトルを、点 $A$ の位置ベクトルという。例えば、$A(1,2)$ には、位置ベクトル ${\vec {a}}=(1,2)$ が対応する。

位置ベクトルは、差によって作られるベクトルと違って、唯一つの点に対して作られる。これは、ある点を原点ととっており、位置ベクトルは元の点と原点との差によって作られているものと解釈することが出来る。原点を $O$ と置くとこのことは、点 $A$ に対する位置ベクトルは、${\vec {OA}}$ と解釈できる。

しかし、通常原点は座標としては $(0,0)$ と取る。そのため、$A(x_{1},y_{1})$ とすると、

${\vec {OA}}=(x_{1},y_{1})-(0,0)=(x_{1},y_{1})$

となり、結局元の点を原点に取ったとき、ある点に対応する位置ベクトルはその点の座標とちょうど等しくなる。

元の点として原点 $O$ 以外の点を選ぶことも出来る。その点を $O_{0}=(x_{0},y_{0})$ とすると、ある点 $A(x_{1},y_{1})$ の位置ベクトルは、

${\vec {O_{0}A}}=(x_{1}-x_{0},y_{1}-y_{0})$

で与えられる。このとき、原点 $O$ に対する位置ベクトルは、$O_{0}=O$、または $x_{0}=y_{0}=0$ に定めた特別な場合と考えることが出来る。

• 問題例

• • 問題

点$M(8,5)$に対する点 、$A(1,2)$ 、 $B(5,1)$ の位置ベクトルと、点

$O(0,0)$

に対する位置ベクトルを計算せよ。また、ベクトル

${\vec {AB}}$

がどちらのベクトルを用いても変わらないことを確かめよ。

• • 解答

点$O$に対する位置ベクトルは、

$A$

について、

$A(1,2)$

、

$B$

について、

$B(5,1)$

となる。 このとき、

${\vec {AB}}$

は、

$=(4,-1)$

となる。

一方、

$M(8,5)$

に対する点$A$の位置ベクトルは、

$(1-8,2-5)$

$=(-7,-3)$

となる。 また、点$B$の位置ベクトルは、

$(5-8,1-5)$

$=(-3,-4)$

となる。

これらを用いて ベクトル

${\vec {AB}}$

を計算すると、

$=(-3,-4)-(-7,-3)$

$=(4,-1)$

となり、確かに上で得た結果と一致する。

ベクトルの内積

中学または高校の理科の力学では、力学的な仕事の定義をならったことがあるだろう。この仕事では、移動方向以外の力は、仕事に寄与しなかった。このような力の仕事の計算を、ベクトルの観点からみれば、内積という新しい概念が定義できる。

ベクトル ${\vec {a}},{\vec {b}}$ に対し、 ${\vec {a}}={\vec {\mathrm {OA} }},{\vec {b}}={\vec {\mathrm {OB} }}$ となる点 $\mathrm {O,A,B}$ をとる。このとき、 $\angle \mathrm {AOB}$ をベクトル ${\vec {a}},{\vec {b}}$ のなす角という。

(図)

ベクトル ${\vec {a}},{\vec {b}}$ のなす角を $\theta$ とするとき、内積 ${\vec {a}}\cdot {\vec {b}}$ を

${\vec {a}}\cdot {\vec {b}}=|{\vec {a}}||{\vec {b}}|\cos \theta$

で定める。

定義から、ベクトルの内積は一方のベクトルをもう一方のベクトルに射影したときの、大きさの積であると言える。

(図)

成分表示された内積

ベクトル ${\vec {a}},{\vec {b}}$ を ${\vec {a}}=(a_{1},a_{2}),{\vec {b}}=(b_{1},b_{2})$ と成分表示したときの、内積 ${\vec {a}}\cdot {\vec {b}}$ について考えてみよう。

ベクトル ${\vec {a}},{\vec {b}}$ に対し、 ${\vec {a}}={\vec {\mathrm {OA} }},{\vec {b}}={\vec {\mathrm {OB} }}$ となる点 $\mathrm {O,A,B}$ をとり、ベクトル ${\vec {a}},{\vec {b}}$ のなす角を $\theta$ とする。このとき $\triangle \mathrm {OAB}$ に対し余弦定理を用いて

$\mathrm {\mathrm {AB} } ^{2}=\mathrm {\mathrm {OA} } ^{2}+\mathrm {\mathrm {OB} } ^{2}-2\cdot \mathrm {\mathrm {OA} } \cdot \mathrm {\mathrm {OB} } \cos \theta$

(図)

ここで、 $\mathrm {\mathrm {AB} } =|{\vec {b}}-{\vec {a}}|,\mathrm {\mathrm {OA} } =|{\vec {a}}|,\mathrm {\mathrm {OB} } =|{\vec {b}}|$ と、$\mathrm {\mathrm {OA} } \cdot \mathrm {\mathrm {OB} } \cos \theta =|{\vec {a}}||{\vec {b}}|\cos \theta ={\vec {a}}\cdot {\vec {b}}$ より

$|{\vec {b}}-{\vec {a}}|^{2}=|{\vec {a}}|^{2}+|{\vec {b}}|^{2}-2{\vec {a}}\cdot {\vec {b}}$ であるので、 ${\vec {a}}\cdot {\vec {b}}={\frac {1}{2}}(|{\vec {a}}|^{2}+|{\vec {b}}|^{2}-|{\vec {b}}-{\vec {a}}|^{2})$ である。

ここで、 $|{\vec {a}}|^{2}=a_{1}^{2}+a_{2}^{2},|{\vec {b}}|^{2}=b_{1}^{2}+b_{2}^{2},|{\vec {b}}-{\vec {a}}|^{2}=|(b_{1}-a_{1},b_{2}-a_{2})|^{2}=(b_{1}-a_{1})^{2}+(b_{2}-a_{2})^{2}$ なので、これを代入すれば

${\vec {a}}\cdot {\vec {b}}={\frac {1}{2}}(|{\vec {a}}|^{2}+|{\vec {b}}|^{2}-|{\vec {b}}-{\vec {a}}|^{2})$ $={\frac {1}{2}}\left[(a_{1}^{2}+a_{2}^{2})+(b_{1}^{2}+b_{2}^{2})-(b_{1}-a_{1})^{2}+(b_{2}-a_{2})^{2}\right]$ $=a_{1}b_{1}+a_{2}b_{2}$ である。

したがって ${\vec {a}}\cdot {\vec {b}}=a_{1}b_{1}+a_{2}b_{2}$ が得られた。

内積の性質

内積の性質 ― ベクトル ${\vec {a}},{\vec {b}},{\vec {c}}$ と実数 $k$ に対し以下が成り立つ。

1. ${\vec {a}}\cdot {\vec {b}}={\vec {b}}\cdot {\vec {a}}$
2. ${\vec {a}}\cdot ({\vec {b}}+{\vec {c}})={\vec {a}}\cdot {\vec {b}}+{\vec {a}}\cdot {\vec {c}}$
3. $(k{\vec {a}})\cdot {\vec {b}}=k({\vec {a}}\cdot {\vec {b}})$
4. $0\leq {\vec {a}}\cdot {\vec {a}}=|{\vec {a}}|^{2}$

これらはベクトルを成分表示して計算すれば証明できる。

証明 — ${\vec {a}}=(a_{1},a_{2}),{\vec {b}}=(b_{1},b_{2}),{\vec {c}}=(c_{1},c_{2})$ とする。

1. ${\vec {a}}\cdot {\vec {b}}=a_{1}b_{1}+a_{2}b_{2}={\vec {b}}\cdot {\vec {a}}$
2. ${\vec {a}}\cdot ({\vec {b}}+{\vec {c}})=(a_{1},a_{2})\cdot (b_{1}+c_{1},b_{2}+c_{2})=(a_{1}b_{1}+a_{1}c_{1})+(a_{2}b_{2}+a_{2}c_{2})={\vec {a}}\cdot {\vec {b}}+{\vec {a}}\cdot {\vec {c}}$
3. $(k{\vec {a}})\cdot {\vec {b}}=(ka_{1},ka_{2})\cdot (b_{1},b_{2})=k(a_{1}b_{1}+a_{2}b_{2})=k({\vec {a}}\cdot {\vec {b}})$
4. ${\vec {a}}\cdot {\vec {a}}=a_{1}^{2}+a_{2}^{2}=|{\vec {a}}|^{2}\geq 0$

ベクトル方程式

• 問題例

• • 問題

三角形OABに対して ベクトル

${\vec {OA}}$

を

${\vec {a}}$

, ベクトル

${\vec {OB}}$

を

${\vec {b}}$

とする。 このとき、線分OAを1:3に分ける点と、線分OBを5:2に分ける点をそれぞれ、A',B'とする。 このとき、ベクトル

${\vec {OA'}}$

${\vec {OB'}}$

を ベクトル

${\vec {a}}$

と、 ベクトル

${\vec {b}}$

を用いて表示せよ。 また、 線分AB'と、BA'の交点(点Mとする。) の点Oに対する位置ベクトルを、 ベクトル

${\vec {a}}$

と、 ベクトル

${\vec {b}}$

を用いて表示せよ。

• • 解答

ベクトル

${\vec {a}}$

と、 ベクトル

${\vec {b}}$

は互いに1次独立な2本のベクトルなので、 これらを用いてあらゆる図形上の点が表されるはずである。

図形上のそれぞれの点は、点Oからの位置ベクトルで表される。 例えば、ベクトル

${\vec {OA'}}$

は、点Oから見て

${\vec {a}}$

と平行な方向のベクトルであり、その大きさが、

${\frac {1}{4}}$

であるので、

${\vec {OA'}}={\frac {1}{4}}{\vec {a}}$

で表される。 同様に、ベクトル

${\vec {OB'}}$

は、点Oから見て

${\vec {b}}$

と平行な方向のベクトルであり、その大きさが、

${\frac {2}{7}}$

であるので、

${\vec {OB'}}={\frac {2}{7}}{\vec {b}}$

で表される。

次に、点A'を通過し、線分A'Bに平行な直線を ベクトル

${\vec {a}}$

と

${\vec {b}}$

を用いて記述する方法を考える。

ここでは、 この直線上の点は、 ある定数$s$を用いて、

${\vec {OA'}}+s({\vec {A'B}})$

で表せることに注目する。 例えば、

$s=0$

のとき、この式が表す点は

${\vec {OA'}}$

に等しく、

$s=1$

のとき、

${\vec {OB}}$

に等しく、いずれも直線 A'B上の点である。

これらに先ほど求めた

${\vec {OA'}}$

と、

${\vec {OB}}$

の値を用いると、

${\vec {OA'}}+s({\vec {A'B}})$

$={\frac {1}{4}}{\vec {a}}+s({\vec {b}}-{\frac {1}{4}}{\vec {a}})$

$={\frac {1}{4}}(1-s){\vec {a}}+s{\vec {b}}$

が得られる。

同様に、線分AB'上の点はある定数 $t$を用いて、

${\vec {OB'}}+t{\vec {B'A}}$

で表される。 ここに先ほど得た値を代入すると、

${\vec {OB'}}+t{\vec {B'A}}$

$={\frac {2}{7}}{\vec {b}}+t({\vec {a}}-{\frac {2}{7}}{\vec {b}})$

$=(1-t){\frac {2}{7}}{\vec {b}}+t{\vec {a}}$

となる。

このようにそれぞれの直線上の点が$s$,$t$を 用いて表された。 次に、これらの式が同じ点を示すように $s$,$t$を定める。 そのためには、

${\vec {OM}}={\frac {1}{4}}(1-s){\vec {a}}+s{\vec {b}}$

,

${\vec {OM}}=(1-t){\frac {2}{7}}{\vec {b}}+t{\vec {a}}$

を等しいとおいて、 $s$,$t$に関する連立方程式を作り、それを解けばよい。 上の式で

${\vec {a}}$

の係数を等しいとおくと、

${\frac {1}{4}}(1-s)=t$

が得られ、

${\vec {b}}$

の係数を等しいとおくと、

${\frac {2}{7}}(1-t)=s$

が得られる。 この式を連立して解くと、

$s={\frac {3}{13}}$

,

$t={\frac {5}{26}}$

が得られる。 この式を

${\vec {OM}}={\frac {1}{4}}(1-s){\vec {a}}+s{\vec {b}}$

,

${\vec {OM}}=(1-t){\frac {2}{7}}{\vec {b}}+t{\vec {a}}$

のどちらかに代入すると、求める位置ベクトルが得られるのである。 代入すると、求めるベクトルは、

${\vec {OM}}={\frac {1}{4}}(1-{\frac {3}{13}}){\vec {a}}+{\frac {3}{13}}{\vec {b}}$

$={\frac {5}{26}}{\vec {a}}+{\frac {3}{13}}{\vec {b}}$

となる。

答え

${\vec {OA'}}={\frac {1}{4}}{\vec {a}}$

${\vec {OB'}}={\frac {2}{7}}{\vec {b}}$

${\vec {OM}}={\frac {5}{26}}{\vec {a}}+{\frac {3}{13}}{\vec {b}}$

媒介変数を使った直線のベクトル方程式

点Aと、${\vec {0}}$でないベクトル、${\vec {d}}$がある。点Aを通って、${\vec {d}}$に平行な直線をgとする。g上の点をPとすると、${\vec {AP}}={\vec {0}}$または${\vec {AP}}$//${\vec {d}}$だから

${\vec {AP}}=t{\vec {d}}$…(1)

となる実数tがある。

点A,Pの位置ベクトルをそれぞれ、${\vec {a}}\ ,\ {\vec {p}}$とすると、(1)から

${\vec {p}}-{\vec {a}}=t{\vec {d}}$

つまり、

${\vec {p}}={\vec {a}}+t{\vec {d}}$

これを、直線gのベクトル方程式（vector equation）といい、${\vec {d}}$をgの方向ベクトルという。また、tを媒介変数（ばいかいへんすう、英：parameter）という。

点Aの座標を$(x_{1}\ ,\ y_{1})$、${\vec {d}}=(a\ ,\ b)$、点Pの座標を$(x\ ,\ y)$とおくと、ベクトル方程式${\vec {p}}={\vec {a}}+t{\vec {d}}$は

$(x\ ,\ y)=(x_{1}\ ,\ y_{1})+t(a\ ,\ b)$

となる。したがって

$x=x_{1}+at\ ,\ y=y_{1}+bt$　……(2)

(2)を直線$g$の媒介変数表示（ばいかいへんすう ひょうじ）という。

• 問題例

• • 問題

点A$(1\ ,\ 2)$を通り、${\vec {d}}=(3\ ,\ 5)$に平行な直線の方程式を、媒介変数tを用いて表せ。

また、tを消去した式で表せ。

• • 解答

この直線のベクトル方程式は

$(x\ ,\ y)=(1\ ,\ 2)+t(3\ ,\ 5)=(1+3t\ ,\ 2+5t)$

したがって

$x=1+3t\ ,\ y=2+5t$

tを消去すると、次のようになる。

$5x-3y+1=0$

2点A,Bを通る直線のベクトル方程式を考える。

2点A,Bの位置ベクトルを、それぞれ${\vec {a}}\ ,\ {\vec {b}}$とする。

直線ABは、点Aを通り、${\vec {AB}}={\vec {b}}-{\vec {a}}$を方向ベクトルとする直線と考えられるから、そのベクトル方程式は

${\vec {p}}={\vec {a}}+t\left({\vec {b}}-{\vec {a}}\right)$

となる。これは次のように書ける。

${\vec {p}}=(1-t){\vec {a}}+t{\vec {b}}$

• 問題例

• • 問題

2点A$(2\ ,\ 5)$，B$(-1\ ,\ 3)$を通る直線の方程式を、媒介変数tを用いて表せ。

• • 解答

この直線のベクトル方程式は

$(x\ ,\ y)=(1-t)(2\ ,\ 5)+t(-1\ ,\ 3)=(2-3t\ ,\ 5-2t)$

したがって

$x=2-3t\ ,\ y=5-2t$

内積を使った直線のベクトル方程式

点Aを通って、${\vec {0}}$でないベクトル、${\vec {n}}$に垂直な直線をgとする。g上の点をPとすると、${\vec {AP}}={\vec {0}}$または${\vec {AP}}\perp {\vec {n}}$だから

${\vec {AP}}\cdot {\vec {n}}=0$…(1)

である。

点A,Pの位置ベクトルをそれぞれ、${\vec {a}}\ ,\ {\vec {p}}$とすると、${\vec {AP}}={\vec {p}}-{\vec {a}}$だから、(1)は

${\vec {n}}\cdot ({\vec {p}}-{\vec {a}})=0$…(2)

となる。(2)が点Aを通って、${\vec {n}}$に垂直な直線gのベクトル方程式であり、${\vec {n}}$をこの直線の法線ベクトル（ほうせんベクトル、normal vector）という。

点Aの座標を$(x_{1}\ ,\ y_{1})$、${\vec {n}}=(a\ ,\ b)$、点Pの座標を$(x\ ,\ y)$とおくと、${\vec {p}}-{\vec {a}}=(x-x_{1}\ ,\ y-y_{1})$だから、(2)は次のようになる。

$a(x-x_{1})+b(y-y_{1})=0$

この方程式は、$-ax_{1}-by_{1}=c$とおくと、$ax+by+c=0$となるから、次のことがいえる。

直線$ax+by+c=0$の法線ベクトルは、${\vec {n}}=(a\ ,\ b)$である。

• 問題例

• • 問題

点A$(2\ ,\ 5)$を通り、${\vec {n}}=(4\ ,\ 3)$に垂直な直線の方程式を求めよ。

• • 解答

$4(x-2)+3(y-5)=0$

つまり

$4x+3y-23=0$

空間座標とベクトル

ここまでは、ベクトルを定義するものとして2次元の平面を用いて来た。 しかし、ベクトルの考え方自体は必ずしも2次元上でのみ用いられるものではなく、より一般的な情况によっても用いることが出来るものである。 ここでは、特に一般的な情况の例として、3次元空間における図形の記述法を学び、また、それらのベクトルを用いた記述法を学ぶ。

より一般的な次元を持った空間の座標系の記述法はこの項の範囲を越えるが、おそらく数学#一般教科書で扱われる。

空間座標

今までは、平面上の図形をベクトルや数式を用いて表現する方法を学んで来た。 ここでいう2次元とは、平面のことであり、一般的には縦と横という2つの長さを持ち得る図形を2次元図形と呼んでいる。

もちろん容易に分かる通り、2つ以外の長さによって特徴づけられうる図形も存在する。 例えば、3次元立体の1つである直方体は縦、横、高さの3つの長さを持っているので、3次元図形と呼ばれる。

実際には更に一般的に4つ以上の長さを用いて特徴づけられるような図形を考えることも出来る。これらの図形はそれらがn個の長さによる場合にn次元図形と呼ばれる。(nは整数。) しかし、一般にこのような図形は

$n>3$

の時には図形として書き記すことは出来ない。これは我々が住んでいる空間が3次元であり、4次元の物体を書くことが出来ないことによっている。

空間に1つの平面をとり、その上に直交する座標軸$O_{x}\ ,\ O_{y}$をとる。次にOを通りこの平面に垂直な直線$O_{z}$をひき、その直線上で、Oを原点とする座標を考える。

この3直線$O_{x}\ ,\ O_{y}\ ,\ O_{z}$は、どの2つも互いに垂直である。これらを座標軸といい、それぞれx軸、y軸、z軸という。

また、x軸とy軸とで定まる平面をxy平面といい、y軸とz軸とで定まる平面をyz平面といい、z軸とx軸とで定まる平面をzx平面といい、これらを座標平面という。

空間内の点Aに対して、Aを通って各座標平面に平行な3つの平面をつくり、それらがx軸、y軸、z軸と交わる点を$A_{1}\ ,\ A_{2}\ ,\ A_{3}$とし、$A_{1}\ ,\ A_{2}\ ,\ A_{3}$のそれぞれの軸上での座標を$a_{1}\ ,\ a_{2}\ ,\ a_{3}$とする。

このとき、3つの数の組

$(a_{1}\ ,\ a_{2}\ ,\ a_{3})$

を点Aの座標といい、$a_{1}$をx座標といい、$a_{2}$をy座標といい、$a_{3}$をz座標という。

このように座標の定められた空間を座標空間と呼び、点Oを座標空間の原点という。

球面の方程式

ここでは、特に3次元空間の図形に注目する。 まずはベクトルを用いる前に3次元空間の空間図形を、数式によって記述する方法を考察する。

2次元空間において、もっとも簡単な図形は直線であり、その式は一般的に

$ax+by=c$

で表わされた。 ($a$,$b$,$c$は任意の定数。) ここで$x$,$y$は、2次元空間を代表する2つのパラメーターであり、3次元空間を用いたときには、これらは3つの文字で表わされることが期待される。

実際このような式で表わされる図形は、3次元空間でも基本的な図形である。つまり、

$ax+by+cz=d$

が、上の式の類似物として得られる。 ($a$,$b$,$c$,$d$は任意の定数。)

このような図形はどんな図形に対応するだろうか?

実際にはこの図形を特徴づけるのは、後に学ぶ3次元ベクトルを用いるのがもっとも簡単であるので、これは後にまわすことにする。

しかし、ただ1つこの式から分かることは、3次元空間の座標を表わすパラメーター

$x,y,z$

のうちに1つの関係

$f(x,y,z)=0$

を与えることで、3次元空間上の図形を指定できるということである。この場合は、

$f(x,y,z)=ax+by+cz-d$

を用いていた。

ベクトルを使わなくても図形的解釈が得られる式として、

$(x-a)^{2}+(y-b)^{2}+(z-c)^{2}=r^{2}$

が挙げられる。 ($a$,$b$,$c$,$r$は任意の定数。) この式は、2次元でいうところの

$(x-a)^{2}+(y-b)^{2}+=r^{2}$

の式の類似物である。2次元の場合はこの式は、

中心

$(a,b)$

半径

$r$

の円に対応していた。 3次元のこの式は、結論をいうと

中心

$(a,b,c)$

半径

$r$

の円に対応しているのである。

• 説明

上の式

$(x-a)^{2}+(y-b)^{2}+(z-c)^{2}=r^{2}$

を満たすある点

$(x,y,z)$

を取り、その点と点

$(a,b,c)$

との距離を考える。

空間座標に置ける$x$軸、 $y$軸、 $z$軸はそれぞれ直交しているので、2点の距離は3平方の定理を用いて

${\sqrt {(x-a)^{2}+(y-b)^{2}+(z-c)^{2}}}$

で与えられる。

しかし、上の式からここで選んだ点

$(x,y,z)$

は、条件

$(x-a)^{2}+(y-b)^{2}+(z-c)^{2}=r^{2}$

を満たしているので、2点の距離は

${\sqrt {(x-a)^{2}+(y-b)^{2}+(z-c)^{2}}}$

$={\sqrt {r^{2}}}$

$=r$

である。 ($r>0$を用いた。)

よって、上の式を満たす点は全て

点

$(a,b,c)$

からの距離が

$r$

である点であり、これは

中心

$(a,b,c)$

半径

$r$

の円に他ならない。

• 問題例

• • 問題

中心

$(3,7,-2)$

半径

$1$

の球の式を求めよ。

• • 解答

$(x-a)^{2}+(y-b)^{2}+(z-c)^{2}=r^{2}$

に代入することで、

$(x-3)^{2}+(y-7)^{2}+(z+2)^{2}=1$

が求められる。

• • 問題

$x^{2}+2x+y^{2}-8y+z^{2}+6z-9=0$

がどのような 球に対応するか計算せよ。

• • 解答

このような数式が球に対応するとき、

$x^{2},y^{2},z^{2}$

の係数は必ず等しくなくてはならない。そうでない場合はこの図形は楕円体に対応するのだが、これは指導要領の範囲外である。 ここでは上の式はその条件を満たしている。

ここでは、この式を

$(x-a)^{2}+(y-b)^{2}+(z-c)^{2}=r^{2}$

の形に持って行くことが重要である。

$x,y,z$

のそれぞれについてこの式を平方完成すると、

$x^{2}+2x+y^{2}-8y+z^{2}+6z-9=0$

$(x+1)^{2}-1+(y-4)^{2}-16+(z+3)^{2}-9-9=0$

$(x+1)^{2}+(y-4)^{2}+(z+3)^{2}=35$

が得られる。よって、上の式

$x^{2}+2x+y^{2}-8y+z^{2}+6z-9=0$

は、 中心

$(-1,4,-3)$

、半径

${\sqrt {35}}$

の球に対応する。

空間におけるベクトル

次に3次元空間上におけるベクトルを考察する。 2次元空間上ではベクトルは2つの量の組み合わせで表わされた。 これは1つのベクトルはx軸方向に対応する量とy軸方向に対応する量の2つを持っている必要があったからである。 このことから、3次元空間のベクトルは3つの量の組み合わせで書けることが予想される。 特に$x$軸方向の成分$a$, $y$軸方向の成分$b$, $z$軸方向の成分$c$ ($a$,$b$,$c$は任意の定数。) で表わされるベクトルを、

$(a,b,c)$

と書いて表わすことにする。

2次元平面では あるベクトル

${\vec {a}}=(a,b)$

は、 ($a$,$b$は任意の定数。)

${\vec {e}}_{1}=(1,0)$

${\vec {e}}_{2}=(0,1)$

の2本のベクトルを用いて、

${\vec {a}}=a{\vec {e}}_{1}+b{\vec {e}}_{2}$

で表わされた。 3次元空間でもこのような記述法があり、上で用いたベクトル

${\vec {a}}=(a,b,c)$

は、

${\vec {e}}_{1}=(1,0,0)$

${\vec {e}}_{2}=(0,1,0)$

${\vec {e}}_{3}=(0,0,1)$

を用いて

${\vec {a}}=a{\vec {e}}_{1}+b{\vec {e}}_{2}+c{\vec {e}}_{3}$

と書かれたベクトルに対応している。

3次元ベクトルに対しても2次元ベクトルで定めた定義や性質がほぼそのまま成立する。

3次元ベクトルの加法は、それぞれのベクトル要素を独立に足し合わせることによって定義する。

$(x_{1},y_{1},z_{1})+(x_{2},y_{2},z_{2})$

$=(x_{1}+x_{2},y_{1}+y_{2},z_{1}+z_{2})$

また、それぞれのベクトルの要素が全て等しいベクトルを"ベクトルとして等しい"と表現する。

• 問題例

• • 問題

ベクトルの和

$(1,2,3)+(4,5,6)$

を計算せよ。

• • 解答

$(1,2,3)+(4,5,6)$

$=(1+4,2+5,3+6)$

$=(5,7,9)$

が得られる。

空間ベクトルの内積

ベクトル${\vec {a}}$,${\vec {b}}$間のベクトルの内積も平面の場合と同様に

${\vec {a}}\cdot {\vec {b}}=|{\vec {a}}||{\vec {b}}|\cos \theta$

($\theta$は、ベクトル${\vec {a}}$,${\vec {b}}$のなす角。)

分配法則や1次独立の性質もそのまま成り立つ。 ただし、3次元空間の全てのベクトルを張るには、3つの線形独立なベクトルを持って来る必要がある。

• 注意

このことの証明はおそらく線型代数学などに詳しい。

• 問題例

• • 問題

2つのベクトルの内積

$(1,2,3)\cdot (4,5,6)$

を計算せよ。

• • 解答

2次元の場合と同じようにここでもそれぞれの要素は互いに直交する単位ベクトル

${\vec {e}}_{1}\ ,\ {\vec {e}}_{2}\ ,\ {\vec {e}}_{3}$

によって張られている。そのため以前と同じく要素ごとの計算が可能であり、

$(1,2,3)\cdot (4,5,6)$

$=1\times 4+2\times 5+3\times 6$

$=32$

となる。

もうすこし細かく計算を行なうと、

$(1,2,3)\cdot (4,5,6)$

$=({\vec {e}}_{1}+2{\vec {e}}_{2}+3{\vec {e}}_{3})\cdot (4{\vec {e}}_{1}+5{\vec {e}}_{2}+6{\vec {e}}_{3})$

が得られる。それぞれのベクトルを

$(a+b+c)(x+y+z)=(ax+ay+az+bx+by+bz+cx+cy+cz)$

に従って展開し、

${\vec {e}}_{i}\cdot {\vec {e}}_{j}$

($i$,$j$は1,2,3のどれか。) を代入することで上の式が計算できるはずである。

しかし、 $i$と$j$が等しくないときには

${\vec {e}}_{i}\cdot {\vec {e}}_{j}$

$=0$

が成り立つことから、上の展開した後の9個の項のうちで、6つは

$0$

に等しい。

また、 $i$と$j$が等しいときには

${\vec {e}}_{i}\cdot {\vec {e}}_{j}$

$=1$

が成り立つことから、上の式

$=({\vec {e}}_{1}+2{\vec {e}}_{2}+3{\vec {e}}_{3})\cdot (4{\vec {e}}_{1}+5{\vec {e}}_{2}+6{\vec {e}}_{3})$

の展開は

$=4+2\times 5+3\times 6$

$=32$

となって確かに要素ごとの計算と一致する。

• • 問題

2次元空間のベクトルは2本の1次独立なベクトルがあれば、必ずそれらの線形結合によって計算できるはずである。

ここで、

${\vec {a}}_{1}=(1,2)$

と

${\vec {a}}_{2}=(-5,3)$

を用いて、

${\vec {b}}=(10,7)$

を、

${\vec {b}}=c{\vec {a}}_{1}+d{\vec {a}}_{2}$

の形に書いてみよ。 ($c$,$d$は、何らかの定数。)

• • 解答

2次元のベクトルの係数を求める問題である。 $c$,$d$の文字をそのまま用いると、$c$,$d$の満たす条件は

$c(1,2)+d(-5,3)=(10,7)$

つまり

$(c-5d,2c+3d)=(10,7)$

となる。これは $c$,$d$に関する連立1次方程式で書き換えられる。

${\begin{cases}c-5d=10\\2c+3d=7\end{cases}}$

これを解くと、

$c=5$

$d=-1$

が得られる。

よって、 上の式は

$5(1,2)-(-5,3)=(10,7)$

と書け、確かに2本の線形独立なベクトルによって他のベクトルが書き表されることが分かった。

• 注意

このような計算は3次元ベクトルに対しても可能であるが、計算手法として3元1次連立方程式を扱う必要があり、指導要領の範囲外である。実際の計算手法は、線型代数学,物理数学I 線形代数を参照。

この表式を用いて、以前見た

$ax+by+cz=d$

の図形的解釈を述べる。

この図形上の任意の点を

$(x,y,z)$

で表わす。 この点は原点Oに対する位置ベクトルを用いると

$(x,y,z)$

で与えられる。 便宜のために このベクトルを

${\vec {x}}$

と書くことにする。

一方、ベクトル

${\vec {a}}=(a,b,c)$

を用いると、上の式はベクトルの内積を用いて

${\vec {a}}\cdot {\vec {x}}=d$

で与えられる。 つまり、この式で表わされる図形はあるベクトル ${\vec {a}}$ との内積を一定に保つ図形である。 この図形は、実際には ${\vec {a}}$ に直交する平面で与えられる。 なぜならこのような平面上の点は、必ず平面上のある一点の位置ベクトルに加えて、 ベクトル ${\vec {a}}$ に直交するベクトルを加えたもので書くことが出来る。 しかし、 ベクトル ${\vec {a}}$ に直交するベクトルと ベクトル ${\vec {a}}$ の内積は必ず0であるので、 このような点の集合は ベクトル ${\vec {a}}$ と一定の内積を持つのである。

よって元の式

$ax+by+cz=d$

は、 ベクトル

${\vec {a}}=(a,b,c)$

に直交する平面に対応することが分かった。 次に$d$が、図形が表わす平面と、原点との距離に関係があることを示す。

特に、ベクトル

${\vec {a}}$

に比例する位置ベクトルを持つ点

${\vec {x}}$

を考える。このときこの点と原点との距離は、 平面

$ax+by+cz=d$

と原点との距離に対応する。 なぜなら、位置ベクトル

${\vec {x}}$

は、原点から平面

$ax+by+cz=d$

に垂直に下ろした線に対応するからである。

このことから仮に

${\vec {a}}$

方向の単位ベクトルを

${\vec {n}}$

と書き、平面と原点との距離を

$m$

と書くと、

${\vec {x}}=m{\vec {n}}$

が得られる。 この式を

${\vec {a}}\cdot {\vec {x}}=d$

に代入すると、

${\vec {a}}\cdot m{\vec {n}}=d$

$m|{\vec {a}}|=d$

が得られる。よって、

$d$

は、 平面と原点の距離

$m$

とベクトル

${\vec {a}}$

の大きさをかけたものである。

• 問題例

• • 問題

特にベクトル

${\vec {a}}=(0,0,1)$

を取ると、どのような式が得られて、その式は どのような図形に対応するか。

• • 解答

このとき

${\vec {a}}\cdot {\vec {x}}=d$

は、

$(0,0,1)\cdot (x,y,z)=d$

$z=d$

に対応する。

この式は$z$座標が$d$に対応し、それ以外の$x$,$y$座標を任意に動かした 平面に対応しているが、これは $xy$平面に平行であり、 $xy$平面からの距離が$d$である平面である。 また、$xy$平面とベクトル

${\vec {a}}=(0,0,1)$

は直交しているので、そのことからもこの式は正しい。

答

$xy$平面に平行であり、$xy$平面からの距離が$d$である平面。

コラムなど

ベクトルの理論の歴史

ハミルトン 実は、20世紀以降の現代（今は21世紀）でこそ、複素数とベクトルの理論はそれぞれ独立した理論として整理されているが、しかし発見の順序は違かったのである。 歴史的には、先に数学者ハミルトンによって複素数を拡張した「四元数」（しげんすう、よんげんすう）の理論が発見され、あとから別の数学者・物理学者（ギブスなど）によってベクトルの理論が発見された。 四元数は、 a ＋ bi ＋ cj ＋ dk のように、一般に3つの単位i,j,kをもちいて表される数である。 四元数は複素数の理論を拡張した理論なので、2乗すると ー1 になる単位　 i, 　j,　 k 　を持っている。実数の単位1個に加えて、さらに3つの単位 i, 　j,　 k をもっているので、合計で4個の単位があるので「四元数」といわれるわけである。 検定教科書では、ベクトルの創設者について、コラムなどで、ハミルトンという人物がベクトルの発見者だという感じで書いてある。 そして、ある検定教科書には、彼ハミルトンが、複素数の理論を拡張した「四元数」（しげんすう、よんげんすう）の理論を発見したとも記述されている。 さて、ハミルトンによる四元数の発見後、さらに研究が進むと、図形や物理学などの問題を解くさいには 2乗してー1になる性質はほとんどの空間・立体（3次元の図形）の問題を解く応用の場合には不要であることが分かり、学校教育の場ではベクトルと複素数を別々に教えるようになったわけである。 そして、四元数の公式のうち、ベクトルでも類似の公式が成り立つ場合には、その四元数の公式がベクトル用に改良されてベクトルの公式として輸入されたので、結果的にハミルトンはベクトルの公式の発見者としても紹介されることになった。

「外積」（がいせき）

※ 啓林館のコラムでのハミルトンの数学史の部分に「外積」という用語がある。 中学の理科で習った「フレミングの法則」という電気回路のモーターの原理の法則では、電流の大きさ と 磁力の強さ を掛けた積によって力の強さが決まるが、 力の向きは、電流の向きから磁界の向きに、右ねじを回すときに進む向きに、力が発生するのだった（なので、「右ねじの法則」とも言われる）。 このフレミングの法則のように、掛けるベクトルの順序によって、積の結果の正負の符号が変わる量があると便利である。そして、すでに現代のベクトルの理論には、そのような理論が用意されている。「外積」（がいせき）という理論が、そのように、掛けるベクトルの順序によって、正負の符号が変わる量である。 なお数学史的には、じつは先ほどのコラムで説明した四元数のほうで歴史的には先に、このように掛ける順序によって四元数の正負が変わる性質がハミルトンによって発見されていた（※ 啓林館の検定教科書のコラムでは、この事だけ説明されている）。 そして数学者ギブスなど後世の数学者によって四元数の理論からベクトルの理論が独立するさいに、掛ける順序によって符号の正負が変わる性質は物理学の電磁気の問題を解くなどの応用にも便利なので、これらの性質が、ベクトルの「外積」の理論として活用されることになった。 ※ 外積は高校の範囲外なので、暗記などは不要である。ただし、物理の受験参考書などで、ベクトルの外積の計算法を紹介している書籍がいくつかある。