- 追加された行はこの色です。
- 削除された行はこの色です。
#rst2hooktail_source
==================================================
面積ベクトル
==================================================
ある面積を持つ平面があるとき、この平面に垂直な方向（法線方向）に、長さがその面積に等しいベクトルを考え、これを *面積ベクトル* と呼びます。
.. image:: Joh-AreaVector01.gif
例えば、一定圧力の流体中に沈めた板は『板と垂直な方向に、(面積) $\times$ (圧力)の力』を受けますから、このような力を表現する際に面積ベクトルを使えば便利そうだということが分かるでしょう。
一般に曲面は平らではありませんが、曲面上の点とその点で定義される法線ベクトルを考え、その点を中心とする微小な面積を考えることで面積ベクトルの微分形を考えることもできます。（ただし、曲面は至るところ十分に滑らかだとします。）
.. image:: Joh-AreaVector02.gif
この考え方は、微小な面積はほぼ平らだと見られる、という微分法のアイデアに基づくものです。解析学的に細かいことは証明しませんが、曲面が連続で滑らかならば、このような見方は妥当なものです。
面積ベクトルの和
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
面積ベクトルの重要な性質として、『閉曲面に関して面積ベクトルの総和を取ると零になる』というものがあります。この性質を理解するために、まず平面上の閉曲線 $C$ を考えます。曲線を $n$ 個の弧に分割し、各分割点の位置ベクトルを $\bm{r_{i}}$ とします。そして、 $\Delta \bm{r_{i}}=\bm{r_{i}}-\bm{r_{i-1}}$ と置きます。（ただし、 $\bm{r_{0}}=\bm{r_{n}}$ とします。）
.. image:: Joh-AreaVector03.gif
当然のことながら、一周していますので、ベクトル $\Delta \bm{r_{i}}$ の総和は零になります。
<tex>
\Delta \bm{r_{1}} + \Delta \bm{r_{2}} + .... + \Delta \bm{r_{n}} = \bm{0} \tag{1}
</tex>
各 $\bm{r_{i}}$ を時計回りに回転させることを考えましょう。ベクトルは行列 $A= \left( \begin{array}{cc} 0 & 1 \\ -1 & 0 \\ \end{array} \right)$ を左から掛けることで、時計回りに $90^{o}$ 回転することが出来ます。
<tex>
A(\Delta \bm{r_{1}} + \Delta \bm{r_{2}} + .... + \Delta \bm{r_{n}})
& = A\Delta \bm{r_{1}} + A\Delta \bm{r_{2}} + .... +A \Delta \bm{r_{n}} \\
& = \bm{0} \tag{2}
</tex>
.. image:: Joh-AreaVector04.gif
各 $A\Delta \bm{r_{i}}$ の大きさは、ほぼ $\bm{r_{i}}$ と $\bm{r_{i-1}}$ の間の曲線の長さ、 $\Delta \bm{r_{i}}$ の向きは、ほぼ曲線の法線方向ですから、式 $(1)$ は、『面積ベクトルの和が零になる』ということを"ほぼ"表わしていると言えるでしょう。曲線の分割が有限な限り、各 $A\Delta \bm{r_{i}}$ の長さや向きは少しいい加減なわけですが、 $n \rightarrow \infty$ という極限を取れば、各 $\Delta \bm{r_{i}} $ は『曲線の接線方向を向き、長さは曲線の微小要素 $ds$ に等しいベクトル』となります。表現は積分形になります。 $Ad\bm{r}=\bm{l}$ と表わすことにして、次の等式がなりたちます。
<tex>
\ointop \limits _{C} d\bm{l} = \bm{0} \tag{3}
</tex>
同様に、閉曲面で、全領域 $D$ に渡って面積ベクトル $d\bm{S}$ を積分すれば $\bm{0}$ になります。
<tex>
\int \int \limits _{D} d\bm{S} = \bm{0} \tag{4}
</tex>
.. admonition:: theorem
閉曲面の面積ベクトルの総和は $0$ になります。
この結果は、実は次のような状況をイメージできれば、感覚としては当然の結果だと言えます。空気中に何か物を置くと、その物体は四方八方から空気圧を受けます。例えば、机の上にボールを置いた様子を想像してください。これぐらい物体が小さければ、空気圧は一定とみなせるので、これを $p$ とします。ボール表面の微小面積が受ける力 $d\bm{F}$ は、面積ベクトル $d\bm{S}$ を用いて $d\bm{F}=pd\bm{S}$ と表現できるでしょう。これを、ボールの表面積全体に渡って積分します。
<tex>
\int \int \limits _{ball \ surface} p d\bm{S} = p \int \int \limits _{ball \ surface} d\bm{S}
</tex>
この右辺は $\bm{0}$ になるはずです。なぜかと言えば、もし右辺が $\bm{0}$ でなければ、ボールはどちらかから力を受け、独りでに転がり始めてしまうはずだからです。『ボールが勝手に動き出すはずない』という物理的経験則を、数学の証明にするのはかなり乱暴ですが、面積ベクトルの和が零になることの説明として、心の中でこんな物理的意味を考えておくと定理を忘れないと思います。
ささやかな応用
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
次のような高さ $1$ 、底面が直角三角形の三角柱を考えます。
.. image :: Joh-AreaVector06.gif
この三角柱について、面積ベクトルの総和を取ります。
<tex>
\bm{A} + \bm{B} + \bm{C} + \bm{S_{1}} + \bm{S_{2}} = \bm{0}
</tex>
ここで、明らかに $\bm{S_{1}}=-\bm{S_{2}}$ なので、 $\bm{S_{1}} + \bm{S_{2}} = \bm{0}$ が成り立ちます。残りの項だけを考えます。
<tex>
\bm{A} + \bm{B} + \bm{C} = \bm{0}
</tex>
右辺に $\bm{C}$ だけ移項し、両辺二乗します。
<tex>
|\bm{C}|^{2} &= (\bm{A} + \bm{B})^{2} \\
& = |\bm{A}|^{2} + |\bm{B}|^{2} + 2(\bm{A} \cdot \bm{B})\cos \theta
</tex>
ここで $\theta$ は $\bm{A}$ と $\bm{B}$ がなす角ですが、 $\theta = 90^{o}$ なので $\cos \theta = 0$ です。よって次式がなりたちます。
<tex>
|\bm{C}|^{2} = |\bm{A}|^{2} + |\bm{B}|^{2}
</tex>
ピタゴラスの定理は確かに成り立っています。
.. [*] 実は、ベクトルの内積を使っている辺りで、この空間ではピタゴラスの定理に従う計量を使うことが暗黙の前提になっているため、この結果はピタゴラスの定理の「証明」にはなっていません。しかし、面積ベクトルの理解を深めるには、なんだか面白い結果だと思うのですが、みなさんはどう思いますか？
練習問題
------------------------------------------------------------------
次図のような四面体を考えます。頂点 $D$ に集まる辺は、全て直角に交わっています。
.. image:: Joh-AreaVector07.gif
ここで $\triangle ABC$ の面積を $S_{0}$ 、 $\triangle ABD$ の面積を $S_{1}$ 、 $\triangle BCD$ の面積を $S_{2}$ 、 $\triangle ACD$ の面積を $S_{3}$ とするとき、各面積の間に次の関係式が成り立つことを示して下さい。（面積ベクトルの和が零になる関係から、全セクションの例と同様の計算で求められます。）
<tex>
S_{0}^{2} = S_{1}^{2} + S_{2}^{2} + S_{3}^{2}
</tex>
.. [*] この関係式は、著者が高校生のときに発見し、当時、嬉しくて四平方の定理と名づけた思い出のものです。著者以前にも絶対誰かが発見している関係式でしょうし、四平方の定理という名前の定理は既に他にあるらしいのですが、なんにせよ、自分で何か定理を導くのは嬉しいものです。この問題はピタゴラスの定理の三次元版になっていますが、そのまま四次元図形に拡張して $S_{0}^{2} = S_{1}^{2} + S_{2}^{2} + S_{3}^{2} + S_{4}^{2}$ のような公式を導くのは簡単です。この場合、各 $S_{i}$ は体積になります。
@@author:Joh@@
@@accept: @@
@@category: ベクトル解析@@
@@id: AreaVector@@
記事ソース/面積ベクトル のバックアップ差分(No.1)
