高等学校数学C/ベクトルのソースを表示

{{pathnav|frame=1|メインページ|高等学校の学習|高等学校数学|高等学校数学C|pagename=ベクトル|small=1}}
理科において、力は大きさと向きを持つ量であると習っただろう。大きさと向きを持つ量は、力の他にも、速度や風の吹き方などがある。

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

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

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

大学では、ベクトルを拡張した[[高等学校数学C/数学的な表現の工夫#行列による表現とその演算|行列]]とともに、[[線形代数学]]という分野でより一般に扱うことになる。

本項の学習後、同じく数学Cの[[高等学校数学C/数学的な表現の工夫|数学的な表現の工夫]]も参照されたし、ベクトルの回転移動などについて取り扱っている。

==平面上のベクトル==
[[ファイル:SameVectors.png|サムネイル]]
平面上の点 <math>\mathrm{S}</math> から点 <math>\mathrm{T}</math> へ向かう矢印を考える。このような矢印のように向きを持つ線分を'''有向線分'''という。

このとき、点 <math>\mathrm{S}</math> を'''始点'''、点 <math>\mathrm{T}</math> を'''終点'''という。

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

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

有向線分 <math>\mathrm{ST}</math> で表されるベクトルを <math>\mathrm{\vec{ST}}</math> とかく。ベクトルは一文字で <math>\vec a</math> などと表されることがある<ref>または、太文字で <math>\bold a</math> などと表記されることもある。しかし、日本の高等学校、大学入試では <math>\vec \cdot</math> がほとんどである。</ref>。ベクトル <math>\vec a</math> の大きさを <math>|\vec a|</math> で表す。

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

大きさが 1 であるベクトルを'''単位ベクトル'''という。
[[ファイル:Vector-negation.png|サムネイル|ベクトル <math>\vec A</math> の逆ベクトル]]
ベクトル <math>\vec a</math> に対し、ベクトル <math>\vec a</math> と方向が'''逆'''で、大きさが等しいベクトルを'''逆ベクトル'''といい、<math>-\vec a</math> とかく。

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

=== ベクトルの加法 ===
[[ファイル:Vector addition explain.svg|サムネイル|ベクトルの和]]
ベクトル <math>\vec a, \vec b</math> に対し、<math>\vec a = \mathrm{\vec{AB}}, \vec b = \mathrm{\vec{BC}}</math> となる点をとる。このときベクトルの加法を <math>\vec a + \vec b = \mathrm{\vec{AC}}</math> で定める。

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

* <math>\vec a + \vec b = \vec b + \vec a</math>
* <math>(\vec a + \vec b) + \vec c = \vec a +(\vec b + \vec c)</math>

[[ファイル:Vector commutative.svg|サムネイル|ベクトルの加法は可換である]]

また、<math>\vec a + \vec 0 = \vec a</math> とする。

=== ベクトルの減法 ===
ベクトル <math>\vec a, \vec b</math> に対し、 <math>\vec a - \vec b = \vec a+ (-\vec b)</math> とかく。
[[ファイル:Vector's subtraction.svg|サムネイル|ベクトルの減法]]

=== ベクトルの実数倍 ===
ゼロベクトルでないベクトル <math>\vec a</math> と実数 <math>k</math> に対し、ベクトルの実数倍 <math>k\vec a</math> を以下のように定める。

# <math>k > 0</math> のとき、ベクトル <math>\vec a</math> と方向が同じで、大きさが <math>k</math> 倍されたベクトル
# <math>k = 0</math> のとき、ゼロベクトル <math>\vec 0</math>
# <math>k < 0</math> のとき、逆ベクトル <math>-\vec a</math> と方向が同じで、大きさが <math>k</math> 倍されたベクトル

またゼロベクトル <math>\vec 0</math> に対し、実数倍を <math>k\vec 0 = \vec 0</math> で定める。

任意の実数 <math>k,l</math> に対して、以下の性質が成り立つ。

* <math>(k+l)\vec a = k\vec a + l\vec a</math>
* <math>k(\vec a + \vec b) = k\vec a + k\vec b</math>
* <math>(kl)\vec a = k(l\vec a)</math>

== ベクトルの平行・垂直 ==
ゼロベクトルではないベクトル <math>\vec a, \vec b \, (\neq \vec 0)</math> に対し、<math>\vec a = \vec{\mathrm{AA'}}, \vec b = \vec{\mathrm{BB'}}</math> となる点をとる。

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

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

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

<math>\vec a \parallel \vec b </math> とは<math> \vec b = k\vec a</math> となる実数 <math>k</math> が存在することと同値である。

[[ファイル:Scalar multiplication of vectors.png|サムネイル|337x337ピクセル|ベクトルの実数倍]]

== ベクトルの分解 ==
ベクトル <math>\vec a, \vec b</math> がともにゼロベクトルでなく(<math>\vec a, \vec b \neq \vec 0</math>) 、平行でないとき、任意のベクトル <math>\vec p</math> に対して、 <math>\vec p = s\vec a + t \vec b</math> となる実数 <math>s,t</math> を取ることができる。このとき、<math>\vec a, \vec b</math>は「'''一次独立'''である」という。一次独立でないときは「'''一次従属'''である」という。


'''証明'''<!-- 図 -->

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

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

== ベクトルの成分表示 ==
ベクトル <math>\vec a</math> に対して、座標平面上の原点を <math>\mathrm O</math> とするとき、<math>\vec a = \mathrm{\vec{OA}}</math> となる点 <math>\mathrm A(a_x,a_y)</math> を取ることができる。そこで、 <math>(a_x,a_y)</math> をベクトル <math>\vec a</math> の成分表示とし、  <math>\vec a = (a_x,a_y)</math>、または、縦に並べて、 <math>\vec a = \left(\begin{align}a_x\\a_y\end{align}\right)</math> と書く。


ベクトル <math>\vec a , \vec b</math> に対して、<math>\vec a = \mathrm{\vec{OA}},\, \vec b = \mathrm{\vec{OB}}</math> となる点 <math>\mathrm{A},\mathrm{B}</math> をとり、<math>\vec a = (a_x,a_y),\, \vec b = (b_x,b_y)</math> とするとき

<math>\vec a = \vec b \iff \vec{\mathrm{OA}} = \vec{\mathrm{OB}} \iff </math>点 <math>\mathrm A ,\, \mathrm B</math> が一致する <math>\iff a_x = b_x  </math> かつ <math>a_y = b_y</math>


また、 <math>\vec a = (a_x, a_y)</math> に対して、<math>\vec a = \mathrm{\vec{OA}}</math> とするとき、 <math>|\vec a|</math> は線分 <math>\mathrm{OA}</math> の長さなので、

<math>|\vec a| = \sqrt{a_x^2 + a_y ^2}</math>

である。


[[ファイル:Vector in 2D space.png|サムネイル]]

ベクトル <math>\vec a = (a_x, a_y) ,\vec b = (b_x,b_y)</math> に対して、以下の性質が成り立つ。

* <math>\vec a + \vec b = (a_x + b_x, a_y + b_y)</math>
* <math>\vec a - \vec b = (a_x-b_x,a_y-b_y)</math>
* <math>k\vec a = (ka_x , ka_y)</math>


==位置ベクトル==

ある点を基準にして、その点を始点とするベクトルについて考えることにより、ベクトルを用いて点の位置関係について考察することができる。

点の位置関係基準となる点 <math>\rm O</math> をあらかじめ定める。このとき、点 <math>\rm A</math> に対して、ベクトル <math>\vec{\rm {OA }}</math> を点 <math>\rm A</math> の位置ベクトルという。位置ベクトル <math>\vec{a}</math> で与えられる点 <math>\rm A</math> を <math>\mathrm{A}(\vec a)</math> で表す。

また、点 <math>\mathrm A (\vec a),\,\mathrm B(\vec b)</math> のとき、<math>\vec{\rm{AB}} = \vec{\rm{OB}} - \vec{\rm{OA}} = \vec b- \vec a</math> が成り立つ。

=== 内分点・外分点の位置ベクトル ===
以下、位置ベクトルの基準点を点 <math>\rm O</math> とする。

点 <math>\rm A (\vec a),\,\rm B(\vec b)</math> を通る線分 <math>\mathrm{AB}</math> を <math>m:n</math> に内分する点 <math>\mathrm{P}(\vec p)</math> を求める。<!-- 図 -->

<math>\vec{\mathrm{AP}} = \frac{m}{m+n}\vec{\mathrm{AB}}</math> より、<math>\vec p - \vec a = \frac{m}{m+n}(\vec b - \vec a)</math> したがって、<math>\vec p = \frac{n\vec a + m\vec b}{m+n}</math> である。<ref><math>\vec p =\frac{m}{m+n}(\vec b - \vec a) + \vec a = \left(1-\frac{m}{m+n}\right)\vec a + \frac{m}{m+n}\vec b = \frac{n\vec a + m\vec b}{m+n} </math></ref>


次に、点 <math>\rm A (\vec a),\,\rm B(\vec b)</math> を通る線分 <math>\mathrm{AB}</math> を <math>m:n</math> に外分する点 <math>\mathrm{Q}(\vec q)</math> を求める。<!-- 図 -->

<math>m > n</math> の場合は、 <math>\vec{\mathrm{AQ}} = \frac{m}{m-n}\vec{\mathrm{AB}}</math> より、<math>\vec q - \vec a = \frac{m}{m-n}(\vec b - \vec a) </math> したがって、<math>\vec q = \frac{-n\vec a + m\vec b}{m-n}</math> である。<ref><math>\vec q = \frac{m}{m-n}(\vec b - \vec a) + \vec a = \left(1-\frac{m}{m-n}\right)\vec a + \frac{m}{m-n}\vec b = \frac{-n\vec a + m\vec b}{m-n} </math></ref>

<math>m < n</math> の場合は、<math>\vec{\mathrm{BQ}} = \frac{n}{n-m}\vec{\mathrm{BA}}</math> に注意して同様に計算すれば、前と同じ、 <math>\vec q = \frac{-n\vec a + m\vec b}{m-n}</math> が得られる。<ref><math>m = n</math> の場合、つまり線分を <math>1:1</math> に外分する点は存在しない。なぜなら、任意の線分ABに対してAP:BP=1:1となる点Pは線分ABの直角二等分線上にあるが、点Pが線分AB上にある場合、これは内分点であり、点Pが線分AB上にない場合、これは外分点ではありえない。</ref>

=== 三角形の重心の位置ベクトル ===
三角形 <math>\mathrm{ABC}</math> に対し、 <math>\mathrm{A}(\vec a),\, \mathrm{B}(\vec b),\, \mathrm{C}(\vec c)</math> と置く。この三角形 <math>\mathrm{ABC}</math> の重心 <math>\mathrm{G}({\vec g})</math> を求める。<!-- 図 -->

線分 <math>\mathrm{BC}</math> の中点を <math>\mathrm{M}(\vec m)</math> とすると、点 <math>\mathrm M</math> は線分 <math>\mathrm{BC}</math> を <math>1:1</math> に内分する点なので、 <math>\vec m = \frac{\vec b + \vec c}{2}</math> である。

点 <math>\mathrm{G}</math> は線分 <math>\mathrm{AM}</math> を <math>2:1</math> に内分する点なので、 <math>\vec g = \frac{\vec a + \vec b + \vec c}{3}</math> である。<ref><math>\vec g = \frac{\vec a + 2\vec m}{2+1} = \frac{\vec a + \vec b + \vec c}{3}</math></ref>

=== 三角形の内心の位置ベクトル ===
三角形 <math>\mathrm{ABC}</math> に対し、 <math>\mathrm{A}(\vec a),\, \mathrm{B}(\vec b),\, \mathrm{C}(\vec c)</math> と置く。さらに、<math>\mathrm{AB} = c,\,\mathrm{BC} = a,\, \mathrm{CA} = b</math> と置く。三角形 <math>\mathrm{ABC}</math> の内心の位置ベクトル <math>\mathrm{I}(\vec i)</math> を求める。<ref>ここで、線分の長さと頂点の位置ベクトルを同じアルファベットで置いているが、記号 <math>\vec \bullet</math> のついているものは、ベクトル。記号 <math>\vec \bullet</math> のついていないものは実数であることに注意せよ。</ref><!-- 図 -->

<math>\rm A</math> の二等分線と線分 <math>\rm{BC}</math> の交点を <math>\mathrm{D}(\vec d)</math> とする。このとき、三角形の二等分線の性質より<math>\mathrm{BD}:\mathrm{DC} = c:b</math> したがって、<math>\vec d = \frac{b\vec b + c\vec c}{b+c}</math> である。

ここで、<math>\mathrm{AI}:\mathrm{ID} = \mathrm{BA}:\mathrm{BD} = c:\frac{ac}{b+c} = (b+c):a</math><ref><math>\mathrm{BD}:\mathrm{DC} = c:b</math> より <math>\mathrm{BD} = \frac{c}{b+c}a</math></ref> である。

したがって、<math>\vec i = \frac{a\vec a + (b+c)\vec d}{a+b+c} = \frac{a\vec a + b\vec b + c\vec c}{a+b+c}</math> である。

== ベクトルの内積 ==
中学または高校の理科の力学では、力学的な仕事の定義をならったことがあるだろう。この仕事では、移動方向以外の力は、仕事に寄与しなかった。このような力の仕事の計算を、ベクトルの観点からみれば、内積という新しい概念が定義できる。<ref>[[物理数学I]]などを参照</ref><ref>これは、内”積”という名前がついているが、実数の”積”とは様子が違い、単純に実数の積をベクトルに拡張したものが内積というわけではない。実数の積は実数から実数への演算であるが、ベクトルの内積はベクトルから実数への演算である。</ref>

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

(図)

ベクトル <math>
\vec a,\vec b
</math> のなす角を <math>\theta</math> とするとき、内積 <math>\vec a \cdot \vec b</math> を
:<math>
\vec a \cdot \vec b = |\vec a||\vec b| \cos \theta
</math>
で定める。<ref>内積 <math>\vec a \cdot \vec b</math> を <math>\vec a \times \vec b</math> のように表記してはいけない。<math>\vec a \times \vec b</math> はベクトルの外積（範囲外）を表す。</ref>  



; '''補足：正射影'''
<math>\Delta \mathrm{OAB}</math>において、<math>\angle \mathrm{AOB} = \theta</math>とする。また、<math>\vec{ \mathrm{OC} } = \vec{c}</math>のように表記する。 

OBからOAへ伸ばした垂線の足をHとするとき、「線分OHは、線分OBの線分OAへの'''正射影'''である」という。また、線分OHをベクトルとしてみた<math>\vec{h}</math>を'''正射影ベクトル'''という。このとき、<math>|\vec{h}| = |\vec{b}| \cos \theta</math>が成り立つ。

つまり、内積<math>\vec{a} \cdot \vec{b}</math>は<math>\vec{b}</math>を<math>\vec{a}</math>に正射影したときの、<math>\vec{a}</math>の大きさ<math>|\vec{a}|</math>と正射影ベクトルの長さ<math>|\vec{b}| \cos \theta</math>の積である。


正射影ベクトルを内積を用いて表現してみよう。
:<math>\vec{a}</math>の長さは<math>|\vec{a}|</math>なので、<math>\vec{a}</math>に平行で長さが1であるベクトルは<math>\frac{\vec{a}}{|\vec{a}|}</math>である。
:正射影ベクトルは<math>\vec{a}</math>に平行で長さが<math>|\vec{b}| \cos \theta</math>なので、<math>|\vec{b}| \cos \theta \times \frac{\vec{a}}{|\vec{a}|} = \frac{|\vec{b}| \cos \theta}{|\vec{a}|} \vec{a}</math>と表現できる。
:分母分子に<math>|\vec{a}|</math>を掛けると<math>\frac{|\vec{a}| |\vec{b}| \cos \theta}{|\vec{a}|^2} \vec{a}</math>であり、
:後述の内積の性質を用いることにより、<math>\frac{\vec{a} \cdot \vec{b}}{\vec{a} \cdot \vec{a}} \vec{a}</math>と内積のみを用いて表現できる。


(図)  
  
=== 成分表示された内積 ===
ベクトル <math>
\vec a,\vec b
</math> を <math>\vec a = (a_1,a_2),\vec b = (b_1,b_2)</math> と成分表示したときの、内積 <math>\vec a \cdot \vec b</math> について考えてみよう。  

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

<math>\mathrm{\mathrm{AB}}^2 = \mathrm{\mathrm{OA}}^2 + \mathrm{\mathrm{OB}}^2 - 2 \cdot \mathrm{\mathrm{OA}} \cdot \mathrm{\mathrm{OB}} \cos \theta </math>  

(図)  

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

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

ここで、 <math>|\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</math> なので、これを代入すれば  

<math>\vec a \cdot \vec b = \frac{1}{2}(|\vec a|^2 + |\vec b|^2 - |\vec b - \vec a|^2)</math> <math>= \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] </math> <math>= a_1b_1 + a_2b_2 </math> である。  

したがって <math>\vec a \cdot \vec b = a_1b_1 + a_2b_2</math> が得られた。

=== 内積の性質 ===
{{math_theorem|内積の性質|ベクトル <math> {\vec {a}},{\vec {b}},{\vec {c}}</math> と実数 <math> k</math> に対し以下が成り立つ。
#<math> {\vec {a}}\cdot {\vec {b}}={\vec {b}}\cdot {\vec {a}}</math>
#<math> {\vec {a}}\cdot ({\vec {b}}+{\vec {c}})={\vec {a}}\cdot {\vec {b}}+{\vec {a}}\cdot {\vec {c}}</math>
#<math> (k{\vec {a}})\cdot {\vec {b}}=k({\vec {a}}\cdot {\vec {b}})</math>
#<math> 0\leq {\vec {a}}\cdot {\vec {a}}=|{\vec {a}}|^{2}</math>}}

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

{{Math proof|
<math>\vec a = (a_1,a_2),\vec b = (b_1,b_2),\vec c = (c_1,c_2)</math> とする。
#<math>\vec a \cdot \vec b = a_1b_1+a_2b_2 = \vec b \cdot \vec a</math>
#<math>{\vec {a}}\cdot ({\vec {b}}+{\vec {c}})=(a_1,a_2)\cdot(b_1+c_1,b_2+c_2) = (a_1b_1+a_1c_1 )+ (a_2b_2+a_2c_2 ) = {\vec {a}}\cdot {\vec {b}}+{\vec {a}}\cdot {\vec {c}}</math>
#<math>(k{\vec {a}})\cdot {\vec {b}}= (ka_1,ka_2)\cdot (b_1,b_2) =k(a_1b_1+a_2b_2) = k({\vec {a}}\cdot {\vec {b}})</math>
#<math>{\vec {a}}\cdot {\vec {a}} = a_1^2 + a_2^2 = |{\vec {a}}|^{2} \ge 0</math>}}

<math>|\vec{a}-\vec{b}|^2</math>を計算すると、<math>|\vec{a}-\vec{b}|^2 = |\vec{a}|^2 - 2 \vec{a}\cdot\vec{b} + |\vec{b}|^2 = |\vec{a}|^2 - 2|\vec{a}| |\vec{b}| \cos \theta + |\vec{b}|^2</math>である。これは[[高等学校数学I/図形と計量#余弦定理|余弦定理]]のベクトル表示である。

== ベクトル方程式 ==

{{演習問題|
<math>\mathrm A (\vec a),\, \mathrm B (\vec b)</math>とする。
このとき、線分OAを1:3に分ける点と、線分OBを5:2に分ける点をそれぞれ、A',B'とする。

(1) ベクトル <math>\vec {OA'},\, \vec {OB'}</math> をベクトル<math>\vec a,\, \vec b</math>を用いてあらわせ。

(2) 線分AB'と、BA'の交点 M の位置ベクトルをベクトル<math>\vec a,\, \vec b</math>を用いてあらわせ。|
ベクトル
:<math>
\vec a
</math>
と、
ベクトル
:<math>
\vec b
</math>
は互いに1次独立な2本のベクトルなので、
これらを用いてあらゆる図形上の点が表されるはずである。

図形上のそれぞれの点は、点Oからの位置ベクトルで表される。
例えば、ベクトル
:<math>
\vec {OA'}
</math>
は、点Oから見て
:<math>
\vec a
</math>
と平行な方向のベクトルであり、その大きさが、
:<math>
\frac 1 4
</math>
であるので、
:<math>
\vec {OA'}= \frac 1 4 \vec a
</math>
で表される。
同様に、ベクトル
:<math>
\vec {OB'}
</math>
は、点Oから見て
:<math>
\vec b
</math>
と平行な方向のベクトルであり、その大きさが、
:<math>
\frac 2 7
</math>
であるので、
:<math>
\vec {OB'}= \frac 2 7 \vec b
</math>
で表される。

次に、点A'を通過し、線分A'Bに平行な直線を
ベクトル
:<math>
\vec a
</math>
と
:<math>
\vec b
</math>
を用いて記述する方法を考える。

ここでは、
この直線上の点は、
ある定数<math>s</math>を用いて、
:<math>
\vec{OA'}
+ s(\vec {A'B})
</math>
で表せることに注目する。
例えば、
:<math>
s=0
</math>
のとき、この式が表す点は
:<math>
\vec{OA'}
</math>
に等しく、
:<math>
s = 1
</math>
のとき、
:<math>
\vec {OB}
</math>
に等しく、いずれも直線
A'B上の点である。

これらに先ほど求めた
:<math>
\vec {OA'}
</math>
と、
:<math>
\vec{OB}
</math>
の値を用いると、
:<math>
\vec{OA'}
+ s(\vec {A'B})
</math>
:<math>
= \frac 1 4 \vec a + s(\vec b - \frac 1 4 \vec a)
</math>
:<math>
= \frac 1 4 (1 -s ) \vec a + s \vec b
</math>
が得られる。

同様に、線分AB'上の点はある定数
<math>t</math>を用いて、
:<math>
\vec {OB'} + t\vec{B' A}
</math>
で表される。
ここに先ほど得た値を代入すると、
:<math>
\vec {OB'} + t\vec{B' A}
</math>
:<math>
= \frac 2 7 \vec b + t(\vec a - \frac 2  7 \vec b)
</math>
:<math>
=(1-t) \frac 2 7 \vec b + t \vec a
</math>
となる。

このようにそれぞれの直線上の点が<math>s</math>,<math>t</math>を
用いて表された。
次に、これらの式が同じ点を示すように
<math>s</math>,<math>t</math>を定める。
そのためには、
:<math>
\vec{OM}= \frac 1 4 (1 -s ) \vec a + s \vec b
</math>
,
:<math>
\vec{OM}=(1-t) \frac 2 7 \vec b + t \vec a
</math>
を等しいとおいて、
<math>s</math>,<math>t</math>に関する連立方程式を作り、それを解けばよい。
上の式で
:<math>
\vec a
</math>
の係数を等しいとおくと、
:<math>
\frac 1 4 (1-s) = t
</math>
が得られ、
:<math>
\vec b
</math>
の係数を等しいとおくと、
:<math>
\frac 2 7 (1-t) = s
</math>
が得られる。
この式を連立して解くと、
:<math>
s = \frac 3 {13}
</math>
,
:<math>
t = \frac  5 {26}
</math>
が得られる。
この式を
:<math>
\vec{OM}= \frac 1 4 (1 -s ) \vec a + s \vec b
</math>
,
:<math>
\vec{OM} =(1-t) \frac 2 7 \vec b + t \vec a
</math>
のどちらかに代入すると、求める位置ベクトルが得られるのである。
代入すると、求めるベクトルは、
:<math>
\vec{OM}= \frac 1 4 (1 -\frac 3 {13} ) \vec a + \frac 3 {13} \vec b
</math>
:<math>
= \frac 5 {26}  \vec a + \frac 3 {13} \vec b
</math>
となる。

:答え
:<math>
\vec{OA'} = \frac 1 4 \vec a
</math>
:<math>
\vec {OB'}= \frac 2 7 \vec b
</math>
:<math>
\vec {OM} = \frac 5 {26}  \vec a + \frac 3 {13} \vec b
</math>}}

===== 媒介変数を使った直線のベクトル方程式 =====
点 <math>\mathrm{A}(\vec a)</math> を通り、ベクトル <math>\vec {d} \, (\neq \vec 0)</math> に平行な直線を <math>g</math> とする。<math>g</math> 上の点を <math>\mathrm{P}(\vec p)</math> とすると、<math>\vec \mathrm{AP} = \vec {0}</math>または<math>\vec \mathrm{AP} \parallel \vec d</math> だから
:<math>\vec \mathrm{AP} = t \vec {d}</math><!-- 図 -->
となる実数 <math>t</math> がある。

すなわち、
:<math>\vec {p} - \vec {a} = t \vec {d}</math>
よって、
:<math>\vec {p} = \vec {a} + t \vec {d}</math>
これを、直線 <math>g</math> の'''ベクトル方程式'''（vector equation）といい、 <math>\vec{d}</math> を <math>g</math> の'''方向ベクトル'''という。また、<math>t</math> を{{Ruby|'''媒介変数'''|ばいかいへんすう}}という。


点Aの座標を<math>(x_1\ ,\ y_1)</math>、<math>\vec{d} = (a\ ,\ b)</math>、点Pの座標を<math>(x\ , \ y)</math>とおくと、ベクトル方程式 <math>\vec {p} = \vec {a} + t \vec {d}</math> は
:<math>(x\ , \ y) = (x_1\ , \ y_1)  + t (a\ , \ b) </math>
となる。したがって

<math>\begin{cases} x = x_1 +at \\ y = y_1 +bt\end{cases}</math>

これを直線 <math>g</math> の'''媒介変数表示'''という。




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

また、tを消去した式で表せ。|
この直線のベクトル方程式は
:<math>(x\ , \ y) = (1\ , \ 2)  + t (3\ , \ 5) = (1+3t\ , \ 2+5t)</math>
したがって
:<math>x = 1+3t\ ,\ y = 2+5t</math>
tを消去すると、次のようになる。
:<math>5x-3y+1=0</math>}}



2点 <math>\mathrm{A}(\vec a),\, \mathrm{B}(\vec b)</math> を通る直線のベクトル方程式を考える。

直線ABは、点Aを通り、<math>\vec{AB} = \vec{b} - \vec{a}</math>を方向ベクトルとする直線と考えられるから、そのベクトル方程式は
:<math>\vec {p} = \vec {a} + t \left(\vec{b} - \vec{a} \right)</math>
となる。これは次のように書ける。
:<math>\vec {p} = (1-t) \vec {a} + t \vec{b}</math>



{{演習問題|
2点A<math>(2\ ,\ 5)</math>，B<math>(-1\ ,\ 3)</math>を通る直線の方程式を、媒介変数tを用いて表せ。|
この直線のベクトル方程式は
:<math>(x\ , \ y) = (1-t)(2\ , \ 5)  + t (-1\ , \ 3) = (2-3t\ , \ 5-2t)</math>
したがって
:<math>x = 2-3t\ ,\ y = 5-2t</math>}}



===== 内積を使った直線のベクトル方程式 =====
点Aを通って、<math>\vec {0}</math>でないベクトル、<math>\vec {n}</math>に垂直な直線をgとする。g上の点をPとすると、<math>\vec {AP} = \vec {0}</math>または<math>\vec {AP} \perp \vec {n}</math>だから
:<math>\vec {AP} \cdot \vec {n} =0</math>…(1)
である。

点A,Pの位置ベクトルをそれぞれ、<math>\vec{a}\ ,\ \vec{p}</math>とすると、<math>\vec {AP} = \vec {p} - \vec {a}</math>だから、(1)は
:<math>\vec {n} \cdot (\vec {p} - \vec {a}) = 0</math>…(2)
となる。(2)が点Aを通って、<math>\vec {n}</math>に垂直な直線gのベクトル方程式であり、<math>\vec{n}</math>をこの直線の'''法線ベクトル'''（ほうせんベクトル、normal vector）という。


点Aの座標を<math>(x_1\ ,\ y_1)</math>、<math>\vec{n} = (a\ ,\ b)</math>、点Pの座標を<math>(x\ , \ y)</math>とおくと、<math>\vec {p} - \vec {a} = (x-x_1\ , \ y-y_1)</math>だから、(2)は次のようになる。
<center><math>a(x-x_1)+b(y-y_1)=0</math></center>
この方程式は、<math>-ax_1-by_1=c</math>とおくと、<math>ax+by+c=0</math>となるから、次のことがいえる。

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


{{演習問題|
点A<math>(2\ ,\ 5)</math>を通り、<math>\vec{n} = (4\ ,\ 3)</math>に垂直な直線の方程式を求めよ。|:<math>4(x-2)+3(y-5)=0</math>
つまり
:<math>4x+3y-23=0</math>}}

==空間座標とベクトル==

ここまでは、平面上のベクトルについて考えてきたが、ここからは３次元空間上のベクトルについて考える。より一般にベクトルはn次元(ユークリッド)空間上で定義することができるが、このようなものは高校では扱わない。
=====空間座標 =====

今までは、平面上の図形をベクトルや数式を用いて表現する方法を学んで来た。
ここでいう2次元とは、平面のことである。平面上の任意の点を指定するには最低でも2以上の実数が必要だからこのように呼ばれている。


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


空間に1つの平面をとり、その上に直交する座標軸<math>O_x\ , \ O_y</math>をとる。次にOを通りこの平面に垂直な直線<math>O_z</math>をひき、その直線上で、Oを原点とする座標を考える。

この3直線<math>O_x\ , \ O_y\ , \ O_z</math>は、どの2つも互いに垂直である。これらを'''座標軸'''といい、それぞれ'''x軸、y軸、z軸'''という。

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


空間内の点Aに対して、Aを通って各座標平面に平行な3つの平面をつくり、それらがx軸、y軸、z軸と交わる点を<math>A_1\ , \ A_2\ , \ A_3</math>とし、<math>A_1\ , \ A_2\ , \ A_3</math>のそれぞれの軸上での座標を<math>a_1\ , \ a_2\ , \ a_3</math>とする。

このとき、3つの数の組
:<math>(a_1\ , \ a_2\ , \ a_3)</math>
を点Aの'''座標'''といい、<math>a_1</math>を'''x座標'''といい、<math>a_2</math>を'''y座標'''といい、<math>a_3</math>を'''z座標'''という。

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

=====球面の方程式 =====

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


2次元空間において、もっとも簡単な図形は直線であり、その式は一般的に
:<math>
a x + by = c
</math>
で表わされた。
(<math>a</math>,<math>b</math>,<math>c</math>は任意の定数。)
ここで<math>x</math>,<math>y</math>は、2次元空間を代表する2つのパラメーターであり、3次元空間を用いたときには、これらは3つの文字で表わされることが期待される。

実際このような式で表わされる図形は、3次元空間でも基本的な図形である。つまり、
:<math>
a x + by + cz = d
</math>
が、上の式の類似物として得られる。
(<math>a</math>,<math>b</math>,<math>c</math>,<math>d</math>は任意の定数。)

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

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

しかし、ただ1つこの式から分かることは、3次元空間の座標を表わすパラメーター
:<math>
x,y,z
</math>
のうちに1つの関係
:<math>
f(x,y,z)=0
</math>
を与えることで、3次元空間上の図形を指定できるということである。この場合は、
:<math>
f(x,y,z) =a x + by + cz - d
</math>
を用いていた。

ベクトルを使わなくても図形的解釈が得られる式として、
:<math>
(x -a)^2 +
(y -b)^2 +
(z -c)^2 
= r^2
</math>
が挙げられる。
(<math>a</math>,<math>b</math>,<math>c</math>,<math>r</math>は任意の定数。)
この式は、2次元でいうところの
:<math>
(x -a)^2 +
(y -b)^2 +
= r^2
</math>
の式の類似物である。2次元の場合はこの式は、

中心<math>
(a,b)
</math>半径<math>
r
</math>の円に対応していた。
3次元のこの式は、結論をいうと中心<math>
(a,b,c)
</math>半径<math>
r
</math>の円に対応しているのである。
*説明

上の式
:<math>
(x -a)^2 +
(y -b)^2 +
(z -c)^2 
= r^2
</math>
を満たすある点<math>
(x,y,z)
</math>を取り、その点と点<math>
(a,b,c)
</math>との距離を考える。

空間座標に置ける<math>x</math>軸、
<math>y</math>軸、
<math>z</math>軸はそれぞれ直交しているので、2点の距離は3平方の定理を用いて
:<math>
\sqrt{ (x -a)^2 + (y -b)^2 + (z -c)^2 }
</math>
で与えられる。

しかし、上の式からここで選んだ点<math>
(x,y,z)
</math>は、条件
:<math>
(x -a)^2 +
(y -b)^2 +
(z -c)^2 
= r^2
</math>
を満たしているので、2点の距離は
:<math>
\sqrt{ (x -a)^2 + (y -b)^2 + (z -c)^2 }
</math>
:<math>
= \sqrt{r^2}
</math>
:<math>
= r
</math>
である。
(<math>r>0</math>を用いた。)

よって、上の式を満たす点は全て点<math>
(a,b,c)
</math>からの距離が<math>
r
</math>である点であり、これは中心<math>
(a,b,c)
</math>半径<math>
r
</math>の円に他ならない。



{{演習問題|
中心
:<math>
(3,7,-2)
</math>
半径
:<math>
1
</math>
の球の式を求めよ。|:<math>
(x -a)^2 +
(y -b)^2 +
(z -c)^2 
= r^2
</math>
に代入することで、
:<math>
(x -3)^2 +
(y -7)^2 +
(z +2)^2 
= 1
</math>
が求められる。}}

{{演習問題|
:<math>
x ^ 2 + 2x + y ^ 2 - 8y + z ^ 2 + 6z - 9 = 0
</math>
がどのような
球に対応するか計算せよ。|このような数式が球に対応するとき、
:<math>
x^2,
y^2,
z^2
</math>
の係数は必ず等しくなくてはならない。そうでない場合はこの図形は楕円体に対応するのだが、これは指導要領の範囲外である。
ここでは上の式はその条件を満たしている。

ここでは、この式を
:<math>
(x -a)^2 +
(y -b)^2 +
(z -c)^2 
= r^2
</math>
の形に持って行くことが重要である。
:<math>
x,y,z
</math>
のそれぞれについてこの式を平方完成すると、
:<math>
x ^ 2 + 2x + y ^ 2 - 8y + z ^ 2 + 6z - 9 = 0
</math>
:<math>
(x +1 ) ^2 - 1 + (y -4) ^2 -16 +(z +3)^2 -9 -9=0
</math>
:<math>
(x +1 ) ^2  + (y -4) ^2  +(z +3)^2 = 35
</math>
が得られる。よって、上の式
:<math>
x ^ 2 + 2x + y ^ 2 - 8y + z ^ 2 + 6z - 9 = 0
</math>
は、
中心
:<math>
(-1,4,-3)
</math>
、半径
:<math>
\sqrt{35}
</math>
の球に対応する。}}

=====空間におけるベクトル=====

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

2次元平面では
あるベクトル
:<math>
\vec a =(a,b)
</math>
は、
(<math>a</math>,<math>b</math>は任意の定数。)
:<math>
\vec e  _1 = (1,0)
</math>
:<math>
\vec e  _2 = (0,1)
</math>
の2本のベクトルを用いて、
:<math>
\vec a = a\vec e _1 + b\vec e _2
</math>
で表わされた。
3次元空間でもこのような記述法があり、上で用いたベクトル
:<math>
\vec a = (a,b,c)
</math>
は、
:<math>
\vec e  _1 = (1,0,0)
</math>
:<math>
\vec e  _2 = (0,1,0)
</math>
:<math>
\vec e  _3 = (0,0,1)
</math>
を用いて
:<math>
\vec a = a \vec e _1 + b \vec e _2 + c\vec e _3
</math>
と書かれたベクトルに対応している。

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

3次元ベクトルの加法は、それぞれのベクトル要素を独立に足し合わせることによって定義する。
:<math>
(x _1,y _1,z _1)+(x _2,y _2,z _2)
</math>
:<math>
= 
(x _1+x _2,y _1+y _2,z _1+z _2)
</math>
また、それぞれのベクトルの要素が全て等しいベクトルを"ベクトルとして等しい"と表現する。

{{演習問題|
ベクトルの和
:<math>
(1,2,3)+(4,5,6)
</math>
を計算せよ。|:<math>
(1,2,3)+(4,5,6)
</math>
:<math>
=(1+4,2+5,3+6)
</math>
:<math>
=(5,7,9)
</math>
が得られる。}}


=====空間ベクトルの内積=====

ベクトル<math>\vec a</math>,<math>\vec b</math>間のベクトルの内積も平面の場合と同様に
:<math>
\vec a \cdot\vec b
= |\vec a||\vec b| \cos \theta
</math>

(<math>\theta</math>は、ベクトル<math>\vec a</math>,<math>\vec b</math>のなす角。)

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


*注意

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

{{演習問題|
2つのベクトルの内積
:<math>
(1,2,3) \cdot 
(4,5,6)
</math>
を計算せよ。|
2次元の場合と同じようにここでもそれぞれの要素は互いに直交する単位ベクトル
:<math>
\vec e _1\ ,\ \vec e _2\ ,\ \vec e _3
</math>
によって張られている。そのため以前と同じく要素ごとの計算が可能であり、
:<math>
(1,2,3) \cdot 
(4,5,6)
</math>
:<math>
=1\times 4 + 2 \times 5 + 3 \times 6
</math>
:<math>
= 32
</math>
となる。

もうすこし細かく計算を行なうと、
:<math>
(1,2,3) \cdot 
(4,5,6)
</math>
:<math>
=( \vec e _1 
+2\vec e _2
+3\vec e _3)
\cdot
(4\vec e _1
+5\vec e _2
+6\vec e _3)
</math>
が得られる。それぞれのベクトルを
:<math>
(a+b+c)(x+y+z)
= (ax+ay+az + bx+by+bz+cx+cy+cz)
</math>
に従って展開し、
:<math>
\vec e _ i \cdot \vec e _j
</math>
(<math>i</math>,<math>j</math>は1,2,3のどれか。)
を代入することで上の式が計算できるはずである。

しかし、
<math>i</math>と<math>j</math>が等しくないときには
:<math>
\vec e _ i \cdot \vec e _j 
</math>
:<math>
=0
</math>
が成り立つことから、上の展開した後の9個の項のうちで、6つは
:<math>
0
</math>
に等しい。

また、
<math>i</math>と<math>j</math>が等しいときには
:<math>
\vec e _ i \cdot \vec e _j 
</math>
:<math>
=1
</math>
が成り立つことから、上の式
:<math>
=( \vec e _1 
+2\vec e _2
+3\vec e _3)
\cdot
(4\vec e _1
+5\vec e _2
+6\vec e _3)
</math>
の展開は
:<math>
= 4 + 2 \times 5 + 3 \times 6
</math>
:<math>
= 32
</math>
となって確かに要素ごとの計算と一致する。}}

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

ここで、
:<math>
\vec a _1= (1,2)
</math>
と
:<math>
\vec a _2= (-5,3)
</math>
を用いて、
:<math>
\vec b = (10,7)
</math>
を、
:<math>
\vec b = c \vec a _1
+d \vec a _2
</math>
の形に書いてみよ。
(<math>c</math>,<math>d</math>は、何らかの定数。)|2次元のベクトルの係数を求める問題である。
<math>c</math>,<math>d</math>の文字をそのまま用いると、<math>c</math>,<math>d</math>の満たす条件は
:<math>
c(1,2) + d(-5,3)
= (10,7)
</math>
つまり
:<math>
(c-5d , 2c + 3d) =(10,7)
</math>
となる。これは
<math>c</math>,<math>d</math>に関する連立1次方程式で書き換えられる。
:<math>\begin{cases}
     c -5d = 10\\
     2c + 3d = 7
\end{cases}</math>
これを解くと、
:<math>
c = 5
</math>
:<math>
d = -1
</math>
が得られる。

よって、
上の式は
:<math>
5(1,2) -(-5,3)
= (10,7)
</math>
と書け、確かに2本の線形独立なベクトルによって他のベクトルが書き表されることが分かった。


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



この表式を用いて、以前見た
:<math>
a x + by + cz = d
</math>
の図形的解釈を述べる。

この図形上の任意の点を<math>
(x,y,z)
</math>で表わす。
この点は原点Oに対する位置ベクトルを用いると<math>
(x,y,z)
</math>で与えられる。
便宜のために
このベクトルを<math>
\vec x 
</math>と書くことにする。

一方、ベクトル<math>
\vec a = (a,b,c)
</math>を用いると、上の式はベクトルの内積を用いて<math>
\vec a \cdot \vec x = d
</math>で与えられる。
つまり、この式で表わされる図形はあるベクトル
<math>
\vec a
</math>
との内積を一定に保つ図形である。
この図形は、実際には
<math>
\vec a
</math>
に直交する平面で与えられる。
なぜならこのような平面上の点は、必ず平面上のある一点の位置ベクトルに加えて、
ベクトル
<math>
\vec a
</math>
に直交するベクトルを加えたもので書くことが出来る。
しかし、
ベクトル
<math>
\vec a
</math>
に直交するベクトルと
ベクトル
<math>
\vec a
</math>
の内積は必ず0であるので、
このような点の集合は
ベクトル
<math>
\vec a
</math>
と一定の内積を持つのである。

よって元の式
:<math>
a x + by + cz = d
</math>
は、
ベクトル<math>
\vec a =(a,b,c)
</math>に直交する平面に対応することが分かった。
次に<math>d</math>が、図形が表わす平面と、原点との距離に関係があることを示す。

特に、ベクトル<math>
\vec a
</math>に比例する位置ベクトルを持つ点<math>
\vec x
</math>を考える。このときこの点と原点との距離は、
平面
:<math>
a x + by + cz = d
</math>
と原点との距離に対応する。
なぜなら、位置ベクトル<math>
\vec x
</math>は、原点から平面
:<math>
a x + by + cz = d
</math>
に垂直に下ろした線に対応するからである。

このことから仮に<math>
\vec a
</math>方向の単位ベクトルを<math> 
\vec n
</math>と書き、平面と原点との距離を<math>
m
</math>と書くと、<math>
\vec x = m \vec n
</math>が得られる。
この式を
:<math>
\vec a \cdot \vec x = d
</math>
に代入すると、
:<math>
\vec a \cdot m\vec n = d
</math>
:<math>
 m|\vec a| = d
</math>
が得られる。よって、<math>
d
</math>は、
平面と原点の距離<math>
m
</math>とベクトル<math>
\vec a
</math>の大きさをかけたものである。




<!-- 上では割合一般的に3次元の平面を扱ったがこれは -->
<!-- 少し難しい内容であった。実際の指導要領ではもう少し -->
<!-- 簡単な内容を -->

{{演習問題|
特にベクトル
:<math>
\vec a = (0,0,1)
</math>
を取ると、どのような式が得られて、その式は
どのような図形に対応するか。|このとき
:<math>
\vec a \cdot \vec x = d
</math>
は、
:<math>
(0,0,1)\cdot (x,y,z) = d
</math>
:<math>
z =d
</math>
に対応する。

この式は<math>z</math>座標が<math>d</math>に対応し、それ以外の<math>x</math>,<math>y</math>座標を任意に動かした
平面に対応しているが、これは
<math>xy</math>平面に平行であり、
<math>xy</math>平面からの距離が<math>d</math>である平面である。
また、<math>xy</math>平面とベクトル
:<math>
\vec a = (0,0,1)
</math>
は直交しているので、そのことからもこの式は正しい。}}

:答
:: <math>xy</math>平面に平行であり、<math>xy</math>平面からの距離が<math>d</math>である平面。

== 発展:外積 ==
外積は高校数学範囲外で入試には出ないが、外積は数学や物理などに応用でき、便利なのでここで扱う。

三次元ベクトル <math>\vec a ,\, \vec b</math> に対し、外積 <math>\vec a \times \vec b</math> を次を満たすものとする。

# <math>\vec a \times \vec b</math> は <math>\vec a ,\, \vec b</math> それぞれと垂直<ref>数式で表すと <math>\vec a \times \vec b \perp \vec a </math> かつ <math>\vec a \times \vec b \perp \vec b </math></ref>
# フレミングの左手の法則の格好をする。このとき、中指を <math>\vec a</math> 、人差し指を <math>\vec b</math> 、としたとき、<math>\vec a \times \vec b</math> は親指の方向である。
# ベクトル <math>\vec a ,\, \vec b</math> のなす角を <math>\theta</math> とする。<math>|\vec a \times \vec b| = |\vec a ||\vec b| 
\sin\theta</math><ref><math>|\vec a ||\vec b| 
\sin\theta</math> はベクトル <math>\vec a ,\, \vec b</math> の作る平行四辺形の面積に等しい。</ref>

[[ファイル:Cross product parallelogram.svg|サムネイル|外積の方向を表した図。上の→記号がないが、これはベクトルである。]]
次に外積の成分表示を考えてみよう。この定義から成分表示を直接導くのは面倒なので、天下り的に成分表示を与えてから、それが外積の定義を満たすことを確認する。

<math>\vec a = \begin{pmatrix} a_1 \\ a_2 \\ a_3 \end{pmatrix}</math> 、<math>\vec b = \begin{pmatrix} b_1 \\ b_2 \\ b_3 \end{pmatrix}</math> としたとき、<math>\vec a \times \vec b = \begin{pmatrix} a_2b_3 - a_3b_2 \\ a_3b_1 - a_1b_3 \\ a_1b_2 - a_2b_1 \end{pmatrix}</math> である。

まずは、<math>\vec a \times \vec b</math> は <math>\vec a ,\, \vec b</math> それぞれと垂直であることを確認する。これは、<math>(\vec a \times \vec b) \cdot \vec a = 0</math> と <math>(\vec a \times \vec b) \cdot \vec b = 0</math> であることを成分表示を代入すれば証明できる。

次に、 <math>|\vec a \times \vec b| = |\vec a ||\vec b| 
\sin\theta</math> を証明する。<math>|\vec a \times \vec b|^2 = |\vec a |^2|\vec b|^2 
\sin^2\theta = \vec | a |^2|\vec b|^2 
(1-\cos^2\theta)</math> 。ここで、 <math>\cos^2 \theta = \frac{(\vec a \cdot \vec b)^2}{|\vec a|^2|\vec b|^2}</math> を代入し、<math>|\vec a \times \vec b|^2 = \vec |a |^2|\vec b|^2 
-(\vec a \cdot \vec b)^2</math> を得る。この式に、成分表示を代入すれば、両辺が等しいことが確認できる。

最後に、フレミングの左手の法則で <math>\vec a \times \vec b</math> は親指の方向であることを確認する。

<math>\vec a = \begin{pmatrix} 1 \\ 0 \\ 0\end{pmatrix}</math>、 <math>\vec b = \begin{pmatrix} 0 \\ 1 \\ 0 \end{pmatrix}</math> のとき、<math>\vec a \times \vec b = \begin{pmatrix}  0\\ 0 \\ 1 \end{pmatrix}</math> である。これより、二番目の性質も確認できた。


'''外積の応用'''

2つのベクトルに垂直なベクトルを求めたいときなどは、外積の成分表示から計算すれば、面倒な計算をしなくても求められる。

四面体 <math> \mathrm{OABC}</math> の体積は <math> \frac 1 6 |(\vec \mathrm{OA} \times \vec \mathrm{OB})\cdot \vec \mathrm{OC} | </math>
である。
実際、 <math> \frac 1 6 |(\vec \mathrm{OA} \times \vec \mathrm{OB})\cdot \vec \mathrm{OC} | = \frac 1 3 \left|\frac 1 2 \vec \mathrm{OA} \times \vec \mathrm{OB}\right||h|</math>である。ただし、 h はΔABCを底面としたときの四面体の高さである。

また、物理学のローレンツ力は外積を使うと <math>\vec F = q\vec v \times \vec B</math> と簡潔に表せる。



'''覚え方'''

図のように要素をかけ合わせる。

[[ファイル:Cross product mnemonic a b.svg|フレームなし]]

== コラムなど ==
{{コラム|ベクトルの理論の歴史|2=[[File:WilliamRowanHamilton.jpeg|thumb|ハミルトン]]

複素数とベクトルの理論はそれぞれ独立した理論として教えられているが、歴史的にはハミルトンによって複素数を拡張した四元数が発見され、四元数を元にギブスなどによってベクトルが発見された。

[[w:四元数|四元数]]は、
:a ＋ bi ＋ cj ＋ dk (a,b,c,dは実数)
のように、実数と3つの虚数単位i,j,kをもちいて表される数である。
ここで、i,j,k は i^2=-1, j^2=-1, k^2=-1 を満たす数で、i,j,k は互いに異なる。

実数の単位1個に加えて、さらに3つの単位 i, 　j,　 k をもっているので、合計で4個の単位があるので四元数といわれるわけである。

さて、ハミルトンによる四元数の発見後、さらに研究が進むと、図形や物理学などの問題を解く際には 2乗して-1になる性質はほとんどの空間・立体（3次元の図形）の問題を解く応用の場合には不要であることが分かり、学校教育の場ではベクトルと複素数を別々に教えるようになったわけである。

そして、四元数の公式のうち、ベクトルでも類似の公式が成り立つ場合には、その四元数の公式がベクトル用に改良されてベクトルの公式として輸入されたので、結果的にハミルトンはベクトルの公式の発見者としても紹介されることになった。

また、四元数は現代では3DCGなどの分野で応用されている。}}


{{コラム|五心の位置ベクトル・オイラー線|
<math>\Delta ABC</math>の五心の位置ベクトルはそれぞれ以下のように表される。ただし、各頂点の位置ベクトルを<math>\vec{a}, \vec{b}, \vec{c}</math>とし、面積を<math>S</math>とおく。
*内心
:<math>\vec{i} = \frac{(\sin A) \vec{a} + (\sin B) \vec{b} + (\sin C) \vec{c}}{\sin A + \sin B + \sin C}</math>
:<math>= \frac{a \vec{a} + b \vec{b} + c \vec{c}}{a+b+c}</math>
*外心
:<math>\vec{o} = \frac{(\sin 2A) \vec{a} + (\sin 2B) \vec{b} + (\sin 2C) \vec{c}}{\sin 2A + \sin 2B + \sin 2C}</math>
:<math>= \frac{a^2(b^2+c^2-a^2) \vec{a} + b^2(c^2+a^2-b^2) \vec{b} + c^2(a^2+b^2-c^2) \vec{c}}{a^2(b^2+c^2-a^2) + b^2(c^2+a^2-b^2) + c^2(a^2+b^2-c^2)}</math>
:<math>= \frac{a^2(b^2+c^2-a^2) \vec{a} + b^2(c^2+a^2-b^2) \vec{b} + c^2(a^2+b^2-c^2) \vec{c}}{16S^2}</math>
*重心
:<math>\vec{g} = \frac{\vec{a} + \vec{b} + \vec{c}}{3}</math>
*垂心
:<math>\vec{h} = \frac{(\tan A) \vec{a} + (\tan B) \vec{b} + (\tan C) \vec{c}}{\tan A + \tan B + \tan C}</math>
:<math>= \frac{ \{a^4-(b^2-c^2)^2\} \vec{a} + \{b^4-(c^2-a^2)^2 \} \vec{b} + \{c^4-(a^2-b^2)^2\} \vec{c} }{a^4-(b^2-c^2)^2+b^4-(c^2-a^2)^2+c^4-(a^2-b^2)^2}</math>
:<math>= \frac{ \{a^4-(b^2-c^2)^2\} \vec{a} + \{b^4-(c^2-a^2)^2 \} \vec{b} + \{c^4-(a^2-b^2)^2\} \vec{c} }{16S^2}</math>
*傍心
:<math>\vec{j_A} = \frac{(-\sin A) \vec{a} + (\sin B) \vec{b} + (\sin C) \vec{c}}{-\sin A + \sin B + \sin C}</math>
:<math>= \frac{-a \vec{a} + b \vec{b} + c \vec{c}}{-a+b+c}</math>
:<math>\vec{j_B} = \frac{(\sin A) \vec{a} - (\sin B) \vec{b} + (\sin C) \vec{c}}{\sin A - \sin B + \sin C}</math>
:<math>= \frac{a \vec{a} - b \vec{b} + c \vec{c}}{a-b+c}</math>
:<math>\vec{j_C} = \frac{(\sin A) \vec{a} + (\sin B) \vec{b} - (\sin C) \vec{c}}{\sin A + \sin B - \sin C}</math>
:<math>= \frac{a \vec{a} + b \vec{b} - c \vec{c}}{a+b-c}</math>

これらの式を見ると、全て<math>\vec{p} = \frac{w_A \vec{a} + w_B \vec{b} + w_C \vec{c}}{w_A+w_B+w_C}</math>の形（'''加重平均'''）となっていることがわかる。


外心と垂心の分母が一致していることに注目すると、以下の定理を見つけられる。
:<math>\vec{g} = \frac{2\vec{o} + \vec{h}}{3}</math>
この式から、重心は外心と垂心を結んだ線分を1:2に内分することがわかる。すなわち、'''重心・外心・垂心は必ず一直線上に存在する'''ことが言える。この直線を'''オイラー線'''という。
}}

== 脚注 ==
<references/>
{{DEFAULTSORT:こうとうかつこうすうかくC へくとる}}
[[Category:高等学校数学C|へくとる]]
[[カテゴリ:ベクトル]]