スカラー3重積

スカラー3重積

3次元直交空間ベクトルの単位ベクトル \( \boldsymbol{e}_{x} \) , \( \boldsymbol{e}_{y} \) , \( \boldsymbol{e}_{z} \) を \[\begin{aligned} \boldsymbol{e}_{x} &= \left( 1, 0, 0 \right) \\ \boldsymbol{e}_{y} &= \left( 0, 1, 0 \right) \\ \boldsymbol{e}_{z} &= \left( 0, 0, 1 \right) \end{aligned}\] と定義する. このような単位ベクトルを用いることで, 空間ベクトル \( \boldsymbol{A} \) , \( \boldsymbol{B} \) , \( \boldsymbol{C} \) は \[\begin{aligned} \boldsymbol{A} &= \left( A_{x}, A_{y}, A_{z} \right) = A_{x} \boldsymbol{e}_{x} + A_{y} \boldsymbol{e}_{y} + A_{z} \boldsymbol{e}_{z} \\ \boldsymbol{B} &= \left( B_{x}, B_{y}, B_{y} \right) = B_{x} \boldsymbol{e}_{x} + B_{y} \boldsymbol{e}_{y} + B_{z} \boldsymbol{e}_{z} \\ \boldsymbol{C} &= \left( C_{x}, C_{y}, C_{z} \right) = C_{x} \boldsymbol{e}_{x} + C_{y} \boldsymbol{e}_{y} + C_{z} \boldsymbol{e}_{z} \end{aligned}\] と表すことが出来る.

3次元空間のベクトルに対しては外積という演算を定義することができ, これは2つのベクトルからあらたなベクトルを定義する演算である. したがって, 空間ベクトルのには内積外積とを定義することができ, 内積演算を表す記号 \( \cdot \) (ドット)と区別して, 外積演算を表す記号を \( \times \) (クロス)とする.

空間ベクトルの単位ベクトルについては次のような関係が成立する. \[\begin{aligned} & \boldsymbol{e}_{x} \times \boldsymbol{e}_{x} = \boldsymbol{e}_{y} \times \boldsymbol{e}_{y} =\boldsymbol{e}_{z} \times \boldsymbol{e}_{z} = \boldsymbol{0} \\ & \boldsymbol{e}_{x} \times \boldsymbol{e}_{y} = – \boldsymbol{e}_{y} \times \boldsymbol{e}_{x} = \boldsymbol{e}_{z} \\ & \boldsymbol{e}_{y} \times \boldsymbol{e}_{z} = – \boldsymbol{e}_{z} \times \boldsymbol{e}_{y} = \boldsymbol{e}_{x} \\ & \boldsymbol{e}_{z} \times \boldsymbol{e}_{x} = – \boldsymbol{e}_{x} \times \boldsymbol{e}_{z} = \boldsymbol{e}_{y} \end{aligned}\]

上記の定義からわかるように, 外積演算は積の順序を勝手に入れ換えることは許されず, 積の順序を入れ替えると符号が反転する性質を持っている. ただし, ベクトル \( \boldsymbol{A} \) , \( \boldsymbol{B} \) , \( \boldsymbol{C} \) とスカラー \( k \) , \( l \) , \( m \) について次のような法則は成立する \[k\boldsymbol{A} \times \left( l\boldsymbol{B} + m\boldsymbol{C} \right) = kl\left(\boldsymbol{A} \times \boldsymbol{B}\right) + km\left( \boldsymbol{A}\times \boldsymbol{C} \right) \quad . \notag \] このとき, 次の問に答えよ.

ベクトル \( \boldsymbol{C} = \left( C_{x}, C_{y}, C_{z} \right) \) をベクトル \( \boldsymbol{A} = \left( A_{x}, A_{y}, A_{z} \right) \) とベクトル \( \boldsymbol{B} = \left( B_{x}, B_{y}, B_{z} \right) \) を用いて \[\boldsymbol{C} = \boldsymbol{A} \times \boldsymbol{B} \notag \] と定義した時, \( C_{x} \) , \( C_{y} \) , \( C_{z} \) をそれぞれ求めよ.

次の公式を証明せよ. \[\boldsymbol{A} \cdot \left( \boldsymbol{B} \times \boldsymbol{C} \right) = \boldsymbol{B} \cdot \left( \boldsymbol{C} \times \boldsymbol{A} \right) = \boldsymbol{C} \cdot \left( \boldsymbol{A} \times \boldsymbol{B} \right) \notag \]

スポンサーリンク

定義に従って計算する. \[\begin{aligned} & \boldsymbol{A} \times \boldsymbol{B} = \left( A_{x} \boldsymbol{e}_{x} + A_{y} \boldsymbol{e}_{y} + A_{z} \boldsymbol{e}_{z} \right) \times \left( B_{x} \boldsymbol{e}_{x} + B_{y} \boldsymbol{e}_{y} + B_{z} \boldsymbol{e}_{z} \right) \\ & \phantom{\boldsymbol{A} \times \boldsymbol{B}}= A_{x} \boldsymbol{e}_{x} \times \left( B_{x} \boldsymbol{e}_{x} + B_{y} \boldsymbol{e}_{y} + B_{z} \boldsymbol{e}_{z} \right) \\ & \phantom{\boldsymbol{A} \times \boldsymbol{B}} + A_{y} \boldsymbol{e}_{y} \times \left( B_{x} \boldsymbol{e}_{x} + B_{y} \boldsymbol{e}_{y} + B_{z} \boldsymbol{e}_{z} \right) \\ & \phantom{\boldsymbol{A} \times \boldsymbol{B}} + A_{z} \boldsymbol{e}_{z} \times \left( B_{x} \boldsymbol{e}_{x} + B_{y} \boldsymbol{e}_{y} + B_{z} \boldsymbol{e}_{z} \right) \\ & \phantom{\boldsymbol{A} \times \boldsymbol{B}}= A_{x} B_{x}\boldsymbol{e}_{x} \times \boldsymbol{e}_{x} + A_{x} B_{y} \boldsymbol{e}_{x} \times \boldsymbol{e}_{y} + A_{x} B_{z} \boldsymbol{e}_{x} \times \boldsymbol{e}_{z} \\ & \phantom{\boldsymbol{A} \times \boldsymbol{B}}+ A_{y} B_{x} \boldsymbol{e}_{y} \times \boldsymbol{e}_{x} + A_{y} B_{y} \boldsymbol{e}_{y} \times \boldsymbol{e}_{y} + A_{y} B_{z} \boldsymbol{e}_{y} \times \boldsymbol{e}_{z} \\ & \phantom{\boldsymbol{A} \times \boldsymbol{B}}+ A_{z} B_{x} \boldsymbol{e}_{z} \times \boldsymbol{e}_{x} + A_{z} B_{y} \boldsymbol{e}_{z} \times \boldsymbol{e}_{y} + A_{z} B_{z} \boldsymbol{e}_{z} \times \boldsymbol{e}_{z} \\ & \phantom{\boldsymbol{A} \times \boldsymbol{B}}= \boldsymbol{0} + A_{x} B_{y} \boldsymbol{e}_{z} – A_{x} B_{z} \boldsymbol{e}_{y} \\ & \phantom{\boldsymbol{A} \times \boldsymbol{B}}- A_{y} B_{x} \boldsymbol{e}_{z} + \boldsymbol{0} + A_{y} B_{z} \boldsymbol{e}_{x} \\ & \phantom{\boldsymbol{A} \times \boldsymbol{B}}+ A_{z} B_{x} \boldsymbol{e}_{y} – A_{z} B_{y} \boldsymbol{e}_{x} + \boldsymbol{0} \\ & \phantom{\boldsymbol{A} \times \boldsymbol{B}}= \left( A_{y} B_{z} – A_{z} B_{y} \right) \boldsymbol{e}_{x} \\ & \phantom{\boldsymbol{A} \times \boldsymbol{B}}+ \left( A_{z} B_{x} – A_{x} B_{z} \right) \boldsymbol{e}_{y} \\ & \phantom{\boldsymbol{A} \times \boldsymbol{B}}+ \left( A_{x} B_{y} – A_{y} B_{x} \right) \boldsymbol{e}_{z} \end{aligned}\] \[\therefore \ \left\{ \begin{aligned} C_{x} &= \left( A_{y} B_{z} – A_{z} B_{y} \right) \\ C_{y} &= \left( A_{z} B_{x} – A_{x} B_{z} \right) \\ C_{z} &= \left( A_{x} B_{y} – A_{y} B_{x} \right) \end{aligned} \right.\]

前問の結果を利用すると, \[\begin{aligned} & \boldsymbol{C} \cdot \left( \boldsymbol{A} \times \boldsymbol{B} \right) = \left( C_{x}, C_{y}, C_{z} \right) \cdot \left( A_{y} B_{z} – A_{z} B_{y} , A_{z} B_{x} – A_{x} B_{z}, A_{x} B_{y} – A_{y} B_{x} \right) \\ &=C_{x} \left( A_{y} B_{z} – A_{z} B_{y} \right) + C_{y} \left( A_{z} B_{x} – A_{x} B_{z} \right) + C_{z} \left( A_{x} B_{y} – A_{y} B_{x} \right) \\ &=A_{y} B_{z} C_{x} – A_{z} B_{y} C_{x} + A_{z} B_{x} C_{y} – A_{x} B_{z} C_{y} + A_{x} B_{y} C_{z} – A_{y} B_{x} C_{z} \end{aligned}\] である. 最右辺を \( \boldsymbol{A} \) の成分または \( \boldsymbol{B} \) の成分についてそれぞれ整理すると, \[\begin{aligned} & A_{y} B_{z} C_{x} – A_{z} B_{y} C_{x} + A_{z} B_{x} C_{y} – A_{x} B_{z} C_{y} + A_{x} B_{y} C_{z} – A_{y} B_{x} C_{z} \\ &=A_{x} \left( B_{y} C_{z} – B_{z} C_{y} \right) + A_{y} \left( B_{z} C_{x} – B_{x} C_{z} \right) + A_{z} \left( B_{x} C_{y} – B_{y} C_{x} \right) \\ &= \boldsymbol{A} \cdot \left( \boldsymbol{B} \times \boldsymbol{C} \right) \\ &=B_{x} \left( C_{y} A_{z} – C_{z} A_{y} \right) + B_{y} \left( C_{z} A_{x} – C_{x} A_{z} \right) + B_{z} \left( C_{x} A_{y} – C_{y} A_{x} \right) \\ &= \boldsymbol{B} \cdot \left( \boldsymbol{C} \times \boldsymbol{A} \right) \end{aligned}\] と整理できることから, \[\boldsymbol{A} \cdot \left( \boldsymbol{B} \times \boldsymbol{C} \right) = \boldsymbol{B} \cdot \left( \boldsymbol{C} \times \boldsymbol{A} \right) = \boldsymbol{C} \cdot \left( \boldsymbol{A} \times \boldsymbol{B} \right) \notag \] が成立する.

スポンサーリンク

この記事をシェアする

コメントを残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です