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

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

本項は高等学校数学Bのベクトルの解説です。

ベクトル

平面上のベクトル

始点を(a,b)、終点を(c,d)とする矢印を考える。この矢印をベクトル(vector)とよぶ。ベクトルは、大きさと方向を持った量として特徴づけられる。一方実数は、ただ大きさだけを持っている。このような数をベクトルに対して、スカラー(scalar)と呼ぶことがある。

• 例

点A(1,2)から、点B(5.7)へ向けて矢印を描く。このとき、$A$から$B$に向けたベクトルを

${\vec {AB}}$

(ベクトルABと読む。) 、$B$から$A$に向けたベクトルを${\vec {BA}}$と呼んで区別する。特にこのようなベクトルを簡単に${\vec {a}}$と書くことがある。

先ほどのように、始点を$A(a,b)$、終点を$B(c,d)$とおいたベクトルをとる。このとき、ベクトル${\vec {AB}}$の要素を

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

で定める。

また、ある2つのベクトル${\vec {a}}$、${\vec {b}}$を取ったとき、${\vec {a}}$、${\vec {b}}$の各要素が等しい場合、そのベクトルはお互いに等しいという。

• 例

ベクトル$(1,0)$と、ベクトル$(1,0)$は互いに等しい。

一方、$(2,8)$と、$(2,9)$はベクトルのy成分が異なるので互いに等しくない。

ベクトルの意義

なぜ、ベクトルのような数量を定義する必要があるかというと、現代では、物理学や、物理の力学などで、ベクトルをつかう式が簡単にあらわせて便利なことが多いのも、ひとつの理由である。

ベクトルの長さ

あるベクトル${\vec {a}}=(a_{1},a_{2})$に対してこのベクトルの長さは、

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

で与えられる。

• 導出

上のベクトル${\vec {a}}$ は、x方向の長さ$a_{1}$と、y方向の長さ$a_{2}$を持っている。このとき、x方向とy方向は互いに直交しているので、ベクトルの長さはw:三平方の定理によって求めることが出来る。$a_{1}$、$a_{2}$を直角を挟んで隣り合う2辺とすると、その直角三角形の斜辺の長さは

${\sqrt {a_{1}^{2}+a_{2}^{2}}}$

と等しい。しかしこの長さはちょうど元のベクトルの長さに対応している。

ベクトルの加法

${\vec {a}}$, ${\vec {b}}$ の2つのベクトルを定めたとき、この2つのベクトルの間の足し算を定める。

要素に展開したとき、それぞれのベクトルを${\vec {a}}=(a_{1},a_{2})$、${\vec {b}}=(b_{1},b_{2})$とするなら、2つのベクトル ${\vec {a}}$, ${\vec {b}}$ の間の足し算は

${\vec {a}}+{\vec {b}}=(a_{1}+b_{1},a_{2}+b_{2})$

で定められる。つまり、ベクトルの要素ごとの足し算をベクトルの足し算と置くのである。同様にして、引き算は

${\vec {a}}-{\vec {b}}=(a_{1}-b_{1},a_{2}-b_{2})$で定められる。

• 問題例

3つの点 $A(x_{1},y_{1})$ 、 $B(x_{2},y_{2})$ 、 $C(x_{3},y_{3})$ があったとする。このとき、ベクトルの定義から ${\vec {AB}}=(x_{2}-x_{1},y_{2}-y_{1})$ ,${\vec {BC}}=(x_{3}-x_{2},y_{3}-y_{2})$ ,${\vec {AC}}=(x_{3}-x_{1},y_{3}-y_{1})$ が成り立つ。このとき、ベクトルの足し算の性質を考えると、

${\vec {AB}}+{\vec {BC}}=(x_{3}-x_{1},y_{3}-y_{1})={\vec {AC}}$

が得られる。このことは図形的には、ある点$A$からある点$B$を経由して ある点$C$に到ったベクトルと、$A$から$C$に直接到ったベクトルが等しいことに対応する。

• 問題例2

• • 問題

$(1,9)+(3,7)$ , $(2,5)-(4,6)$ を計算し、それらをxy平面上で図示せよ。

• • 解答

値はそれぞれ$(4,16)$,$(-2,-1)$に対応する。図形的には、足し算によって得られたベクトルは、足されたベクトルのそれぞれを、隣り合う辺とした平行四辺形の対角線に対応する。

また、引き算によって得られたベクトルは、引くベクトルが示す点から、引かれるベクトルに引いた矢印に対応している。

位置ベクトル

ある点を原点としてとり、そこからある点$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)$

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

ベクトル方程式

• 問題例

• • 問題

三角形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}}$または構文解析失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「/mathoid/local/v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \vec {AP}} //${\vec {d}}$だから

構文解析失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「/mathoid/local/v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \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$

ベクトルの内積

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

では、ベクトルの積について、説明しよう。

ベクトルに対しては加法の演算を既に定義した。 一方、ベクトルに対する積をなんらかの仕方で定義したい。 ここでは、特に図形的な意味が明白な内積（ないせき）を扱う。 これ以外にもベクトルの外積（がいせき）と呼ばれる演算も用いられることがあるが、 ここでは指導要領の範囲外なので述べることが出来ない。

• (物理数学Iなどを参照。 )

まず最初に内積の定義を与え、続けてその性質を見ていく。

ベクトル

${\vec {a}},{\vec {b}}$

の内積（ないせき、英：inner product）を

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

で定義する。 ここで、

$\theta$

は、ベクトルaとbの成す角である。

• 成す角の図

• 問題例

• • 問題

ベクトル

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

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

を取ったとき、 これらの間の内積を求めよ。

• • 解答

2つのベクトルは 互いに

$45{}^{\circ }$

の角度を成す。 このことと

$|{\vec {a}}|={\sqrt {1^{2}+0^{2}}}$

$=1$

、

$|{\vec {b}}|={\sqrt {1^{2}+1^{2}}}$

$={\sqrt {2}}$

を考えたとき、 ベクトル

${\vec {a}},{\vec {b}}$

の内積は、

${\vec {a}}\cdot {\vec {b}}$

$=|{\vec {a}}||{\vec {b}}|\cos 45{}^{\circ }$

$=1\times {\sqrt {2}}\times {\frac {\sqrt {2}}{2}}$

$=1$

となる。

(注意:後に要素を用いたもう少し簡単な計算法も学ぶ。)

内積の性質

内積の重要な性質として、内積が分配法則を満たすことが挙げられる。 つまり、

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

が示される。

• 導出

まず最初に、内積の図形的意味を導入する。 あるベクトル

${\vec {a}}$

、

${\vec {b}}$

を取り、そのベクトルの後端をそろえ、その点を $O$、ベクトル

${\vec {a}}$

の先端を点$A$、 ベクトル

${\vec {b}}$

の先端を点$B$とおく。

2つのベクトルの成す角を

$\theta$

とすると、 2つのベクトルの内積は、

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

で表わされる。ここで、

$|{\vec {b}}|\cos \theta$

に注目すると、これは

$\cos$

の性質から、 点$B$から辺$OA$に垂直に下ろした 直線と辺$OA$の交点を$H$としたとき、

$|{\vec {b}}|\cos \theta =OH$

が成り立つ。 同様に、 点$A$から辺$OB$に垂直に下ろした 直線と辺$OB$の交点を$M$としたとき、

$|{\vec {a}}|\cos \theta =OM$

が成り立つ。

次に、このことを用いて分配法則の導出を行なう。 ベクトル

${\vec {a}},{\vec {b}},{\vec {c}}$

の後端をそろえてその点を点Oと呼ぶ。 また、それぞれのベクトルの先端をそれぞれ、 点A,B,Cと呼ぶ。 また、Oを後端としてベクトル

${\vec {b}}+{\vec {c}}$

を書き込み、それの先端を点Dとおく。

ここで、点B,C,Dから直線OAに垂直に下ろした点を それぞれB',C',D'と呼ぶ。 このとき、ベクトルの分配法則は、

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

と書けるが、 これは、

$|{\vec {a}}|OD'=|{\vec {a}}|OB'+|{\vec {a}}|OC'$

つまり、

$OD'=OB'+OC'$

に対応している。

ここで、 実際に、 OBを斜辺として、OAに平行な辺を持つ直角三角形と、 CDを斜辺として、OAに平行な辺を持つ直角三角形は、 OBとCDが平行で、長さが等しいことから合同であり、そのOAに平行な辺の長さは等しい。

しかし、これらの辺の長さはそれぞれ、

$OB'$

、

$C'D'$

に対応しており、

$OB'=C'D'$

つまり、

$OB'=OD'-OC'$

もしくは

$OB'+OC'=OD'$

となり求めたかった式が得られた。

よって、ベクトルの内積は分配法則を満たす。

要素によるベクトルの内積

まず、ある事実を示す。

あるベクトル

${\vec {a}}$

は、適当な定数c,dを用いたとき、 互いに他の定数倍でない(実は同じ意味だが互いに平行でない)2つのベクトル

${\vec {e}},{\vec {f}}$

の和の形で、

${\vec {a}}=c{\vec {e}}+d{\vec {f}}$

と書ける。また、このとき、c,dの選び方は1通りに決まる。

• 導出

それぞれのベクトルの要素を それぞれ、

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

の様に書くことにする。

このとき、

${\vec {a}}=c{\vec {e}}+d{\vec {f}}$

の右辺は

$c(e_{1},e_{2})+d(f_{1},f_{2})$

で与えられる。このベクトルが左辺のベクトルと一致するには、

$a_{1}=ce_{1}+df_{1}$

$a_{2}=ce_{2}+df_{2}$

であることが必要になる。この式をc,dに ついて直接の計算でとくと、

$c={\frac {1}{e_{1}f_{2}-e_{2}f_{1}}}(a_{1}f_{2}-a_{2}f_{1})$

$d={\frac {1}{e_{1}f_{2}-e_{2}f_{1}}}(e_{1}a_{2}-e_{2}a_{1})$

が得られる。 ただし、

$e_{1}f_{2}-e_{2}f_{1}=0$

が成立するようなときには この式には解が無いが、これは、ある定数$a$を取ったとき、

$(e_{1},e_{2})=a(f_{1},f_{2})$

となるような時であり、これは

${\vec {e}}$

と

${\vec {f}}$

が平行なときにしか起こらない。

結局、

${\vec {a}}=c{\vec {e}}+d{\vec {f}}$

は、

${\vec {e}}$

と、

${\vec {f}}$

が互いに平行でない限り必ず適当なc,dを選ぶことで成立させることが出来、 そのようなc,dはただ1つしかないことが示された。

上のように、互いに平行でない2本のベクトルをお互いに対して "1次独立"であるという。 また、

$c{\vec {e}}+d{\vec {f}}$

のような形の和を、ベクトル

${\vec {e}},{\vec {f}}$

の線形結合（せんけいけつごう、英: linear combination）と呼ぶ。

1次独立なベクトルを持って来ることで、それらの線形結合によって全てのベクトルを作ることが出来る。 そのため、もっとも簡単な1次独立なベクトルの組をあらかじめ作成しておくと、便利なことがある。

通常このようなベクトルの組として、

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

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

が用いられる。 これらは互いに平行でないので1次独立であり、あらゆるベクトルを作ることが出来る。

例えば、ベクトル

$(a,b)$

は、

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

で得ることが出来る。このときにはそれぞれのベクトルの前の係数が元のベクトルの要素と一致することがわかる。 また、このようなベクトルに対しては、これらの成す角が

$90{}^{\circ }$

であることから、

$\cos 90{}^{\circ }=0$

より、これらの内積は0となる。

上のようにベクトルをある2つのベクトルで書き換える仕方と、ベクトルの内積の分配法則を合わせて用いると、ベクトルの内積の計算は簡単になる。

例えば、

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

が

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

という2つのベクトルを用いて

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

と書けることを考えると、

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

について、

${\vec {a}}\cdot {\vec {c}}$

$=(a{\vec {e}}_{1}+b{\vec {e}}_{2})\cdot (c{\vec {e}}_{1}+d{\vec {e}}_{2})$

$=ac{\vec {e}}_{1}\cdot {\vec {e}}_{1}+ad{\vec {e}}_{1}\cdot {\vec {e}}_{2}+bc{\vec {e}}_{2}\cdot {\vec {e}}_{1}+bd{\vec {e}}_{2}\cdot {\vec {e}}_{2}$

$=ac+bd$

が得られる。結局要素で表わされたベクトルの内積を求めるには、お互いの要素を掛け合わせて、それらを足し合わせればよいことが分かる。

• 問題例

• 問題

ベクトル

$(1,9)$

、

$(8,2)$

の内積を求めよ。

• 解答

内積はそれぞれの要素の積を足し合わせればよい。 実際に計算すると、

$1\times 8+9\times 2$

$=26$

が得られる。

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

点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次元の図形）の問題を解く応用の場合には不要であることが分かり、学校教育の場ではベクトルと複素数を別々に教えるようになったわけである。 そして、四元数の公式のうち、ベクトルでも類似の公式が成り立つ場合には、その四元数の公式がベクトル用に改良されてベクトルの公式として輸入されたので、結果的にハミルトンはベクトルの公式の発見者としても紹介されることになった。 ※ 大学受験では、まず四元数の理論は出題されないのが現状なので、深入りは不要だろう。

「外積」（がいせき）

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