外積

数学の線形代数に於ける外積とはベクトルに対して行う掛け算の一種である。演算記号×の形状からクロス積とも呼ばれている。(※ベクトル積とゆー別名もあるんだが最近あんまり見かけない。)

概要

三次元ユークリッド空間内に三次元ベクトル

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \boldsymbol{A}=(A_x,A_y,A_z) , \boldsymbol{B}=(B_x,B_y,B_z)}

が存在していたとする。 ここで三角形の面積公式

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle S=\frac{1}{2}bc\sin{A}=\frac{1}{2}ac\sin{B}=\frac{1}{2}ab\sin{C}}

より上記ベクトルが張る平行四辺形の面積は

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle S^{*}=|\boldsymbol{A}|| \boldsymbol{B}|\sin{\theta}}

で与えられる。 ベクトルに絶対値記号が付いてるやつはそのベクトルの大きさ(ノルム)であり、θは上記ベクトル達が成す角を指す。この平行四辺形の面積を計算してゆくと

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{align} S^{*} &=|\boldsymbol{A}|| \boldsymbol{B}|\sqrt{1-\cos^2 {\theta}} \\&=\sqrt{|\boldsymbol{A}|^2 | \boldsymbol{B}|^2 (1-\cos^2 {\theta})} \\&=\sqrt{|\boldsymbol{A}|^2 | \boldsymbol{B}|^2 -(|\boldsymbol{A}|| \boldsymbol{B}|\cos{\theta})^2} \\&= \sqrt{|\boldsymbol{A}|^2 | \boldsymbol{B}|^2 -(\boldsymbol{A} \cdot \boldsymbol{B})^2} \end{align}}

となる(※根号の中の2番目の項はベクトルの内積の2乗である)。このルートの中身を計算するのは結構大変なんだが結果だけ示すと 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \sqrt{(A_y B_z - A_z B_y)^2+(A_z B_x - A_x B_z)^2+(A_x B_y - A_y B_x)^2}} である。さて、ここで

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{cases} C_x=A_y B_z - A_z B_y \\ C_y=A_z B_x - A_x B_z \\ C_z=A_x B_y - A_y B_x \end{cases}}

を成分とするようなベクトル構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \boldsymbol{C}=(C_x,C_y,C_z)} を考えるとこれのノルム構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle |\boldsymbol{C}|} が上述の平行四辺形の面積を表わしてる事が分かる。

このようなベクトル構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \boldsymbol{C}} を外積と呼び構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \boldsymbol{A} \times \boldsymbol{B}} とゆー記号で表わす。

従って上述の平行四辺形の面積は外積を用いれば

• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle S^{*}=|\boldsymbol{A} \times \boldsymbol{B}|=|\boldsymbol{A}|| \boldsymbol{B}|\sin{\theta}}

と表わされる事になる。

利用

ベクトル解析で回転とゆー数式(物理量)が出てくるんだけどこれはクロス積を用いて

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \operatorname{rot}\boldsymbol{\phi}= \nabla \times \boldsymbol{\phi} }

で表わされる。

ここで構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \boldsymbol{\phi}} は適当なベクトル、逆三角形は「ナブラ(nabla)」ってゆー記号で、偏微分記号を使って

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \nabla =\left(\frac{\partial}{\partial x}, \frac{\partial}{\partial y}, \frac{\partial}{\partial z}\right)}

で定義されるベクトル演算子である。

ちなみにエンペディアで回転リンクを押しちゃうと面白いページに飛んでしまうんで数学ガチ勢なニキ＆ネキは回転(数学)を編集 or 閲覧される事をお薦めしますw

性質

成分の形から分かるように外積には

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \boldsymbol{B} \times \boldsymbol{A} =-\boldsymbol{A} \times \boldsymbol{B} }

とゆー性質がある。即ち内積と異なり交換法則が成り立たない。またこの関係から

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \boldsymbol{A} \times \boldsymbol{A}=\boldsymbol{0} }

が言える。(※右辺は零ベクトル)

また構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \boldsymbol{A} \cdot (\boldsymbol{A} \times \boldsymbol{B})=0} や構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \boldsymbol{B} \cdot (\boldsymbol{A} \times \boldsymbol{B})=0} が成り立つので外積構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \boldsymbol{A} \times \boldsymbol{B} } は構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \boldsymbol{A}} とも構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \boldsymbol{B}} とも直交してる事が分かる。

この直交することは、平行六面体の体積計算、力学の角運動量、力のモーメントや電磁気学の法則(フレミングの法則、ローレンツ力、電磁波の伝搬)などで便利である。

外積の向きは言葉では表現しにくく、また座標系の取り方(右手or左手系)にも依るので詳しいことは割愛する。

平行六面体の体積計算では(符号付体積を考えない限り)直行すればよく、最終的に絶対値を取るのだから直行する2方向のうちどちらでも良い。

しかし、電磁気学の分野では向きをきちんと定義しなければ力や伝搬の方向が逆になってしまうので、向きは重要である。

ベクトル三重積

ここではクロス積にまつわる公式を御紹介します☆

以下の如き公式をベクトル三重積と呼ぶ。；

• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \boldsymbol{A} \times \boldsymbol{B} \times \boldsymbol{C}= \boldsymbol{B}(\boldsymbol{C} \cdot \boldsymbol{A})-\boldsymbol{C}(\boldsymbol{A} \cdot \boldsymbol{B})}

証明

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \boldsymbol{D}=\boldsymbol{A} \times \boldsymbol{B} \times \boldsymbol{C} } とおいてこれの左辺のz成分構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle ( \boldsymbol{D})_z} のみ示す事にする。

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{align} ( \boldsymbol{D})_z &=A_x(B_z C_x-B_x C_z)-A_y(B_y C_z-B_z C_y) \\&=A_x B_z C_x - A_x B_x C_z - A_y B_y C_z +A_y B_z C_y \\&= A_x B_z C_x+ A_y B_z C_y+ A_z B_z C_z -C_z (A_x B_x +A_y B_y +A_z B_z) \\&=(A_x C_x +A_y C_y +A_z C_z)B_z -C_z (A_x B_x +A_y B_y +A_z B_z) \\&=(\boldsymbol{A} \cdot \boldsymbol{C} )B_z -C_z (\boldsymbol{A} \cdot \boldsymbol{B}) \end{align}} ふぅ…大変な計算だったけどこれと同じよーな式がx成分、y成分でも言えるんで上述の公式が成り立つ事が分かる。(第1項の掛け算や内積の順序がちょっと違うけど気にしない！)(証明終)

※計算の途中で構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle A_z B_z C_z} を足して引くとゆー変形を行った。 尚、x成分y成分に関しても同様に証明できるんで忍耐力に自信のある皆様は是非お試し下さいませ♡

ちなみにこのベクトル三重積の公式に

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \boldsymbol{A} =\boldsymbol{B}=\nabla , \boldsymbol{C}= \boldsymbol{\psi} }

代入すると

• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \nabla \times \nabla \times \boldsymbol{\psi}=\nabla (\nabla \cdot \boldsymbol{\psi})-\nabla^2 \boldsymbol{\psi} }

が得られる。上記等式は物理の電磁気学に於いてマクスウェル方程式から電磁波の波動方程式などを導くのに必要な重要公式である。

(※実は∇代入したとき内積の順序をこっそり交換したんだけどこいつは所謂「記号の濫用」って奴であって 実際は構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \nabla \cdot \boldsymbol{\psi} \neq \boldsymbol{\psi} \cdot \nabla} なんで要注意‼︎) ちなみに上述のベクトル解析の公式はナブラ記号を使わずに書くと以下のようになる。；

• 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \operatorname{rot} \operatorname{rot} \boldsymbol{\psi}=\operatorname{grad}(\operatorname{div} \boldsymbol{\psi})-\Delta \boldsymbol{\psi}}

上記ベクトル作用素(grad、div、Δ)の意味や詳細についてはベクトル解析のページか専門書を御覧下さいまし☆

スカラー三重積

以下の如き公式をスカラー三重積と呼ぶ。

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathbf{A} \cdot (\mathbf{B} \times \mathbf{C}) =\mathbf{B} \cdot (\mathbf{C} \times \mathbf{A}) =\mathbf{C} \cdot (\mathbf{A} \times \mathbf{B}) }

スカラー三重積は、平行六面体の体積計算もできる。 底面となる平行四辺形の面積計算がカッコ内の外積に相当し、高さ成分が内積に相当する。 このことは、外積の方向(もとのベクトルの両方に対して垂直な向き)による。

例えば、原点の頂点とする平行六面体について、原点に隣接する3頂点の位置ベクトルを構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathbf{A},\mathbf{B},\mathbf{C}} とすると、その体積Vはスカラー三重積の絶対値になる。

構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle V= |\mathbf{A} \cdot (\mathbf{B} \times \mathbf{C})| =|\mathbf{B} \cdot (\mathbf{C} \times \mathbf{A})| =|\mathbf{C} \cdot (\mathbf{A} \times \mathbf{B})| }

位置ベクトルが零ベクトルになる場合や3つのベクトルが同一平面内にある場合はスカラー三重積は0になる。 これは、平行六面体が潰れて体積が0になることと対応する。 また、絶対値を取らなければ符号付面積になる。これは、外積の向きに由来する符号である。 通常体積計算においては外積の向きは2方向どちらでも良いが、一方に決める必要があるためのものである。