メインコンテンツへスキップ
見出し画像

中学でも分かる⑫「ベクトル」

     この記事では、高校で習うベクトルの解説をします。まず、ベクトルとは何かを解説し、ベクトルのたし算ひき算の作図、成分表示、内積、ベクトルの平行条件と垂直条件まで解説していきます。基本のみを重点的に解説するので、さらに内容を深めたい場合は、高校の教科書などで勉強を進めてください。

    ベクトルとは?

     ベクトルは、「大きさ」と「向き」を持つ量のことです。たとえば、風は大きさと向きがあります。下図のように、矢印の長さが風の大きさ、矢印の向きが風の向きを表します。よって、風はベクトルといえます。

    画像
    Sunny-spot.net! 天気・気象情報サイトより引用

     力も大きさと向きがあります。例えば重力は、大きさは mg [N]mg  [\text{N}] 、向きは下向きのベクトルです。

    画像

     なお、mm は質量 [kg][\text{kg}]、gg は重力加速度 9.8 [m/s2]9.8  [\text{m}/\text{s}^2] です(高校の物理で習います)。
     このように、大きさと向きをもつ量のことをベクトルといいます。
     ベクトルのイメージとして矢印を思い浮かべてください。

    画像

     矢印の長さがベクトルの「大きさ」を表し、矢印の指す方向がベクトルの「向き」を表します。
     一方、方向をもたない大きさだけの量をスカラーといいます。例えば、気温やテストの点数などがスカラーです。北向きの気温、右向きの点数などというものはありません。
     ベクトルは単なる数値と異なり方向を持つため、物理や数学のさまざまな分野で重要な役割を果たします。

    ベクトルの表し方

     下図のようなベクトルがあったとします。

    画像

     これを

    AB→\begin{align*} \overrightarrow{\text{AB}} \end{align*}

    と、文字の上に矢印記号 →\rightarrow をつけて表します。点 A\text{A} を始点、点 B\text{B} を終点といいます。

    画像

     また、ベクトルは1つの文字と矢印を用いて、a⃗\vec{a} や b⃗\vec{b} のようにも表されます。

    画像

    ベクトルの大きさ

     ベクトルの大きさを、絶対値記号 ∣∣|\hspace{7pt}| を用いて ∣AB→∣|\overrightarrow{\text{AB}}| や ∣a⃗∣|\vec{a}| と表します。

    画像

     特に、大きさが 11 であるベクトルを単位ベクトルといいます。

    画像
    単位ベクトル

     ここでベクトルについて、いろいろな決まりを整理していきます。

    ベクトルの相等

     ベクトルは大きさと向きが等しいときは、位置が違っても同じベクトルとみなします。これをベクトルの相等といいます。

    画像

     つまり、平行移動させたものはすべて等しいベクトルになります。まっすぐ移動した d⃗\vec{d} も平行移動です。

    画像

     ベクトルの相等は、例えば「風速 33 m/s の北向きの風」といえば1階も3階も同じ風が吹くとみなしたり、体育の授業で「3歩前進」といえば生徒全員が同じ方向に3歩動くなど、同じものとみなすことを抽象化した考え方です。空間を大域的に考えたり、位置は意識しないなど、抽象化することによって応用の範囲が広くなります。

    逆ベクトル

     大きさが同じで向きが反対であるベクトルを逆ベクトルといいます。a⃗\vec{a} の逆ベクトルは −a⃗-\vec{a} と表します。

    画像

     下図のように、
     a⃗=AB→\vec{a}=\overrightarrow{\text{AB}}
    とおくと
     −a⃗=BA→-\vec{a}=\overrightarrow{\text{BA}}
    となるので

    画像

    AB→\overrightarrow{\text{AB}} の逆ベクトルは BA→\overrightarrow{\text{BA}} となり

    BA→=−a⃗=−AB→\begin{align*} \overrightarrow{\text{BA}}=-\vec{a}=-\overrightarrow{\text{AB}} \end{align*}

     よって、次の関係が成り立ちます。

    BA→=−AB→\begin{align*} \overrightarrow{\text{BA}}=-\overrightarrow{\text{AB}} \end{align*}

     つまり、始点と終点を入れ換えると −1-1 倍が外に出る、逆に −1-1 倍すると始点と終点が入れ替わります。次のように形式的に操作すればよいでしょう。

    OA→=−AO→−CD→=DC→\begin{align*} \overrightarrow{\text{OA}}&=-\overrightarrow{\text{AO}}\\ -\overrightarrow{\text{CD}}&=\overrightarrow{\text{DC}}\\ \end{align*}

     簡単なようですが、左辺から右辺、右辺から左辺とこの計算は頻繁に現れるので強調しておきます。

    例題1
     次のベクトルを作図しなさい。
    (1) AB→=CD→\overrightarrow{\text{AB}}=\overrightarrow{\text{CD}} となる、点 C\text{C} を始点とするベクトル CD→\overrightarrow{\text{CD}}。
    (2) AB→\overrightarrow{\text{AB}} の逆ベクトルで、点 C\text{C} を始点とするベクトル CD→\overrightarrow{\text{CD}}。

    画像

    指針
    (1) 大きさ(長さ)と向きが等しいベクトル CD→\overrightarrow{\text{CD}} を作図します。
    (2) 大きさ(長さ)が等しく、向きが反対であるベクトル CD→\overrightarrow{\text{CD}} を作図します。

    解答

    画像

    ■\blacksquare

    例題2
     下図において、次のベクトルを答えなさい。
    (1) ➀ と等しいベクトル。
    (2) ➁ と等しいベクトル。
    (3) ➀ の逆ベクトル。
    (4) ➁ の逆ベクトル。

    指針
    (1)、(2) 大きさ(長さ)と向きが等しいベクトルを選びます。
    (3)、(4) 大きさ(長さ)が等しく、向きが反対であるベクトルを選びます。

    画像

    解答
    (1) ➀ と等しいベクトルは ➅。
    (2) ➁ と等しいベクトルは ➃。
    (3) ① の逆ベクトルは ➇。
    (4) ➁ の逆ベクトルは ➆。

    ■\blacksquare

    ベクトルの足し算

     ベクトルのたし算は、2つのベクトルを合成して新しいベクトルを作る操作です。例えば、次のようにベクトル a⃗\vec{a} と b⃗\vec{b} があるとします。

    画像

     このとき、a⃗+b⃗\vec{a}+\vec{b} は次のように作図します。

    方法1(平行四辺形の法則)

    (step1) a⃗\vec{a} と b⃗\vec{b} のどちらかを平行移動して始点をそろえます。ベクトルは大きさと向きが同じなら同じベクトルとみなすので、どちらを(または両方を)平行移動してもかまいません。下図では b⃗\vec{b} を平行移動させて、始点をそろえています。

    画像

    (step2) それらを2辺とする平行四辺形を作り、その平行四辺形の対角線を表すベクトルが a⃗+b⃗\vec{a}+\vec{b} になります(平行四辺形の法則)。

    画像

    方法2(しりとりの法則)

    (step1) a⃗\vec{a} と b⃗\vec{b} のどちらか(または両方)を平行移動して、終点と始点を重ねます。下図では b⃗\vec{b} を平行移動させて、終点と始点を重ねています。

    画像

    (step2) 下図のように、a⃗\vec{a} の始点から b⃗\vec{b} の終点までを矢印で結べば、それが a⃗+b⃗\vec{a}+\vec{b} になります(しりとりの法則)。

    画像

     a⃗=OA→,  b⃗=AB→\vec{a}=\overrightarrow{\text{OA}},   \vec{b}=\overrightarrow{\text{AB}} とおくと、次の関係式が成り立ちます。

    画像

    OA→+AB→=OB→∣↑‾しり取り\begin{align*} &\overrightarrow{\text{OA}}+\overrightarrow{\text{AB}}=\overrightarrow{\text{OB}}\\[-5pt] &\hspace{10pt}|\hspace{13pt}\uparrow\\[-11pt] &\hspace{11pt}\overline{\hspace{20.5pt}}\\[-6pt] &\hspace{5pt}{\footnotesize しり取り} \end{align*}

     この OB→\overrightarrow{\text{OB}} を、a⃗\vec{a} と b⃗\vec{b} の和と定義し a⃗+b⃗\vec{a}+\vec{b} と表します。
     次のように A\text{A} がキャンセルされるイメージです。

    OA→+AB→=OB→∣↑‾しり取り\begin{align*} &\overrightarrow{\text{O}\cancel{\text{A}}}+\overrightarrow{\cancel{\text{A}}\text{B}}=\overrightarrow{\text{OB}}\\[-5pt] &\hspace{10pt}|\hspace{13pt}\uparrow\\[-11pt] &\hspace{11pt}\overline{\hspace{20.5pt}}\\[-6pt] &\hspace{5pt}{\footnotesize しり取り} \end{align*}

     これは、次のようにつなげていくことが可能です。

    OA→+AB→+BC→=OC→∣↑∣↑‾‾しり取りしり取り\begin{align*} &\overrightarrow{\text{O}\cancel{\text{A}}}+\overrightarrow{\cancel{\text{A}}\bcancel{\text{B}}}+\overrightarrow{\bcancel{\text{B}}\text{C}}=\overrightarrow{\text{OC}}\\[-5pt] &\hspace{10pt}|\hspace{13pt}\uparrow\hspace{1pt}|\hspace{13pt}\uparrow\\[-11pt] &\hspace{11pt}\overline{\hspace{20.5pt}}\hspace{7pt}\overline{\hspace{20.5pt}}\\[-6pt] &\hspace{6pt}{\scriptsize しり取り}\hspace{1pt}{\scriptsize しり取り} \end{align*}

    画像

    ベクトルの引き算

     ベクトルのひき算は、あるベクトルから別のベクトルを引く操作です。例えば、次のようにベクトル a⃗\vec{a} と b⃗\vec{b} があるとします。

    画像

     このとき、a⃗−b⃗\vec{a}-\vec{b} は次のように作図します。

    方法1(ベクトルのたし算に帰着させる)

     まずは
     a⃗−b⃗=a⃗+(−b→)\vec{a}-\vec{b}=\vec{a}+(-\overrightarrow{b})
    と考えて、a⃗\vec{a} と逆ベクトル −b→-\overrightarrow{b} のたし算に帰着させる方法です。

    (step1)  b⃗\vec{b} の逆ベクトル −b→-\overrightarrow{b} を描きます。

    画像

    (step2) ベクトルのたし算でやったように、a⃗\vec{a} と −b⃗-\vec{b} とで平行四辺形の対角線のベクトルを描きます(平行四辺形の法則)。

    画像

     または、a⃗\vec{a} の始点から −b→-\overrightarrow{b} の終点までをベクトルで結びます(しりとりの法則)。

    画像

    方法2(後ろから終点と終点を結ぶ)

    (step1) a⃗\vec{a} と b⃗\vec{b} のどちらか(または両方)を平行移動させて始点をそろえます。下図では b⃗\vec{b} を平行移動させています。

    画像

    (step2) 引く方のベクトル b⃗\vec{b} の終点から、引かれる方のベクトル a⃗\vec{a} の終点までを矢印を結べば、それが a⃗−b⃗\vec{a}-\vec{b} となります。

    画像

     これが a⃗−b⃗\vec{a}-\vec{b} のベクトルです。
     これは、次のように証明可能です。
     a⃗=OA→\vec{a}=\overrightarrow{\text{OA}}、b⃗=OB→\vec{b}=\overrightarrow{\text{OB}} とすると

    画像

     ベクトルのたし算より

    OB→+BA→=OA→∣↑‾しり取り\begin{align*} &\overrightarrow{\text{OB}}+\overrightarrow{\text{BA}}=\overrightarrow{\text{OA}}\\[-5pt] &\hspace{10pt}|\hspace{13pt}\uparrow\\[-11pt] &\hspace{11pt}\overline{\hspace{20.5pt}}\\[-6pt] &\hspace{5pt}{\footnotesize しり取り} \end{align*}

     OB→\overrightarrow{\text{OB}} を右辺に移項して

    BA→=OA→−OB→\begin{align*} &\overrightarrow{\text{BA}}=\overrightarrow{\text{OA}}-\overrightarrow{\text{OB}} \end{align*}

     両辺を入れ換えて

    OA→−OB→=BA→↑∣‾後ろから前へ矢印\begin{align*} &\overrightarrow{\text{OA}}-\overrightarrow{\text{OB}}=\overrightarrow{\text{BA}}\\[-5pt] &\hspace{6pt}\uparrow\hspace{21pt}|\\[-11pt] &\hspace{11pt}\overline{\hspace{28pt}}\\[-6pt] &\hspace{-5pt}{\footnotesize 後ろから前へ矢印} \end{align*}

    より証明されます。
     この BA→\overrightarrow{\text{BA}} を、a⃗\vec{a} から b⃗\vec{b} を引いた差と定義し a⃗−b⃗\vec{a}-\vec{b} と表します。
     このベクトルの差は、次のように考えることもできます。

    OA→−OB→=OA→+(−OB→)=(−OB→)+OA→=BO→+OA→=BA→\begin{align*} \overrightarrow{\text{OA}}-\overrightarrow{\text{OB}}&=\overrightarrow{\text{OA}}+(-\overrightarrow{\text{OB}})\\ &=(-\overrightarrow{\text{OB}})+\overrightarrow{\text{OA}}\\ &=\overrightarrow{\text{BO}}+\overrightarrow{\text{OA}}\\ &=\overrightarrow{\text{BA}} \end{align*}

    画像

     −b⃗-\vec{b} の始点 B\text{B} が、a⃗−b⃗\vec{a}-\vec{b} の始点になるので、点 B\text{B} から A\text{A} に向かって矢印を引くことになります。
     毎回このように変形するのは面倒なので、ベクトルの差は、次のように機械的に操作すればよいでしょう。

    画像

     終点について”後ろから前へ” 矢印を引っ張るイメージです。このように機械的に操作します。
     なお、この変形ができるのは、始点がそろっている場合であることに注意してください。上記では始点が O\text{O} でそろっています。始点がそろっていればよいので、ベクトルのひき算は次のように応用されます。

    DB→−DA→=AB→AB→−AC→=CB→↑∣‾後ろから前へ矢印\begin{align*} &\overrightarrow{\text{DB}}-\overrightarrow{\text{DA}}=\overrightarrow{\text{AB}}\\ &\overrightarrow{\text{AB}}-\overrightarrow{\text{AC}}=\overrightarrow{\text{CB}}\\[-5pt] &\hspace{6pt}\uparrow\hspace{21pt}|\\[-11pt] &\hspace{11pt}\overline{\hspace{28pt}}\\[-6pt] &\hspace{-5pt}{\footnotesize 後ろから前へ矢印} \end{align*}

     また、このベクトルの差は、両辺を逆にして次のように計算することも多いです。

    AB→=OB→−OA→AB→=DB→−DA→↑∣‾ベクトルの差\begin{align*} &\overrightarrow{\text{AB}}=\overrightarrow{\text{OB}}-\overrightarrow{\text{OA}}\\ &\overrightarrow{\text{AB}}=\overrightarrow{\text{DB}}-\overrightarrow{\text{DA}}\\[-5pt] &\hspace{-1.5pt}\uparrow\hspace{1pt}|\\[-11pt] &\hspace{3.5pt}\overline{\hspace{8pt}}\\[-7pt] &\hspace{0pt}{\footnotesize ベクトルの差} \end{align*}

     これは始点を変える計算です。前者は始点を O\text{O} に、後者は始点を D\text{D} に変えています。始点を変えると、ベクトルの差になります。左辺から右辺へ、右辺から左辺へと自在に計算できるようにしましょう。

    例題3
     下図について、ベクトル a⃗−b⃗\vec{a}-\vec{b} を図示しなさい。

    画像

    指針
     下図のように a⃗=OA→\vec{a}=\overrightarrow{\text{OA}}、b⃗=OB→\vec{b}=\overrightarrow{\text{OB}} と置くと、ベクトルの差の公式

    OA→−OB→=BA→↑∣‾後ろから前へ矢印\begin{align*} &\overrightarrow{\text{OA}}-\overrightarrow{\text{OB}}=\overrightarrow{\text{BA}}\\[-5pt] &\hspace{6pt}\uparrow\hspace{21pt}|\\[-11pt] &\hspace{11pt}\overline{\hspace{28pt}}\\[-6pt] &\hspace{-5pt}{\footnotesize 後ろから前へ矢印} \end{align*}

    が使いやすくなります。なお、始点のそろっていない (2)、(3) は、ベクトルを平行移動して始点をそろえます。下図では、b⃗\vec{b} を平行移動して a⃗\vec{a} と始点をそろえています。

    解答

    画像

    ■\blacksquare

     いずれも終点 B\text{B} から A\text{A} まで矢印で結びます。逆にしないように注意しましょう。

    零ベクトル

     ベクトル a⃗=AB→\vec{a}=\overrightarrow{\text{AB}} とその逆ベクトル −a⃗=BA→-\vec{a}=\overrightarrow{\text{BA}} の和を考えると

    a⃗+(−a⃗)=AB→+BA→=AA→∣↑‾しり取り\begin{align*} &\vec{a}+(-\vec{a})=\overrightarrow{\text{AB}}+\overrightarrow{\text{BA}}=\overrightarrow{\text{AA}}\\[-5pt] &\hspace{61pt}|\hspace{13pt}\uparrow\\[-11pt] &\hspace{62pt}\overline{\hspace{20.1pt}}\\[-6pt] &\hspace{57pt}{\footnotesize しり取り} \end{align*}

    となります。この AA→\overrightarrow{\text{AA}} は始点と終点が一致した場合と考えられます。このベクトル AA→\overrightarrow{\text{AA}} を零ベクトルといい、0⃗\vec{0} と表します。

    AA→=0⃗\begin{align*} \overrightarrow{\text{AA}}=\vec{0} \end{align*}

     零ベクトルの大きさは 00 であるが、向きは考えません。

    ∣0⃗∣=0\begin{align*} |\vec{0}|=0 \end{align*}

     零ベクトルには、次の性質があります。

    1.   a⃗+(−a⃗)=(−a⃗)+a⃗=0⃗2.   a⃗+0⃗=0⃗+a⃗=a⃗\begin{align*} &1.     \vec{a}+(-\vec{a})=(-\vec{a})+\vec{a}=\vec{0}\\ &2.     \vec{a}+\vec{0}=\vec{0}+\vec{a}=\vec{a} \end{align*}

     下の計算(aa は実数)から分かるように、0⃗\vec{0} は数の 00 と似た枠割りを果たします。

    1.   a+(−a)=(−a)+a=02.   a+0=0+a=a\begin{align*} &1.     a+(-a)=(-a)+a=0\\ &2.     a+0=0+a=a \end{align*}

     なお、0⃗\vec{0} はベクトルであり、00 はスカラーです。0⃗\vec{0} と 00 は同じではないことに注意しましょう。

    ベクトルと実数の積

     aa を実数とすると、3a3a も実数で
     3a=a+a+a3a=a+a+a
    が成り立ちます。
     ベクトルについても同様のことが成り立つと考えます。つまり、3a⃗3\vec{a} もベクトルで

    3a⃗=a⃗+a⃗+a⃗\begin{align*} 3\vec{a}=\vec{a}+\vec{a}+\vec{a} \end{align*}

    と考えます。つまり、3a⃗3\vec{a} というベクトルは、a⃗\vec{a} と同じ向きで、大きさが 33 倍のベクトルと考えます。


    画像

     また、aa を実数とすると、(−3)a(-3)a も実数で
     (−3)a=(−a)+(−a)+(−a)(-3)a=(-a)+(-a)+(-a)
    が成り立ちます。ベクトルについても同様のことが成り立つとし

    (−3)a⃗=(−a⃗)+(−a⃗)+(−a⃗)\begin{align*} (-3)\vec{a}=(-\vec{a})+(-\vec{a})+(-\vec{a}) \end{align*}

    と考えます。つまり、(−3)a⃗(-3)\vec{a} というベクトルは、a⃗\vec{a} と反対の向きで、大きさが ∣−3∣=3|-3|=3 倍のベクトルと考えます。また、(−3)a⃗(-3)\vec{a} は 3a⃗3\vec{a} の逆ベクトルと考えることもできるので
     (−3)a⃗=−3a⃗(-3)\vec{a}=-3\vec{a}
    が成り立ちます。

    画像

     一般に、実数 kk とベクトル a⃗\vec{a} の積 ka⃗k\vec{a} を、次のように定めます。

    k>0k>0 のとき
     a⃗\vec{a} と同じ向きで、大きさが ∣a⃗∣|\vec{a}| の kk 倍であるベクトル。

    k<0k<0 のとき
     a⃗\vec{a} と反対向きで、大きさが ∣a⃗∣|\vec{a}| の ∣k∣|k| 倍であるベクトル。
     k<0k<0 なので、正の値にするために kk に絶対値をつけて ∣k∣|k| 倍とします。

    画像

    k=0k=0 のときは零ベクトル 0⃗\vec{0} になります。つまり
     0a⃗=0⃗0\vec{a}=\vec{0}

    例題4
     下図について、次のベクトルを図示しなさい。
    (1) 2a⃗2\vec{a}
    (2) −3b⃗-3\vec{b}
    (3) 2a⃗−3b⃗2\vec{a}-3\vec{b}
    (4) 2a⃗−b⃗2\vec{a}-\vec{b}

    画像

    解答
    (1) 2a⃗2\vec{a} は a⃗\vec{a} と同じ向きで、大きさが 22 倍のベクトルです。

    画像

    (2) −3b⃗-3\vec{b} は b⃗\vec{b} とは反対向きで、大きさが 33 倍のベクトルです。

    画像

    (3) (1) と (2) の結果を利用すればよいでしょう。つまり

    2a⃗−3b⃗=2a⃗+(−3b⃗)\begin{align*} 2\vec{a}-3\vec{b}=2\vec{a}+(-3\vec{b}) \end{align*}

    と、2a⃗2\vec{a} と −3b⃗-3\vec{b} の和と考えて、 それらを2辺とする平行四辺形の対角線のベクトルを作図します(平行四辺形の法則)。

    画像

    (4) b⃗\vec{b} の終点から 2a⃗2\vec{a} の終点までを矢印で結びます(ベクトルの差)。

    画像

    ■\blacksquare

     分かりにくいときは、下図のように 2a⃗=OA→\vec{2a}=\overrightarrow{\text{OA}}、b⃗=OB→\vec{b}=\overrightarrow{\text{OB}} とおけば、ベクトルの差の公式が使いやすくなります。

    画像

    2a⃗−b⃗=OA→−OB→=BA→↑∣‾後ろから前へ矢印\begin{align*} &2\vec{a}-\vec{b}=\overrightarrow{\text{OA}}-\overrightarrow{\text{OB}}=\overrightarrow{\text{BA}}\\[-5pt] &\hspace{39pt}\uparrow\hspace{21pt}|\\[-11pt] &\hspace{44pt}\overline{\hspace{28pt}}\\[-6pt] &\hspace{27pt}{\footnotesize 後ろから前へ矢印} \end{align*}

     ベクトルと実数の積について、次の3つの法則が成り立ちます。

    ベクトルと実数の積の法則

     h, kh,  k を実数とするとき
    1.  h(ka⃗)=hka⃗h(k\vec{a})=hk\vec{a}
    2.  (h+k)a⃗=ha⃗+ka⃗(h+k)\vec{a}=h\vec{a}+k\vec{a}
    3.  h(a⃗+b⃗)=ha⃗+hb⃗h(\vec{a}+\vec{b})=h\vec{a}+h\vec{b}

    ***

    1. より、係数の実数同士はかけてもよい。
    2. より、ベクトルは実数の和(差)に分配してもよい。
    3. より、実数はベクトルの和(差)に分配してもよい。

     この法則から、ベクトルについて次のような計算ができます。

    例

    3(2a⃗+b⃗)+2(−a⃗+4b⃗)=3⋅2a⃗+3b⃗+2⋅(−a⃗)+2⋅4b⃗ 法則 3. より=6a⃗+3b⃗−2a⃗+8b⃗ 法則 1. より=6a⃗−2a⃗+3b⃗+8b⃗=(6−2)a⃗+(3+8)b⃗ 法則 2. より=4a⃗+11b⃗\begin{align*} 3(2\vec{a}+\vec{b})+2(-\vec{a}+4\vec{b})&=3\cdot2\vec{a}+3\vec{b}+2\cdot(-\vec{a})+2\cdot4\vec{b} {\small 法則  3.  より}\\ &=6\vec{a}+3\vec{b}-2\vec{a}+8\vec{b} {\small 法則  1.  より}\\ &=6\vec{a}-2\vec{a}+3\vec{b}+8\vec{b}\\ &=(6-2)\vec{a}+(3+8)\vec{b} {\small 法則  2.  より}\\ &=4\vec{a}+11\vec{b} \end{align*}

    ベクトルの成分表示

    同一視

     ここでは、ベクトルの新しい表示方法である成分表示を解説します。
     下図のように、O\text{O} を原点とする座標平面上に点 A(2, 3)\text{A}(2,  3) があるとします。

    画像

     また、この平面上に点 E(1, 0), F(0, 1)\text{E}(1,  0),  \text{F}(0,  1) を取り
     ex⃗=OE→\vec{e_x}=\overrightarrow{\text{OE}}
     ey⃗=OF→\vec{e_y}=\overrightarrow{\text{OF}}
    というベクトルを考えます。これは、大きさが 11 で互いに直交するベクトルで、基本ベクトルとよびます。基本ベクトルを用いると、OA→\overrightarrow{\text{OA}} は次のように表せます(平行四辺形の法則)。

    OA→=2ex⃗+3ey⃗\begin{align*} \overrightarrow{\text{OA}}=2\vec{e_x}+3\vec{e_y} \end{align*}

    画像

     一般に、ベクトル p⃗\vec{p} に対して、座標平面の原点を O\text{O} として、p⃗=OP→\vec{p}=\overrightarrow{\text{OP}} となる点 P\text{P} をとり、点 P\text{P} の座標を P(x, y)\text{P}(x,  y) とすると、基本ベクトル ex⃗, ex⃗\vec{e_x},  \vec{e_x} を用いて、p⃗\vec{p} は次のように表せます。

    p⃗=xex⃗+yey⃗ ⋯(∗1)\begin{align*} \vec{p}=x\vec{e_x}+y\vec{e_y} \cdots(*1) \end{align*}

    画像

     このようにして決まる x, yx,  y の組 (x, y)(x,  y) を、(∗1)(*1) の右辺と同一視して

    p⃗=(x, y)\begin{align*} \vec{p}=(x,  y) \end{align*}

    と表します。つまり

    xex⃗+yey⃗=(x, y) ⋯(∗2)↑同一視\begin{align*} x\vec{e_x}+y\vec{e_y}&=(x,  y) \cdots(*2)\\[-2pt] &\hspace{1.5pt}\uparrow\\[-2pt] &\hspace{-7pt}{\small 同一視} \end{align*}

     同一視とは、本来違うものを同じものとみなすことです。同一視という考え方は、数学の世界ではよく現れます。
     この (x, y)(x,  y) をベクトルの成分といい、xx を x\bm{x} 成分、yy を y\bm{y} 成分といいます。このようなベクトルの表現を成分表示といいます。

     例えば、最初にやった点 A(2, 3)\text{A}(2,  3) のときのベクトル OA→\overrightarrow{\text{OA}} は

    OA→=2ex⃗+3ey⃗\begin{align*} \overrightarrow{\text{OA}}=2\vec{e_x}+3\vec{e_y} \end{align*}

    と表せたので、その成分表示は

    OA→=(2, 3)\begin{align*} \overrightarrow{\text{OA}}=(2,  3) \end{align*}

    となり、xx 成分は 22、yy 成分は 33 です。

    画像

     特に、零ベクトル 0⃗\vec{0} の成分表示は

    0⃗=0ex⃗+0ey⃗=(0, 0)\begin{align*} \vec{0}=0\vec{e_x}+0\vec{e_y}=(0,  0) \end{align*}

    となります。
     このように、任意のベクトル a⃗\vec{a} を、原点を始点とするベクトル OA→\overrightarrow{\text{OA}} で表すと、 a⃗\vec{a} の成分 (x, y)(x,  y) は、終点 A\text{A} の座標 (x, y)(x,  y) と一致します。

    注意
     点 A(x, y)\text{A}(x,  y) としたときの (x, y)(x,  y) は点 A\text{A} の座標であり、OA→=(x, y)\overrightarrow{\text{OA}}=(x,  y) としたときの (x, y)(x,  y) はベクトルの成分です。座標もベクトルの成分も、どちらも (x, y)(x,  y) と表記されるので、混同しないように注意しましょう。
     なお、大学の教科書ではベクトルの方を

    OA→=(xy)\begin{align*} \overrightarrow{\text{OA}}=\begin{pmatrix} x \\ y \end{pmatrix} \end{align*}

    と縦書きで表記されることが多くなりますが、高校の教科書では横書きで表すことが通例です。

    例題5
     下図のベクトル a⃗, b⃗, c⃗, d⃗\vec{a},  \vec{b},  \vec{c},  \vec{d} を成分で表しなさい。

    画像

    指針
     a⃗\vec{a} は終点 A\text{A} の座標を読み取ります。
     b⃗, c⃗, d⃗\vec{b},  \vec{c},  \vec{d} は、始点が原点 O\text{O} と重なるようにベクトルを平行移動し、そのときの終点の座標を読み取ります。

    解答
    a⃗\vec{a} について
     a⃗\vec{a} は終点の座標は (2, 2)(2,  2) なので
     a⃗=(2, 2)\vec{a}=(2,  2)

    b⃗\vec{b} について
     b⃗\vec{b} の始点が原点 O\text{O} と重なるように平行移動させると、b⃗\vec{b} の終点の座標は (1, −3)(1,  -3) なので
     b⃗=(1, −3)\vec{b}=(1,  -3)

    画像

     b⃗\vec{b} は、始点から終点まで「右に 11 だけ進む(+1+1)」、「下に 33 だけ進む(−3-3)」とみることができます(下図)。xx 成分は左右の移動で、右をプラス、左をマイナスとします。yy 成分は上下の移動で、上をプラス、下をマイナスとします。
     そのようにとらえることによって、平行移動という操作を経ないで成分を読み取ることができます。

    画像

     以下、始点から終点までの移動で考えてみましょう(下図)。
    c⃗\vec{c} について
     「左に 33 だけ進む(−3-3)」、「下に 11 だけ進む(−1-1)」とみることができるので
     c⃗=(−3, −1)\vec{c}=(-3,  -1)

    d⃗\vec{d} について
     「左に 22 だけ進む(−2-2)」、「上に 33 だけ進む(+3+3)」とみることができるので
     d⃗=(−2, 3)\vec{d}=(-2,  3)

    画像

    ■\blacksquare

    ベクトルの大きさ

     下図のようにベクトル a⃗=(2, 3)\vec{a}=(2,  3) を考えます。このとき、このベクトルの大きさ ∣a⃗∣|\vec{a}| はどのように計算できるでしょうか?

    画像

     点 A\text{A} から xx 軸に垂線を下ろし、その交点を H\text{H} とすると、直角三角形 OAH\text{OAH} について三平方の定理より(参考1)

    ∣a⃗∣2=22+32=4+9=13\begin{align*} |\vec{a}|^2&=2^2+3^2=4+9=13 \end{align*}

    よって

    ∣a⃗∣=13\begin{align*} |\vec{a}|=\sqrt{13} \end{align*}

     一般に、下図のようにベクトル a⃗=(x, y)\vec{a}=(x,  y) があったとき、このベクトルの大きさは、直角三角形 OAH\text{OAH} について三平方の定理より

    画像

    ∣a⃗∣2=x2+y2\begin{align*} |\vec{a}|^2&=x^2+y^2 \end{align*}

     よって、a⃗=(x, y)\vec{a}=(x,  y) のベクトルの大きさは

    ∣a⃗∣=x2+y2\begin{align*} |\vec{a}|=\sqrt{x^2+y^2} \end{align*}

    と表すことができます。つまり

    ∣a⃗∣=(x 成分)2+(y 成分)2\begin{align*} |\vec{a}|=\sqrt{(x  成分)^2+(y  成分)^2} \end{align*}

    と、xx 成分の2乗と yy 成分の2乗の和の平方根が、そのベクトルの大きさとなります。
     これは x, yx,  y が負の値でも適用できます(2乗すると正になるので)。これをベクトルの大きさと定義します。

    例 下図において、ベクトル a⃗\vec{a} の大きさは

    ∣a⃗∣=(−3)2+(−2)2=9+4=13\begin{align*} |\vec{a}|=\sqrt{(-3)^2+(-2)^2}=\sqrt{9+4}=\sqrt{13} \end{align*}

    画像

    例題6
     下図のベクトル a⃗, b⃗, c⃗, d⃗\vec{a},  \vec{b},  \vec{c},  \vec{d} の大きさを求めなさい。

    画像

    指針
     ベクトル (x, y)(x,  y) の大きさは x2+y2\sqrt{x^2+y^2}

    画像

    解答
     a⃗=(2, 2)\vec{a}=(2,  2) より、その大きさは
     ∣a⃗∣=22+22=8=22×2=22|\vec{a}|=\sqrt{2^2+2^2}=\sqrt{8}=\sqrt{2^2\times2}=2\sqrt{2}

     b⃗=(1, −3)\vec{b}=(1,  -3) より、その大きさは
     ∣b⃗∣=12+(−3)2=10|\vec{b}|=\sqrt{1^2+(-3)^2}=\sqrt{10}

     c⃗=(−3, −1)\vec{c}=(-3,  -1) より、その大きさは
     ∣c⃗∣=(−3)2+(−1)2=10|\vec{c}|=\sqrt{(-3)^2+(-1)^2}=\sqrt{10}

     d⃗=(−2, 3)\vec{d}=(-2,  3) より、その大きさは
     ∣d⃗∣=(−2)2+32=13|\vec{d}|=\sqrt{(-2)^2+3^2}=\sqrt{13}

    ■\blacksquare

    2点間の距離の公式

     一般に、始点が A(a1, a2)\text{A}(a_1,  a_2)、終点が B(b1, b2)\text{B}(b_1,  b_2) であるベクトル AB→\overrightarrow{\text{AB}} の大きさは(下図)

    画像

    AB→=OB→−OA→=(b1, b2)−(a1, a2)=(b1−a1, b2−a2)x 成分y 成分\begin{align*} \overrightarrow{\text{AB}}&=\overrightarrow{\text{OB}}-\overrightarrow{\text{OA}}\\ &=(b_1,  b_2)-(a_1,  a_2)\\ &=(b_1-a_1,  b_2-a_2)\\[-2pt] &\hspace{18pt}{\small x  成分}\hspace{14pt}{\small y  成分} \end{align*}

    より

    ∣AB→∣=(b1−a1)2+(b2−a2)2x 成分y 成分\begin{align*} |\overrightarrow{\text{AB}}|&=\sqrt{(b_1-a_1)^2+(b_2-a_2)^2}\\[-3pt] &\hspace{30pt}{\small x  成分}\hspace{28pt}{\small y  成分} \end{align*}

    ***

     xx 成分の2乗と yy 成分の2乗の和の平方根が、そのベクトルの大きさなので、上記のようになります。これは、2点間の距離の公式として高校で習います。
     始点が原点 O(0, 0)\text{O}(0,  0)、終点が A(x, y)\text{A}(x,  y) の場合は、OA→\overrightarrow{\text{OA}} の大きさは

    ∣OA→∣=(x−0)2+(y−0)2=x2+y2\begin{align*} |\overrightarrow{\text{OA}}|=\sqrt{(x-0)^2+(y-0)^2}=\sqrt{x^2+y^2} \end{align*}

    となり、これは2点間の距離の公式の特別な場合です。

    ベクトルの成分による計算について

     例えば、a⃗=(2, 3), b⃗=(1, −5)\vec{a}=(2,  3),  \vec{b}=(1,  -5) のとき
     a⃗+b⃗\vec{a}+\vec{b}
    や
     2a⃗2\vec{a}
    をどのように計算すればよいでしょうか。これには、(∗2)(*2) でやったベクトルの同一視を用います。

    xex⃗+yey⃗=(x, y) ⋯(∗2)↑同一視\begin{align*} x\vec{e_x}+y\vec{e_y}&=(x,  y) \cdots(*2)\\[-2pt] &\hspace{1.5pt}\uparrow\\[-2pt] &\hspace{-7pt}{\small 同一視} \end{align*}

     これより、a⃗=(2, 3)\vec{a}=(2,  3) は 2ex⃗+3ey⃗2\vec{e_x}+3\vec{e_y} と同一視できるので

    a⃗=(2, 3)=2ex⃗+3ey⃗\begin{align*} \vec{a}=(2,  3)=2\vec{e_x}+3\vec{e_y} \end{align*}

     b⃗=(1, −5)\vec{b}=(1,  -5) は ex⃗−5ey⃗\vec{e_x}-5\vec{e_y} と同一視できるので

    b⃗=(1, −5)=ex⃗−5ey⃗\begin{align*} \vec{b}=(1,  -5)&=\vec{e_x}-5\vec{e_y} \end{align*}

     よって

    a⃗+b⃗=2ex⃗+3ey⃗+ex⃗−5ey⃗=2ex⃗+1ex⃗+3ey⃗−5ey⃗=(2+1)ex⃗+(3−5)ey⃗=3ex⃗−2ey⃗\begin{align*} \vec{a}+\vec{b}&=2\vec{e_x}+3\vec{e_y}+\vec{e_x}-5\vec{e_y}\\ &=2\vec{e_x}+1\vec{e_x}+3\vec{e_y}-5\vec{e_y}\\ &=(2+1)\vec{e_x}+(3-5)\vec{e_y}\\ &=3\vec{e_x}-2\vec{e_y} \end{align*}

     これは (3, −2)(3,  -2) と同一視できるので

    a⃗+b⃗=(3, −2)\begin{align*} \vec{a}+\vec{b}=(3,  -2) \end{align*}

    となります。
     ただし、わざわざ同一視 (∗2)(*2) に戻らないで、次のように成分同士で計算すれば簡単です。

    a⃗+b⃗=(2, 3)+(1, −5)=(2+1, 3−5)=(3, −2)\begin{align*} \vec{a}+\vec{b}&=(2,  3)+(1,  -5)\\ &=(2+1,  3-5)\\ &=(3,  -2) \end{align*}

    画像

     つまり、xx 成分は xx 成分同士で、yy 成分は yy 成分同士で計算します。
     例えば、a⃗−b⃗\vec{a}-\vec{b} は

    a⃗−b⃗=(2, 3)−(1, −5)=(2−1, 3−(−5))=(1, 8)\begin{align*} \vec{a}-\vec{b}&=(2,  3)-(1,  -5)\\ &=(2-1,  3-(-5))\\ &=(1,  8) \end{align*}

    画像

     2a⃗2\vec{a} については、a⃗=(2, 3)\vec{a}=(2,  3) は 2ex⃗+3ey⃗2\vec{e_x}+3\vec{e_y} と同一視できるので

    2a⃗=2(2ex⃗+3ey⃗)=4ex⃗+6ey⃗=(4, 6)\begin{align*} 2\vec{a}&=2(2\vec{e_x}+3\vec{e_y})\\ &=4\vec{e_x}+6\vec{e_y}\\ &=(4,  6) \end{align*}

     これも、わざわざ同一視 (∗2)(*2) に戻らないで

    2a⃗=2(2, 3)=(4, 6)\begin{align*} 2\vec{a}&=2(2,  3)=(4,  6) \end{align*}

    と各々の成分を 22 倍すれば簡単です。

    画像

     一般に、ベクトル成分計算について次が成り立ちます。

    ベクトルの成分計算

     a⃗=(a1, a2), b⃗=(b1, b2)\vec{a}=(a_1,  a_2),  \vec{b}=(b_1,  b_2)、kk は任意の実数のとき

    a⃗+b⃗=(a1, a2)+(b1, b2)=(a1+b1, a2+b2)a⃗−b⃗=(a1, a2)−(b2, b2)=(a1−b1, a2−b2)ka⃗=k(a1, a2)=(ka1, ka2)\begin{align*} \vec{a}+\vec{b}&=(a_1,  a_2)+(b_1,  b_2)=(a_1+b_1,  a_2+b_2)\\ \vec{a}-\vec{b}&=(a_1,  a_2)-(b_2,  b_2)=(a_1-b_1,  a_2-b_2)\\ k\vec{a}&=k(a_1,  a_2)=(ka_1,  ka_2) \end{align*}

    ***

     ベクトルのたし算、ひき算、実数倍は、成分ごとに(xx 成分ごとに、yy 成分ごとに)計算します。
     また、次のことも成り立ちます。

    (a1, a2)=(b1, b2)⟷a1=b1, a2=b2\begin{align*} (a_1,  a_2)=(b_1,  b_2)\longleftrightarrow a_1=b_1,  a_2=b_2 \end{align*}

    ***

     2つのベクトルが等しいときは、そのそれぞれの成分が等しくなります。証明は同一視 (∗2)(*2) に戻って証明されます(教科書参照)。

    例題7
     a⃗=(1, −2), b⃗=(−1, 3)\vec{a}=(1,  -2),  \vec{b}=(-1,  3) であるとき、次のベクトルの成分を求めなさい。また、その大きさを求めなさい。
    (1) a⃗+b⃗\vec{a}+\vec{b}
    (2) a⃗−b⃗\vec{a}-\vec{b}
    (3) 3a⃗3\vec{a}
    (4) −2b⃗-2\vec{b}
    (5) 2a⃗−3b⃗2\vec{a}-3\vec{b}

    解答

    (1) a⃗+b⃗=(1, −2)+(−1, 3)=(1−1, −2+3)=(0, 1)∣a⃗+b⃗∣=02+12=1=1(2)a⃗−b⃗=(1, −2)−(−1, 3)=(1−(−1), −2−3)=(2, −5)∣a⃗−b⃗∣=22+(−5)2=4+25=29(3)3a⃗=3(1, −2)=(3, −6)∣3a⃗∣=32+(−6)2=9+36=45=32×5=35(4)−2b⃗=−2(−1, 3)=(2, −6)∣−2b⃗∣=22+(−6)2=4+36=40=22×10=210(5)2a⃗−3b⃗=2(1, −2)−3(−1, 3)=(2, −4)−(−3, 9)=(2−(−3), −4−9)=(5, −13)∣2a⃗−3b⃗∣=52+(−13)2=25+169=194\begin{alignat*}{2} &(1) & &\vec{a}+\vec{b}=(1,  -2)+(-1,  3)=(1-1,  -2+3)=(0,  1)\\ & & &|\vec{a}+\vec{b}|=\sqrt{0^2+1^2}=\sqrt{1}=1\\[5pt] &(2) & &\vec{a}-\vec{b}=(1,  -2)-(-1,  3)=(1-(-1),  -2-3)=(2,  -5)\\ & & &|\vec{a}-\vec{b}|=\sqrt{2^2+(-5)^2}=\sqrt{4+25}=\sqrt{29}\\[5pt] &(3) & &3\vec{a}=3(1,  -2)=(3,  -6)\\ & & &|3\vec{a}|=\sqrt{3^2+(-6)^2}=\sqrt{9+36}=\sqrt{45}=\sqrt{3^2\times5}=3\sqrt{5}\\[5pt] &(4) & &-2\vec{b}=-2(-1,  3)=(2,  -6)\\ & & &|-2\vec{b}|=\sqrt{2^2+(-6)^2}=\sqrt{4+36}=\sqrt{40}=\sqrt{2^2\times10}=2\sqrt{10}\\[5pt] &(5) & &2\vec{a}-3\vec{b}=2(1,  -2)-3(-1,  3)=(2,  -4)-(-3,  9)\\ & & &\hspace{32pt}=(2-(-3),  -4-9)=(5,  -13)\\ & & &|2\vec{a}-3\vec{b}|=\sqrt{5^2+(-13)^2}=\sqrt{25+169}=\sqrt{194} \end{alignat*}

    ■\blacksquare

    ベクトルの内積

     0⃗\vec{0} でない2つのベクトルを a⃗, b⃗\vec{a},  \vec{b} とする。
     1点 O\text{O} を定め、a⃗=OA→\vec{a}=\overrightarrow{\text{OA}}、b⃗=OB→\vec{b}=\overrightarrow{\text{OB}} と表したとき、a⃗\vec{a} と b⃗\vec{b} で作られる θ\theta のうち、0°≦θ≦180°0\degree\leqq\theta\leqq180\degree であるものを、2つのベクトル a⃗, b⃗\vec{a},  \vec{b} のなす角といいます(下図)。

    画像

     θ=0°\theta=0\degree または θ=180°\theta=180\degree のとき、a⃗\vec{a} と b⃗\vec{b} は平行であるといい、a⃗ / ⁣/ b⃗\vec{a}  /\!/  \vec{b} と表します。
     特に、θ=0°\theta=0\degree のときは、a⃗\vec{a} と b⃗\vec{b} は同じ向きに平行です。

    画像

     θ=180°\theta=180\degree のときは、a⃗\vec{a} と b⃗\vec{b} は逆向きに平行です。

    画像

     θ=90°\theta=90\degree のときは、a⃗\vec{a} と b⃗\vec{b} は垂直である(直交する)といい、a⃗⊥b⃗\vec{a}\perp\vec{b} と表します。

    画像

      2つのベクトルの関係は、なす角 θ\theta によります。この2つのベクトルの関係を表す指標として、内積というものを考えます。

    内積とは

     一般に、a⃗, b⃗\vec{a},  \vec{b} のなす角が θ\theta であるとき、∣a⃗∣∣b⃗∣cos⁡θ|\vec{a}||\vec{b}|\cos\theta を a⃗, b⃗\vec{a},  \vec{b} の内積といい、記号 a⃗⋅b⃗\vec{a}\cdot\vec{b} で表します。すなわち

    a⃗⋅b⃗=∣a⃗∣∣b⃗∣cos⁡θ\begin{align*} \vec{a}\cdot\vec{b}=|\vec{a}||\vec{b}|\cos\theta \end{align*}

    画像

     a⃗\vec{a} と b⃗\vec{b} の間にドット ”⋅\cdot” をつけて内積を表します。

    なぜ内積に cosθ を使うのか?

     内積の定義

    a⃗⋅b⃗=∣a⃗∣∣b⃗∣cos⁡θ\begin{align*} \vec{a}\cdot\vec{b}=|\vec{a}||\vec{b}|\cos\theta \end{align*}

    をみると cos⁡θ\cos\theta が現れますが、(例えば sin⁡θ\sin\theta ではなく)なぜ cos⁡θ\cos\theta を用いるのか、素朴な観点でその理由を解説します。
     y=cos⁡θy=\cos\theta のグラフは次のようになりなります(中学でも分かる⑧「三角関数」)。

    y=cos⁡θy=\cos\theta のグラフ

    画像

     特に、なす角として指定される 0°≦θ≦180°0\degree\leqq\theta\leqq180\degree に限ると、次の実線部分です。

    画像

     この実線部分から分かるように、0°≦θ≦180°0\degree\leqq\theta\leqq180\degree の範囲では、θ\theta と cos⁡θ\cos\theta の値は一対一に対応します。つまり、θ\theta が 0°0\degree から 180°180\degree まで増加すると、それに対応して cos⁡θ\cos\theta の値は 11 から −1-1 まで、一対一の値を取りながら減少していきます。「一対一」とは、何かと何かが(ここでは θ\theta と cos⁡θ\cos\theta が)1つずつだけ対応しているということです。
     しかも、2つのベクトルのなす角について
     同じ方向に平行だと cos⁡0°=1\cos0\degree=1
     鋭角 0°<θ<90°0\degree<\theta<90\degree だと cos⁡θ\cos\theta はプラス
     直角だと cos⁡90°=0\cos90\degree=0
     鈍角 90°<θ<180°90\degree<\theta<180\degree だと cos⁡θ\cos\theta はマイナス
     逆の方向に平行だと cos⁡180°=−1\cos180\degree=-1
    と、2つのベクトルの位置情報が一対一で反映されます。2つのベクトルの幾何学的状況が、cos⁡θ\cos\theta の値、つまり内積の値に自然に反映されるのです。
     これが cos⁡θ\cos\theta を用いる理由の一つです。
     例えば、内積を sin⁡θ\sin\theta を用いて

    a⃗⋅b⃗=∣a⃗∣∣b⃗∣sin⁡θ\begin{align*} \vec{a}\cdot\vec{b}=|\vec{a}||\vec{b}|\sin\theta \end{align*}

    と定義するとどうなるでしょうか?
     y=sin⁡θy=\sin\theta のグラフの、0°≦θ≦180°0\degree\leqq\theta\leqq180\degree の部分は次の実線部分になります。

    y=sin⁡θy=\sin\theta のグラフ

    画像

     これだと、sin⁡θ=12\sin\theta=\dfrac{1}{2} となる θ\theta の値は 30°30\degree と 150°150\degree の2つが発生します。逆に、θ=30°\theta=30\degree と θ=150°\theta=150\degree のときの sin⁡θ\sin\theta の値はともに 12\dfrac{1}{2} になり、sin⁡θ\sin\theta と θ\theta が一対一に対応していません。つまり、鋭角も鈍角も、ともに同じ sin⁡θ\sin\theta の正の値として反映されてしまいます。
     ある内積の値に対して、鋭角と鈍角の2つの θ\theta が存在してしまう、逆に鋭角と鈍角の異なる θ\theta に対して、同じ値の内積が存在するなど、2つのベクトルの位置関係が自然に反映されず、都合が悪くなるでしょう。
     これが、(sin⁡θ\sin\theta ではなく)cos⁡θ\cos\theta を採用する素朴な理由となります。もっとも、そう定義すると ”都合がよい” という数学的な理由はありますが、それは勉強を進めていけば分かるようになります。
     例えば、これから解説するように、内積の成分表示や、ベクトルの垂直条件、平行条件など、内積を

    a⃗⋅b⃗=∣a⃗∣∣b⃗∣cos⁡θ\begin{align*} \vec{a}\cdot\vec{b}=|\vec{a}||\vec{b}|\cos\theta \end{align*}

    と定義することによって、美しい理論が展開されていきます。

    内積の計算

     前置きが長くなりましたが、ここから、ベクトルの内積を勉強していきます。
     まずは、cos⁡θ\cos\theta(および sin⁡θ\sin\theta)の対応表は次のようになります(中学でもわかる➆「三角比」)。

    θ0°30°45°60°90°120°135°150°180°sin⁡θ012223213222120cos⁡θ13222120−12 −22 −32−1\def\arraystretch{1.5} \begin{array}{c|c|c|c|c|c|c|c|c|c} \theta & 0\degree & 30\degree & 45\degree & 60\degree & 90\degree & 120\degree & 135\degree & 150\degree & 180\degree\\ \hline \sin\theta & 0 & \frac{1}{2} & \frac{\sqrt{2}}{2} & \frac{\sqrt{3}}{2} & 1 & \frac{\sqrt{3}}{2} & \frac{\sqrt{2}}{2} & \frac{1}{2} & 0\\ \hline \cos\theta & 1 & \frac{\sqrt{3}}{2} & \frac{\sqrt{2}}{2} & \frac{1}{2} & 0 & -\frac{1}{2} & -\frac{\sqrt{2}}{2} & -\frac{\sqrt{3}}{2} & -1 \end{array}

     この表より、例えば
     cos⁡30°=32\cos30\degree=\dfrac{\sqrt{3}}{2}、cos⁡90°=0\cos90\degree=0、cos⁡120°=−12\cos120\degree=-\dfrac{1}{2}
    となります(次の例題で使います)
     

    例題8
     下図の直角三角形 ABC\text{ABC} において

    画像

     a⃗=OA→\vec{a}=\overrightarrow{\text{OA}}、b⃗=OB→\vec{b}=\overrightarrow{\text{OB}}、c⃗=BA→\vec{c}=\overrightarrow{\text{BA}}
     ∣a⃗∣=3|\vec{a}|=\sqrt{3}、∣b⃗∣=2|\vec{b}|=2、∣c⃗∣=1|\vec{c}|=1
    とするとき、次の内積を求めなさい。
    (1) a⃗⋅b⃗\vec{a}\cdot\vec{b}
    (2) a⃗⋅c⃗\vec{a}\cdot\vec{c}
    (3) b⃗⋅c⃗\vec{b}\cdot\vec{c}

    解答
    (1) a⃗\vec{a} と b⃗\vec{b} のなす角は 30°30\degree、∣a⃗∣=3|\vec{a}|=\sqrt{3}、∣b⃗∣=2|\vec{b}|=2 なので

    a⃗⋅b⃗=∣a⃗∣∣b⃗∣cos⁡30°=3×2×32=3\begin{align*} \vec{a}\cdot\vec{b}&=|\vec{a}||\vec{b}|\cos30\degree\\ &=\sqrt{3}\times\cancel{2}\times\dfrac{\sqrt{3}}{\cancel{2}}\\ &=3 \end{align*}

    (2) c⃗\vec{c} を平行移動して、始点を O\text{O} にそろえます。

    画像

     すると、a⃗\vec{a} と c⃗\vec{c} のなす角は 90°90\degree、∣a⃗∣=3|\vec{a}|=\sqrt{3}、∣c⃗∣=1|\vec{c}|=1 なので

    a⃗⋅b⃗=∣a⃗∣∣c⃗∣cos⁡90°=3×1×0=0\begin{align*} \vec{a}\cdot\vec{b}&=|\vec{a}||\vec{c}|\cos90\degree\\ &=\sqrt{3}\times1\times0\\ &=0 \end{align*}

    (3) 下図

    画像

    より、b⃗\vec{b} と c⃗\vec{c} のなす角は 30°+90°=120°30\degree+90\degree=120\degree、∣b⃗∣=2|\vec{b}|=2、∣c⃗∣=1|\vec{c}|=1 なので

    b⃗⋅c⃗=∣b⃗∣∣c⃗∣cos⁡120°=2×1×(−12)=−1\begin{align*} \vec{b}\cdot\vec{c}&=|\vec{b}||\vec{c}|\cos120\degree\\ &=\cancel{2}\times1\times\left(-\dfrac{1}{\cancel{2}}\right)\\ &=-1 \end{align*}

    ■\blacksquare

    内積の成分表示

     ここでは、内積を成分で表すことを解説します。
     三角比でならった余弦定理を使うので、先に紹介をしておきます(中学でも分かる⑧「三角関数」)。証明は教科書参照。

    余弦定理(復習)

     △ABC\triangle\text{ABC} について

    a2=b2+c2−2bccos⁡Ab2=c2+a2−2cacos⁡Bc2=a2+b2−2abcos⁡C\begin{align*} a^2&=b^2+c^2-2bc\cos A\\ b^2&=c^2+a^2-2ca\cos B\\ c^2&=a^2+b^2-2ab\cos C \end{align*}

    画像

    ***

     0⃗\vec{0} でない2つのベクトル a⃗=(a1, a2), b⃗=(b1, b2)\vec{a}=(a_1,  a_2),  \vec{b}=(b_1,  b_2) のなす角を θ\theta とします。a⃗=OA→,  b⃗=OB→\vec{a}=\overrightarrow{\text{OA}},  \vec{b}=\overrightarrow{\text{OB}} と表すと、θ=∠AOB\theta=∠\text{AOB} となります。

    画像

     このとき、△OAB\triangle\text{OAB} について余弦定理より

    ∣AB→∣2=∣OA→∣2+∣OB→∣2−2∣OA→∣∣OB→∣cos⁡θ\begin{align*} |\overrightarrow{\text{AB}}|^2=|\overrightarrow{\text{OA}}|^2+|\overrightarrow{\text{OB}}|^2-2|\overrightarrow{\text{OA}}||\overrightarrow{\text{OB}}|\cos\theta \end{align*}

     OA→=a⃗\overrightarrow{\text{OA}}=\vec{a}
     OB→=b⃗\overrightarrow{\text{OB}}=\vec{b}
     AB→=OB→−OA→=b⃗−a⃗\overrightarrow{\text{AB}}=\overrightarrow{\text{OB}}-\overrightarrow{\text{OA}}=\vec{b}-\vec{a}(ベクトルの差)

    より

    ∣b⃗−a⃗∣2=∣a⃗∣2+∣b⃗∣2−2∣a⃗∣∣b⃗∣cos⁡θ‾\begin{align*} |\vec{b}-\vec{a}|^2=|\vec{a}|^2+|\vec{b}|^2-2\underline{|\vec{a}||\vec{b}|\cos\theta} \end{align*}

     すると、a⃗\vec{a} と b⃗\vec{b} の内積

    a⃗⋅b⃗=∣a⃗∣∣b⃗∣cos⁡θ\begin{align*} \vec{a}\cdot\vec{b}=|\vec{a}||\vec{b}|\cos\theta \end{align*}

    より、下部分がちょうど内積になるので、そこを a⃗⋅b⃗\vec{a}\cdot\vec{b} で置き換えて

    ∣b⃗−a⃗∣2=∣a⃗∣2+∣b⃗∣2−2a⃗⋅b⃗\begin{align*} |\vec{b}-\vec{a}|^2=|\vec{a}|^2+|\vec{b}|^2-2\vec{a}\cdot\vec{b} \end{align*}

    よって

    2a⃗⋅b⃗=∣a⃗∣2+∣b⃗∣2−∣b⃗−a⃗∣2\begin{align*} 2\vec{a}\cdot\vec{b}=|\vec{a}|^2+|\vec{b}|^2-|\vec{b}-\vec{a}|^2 \end{align*}

     ここで a⃗=(x, y)\vec{a}=(x,  y) とすると、ベクトルの大きさの2乗は

    ∣a⃗∣2=x2+y2\begin{align*} |\vec{a}|^2=x^2+y^2 \end{align*}

    より
     ∣a⃗∣2=a12+a22|\vec{a}|^2={a_1}^2+{a_2}^2
     ∣b⃗∣2=b12+b22|\vec{b}|^2={b_1}^2+{b_2}^2
    さらに、b⃗−a⃗=(b1, b2)−(a1, a2)=(b1−a1, b2−a2)\vec{b}-\vec{a}=(b_1,  b_2)-(a_1,  a_2)=(b_1-a_1,  b_2-a_2) より
     ∣b⃗−a⃗∣2=(b1−a1)2+(b2−a2)2|\vec{b}-\vec{a}|^2={(b_1-a_1)}^2+{(b_2-a_2)}^2
    なので

    2a⃗⋅b⃗=∣a⃗∣2+∣b⃗∣2−∣b⃗−a⃗∣2=a12+a22+b12+b22−{(b1−a1)2‾+(b2−a2)2}‾=a12+a22+b12+b22−(b12−2b1a1+a12+b22−2b2a2+a22)=a12+a22+b12+b22−b12+2a1b1−a12−b22+2a2b2−a22=2a1b1+2a2b2\begin{align*} 2\vec{a}\cdot\vec{b}&=|\vec{a}|^2+|\vec{b}|^2-|\vec{b}-\vec{a}|^2\\ &={a_1}^2+{a_2}^2+{b_1}^2+{b_2}^2-\{\underline{{(b_1-a_1)}^2}+\underline{{(b_2-a_2)^2}\}}\\ &={a_1}^2+{a_2}^2+{b_1}^2+{b_2}^2-({b_1}^2-2b_1a_1+{a_1}^2+{b_2}^2-2b_2a_2+{a_2}^2)\\ &=\cancel{{a_1}^2}+\cancel{{a_2}^2}+\cancel{{b_1}^2}+\cancel{{b_2}^2}-\cancel{{b_1}^2}+2a_1b_1-\cancel{{a_1}^2}-\cancel{{b_2}^2}+2a_2b_2-\cancel{{a_2}^2}\\ &=2a_1b_1+2a_2b_2 \end{align*}

     両辺を 22 で割って

    a⃗⋅b⃗=a1b1+a2b2\begin{align*} \vec{a}\cdot\vec{b}=a_1b_1+a_2b_2 \end{align*}

     これが、内積の成分表示です。途中(下線部)で中学3年で習う展開公式
     (a−b)2=a2−2ab+b2(a-b)^2=a^2-2ab+b^2
    を使っています。改めてまとめておきます。

    <内積の成分表示>
     a⃗=(a1, a2), b⃗=(b1, b2)\vec{a}=(a_1,  a_2),  \vec{b}=(b_1,  b_2) のとき、その2つのベクトルの内積は

    a⃗⋅b⃗=a1b1+a2b2\begin{align*} \vec{a}\cdot\vec{b}=a_1b_1+a_2b_2 \end{align*}

     また、次のように表されることもあります。

    (a1, a2)⋅(b1, b2)=a1b1+a2b2\begin{align*} (a_1,  a_2)\cdot(b_1,  b_2)=a_1b_1+a_2b_2 \end{align*}

    ***

     矢印を使わないで、成分だけで表したのが後者です。
     表面上に、角度 θ\theta が現れていないことに注意してください。成分表示をすることで、角度 θ\theta の情報は表には現れなくなっています。

     では、すでにやった例題5を編集して、新たに例題9として出題しましょう。

    例題9(例題5の編集)
     下図のベクトルについて、次の内積を求めなさい。
    (1) a⃗⋅b⃗\vec{a}\cdot\vec{b}
    (2) b⃗⋅c⃗\vec{b}\cdot\vec{c}
    (3) c⃗⋅d⃗\vec{c}\cdot\vec{d}
    (4) d⃗⋅a⃗\vec{d}\cdot\vec{a}

    画像

    解答
     それぞれのベクトルを成分表示すると(例題5で求めた)
     a⃗=(2, 2)\vec{a}=(2,  2)
     b⃗=(1, −3)\vec{b}=(1,  -3)
     c⃗=(−3, −1)\vec{c}=(-3,  -1)
     d⃗=(−2, 3)\vec{d}=(-2,  3)
     よって
    (1) a⃗⋅b⃗=2⋅1+2⋅(−3)=2−6=−4\vec{a}\cdot\vec{b}=2\cdot1+2\cdot(-3)=2-6=-4
    (2) b⃗⋅c⃗=1⋅(−3)+(−3)⋅(−1)=−3+3=0\vec{b}\cdot\vec{c}=1\cdot(-3)+(-3)\cdot(-1)=-3+3=0
    (3) c⃗⋅d⃗=(−3)⋅(−2)+(−1)⋅3=6−3=3\vec{c}\cdot\vec{d}=(-3)\cdot(-2)+(-1)\cdot3=6-3=3
    (4) d⃗⋅a⃗=(−2)⋅2+3⋅2=−4+6=2\vec{d}\cdot\vec{a}=(-2)\cdot2+3\cdot2=-4+6=2

    ■\blacksquare

     さらに例題8を編集して、新たに例題10として出題します。

    例題10(例題8の編集)
     下図のように、座標平面上に直角三角形 ABC\text{ABC} をとる。

    画像

     a⃗=OA→\vec{a}=\overrightarrow{\text{OA}}、b⃗=OB→\vec{b}=\overrightarrow{\text{OB}}、c⃗=BA→\vec{c}=\overrightarrow{\text{BA}}
    とするとき、内積の成分表示

    a⃗⋅b⃗=a1b1+a2b2\begin{align*} \vec{a}\cdot\vec{b}=a_1b_1+a_2b_2 \end{align*}

    を用いて、次の内積を求めなさい。
    (1) a⃗⋅b⃗\vec{a}\cdot\vec{b}
    (2) a⃗⋅c⃗\vec{a}\cdot\vec{c}
    (3) b⃗⋅c⃗\vec{b}\cdot\vec{c}

    解答
     
    A(3, 0)\text{A}(\sqrt{3},  0)、B(3, 1)\text{B}(\sqrt{3},  1) より、それぞれのベクトルを成分表示すると
     a⃗=(3, 0)\vec{a}=(\sqrt{3},  0)
     b⃗=(3, 1)\vec{b}=(\sqrt{3},  1)
     c⃗=BA→=OA→−OB→=a⃗−b⃗\vec{c}=\overrightarrow{\text{BA}}=\overrightarrow{\text{OA}}-\overrightarrow{\text{OB}}=\vec{a}-\vec{b}
     =(3, 0)−(3, 1)\hspace{7pt}=(\sqrt{3},  0)-(\sqrt{3},  1)
     =(3−3, 0−1)\hspace{7pt}=(\sqrt{3}-\sqrt{3},  0-1)
     =(0, −1)\hspace{7pt}=(0,  -1)
    よって
    (1) a⃗⋅b⃗=3⋅3+0⋅1=3\vec{a}\cdot\vec{b}=\sqrt{3}\cdot\sqrt{3}+0\cdot1=3
    (2) a⃗⋅c⃗=3⋅0+0⋅(−1)=0\vec{a}\cdot\vec{c}=\sqrt{3}\cdot0+0\cdot(-1)=0
    (3) b⃗⋅c⃗=3⋅0+1⋅(−1)=−1\vec{b}\cdot\vec{c}=\sqrt{3}\cdot0+1\cdot(-1)=-1

    ■\blacksquare

     これは、例題8の結果と同じです。

    内積によるベクトルの大きさ

     内積 a⃗⋅b⃗\vec{a}\cdot\vec{b} において、a⃗=b⃗\vec{a}=\vec{b} とすると θ=0°\theta=0\degree となるので

    a⃗⋅a⃗=∣a⃗∣∣a⃗∣cos⁡0°=∣a⃗∣2\begin{align*} \vec{a}\cdot\vec{a}=|\vec{a}||\vec{a}|\cos0\degree=|\vec{a}|^2 \end{align*}

    より

    ∣a⃗∣2=a⃗⋅a⃗ ⋯(∗3)\begin{align*} |\vec{a}|^2=\vec{a}\cdot\vec{a} \cdots(*3) \end{align*}

     ∣a⃗∣≧0|\vec{a}|\geqq0 であるから

    ∣a⃗∣=a⃗⋅a⃗\begin{align*} |\vec{a}|=\sqrt{\vec{a}\cdot\vec{a}} \end{align*}

    ***

     これより、ベクトルの大きさは、自分自身との内積の平方根で表せます。実践的には (∗3)(*3) 式を使う場合が多いです。(∗3)(*3) 式は
     「ベクトルの大きさの2乗は、自分自身との内積」
    という公式です。

    内積の性質1

     内積には次の性質があります。kk は実数とします。

    1. a⃗⋅b⃗=b⃗⋅a⃗\vec{a}\cdot\vec{b}=\vec{b}\cdot\vec{a}

    2. (ka⃗)⋅b⃗=a⃗⋅(kb⃗)=k(a⃗⋅b⃗)(k\vec{a})\cdot\vec{b}=\vec{a}\cdot(k\vec{b})=k(\vec{a}\cdot\vec{b})

    3. (a⃗+b⃗)⋅c⃗=a⃗⋅c⃗+b⃗⋅c⃗(\vec{a}+\vec{b})\cdot\vec{c}=\vec{a}\cdot\vec{c}+\vec{b}\cdot\vec{c}

    4. a⃗⋅(b⃗+c⃗)=a⃗⋅b⃗+a⃗⋅c⃗\vec{a}\cdot(\vec{b}+\vec{c})=\vec{a}\cdot\vec{b}+\vec{a}\cdot\vec{c}

    ***

    1. より、内積は交換法則が成り立ちます。

    2. より、実数倍(kk 倍)は内積の外に出すことができます。

    3. 4. より、左右からの分配法則が成り立ちます。

     3. について証明を与えましょう。他も同様に証明可能です。

    (3. の証明)
     a⃗=(a1, a2), b⃗=(b1, b2), c⃗=(c1, c2)\vec{a}=(a_1,  a_2),  \vec{b}=(b_1,  b_2),  \vec{c}=(c_1,  c_2) とおくと
     a⃗+b⃗=(a1, a2)+(b1, b2)=(a1+b1, a2+b2)\vec{a}+\vec{b}=(a_1,  a_2)+(b_1,  b_2)=(a_1+b_1,  a_2+b_2)
    より

    (左辺)=(a⃗+b⃗)⋅c⃗=(a1+b1, a2+b2)⋅(c1, c2) 成分表示=(a1+b1)c1+(a2+b2)c2 内積の定義=a1c1+b1c1+a2c2+b2c2=a1c1+a2c2‾+b1c1+b2c2‾‾\begin{align*} (左辺)&=(\vec{a}+\vec{b})\cdot\vec{c}\\ &=(a_1+b_1,  a_2+b_2)\cdot(c_1,  c_2) {\small 成分表示}\\ &=(a_1+b_1)c_1+(a_2+b_2)c_2 {\small 内積の定義}\\ &=a_1c_1+b_1c_1+a_2c_2+b_2c_2\\ &=\underline{a_1c_1+a_2c_2}+\underline{\underline{b_1c_1+b_2c_2}} \end{align*}

     すると、一重線部は a⃗=(a1, a2)\vec{a}=(a_1,  a_2) と c⃗=(c1, c2)\vec{c}=(c_1,  c_2) の内積、二重線部は b⃗=(b1, b2)\vec{b}=(b_1,  b_2) と c⃗=(c1, c2)\vec{c}=(c_1,  c_2) の内積なので

    (左辺)=a1c1+a2c2‾+b1c1+b2c2‾‾=(a1, a2)⋅(c1, c2)+(b1, b2)⋅(c1, c2)=a⃗⋅c⃗+b⃗⋅c⃗=(右辺)\begin{align*} (左辺)&=\underline{a_1c_1+a_2c_2}+\underline{\underline{b_1c_1+b_2c_2}}\\ &=(a_1,  a_2)\cdot(c_1,  c_2)+(b_1,  b_2)\cdot(c_1,  c_2)\\ &=\vec{a}\cdot\vec{c}+\vec{b}\cdot\vec{c}\\ &=(右辺) \end{align*}

    より証明されます。成分の計算に持ち込むのがポイントです。他も同様に証明されます(教科書参照)。

     この性質を用いて、次のように計算が可能です。

    例

    ∣a⃗+b⃗∣2=(a⃗+b⃗)⋅(a⃗+b⃗) (∗3) より=a⃗⋅(a⃗+b⃗)+b⃗⋅(a⃗+b⃗) 性質 3. より=a⃗⋅a⃗+a⃗⋅b⃗+b⃗⋅a⃗+b⃗⋅b⃗ 性質 4. より=∣a⃗∣2+a⃗⋅b⃗+a⃗⋅b⃗+∣b⃗∣2 性質 1. と (∗3) より=∣a⃗∣2+2a⃗⋅b⃗+∣b⃗∣2\begin{align*} |\vec{a}+\vec{b}|^2&=(\vec{a}+\vec{b})\cdot(\vec{a}+\vec{b}) {\small (*3)  より}\\ &=\vec{a}\cdot(\vec{a}+\vec{b})+\vec{b}\cdot(\vec{a}+\vec{b}) {\small 性質  3.  より}\\ &=\vec{a}\cdot\vec{a}+\vec{a}\cdot\vec{b}+\vec{b}\cdot\vec{a}+\vec{b}\cdot\vec{b} {\small 性質  4.  より}\\ &=|\vec{a}|^2+\vec{a}\cdot\vec{b}+\vec{a}\cdot\vec{b}+|\vec{b}|^2 {\small 性質  1.  と  (*3)  より}\\ &=|\vec{a}|^2+2\vec{a}\cdot\vec{b}+|\vec{b}|^2 \end{align*}

    より

    ∣a⃗+b⃗∣2=∣a⃗∣2+2a⃗⋅b⃗+∣b⃗∣2\begin{align*} |\vec{a}+\vec{b}|^2=|\vec{a}|^2+2\vec{a}\cdot\vec{b}+|\vec{b}|^2 \end{align*}

    これは公式として利用できます。中学3年で習う展開公式

    (a+b)2=a2+2ab+b2\begin{align*} (a+b)^2=a^2+2ab+b^2 \end{align*}

    と対比して覚えればよいでしょう。

    例題11
     次を計算しなさい。
    (1) ∣a⃗−b⃗∣2|\vec{a}-\vec{b}|^2
    (2) ∣2a⃗+3b⃗∣2|2\vec{a}+3\vec{b}|^2
    (3) (a⃗+b⃗)⋅(a⃗−b⃗)(\vec{a}+\vec{b})\cdot(\vec{a}-\vec{b})
    (4) (2a⃗+3b⃗)⋅(a⃗−2b⃗)(2\vec{a}+3\vec{b})\cdot(\vec{a}-2\vec{b})

    解答
    (1) 例でやったように
     ∣a⃗−b⃗∣2=(a⃗−b⃗)⋅(a⃗−b⃗)|\vec{a}-\vec{b}|^2=(\vec{a}-\vec{b})\cdot(\vec{a}-\vec{b})
    として、そのまま内積を展開をしてもよいですが、先ほど証明した

    ∣a⃗+b⃗∣2=∣a⃗∣2+2a⃗⋅b⃗+∣b⃗∣2\begin{align*} |\vec{a}+\vec{b}|^2=|\vec{a}|^2+2\vec{a}\cdot\vec{b}+|\vec{b}|^2 \end{align*}

    を用いましょう。この式について、b⃗\vec{b} を −b⃗-\vec{b} で置き換えて

    ∣a⃗+(−b⃗)∣2=∣a⃗∣2+2a⃗⋅(−b⃗)+∣−b⃗∣2\begin{align*} |\vec{a}+(-\vec{b})|^2=|\vec{a}|^2+2\vec{a}\cdot(-\vec{b})+|-\vec{b}|^2 \end{align*}

     a⃗⋅(−b⃗)=−a⃗⋅b⃗\vec{a}\cdot(-\vec{b})=-\vec{a}\cdot\vec{b}(性質 2. より実数倍(−1-1 倍)は内積の外に出せる)
     ∣−b⃗∣=∣b⃗∣|-\vec{b}|=|\vec{b}|(逆ベクトルも大きさは同じ)
    より

    ∣a⃗−b⃗∣2=∣a⃗∣2−2a⃗⋅b⃗+∣b⃗∣2\begin{align*} |\vec{a}-\vec{b}|^2=|\vec{a}|^2-2\vec{a}\cdot\vec{b}+|\vec{b}|^2 \end{align*}

     これも公式として覚えておきましょう。中学3年で習う展開公式

    (a−b)2=a2−2ab+b2\begin{align*} (a-b)^2=a^2-2ab+b^2 \end{align*}

    と対比して覚えればよいでしょう。

    (2) 例で証明した

    ∣a⃗+b⃗∣2=∣a⃗∣2+2a⃗⋅b⃗+∣b⃗∣2\begin{align*} |\vec{a}+\vec{b}|^2=|\vec{a}|^2+2\vec{a}\cdot\vec{b}+|\vec{b}|^2 \end{align*}

    を用いると

    ∣2a⃗+3b⃗∣2=∣2a⃗∣2+2⋅2a⃗⋅3b⃗+∣3b⃗∣2=22∣a⃗∣2+2⋅2⋅3a⃗⋅b⃗+32∣b⃗∣2=4∣a⃗∣2+12a⃗⋅b⃗+9∣b⃗∣2\begin{align*} |2\vec{a}+3\vec{b}|^2&=|2\vec{a}|^2+2\cdot2\vec{a}\cdot3\vec{b}+|3\vec{b}|^2\\ &=2^2|\vec{a}|^2+2\cdot2\cdot3\vec{a}\cdot\vec{b}+3^2|\vec{b}|^2\\ &=4|\vec{a}|^2+12\vec{a}\cdot\vec{b}+9|\vec{b}|^2\\ \end{align*}

    (3)

    (a⃗+b⃗)⋅(a⃗−b⃗)=a⃗⋅(a⃗−b⃗)+b⃗⋅(a⃗−b⃗)=a⃗⋅a⃗−a⃗⋅b⃗+b⃗⋅a⃗−b⃗⋅b⃗=∣a⃗∣2−a⃗⋅b⃗+a⃗⋅b⃗−∣b⃗∣2=∣a⃗∣2−∣b⃗∣2\begin{align*} (\vec{a}+\vec{b})\cdot(\vec{a}-\vec{b}) &=\vec{a}\cdot(\vec{a}-\vec{b})+\vec{b}\cdot(\vec{a}-\vec{b})\\ &=\vec{a}\cdot\vec{a}-\vec{a}\cdot\vec{b}+\vec{b}\cdot\vec{a}-\vec{b}\cdot\vec{b}\\ &=|\vec{a}|^2-\cancel{\vec{a}\cdot\vec{b}}+\cancel{\vec{a}\cdot\vec{b}}-|\vec{b}|^2\\ &=|\vec{a}|^2-|\vec{b}|^2 \end{align*}

    より

    (a⃗+b⃗)⋅(a⃗−b⃗)=∣a⃗∣2−∣b⃗∣2\begin{align*} (\vec{a}+\vec{b})\cdot(\vec{a}-\vec{b})=|\vec{a}|^2-|\vec{b}|^2 \end{align*}

     これも公式として覚えておくと便利です。中学3年で習う展開公式

    (a+b)(a−b)=a2−b2\begin{align*} (a+b)(a-b)=a^2-b^2 \end{align*}

    と対比して覚えればよいでしょう。

    (4) これについては地道に展開していきます。

    (2a⃗+3b⃗)⋅(a⃗−2b⃗)=2a⃗⋅(a⃗−2b⃗)+3b⃗⋅(a⃗−2b⃗)=2a⃗⋅a⃗+2a⃗⋅(−2b⃗)+3b⃗⋅a⃗+3b⃗⋅(−2b⃗)=2a⃗⋅a⃗−4a⃗⋅b⃗+3a⃗⋅b⃗−6b⃗⋅b⃗=2∣a⃗∣2−a⃗⋅b⃗−6∣b⃗∣2\begin{align*} (2\vec{a}+3\vec{b})\cdot(\vec{a}-2\vec{b})&=2\vec{a}\cdot(\vec{a}-2\vec{b})+3\vec{b}\cdot(\vec{a}-2\vec{b})\\ &=2\vec{a}\cdot\vec{a}+2\vec{a}\cdot(-2\vec{b})+3\vec{b}\cdot\vec{a}+3\vec{b}\cdot(-2\vec{b})\\ &=2\vec{a}\cdot\vec{a}-4\vec{a}\cdot\vec{b}+3\vec{a}\cdot\vec{b}-6\vec{b}\cdot\vec{b}\\ &=2|\vec{a}|^2-\vec{a}\cdot\vec{b}-6|\vec{b}|^2 \end{align*}

    ■\blacksquare

     まとめとして、次の性質は公式として覚えておくと便利です。非常によく出てくる計算です。

    内積の性質2

    ∣a⃗+b⃗∣2=∣a⃗∣2+2a⃗⋅b⃗+∣b⃗∣2∣a⃗−b⃗∣2=∣a⃗∣2−2a⃗⋅b⃗+∣b⃗∣2(a⃗+b⃗)⋅(a⃗−b⃗)=∣a⃗∣2−∣b⃗∣2\begin{align*} |\vec{a}+\vec{b}|^2=|\vec{a}|^2+2\vec{a}\cdot\vec{b}+|\vec{b}|^2\\ |\vec{a}-\vec{b}|^2=|\vec{a}|^2-2\vec{a}\cdot\vec{b}+|\vec{b}|^2\\ (\vec{a}+\vec{b})\cdot(\vec{a}-\vec{b})=|\vec{a}|^2-|\vec{b}|^2 \end{align*}

    ***

     繰り返しになりますが、中学3年で習う展開公式

    (a+b)2=a2+2ab+b2(a−b)2=a2−2ab+b2(a+b)(a−b)=a2−b2\begin{align*} (a+b)^2=a^2+2ab+b^2\\ (a-b)^2=a^2-2ab+b^2\\ (a+b)(a-b)=a^2-b^2 \end{align*}

    と対比して覚えればよいでしょう。2乗は絶対値の2乗になり、かけ算のところは内積になります。a⃗2{\vec{a}}^2(絶対値をつけない)や、a⃗b⃗\vec{a}\vec{b}(内積記号 ”⋅\cdot” をつけない)としないように。定義されていないベクトルの計算です。

    ベクトルの平行条件

     0⃗\vec{0} でないベクトル a⃗=(a1, a2), b⃗=(b1, b2)\vec{a}=(a_1,  a_2),  \vec{b}=(b_1,  b_2) のなす角を θ\theta とすると、a⃗ / ⁣/ b⃗\vec{a}  /\!/  \vec{b} となるのは、θ=0°\theta=0\degree または θ=180°\theta=180\degree のときなので、
     cos⁡0°=1, cos⁡180°=−1\cos0\degree=1,  \cos180\degree=-1
    であることに着目すると

    画像

    a⃗⋅b⃗=∣a⃗∣∣b⃗∣cos⁡0°=∣a⃗∣∣b⃗∣a⃗⋅b⃗=∣a⃗∣∣b⃗∣cos⁡180°=−∣a⃗∣∣b⃗∣\begin{align*} \vec{a}\cdot\vec{b}&=|\vec{a}||\vec{b}|\cos0\degree=|\vec{a}||\vec{b}|\\ \vec{a}\cdot\vec{b}&=|\vec{a}||\vec{b}|\cos180\degree=-|\vec{a}||\vec{b}| \end{align*}

    より

    a⃗⊥b⃗ ⟷ a⃗⋅b⃗=∣a⃗∣∣b⃗∣  または  a⃗⋅b⃗=−∣a⃗∣∣b⃗∣\begin{align*} \vec{a}\perp\vec{b}  \longleftrightarrow  \vec{a}\cdot\vec{b}=|\vec{a}||\vec{b}|   または   \vec{a}\cdot\vec{b}=-|\vec{a}||\vec{b}| \end{align*}

     ともに両辺を2乗すると

    (a⃗⋅b⃗)2=(∣a⃗∣∣b⃗∣)2\begin{align*} {(\vec{a}\cdot\vec{b})}^2={(|\vec{a}||\vec{b}|)}^2 \end{align*}

    より

    (a⃗⋅b⃗)2=∣a⃗∣2∣b⃗∣2\begin{align*} (\vec{a}\cdot\vec{b})^2=|\vec{a}|^2|\vec{b}|^2 \end{align*}

     ここで
     a⃗⋅b⃗=a1b1+a2b2\vec{a}\cdot\vec{b}=a_1b_1+a_2b_2
     ∣a⃗∣2=a12+a22|\vec{a}|^2={a_1}^2+{a_2}^2
     ∣b⃗∣2=b12+b22|\vec{b}|^2={b_1}^2+{b_2}^2
    より

    (a1b1+a2b2)2=(a12+a22)(b12+b22)\begin{align*} (a_1b_1+a_2b_2)^2=({a_1}^2+{a_2}^2)({b_1}^2+{b_2}^2) \end{align*}

     両辺を展開していくと

    (a1b1)2+2a1a2b1b2+(a2b2)2=a12b12+a12b22+a22b12+a22b22a12b12+2a1a2b1b2+a22b22=a12b12+a12b22+a22b12+a22b222a1a2b1b2=a12b22+a22b12\begin{align*} (a_1b_1)^2+2a_1a_2b_1b_2+(a_2b_2)^2&={a_1}^2{b_1}^2+{a_1}^2{b_2}^2+{a_2}^2{b_1}^2+{a_2}^2{b_2}^2\\ \cancel{{a_1}^2{b_1}^2}+2a_1a_2b_1b_2+\bcancel{{a_2}^2{b_2}^2}&=\cancel{{a_1}^2{b_1}^2}+{a_1}^2{b_2}^2+{a_2}^2{b_1}^2+\bcancel{{a_2}^2{b_2}^2}\\ 2a_1a_2b_1b_2&={a_1}^2{b_2}^2+{a_2}^2{b_1}^2 \end{align*}

    より

    a12b22−2a1a2b1b2+a22b12=0(a1b2)2−2(a1b2)(a2b1)+(a2b1)2=0\begin{align*} {a_1}^2{b_2}^2-2a_1a_2b_1b_2+{a_2}^2{b_1}^2&=0\\ {(a_1b_2)}^2-2(a_1b_2)(a_2b_1)+{(a_2b_1)}^2&=0 \end{align*}

     因数分解して

    (a1b2−a2b1)2=0\begin{align*} (a_1b_2-a_2b_1)^2=0 \end{align*}

     よって

    a1b2−a2b1=0\begin{align*} a_1b_2-a_2b_1=0 \end{align*}

     途中で中学3年で習う因数分解公式
     a2−2ab+b2=(a−b)2a^2-2ab+b^2=(a-b)^2
    を使っています。つまり、a1b2=a, a2b1=ba_1b_2=a,  a_2b_1=b とした場合です。
     以上より、次の関係が得られます。

    <ベクトルの平行条件>

    a⃗⊥b⃗ ⟷ a1b2−a2b1=0\begin{align*} \vec{a}\perp\vec{b}  \longleftrightarrow  a_1b_2-a_2b_1=0 \end{align*}

     下図のように、「たすきがけ」してひき算です。

    画像

    ***

    ベクトルの垂直条件

     また、a⃗⊥b⃗\vec{a}\perp\vec{b} となるのは θ=90°\theta=90\degree のときなので、cos⁡90°=0\cos90\degree=0 であることに着目すると

    画像

    a⃗⋅b⃗=∣a⃗∣∣b⃗∣cos⁡90°=0\begin{align*} \vec{a}\cdot\vec{b}=|\vec{a}||\vec{b}|\cos90\degree=0 \end{align*}

    より

    a⃗⊥b⃗ ⟷ a⃗⋅b⃗=0\begin{align*} \vec{a}\perp\vec{b}  \longleftrightarrow  \vec{a}\cdot\vec{b}=0 \end{align*}

     さらに、内積の成分表示より
     a⃗⋅b⃗=a1b1+a2b2\vec{a}\cdot\vec{b}=a_1b_1+a_2b_2
    なので、次の関係が得られます。

    <ベクトルの垂直条件>

    a⃗⊥b⃗ ⟷ a⃗⋅b⃗=a1b1+a2b2=0\begin{align*} \vec{a}\perp\vec{b}  \longleftrightarrow  \vec{a}\cdot\vec{b}=a_1b_1+a_2b_2=0 \end{align*}

     下図のように、成分ごとに掛けてたし算です。

    画像

    ***

     これで、2つのベクトルの平行条件と垂直条件が得られました。この2つの条件は、対比して覚えておくのがよいでしょう。

    <ベクトルの平行条件>

    a⃗⊥b⃗ ⟷ a1b2−a2b1=0\begin{align*} \vec{a}\perp\vec{b}  \longleftrightarrow  a_1b_2-a_2b_1=0 \end{align*}

    画像

    <ベクトルの垂直条件>

    a⃗⊥b⃗ ⟷ a⃗⋅b⃗=a1b1+a2b2=0\begin{align*} \vec{a}\perp\vec{b}  \longleftrightarrow  \vec{a}\cdot\vec{b}=a_1b_1+a_2b_2=0 \end{align*}

    画像

    例題12
     
    2つのベクトル a⃗=(1, 2), b⃗=(2, p)\vec{a}=(1,  2),  \vec{b}=(2,  p) について、次の条件をみたす pp の値を求めなさい。
    (1) a⃗\vec{a} と b⃗\vec{b} が平行になる
    (2) a⃗\vec{a} と b⃗\vec{b} が垂直になる

    解答
    (1) 平行になるときは、平行条件より

    1⋅p−2⋅2=0p−4=0p=4\begin{align*} 1\cdot p-2\cdot2&=0\\ p-4&=0\\ p&=4 \end{align*}

    ■\blacksquare

     図で確認しましょう。p=2p=2 のとき、a⃗=(1, 2), b⃗=(2, 4)\vec{a}=(1,  2),  \vec{b}=(2,  4) となるので、図示すると次のようになります。

    画像

     確かに、a⃗\vec{a} と b⃗\vec{b} は平行になります。

    (2) 垂直になるときは、垂直条件より

    1⋅3+3⋅p=03+3p=03p=−3p=−1\begin{align*} 1\cdot3+3\cdot p&=0\\ 3+3p&=0\\ 3p&=-3\\ p&=-1 \end{align*}

    ■\blacksquare

     これも図で確認しましょう。p=−1p=-1 のとき、a⃗=(1, 2), b⃗=(2, −1)\vec{a}=(1,  2),  \vec{b}=(2,  -1) となるので、図示すると次のようになります。

    画像

     確かに、a⃗\vec{a} と b⃗\vec{b} は垂直になります。

    空間ベクトル

     これまでやったベクトルは、平面上(2次元)のベクトルで平面ベクトルといいます。空間内(3次元)においても、平面ベクトルと同じようにベクトルを考えることができ、これを空間ベクトルといいます。
     例えば、下図のような直方体 ABCD-EFGH\text{ABCD-EFGH} を考えます。

    画像

     ここで、次にように空間ベクトルをおきます。
     AB→=a⃗\overrightarrow{\text{AB}}=\vec{a}
     AD→=b⃗\overrightarrow{\text{AD}}=\vec{b}
     AE→=c⃗\overrightarrow{\text{AE}}=\vec{c}
     3次元空間で考えているので、これらは空間ベクトルです。

     このとき、空間ベクトル AG→\overrightarrow{\text{AG}} と GD→\overrightarrow{\text{GD}} を、a⃗, b⃗, c⃗\vec{a},  \vec{b},  \vec{c} で表すことを考えよう。

    <AG→\overrightarrow{\text{AG}} について>
     平行四辺形の法則より
     AC→=a⃗+b⃗\overrightarrow{\text{AC}}=\vec{a}+\vec{b}
     ベクトルの相等(大きさと向きが等しければ同じベクトル)より
     CG→=c⃗\overrightarrow{\text{CG}}=\vec{c}
     よって、しりとりの法則より

    AG→=AC→+CG→=a⃗+b⃗+c⃗\begin{align*} \overrightarrow{\text{AG}}&=\overrightarrow{\text{AC}}+\overrightarrow{\text{CG}}\\ &=\vec{a}+\vec{b}+\vec{c} \end{align*}

    画像

    ■\blacksquare

    <GD→\overrightarrow{\text{GD}} について>
     逆ベクトルより
     GC→=−CG→=−c⃗\overrightarrow{\text{GC}}=-\overrightarrow{\text{CG}}=-\vec{c}
     CD→=−DC→=−a⃗\overrightarrow{\text{CD}}=-\overrightarrow{\text{DC}}=-\vec{a}
     しりとりの法則より

    GD→=GC→+CD→=−c⃗+(−a⃗)=−c⃗−a⃗=−a⃗−c⃗\begin{align*} \overrightarrow{\text{GD}}&=\overrightarrow{\text{GC}}+\overrightarrow{\text{CD}}\\ &=-\vec{c}+(-\vec{a})\\ &=-\vec{c}-\vec{a}\\ &=-\vec{a}-\vec{c} \end{align*}

    画像

    ■\blacksquare

    別解
     別解として、ベクトルの差を用いる方法もあります。
     先ほど求めた
     AG→=a⃗+b⃗+c⃗\overrightarrow{\text{AG}}=\vec{a}+\vec{b}+\vec{c}
    より

    GD→=AD→−AG→=b⃗−(a⃗+b⃗+c⃗)=b⃗−a⃗−b⃗−c⃗=−a⃗−c⃗\begin{align*} \overrightarrow{\text{GD}}&=\overrightarrow{\text{AD}}-\overrightarrow{\text{AG}}\\ &=\vec{b}-(\vec{a}+\vec{b}+\vec{c})\\ &=\cancel{\vec{b}}-\vec{a}-\cancel{\vec{b}}-\vec{c}\\ &=-\vec{a}-\vec{c} \end{align*}

    画像

    ■\blacksquare

     以上のように、ベクトルの考え方を駆使していろいろな解法が存在します。そのときに自分の気付いた解法で解けばよいでしょう。

    例題13
     下図のように、六面体の向かい合った3組の面がそれぞれ平行であるとき、この六面体を平行六面体といいます。
     この平行六面体 ABCD-EFGH\text{ABCD-EFGH} において
     AB→=a⃗\overrightarrow{\text{AB}}=\vec{a}
     AD→=b⃗\overrightarrow{\text{AD}}=\vec{b}
     AE→=c⃗\overrightarrow{\text{AE}}=\vec{c}
    とするとき、次のベクトルを a⃗, b⃗, c⃗\vec{a},  \vec{b},  \vec{c} で表しなさい。

    画像

    (1) AC→\overrightarrow{\text{AC}}
    (2) AG→\overrightarrow{\text{AG}}
    (3) CE→\overrightarrow{\text{CE}}
    (4) HB→\overrightarrow{\text{HB}}

    解答
    (1) 平行四辺形の法則より

    AC→=AB→+AD→=a⃗+b⃗\begin{align*} \overrightarrow{\text{AC}}&=\overrightarrow{\text{AB}}+\overrightarrow{\text{AD}}\\ &=\vec{a}+\vec{b} \end{align*}

    (2) (1) より
     AC→=a⃗+b⃗\overrightarrow{\text{AC}}=\vec{a}+\vec{b}
    なので、しりとりの法則より

    AG→=AC→+CG→=a⃗+b⃗+c⃗\begin{align*} \overrightarrow{\text{AG}}&=\overrightarrow{\text{AC}}+\overrightarrow{\text{CG}}\\ &=\vec{a}+\vec{b}+\vec{c} \end{align*}

    (3) (1) より
     AC→=a⃗+b⃗\overrightarrow{\text{AC}}=\vec{a}+\vec{b}
    なので、ベクトルの差より

    CE→=AE→−AC→=c⃗−(a⃗+b⃗)=c⃗−a⃗−b⃗=−a⃗−b⃗+c⃗\begin{align*} \overrightarrow{\text{CE}}&=\overrightarrow{\text{AE}}-\overrightarrow{\text{AC}}\\ &=\vec{c}-(\vec{a}+\vec{b})\\ &=\vec{c}-\vec{a}-\vec{b}\\ &=-\vec{a}-\vec{b}+\vec{c} \end{align*}

    (4) 逆ベクトルより
     HD→=−DH→=−c⃗\overrightarrow{\text{HD}}=-\overrightarrow{\text{DH}}=-\vec{c}
     DA→=−AD→=−b⃗\overrightarrow{\text{DA}}=-\overrightarrow{\text{AD}}=-\vec{b}
     しりとりの法則より

    HB→=HD→+DA→+AB→=−c⃗−b⃗+a⃗=a⃗−b⃗−c⃗\begin{align*} \overrightarrow{\text{HB}}&=\overrightarrow{\text{HD}}+\overrightarrow{\text{DA}}+\overrightarrow{\text{AB}}\\ &=-\vec{c}-\vec{b}+\vec{a}\\ &=\vec{a}-\vec{b}-\vec{c} \end{align*}

    ■\blacksquare

     この後は、空間ベクトルの内積や成分表示へと議論は進んでいきますが、本記事はここまでとなります。考え方は平面ベクトルと同じなので、興味があれば、各自勉強を進めていきましょう。導入さえしっかりと理解できれば、その後は自分で勉強できると思います。

    ベクトルの歴史(簡単に)

     ベクトルの概念は、古代から少しずつ発展してきましたが、現代的な意味でのベクトルは、19世紀の数学者たちによって体系化されました。
     中でもアイルランドの数学者・物理学者、ウィリアム・ローワン・ハミルトン(William Rowan Hamilton)は、ベクトルを「大きさ」と「向き」を持つ量だと決めてスカラーと区別し、自身の研究にベクトルを応用させました。

    画像
    William Rowan Hamilton(1805年-1865年)

     その後、ベクトルは微積分と結びついてベクトル解析や微分幾何として発展し、また2つ以上の数の組として表される抽象的な多次元の量として、線形代数として発展していきました。

    (参考1)三平方の定理

     下図のように、直角三角形の直角をはさむ2辺の長さを a,  ba ,   b、斜辺の長さを cc とする。

    画像

     このとき、次の関係式が成り立つ。

    a2+b2=c2\begin{align*} a^2+b^2=c^2 \end{align*}

    ***

     この定理を、三平方の定理(さんへいほうのていり)といいます。この定理は古バビロニアの時代(紀元前2千年頃)から知られていますが、古代ギリシャの数学者ピタゴラスにちなんで、ピタゴラスの定理ともよばれます。
     なお、ピタゴラスはこの定理の発見者ではなく、真の発見者は分かっていません。

    例題
     次の直角三角形について、xx を求めなさい。

    画像

    解説
    (1) 三平方の定理より

    x2=12+12=1+1=2\begin{align*} x^2&=1^2+1^2\\ &=1+1\\ &=2 \end{align*}

    よって

    x=2 ⋯(答)\begin{align*} x=\sqrt{2} \cdots{\small (答)} \end{align*}

    (2) 三平方の定理より

    x2+12=22x2+1=4x2=4−1=3\begin{align*} &x^2+1^2=2^2\\ &x^2+1=4\\ &x^2=4-1=3 \end{align*}

    よって

    x=3 ⋯(答)\begin{align*} x=\sqrt{3} \cdots{\small (答)} \end{align*}

    (3) 三平方の定理より

    x2+32=52x2+9=25x2=25−9=16\begin{align*} &x^2+3^2=5^2\\ &x^2+9=25\\ &x^2=25-9=16 \end{align*}

    よって

    x=16=42=4 ⋯(答)\begin{align*} x=\sqrt{16}=\sqrt{4^2}=4 \cdots{\small (答)} \end{align*}

     この結果は、下図のように決まった比として覚えておけばよいでしょう。

    画像

     特に、三角比において、(1) と (2) は重要なのでまとめておきます。角度もきれいな値で決まるのでセットで覚えましょう。

    特別な直角三角形の3辺の比

     3つの角が 45°, 45°, 90°45\degree,  45\degree,  90\degree である直角二等辺三角形と、30°, 60°, 90°30\degree,  60\degree,  90\degree である直角三角形の3辺の長さの比は次のようになる。

    画像

     左は正方形を対角線で分けた下半分の直角二等辺三角形で、辺の比は
      1:1:21:1:\sqrt{2}
     右は正三角形を真ん中で分けた左半分の直角三角形で、辺の比は
      1:2:31:2:\sqrt{3}
    である。

    ***

     これはいわゆる三角定規の形で、この直角三角形に現れる角度 30°, 45°, 60°, 90°30\degree,  45\degree,  60\degree,  90\degree を有名角といいます。


    この記事が参加している募集

    あなたへのおすすめ