- 追加された行はこの色です。
- 削除された行はこの色です。
#rst2hooktail_source
====================================
もう一度ベクトル3（幾何と代数の通訳）
====================================
０．幾何と代数の通訳
------------------------------------
ベクトルは線分(大きさ、長さ)に向きという情報を加えた有向線分と考えました。
ですから当然ベクトルには幾何学的な情報があります。
でも和や、差、積が考えられることからわかるとおり、代数的な概念も含んでいます。
一度ベクトルを適当な [*]_ 座標系の成分を用いて表してあげれば、あっという間に代数的な表現が可能になるわけです。
.. contents::
簡単な幾何学的な条件がベクトルではどう表現できるかを見ていきましょう。
.. [*]
もう一度ベクトル１、同２ではデカルト座標しか扱っていませんが実は極座標
で表しても全く問題ありません。一般的にもあまり極座標で表す事がないのは中学、
高校でもあまり扱っていないということで、極座標で考えてもあまり
『わかった!』という感には至り難いのが原因かなと思います。
そういえば極座標だと、２点間の相互の座標変換も面倒です
１．原点以外からの変位ベクトル
-------------------------------
基本的にベクトルは｢原点からどれだけ変位したか｣という成分で書かれています。
でも幾何学って、図形に含まれないただの基準点なら、どんな位置にあっても関係ないはずですよね？
そこで、図形に含まれる点を始点としたベクトルではどういった書き換えを施してあげればいいのかということを覚えておく必要があります。
つまり、｢点 $A$ から $B$ へのベクトルをどう表現すればいいか｣という事がこのセクションの内容となります。
ベクトルの和のところを思い出してみましょう。
２つの表記が混在していますが点の移動を追いやすくするため、矢印表記を用いて解説しますと
<tex>
&\overrightarrow{\rm OB}=\overrightarrow{\rm OA}+\overrightarrow{\rm AB} \\
\Longleftrightarrow
&\overrightarrow{\rm AB}=\overrightarrow{\rm OB}-\overrightarrow{\rm OA}
=
\bm{b}-\bm{a}
</tex>
となります。この結果は覚えておきましょう。
.. image:: yassan-RestudyVector03-fig1.png
また、この結果の興味深い点は原点 $O$ について何も条件をことわっていない点です。
つまり、原点 $O$ ではなくても任意の点に関して成立します。
確かに $\overrightarrow{\rm AB}$ は点 $A$ 、点 $B$ の決め方のみに依存し、原点がどの
位置にあるかは関係ないはずなので、そういった側面から眺めた条件とも合致しています。
このように数学が現実を裏切らないことが、数学が自然科学において絶大な信頼を得ている1つの理由なのかもしれません。
２．内分点の公式
--------------------
内分点を表すベクトルの表記を天下りに書いてしまいますと
｢点 $A$ と点 $B$ を $m:n$ に内分する点 $P$ ｣を表す位置ベクトルは、適当な
原点(基準点)を $O$ とし、
<tex>
&\bm{r}
\stackrel{\mathrm{def}}{\equiv}
\overrightarrow{\rm OP} \\
&\bm{a}
\stackrel{\mathrm{def}}{\equiv}
\overrightarrow{\rm OA} ,\ \ \
\bm{b}
\stackrel{\mathrm{def}}{\equiv}
\overrightarrow{\rm OB}
</tex>
とすると
<tex>
\bm{r}
=
&\frac{n}{m+n}\bm{a}+\frac{m}{m+n}\bm{b} \\
\stackrel{\mathrm{or}}{=}
&\ \frac{n\bm{a}+m\bm{b}}{m+n}\bm{a}
</tex>
とかけます。
.. image:: yassan-RestudyVector03-fig2.png
それでは証明してみましょう。いきなり上の公式が見えてしまう人は別としてやはり
"内分"しているのですから、内分している線分で考えるのが一番妥当なはずです。
以上の図の半直線 $AB$ を見てください。
図から $P$ が半直線 $AB$ の $m:n$ の内分点である条件としては
<tex>
AP:AB=m:m+n
</tex>
であることです。また、比は左右同じ数で割っても比には変化がないので
<tex>
m:m+n
=
\frac{m}{m+n}:1
</tex>
と変形します。この式は｢半直線 $AB$ の長さを $1$ としたときに半直線 $AP$
の長さは $\frac{m}{m+n}$ となる｣事を言っています。この事をベクトルの表記
に反映してあげればいいのです。
図から $\overrightarrow{\rm AP}$ は $\overrightarrow{\rm AB}$
と方向が等しいので $\overrightarrow{\rm AP}$ は $\overrightarrow{\rm AB}$ の定数倍
で表せるはずですね。ではその定数を求めなければならないのですが、その値を上記の
比で求めていたわけです。上記で求めたとおり
<tex>
AP:AB=\frac{m}{m+n}:1
</tex>
なのでベクトルな長さの関係になおすと
<tex>
|\overrightarrow{\rm AP}|:|\overrightarrow{\rm AB}|=\frac{m}{m+n}:1
</tex>
となることから
<tex>
\overrightarrow{\rm AP}=\frac{m}{m+n}\overrightarrow{\rm AB}\tag{*}
</tex>
となります。大きさの比と平行な条件だけでは必ずしも係数が正とは限りませんが、
図から向き(≠方向)も等しいことから上記の式が導かれます。
<tex>
(*)
\Longleftrightarrow
&(m+n)\overrightarrow{\rm AP}=m\overrightarrow{\rm AB} \\
\Longleftrightarrow
&(m+n)(\overrightarrow{\rm OP}-\overrightarrow{\rm OA})=m(\overrightarrow{\rm OB}-\overrightarrow{\rm OA}) \\
\Longleftrightarrow
&(m+n)(\bm{r}-\bm{a})=m(\bm{b}-\bm{a}) \\
\Longleftrightarrow
&(m+n)\bm{r}-(m+n)\bm{a}=m\bm{b}-m\bm{a} \\
\Longleftrightarrow
&(m+n)\bm{r}=(m+n)\bm{a}+m\bm{b}-m\bm{a} \\
\Longleftrightarrow
&(m+n)\bm{r}=n\bm{a}+m\bm{b} \\
\Longleftrightarrow
&\bm{r}=\frac{n\bm{a}+m\bm{b}}{m+n} \tag{1}
</tex>
となり証明できました。特に $m+n=1$ のとき $m=1-n$ で
<tex>
\bm{r}=n\bm{a}+(1-n)\bm{b} \tag{2}
</tex>
と書けます。また逆に $(1),(2)$ 式のようにかけるときそれは直線 $AB$ 上に点 $P$
が乗っていると言い換えることが出来ます。
３．絶対値の公式
----------------------------------------
先ずこの公式を天下り的に紹介しますと
<tex>
|\overrightarrow{\rm AB}|^2=|\bm{B}-\bm{A}|^2
=|\bm{B}|^2-2\bm{B}\cdot\bm{A}+|\bm{A}|^2
</tex>
となります。二項展開に非常に似ているので覚えるのもそれほど苦にはならないかと
思います。この公式の利用例を紹介しておきます。
証明は余弦定理を用いて行います。簡単なので余力があれば実行してみましょう
どうしても $A$ から $B$ の距離を測りたいときに $|\bm{A}|$ と $|\bm{B}|$
、 $\theta$ しかわかっていないことがあります。 [*]_
.. image:: yassan-RestudyVector03-fig3.png
もし具体的に $\bm{A}$ と $\bm{B}$ がわかれば内積を計算するなどして上記の
３量は求まることを確認してみてください。このときに $A$ から $B$ の距離を上記の
３量で表す公式があります。方程式として変形したいので答えが求まったフリを
して $k(k\geq0)$ などと置いておきます。
<tex>
&|\overrightarrow{\rm AB}|=k \\
\Longleftrightarrow
&|\overrightarrow{\rm AB}|^2=k^2 (\because k\geq0)\\
\Longleftrightarrow
&|\overrightarrow{\rm OB}-\overrightarrow{\rm OA}|^2=k^2 \\
\Longleftrightarrow
&|\bm{b}-\bm{a}|^2=k^2 \\
\Longleftrightarrow
&|\bm{b}|^2-2\bm{b}\cdot\bm{a}+|\bm{a}|^2=k^2
</tex>
４行目から５行目の変形が該当する公式です。以上の左辺は計算できるので左辺の値の
平方根をとれば具体的に値が求まります。
.. [*]
中学校で習う三角形の三つの合同条件を覚えているでしょうか？その中の二辺夾角相等(二辺と
その間の角がそれぞれ等しい)がまさにこの内容です。つまり、 $|\bm{a}|$ と $|\bm{b}|$ とその間
の角を定めれば三角形は一意に定まるということです。確かに二本のペンの根っこをくっつけ
間の角度をグリグリ動かしてやれば間の角度1つにつき三角形が定まることは感覚的に納得できる
と思います。
４．直交条件
------------------
２つのベクトルが直交する条件ってどう表せるのか？というのがこのセクションの
テーマです。
２つのベクトルの関係を表す指数として内積がありました。
２つのベクトル $\bm{A},\bm{B}$ の内積はそれぞれ大きさ $|\bm{A}|,|\bm{B}|$ となす角 $\theta$ を用いて
<tex>
\bm{A} \cdot \bm{B}=|\bm{A}| \ |\bm{B}|\cos \theta
</tex>
と表せました。
｢２つのベクトルが直交する｣ということは｢２つのベクトルのなす角が $\theta=\pi/2$ 。」ということなので $\theta=\pi/2$ という条件をを入れてあげれば良いのではないでしょうか。
$|\bm{A}||\bm{B}|\cos{\theta}$ に上記の条件を代入すると $\bm{A}\cdot\bm{B}=0$ となるので、"直交する"と言う条件は
<tex>
\bm{A} \cdot \bm{B}=0
</tex>
という条件を考えればいい事になります。
代数的な側面においては内積を具体的に成分で書き下して
<tex>
\bm{A}\cdot\bm{B}=A_xB_x+A_yB_y+A_zB_z=0
</tex>
という条件で考えます。 [*]_
.. image:: yassan-RestudyVector03-fig4.png
蛇足：直交条件を外積で表すと…
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ベクトルの外積 $\bm{A}\times\bm{B}$ にも角度の部分があるので外積で作られるベクトルの大きさ $|\bm{A}||\bm{B}|\sin{\theta}$ に $\theta=\pi/2$ を
代入すると $|\bm{A}||\bm{B}|$ という結果が得られますが、
<tex>
&|\bm{a}\times\bm{b}|=|\bm{A}||\bm{B}| \\
\Longleftrightarrow
&
\sqrt{(a_yb_z-a_zb_y)^2+(a_zb_x-a_xb_z)^2+(a_xb_y-a_yb_z)^2}
=
\sqrt{a_x^2+a_y^2+a_z^2}\sqrt{b_x^2+b_y^2+b_z^2}
</tex>
となるだけで変数が左右にばらばらに散らばっちゃって使い物になりません。
因みにこれを両辺平方して $\sqrt{}$ を外すして整理すると
<tex>
a_x^2b_x^2+a_y^2b_y^2+a_z^2b_z^2=-2(a_yb_za_zb_y+a_zb_xa_xb_z+a_xb_ya_yb_x)
</tex>
となりますが、これを移項したものは内積の直交条件で導いた式を２乗すると得られます。
かなり計算した割には結局ほぼ同じ式を計算していたわけです。(まぁ数学的には同値になってもらわないと困るので当たり前っちゃあ当たり前ですが…)
内積を計算した方が 楽… ですね。
.. [*]
｢直角だから内積が０｣というのは純粋な数学的には誤りです。
空間に浮かぶ幾何学的なもの(矢印を含みます)を天下り的に認め、｢直角に交わる｣ということも｢なす角が９０度である｣という事実を前提無しに受け入れるならこの議論で構いませんが、数学的には不十分な議論です。
数学的には｢空間｣という言葉は抽象化されていて、日常用語の意味とは必ずしも一致しません。
数学的には｢ベクトル空間である｣→｢内積が定義できる(内積空間である)｣→｢角度という概念が導入できる｣という流れになります。
ここで議論している空間は基本的に３次元ユークリッド空間に限定していますから、日常用語における空間とほぼ同じです。
数学で扱うような一般の空間とは違うということと、議論の順番が多少前後していることに少し注意しておいてください。
５．付録：ベクトルの外積の直交性とその大きさの確認
--------------------------------------------------------------------------------
もう一度ベクトル２では外積ベクトルを天下り的に｢こうなります｣としてしまったので
直交性を確認したついでにその大きさが２ベクトルにより作られる平行四辺形になって
いるか確認してしまいましょう
外積で作られるベクトルはもとの２つベクトルに直交しているか？
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
<tex>
\bm{c}\stackrel{\mathrm{def}}{\equiv}\bm{a}\times\bm{b}
</tex>
とすると｢ もう一度ベクトル２_ ｣から $\bm{c}$ は $\bm{a}$ と $\bm{b}$ の各成分を
使って
<tex>
\bm{c}
=
\begin{pmatrix}
a_yb_z-a_zb_y \\
a_zb_x-a_xb_z \\
a_xb_y-a_yb_z
\end{pmatrix}
</tex>
と書けます。ここで、 $\bm{a}$ と $\bm{c}$ の内積をとります。
内積は各成分ごとの和を取ればよかったので
<tex>
\bm{a}\cdot\bm{c}
=
&a_x(a_yb_z-a_zb_y)+a_y(a_zb_x-a_xb_z)+a_z(a_xb_y-a_yb_z) \\
=
&a_xa_yb_z-a_xa_zb_y+a_ya_zb_x-a_ya_xb_z+a_za_xb_y-a_za_yb_z \\
=
&a_xa_yb_z-a_ya_xb_z-a_xa_zb_y+a_za_xb_y+a_ya_zb_x-a_za_yb_z \\
=
&0
</tex>
となりました。内積が $0$ なので直交することになります。
当然 $\bm{b}$ に対しても全く同様の計算を行うことにより、内積が $0$ になることを
確認できます。
実はここで、 $\bm{a}\times\bm{b}=-\bm{b}\times\bm{a}$ に注意すると
<tex>
-\bm{c}
=
\begin{pmatrix}
b_ya_z-b_za_y \\
b_za_x-b_xa_z \\
b_xa_y-b_ya_z
\end{pmatrix}
</tex>
となり、直交性を示したいだけならばその向き(≠方向)には興味がないはずなので $-$
がついて逆を向いていても問題はないはずですね!?つまり
<tex>
&\bm{b}\cdot(-\bm{c})=0 \\
\Longleftrightarrow
&\bm{b}\cdot\bm{c}=0
</tex>
ということです
そこで $\bm{b}$ と" $-\bm{c}$ "の内積を考えます。その成分にによ〜く注意して
みると $\bm{a}$ と $\bm{c}$ の内積のそれと対応が全く一致しています。
したがって全く同じ計算により内積が $0$ になることが言えるのでで直交している
ことがいえます. [*]_
.. [*]
｢何をまどろっこしいことを｣と思った方もいると思います。確かにこんな簡単な計算なら
代入して計算をしたほうが早いのですが、数学の定理を証明する際に計算が多量になる
ことが目に見えたりしている場合別の定理を利用したりこのようにトリッキーに証明
したりします。正直なところ、人に聞くと｢ズルイ｣と思いますが、自分で思いつくと
数学者の仲間入りをした気になってしまいます。(あくまでも思い違いですが…)
外積で作られるベクトルの大きさははもとの２つのベクトルが張る平行四辺形の面積に等しいか？
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
｢ もう一度ベクトル２_ ｣では $\bm{a}\times\bm{b}$ の
大きさは $|\bm{a}||\bm{b}|\sin{\theta}$ と定義しました。これを確認するために二通り
に表してその値が一致することを見てみましょう。
このベクトルの大きさの中で $\sin{\theta}$ という量に注目します。
三角関数には $\sin^2{\theta}+\cos^2{\theta}=1$ という恒等式があったのでそれを利用
して $|\bm{a}||\bm{b}|\sin{\theta}$ を書き換えると
<tex>
&|\bm{a}||\bm{b}|\sin{\theta} \\
=
&|\bm{a}||\bm{b}|\sqrt{1-\cos^2{\theta}}
\ \ (\because \sin^2{\theta}+\cos^2{\theta}=1, 0<\theta<\pi )
</tex>
ここで内積の図形的な定義である $\bm{a}\cdot\bm{b}=|\bm{a}||\bm{b}|\cos{\theta}$
を $\cos{\theta}$ についてといて代入すると
<tex>
&|\bm{a}||\bm{b}|\sqrt{1-\cos^2{\theta}} \\
=
&|\bm{a}||\bm{b}|\sqrt{1-(\frac{\bm{a}\cdot\bm{b}}{|\bm{a}||\bm{b}|})^2} \\
=
&|\bm{a}||\bm{b}|\sqrt{\frac{|\bm{a}|^2|\bm{b}|^2-(\bm{a}\cdot\bm{b})^2}{|\bm{a}|^2|\bm{b}|^2}} \\
=
&\sqrt{|\bm{a}||\bm{b}|^2\frac{|\bm{a}|^2|\bm{b}|^2-(\bm{a}\cdot\bm{b})^2}{|\bm{a}|^2|\bm{b}|^2}} \\
=
&\sqrt{|\bm{a}|^2|\bm{b}|^2-(\bm{a}\cdot\bm{b})^2}
</tex>
とかなりコンパクトになったのでここに具体的な成分を代入していきます。 [*]_
まず $\sqrt{}$ の中身をばらすと
<tex>
&|\bm{a}|^2|\bm{b}|^2-(\bm{a}\cdot\bm{b})^2 \\
=
&(a_x^2+a_y^2+a_z^2)(b_x^2+b_y^2+b_z^2)-(a_xb_x+a_yb_y+a_zb_z)^2 \\
=
&a_x^2b_y^2+a_x^2b_z^2+a_y^2b_x^2+a_y^2b_z^2+a_z^2b_x^2+a_z^2b_y^2-2(a_xa_yb_xb_y+a_ya_zb_yb_z+a_za_xb_zb_x) \\
=
&(a_x^2b_y^2-2a_xa_yb_xb_y+a_y^2b_x^2)+(a_x^2b_z^2-2a_za_xb_zb_x+a_z^2b_x^2)+(a_y^2b_z^2-2a_ya_zb_yb_z+a_z^2b_y^2) \\
=
&(a_xb_y-a_yb_x)^2+(a_xb_z-a_zb_x)^2+(a_yb_z-a_zb_y)^2 \\
=
&(a_yb_z-a_zb_y)^2+(a_zb_x-a_xb_z)^2+(a_xb_y-a_yb_x)^2
</tex>
となりました。一方 $\bm{a}\times\bm{b}$ のほうは
<tex>
\bm{a}\times\bm{b}
=
\begin{pmatrix}
a_yb_z-a_zb_y \\
a_zb_x-a_xb_z \\
a_xb_y-a_yb_z
\end{pmatrix}
</tex>
と表せるのでその大きさは
<tex>
|\bm{a}\times\bm{b}|
=
\sqrt{(a_yb_z-a_zb_y)^2+(a_zb_x-a_xb_z)^2+(a_xb_y-a_yb_z)^2}
</tex>
と成分を用いてかけるはずですがこれは先ほどの計算の $\sqrt{}$ の中身と一致
しています。つまりベクトルの大きさは $|\bm{a}||\bm{b}|\sin{\theta}$ と
等しいことがわかりました。
.. [*]
この値を $2$ で割ったものは二つのベクトルで作られる三角形の面積になっている
事から受験生などは覚えておくと便利です。正四面体の体積への応用なんかも楽チン
かもしれません
６．まとめ
-----------
以上で求めたベクトルの式を眺めてみるとほとんどのものが、幾何学的な条件を反映させた式を少し変形したものばかりです。でも、そのベクトルをひとたび、 $x,y,z$ を用いて表せば、デカルト座標系の条件式が手に入るわけです。純粋な数学の証明でも、初等幾何学の定理だけで攻めるか、座標を設定して攻めるかという選択肢に｢ベクトルで攻める｣という選択肢が１つ加わったわけです。
物理的には、重心の位置ベクトルが内分点を表すベクトルで表現できたり、内積が０という条件から、変位ベクトルと力のベクトルが直交しているのでその力の成す仕事は０などと考えることができるわけです。
以下に、このセクションの公式とその使い方・特徴を簡単にまとめておきます
- 点 $A(\bm{a})$ から点 $B(\bm{b})$ へ向かうベクトル $\overrightarrow{\rm AB}$
<tex>
\overrightarrow{\rm AB}=\overrightarrow{\rm OB}-\overrightarrow{\rm OA}
=
\bm{b}-\bm{a}
</tex>
非常に基本的な公式です。和や差と同じくらい頻繁に出てきます。
- 点 $A(\bm{a})$ と点 $B(\bm{b})$ を $m:n$ に内分するベクトル
<tex>
\bm{r}
=
&\frac{n}{m+n}\bm{a}+\frac{m}{m+n}\bm{b} \\
\stackrel{\mathrm{or}}{=}
&\ \frac{n\bm{a}+m\bm{b}}{m+n}\bm{a}
</tex>
高校なんかの定期テストや、私大入試の小問なんかでよくでます。
｢与えられた式を変形して適当な置換を行うとこの形になるから点の存在条件がわかる｣という出題もあり。物体の重心の位置の座標も内分点で表せます。
- 絶対値の公式
<tex>
|\overrightarrow{\rm AB}|^2=|\bm{B}-\bm{A}|^2
=|\bm{B}|^2-2\bm{B}\cdot\bm{A}+|\bm{A}|^2
</tex>
２つのベクトルの相互関係を求めたり、内積を積極的にとることにより、三角形の形状決定等が出来る。
- 2つのベクトルの直交条件
<tex>
\bm{A}\cdot\bm{B}=A_xB_x+A_yB_y+A_zB_z=0
</tex>
文字通り直交条件に用いることが大半。右辺が $"0"$ というかなり特殊な値になるため、計算はあまり煩雑にはならない。力と変位が直交しているという条件や、平面の法線を定量的に求めるときにも出てきます。
.. _もう一度ベクトル２: http://www12.plala.or.jp/ksp/mathInPhys/restudyVector2/index.html
@@author: やっさん@@
@@accept: 2005-09-28@@
@@category: ベクトル解析@@
@@information: イラスト:崎間@@
@@id: restudyVector3@@
記事ソース/もう一度ベクトル3（幾何と代数の通訳） のバックアップ差分(No.1)
