查看“︁三重积”︁的源代码

'''三重积'''，又稱'''混合積'''，是三个[[向量]]相乘的結果。[[向量空間]]中，有两种方法将三个向量相乘，得到三重积，分別稱作'''标量三重积'''和'''向量三重积'''。

==标量三重积==

===定義===
标量三重积是三个向量中的一个和另两个向量的[[叉积]]相乘得到[[点积]]，其结果是个[[赝标量]]。

設<math>\mathbf{a}</math>、<math>\mathbf{b}</math>、<math>\mathbf{c}</math>為三個向量，則标量三重积的定義為
::<math>\mathbf{a}\cdot(\mathbf{b}\times \mathbf{c})</math>。

===特性===

設 <math>\mathbf{a}=a_1\mathbf{i}+a_2\mathbf{j}+a_3\mathbf{k}</math>、<math>\mathbf{b}=b_1\mathbf{i}+b_2\mathbf{j}+b_3\mathbf{k}</math>、<math>\mathbf{c}=c_1\mathbf{i}+c_2\mathbf{j}+c_3\mathbf{k}</math>，則有
::<math>\mathbf{a}\cdot(\mathbf{b}\times \mathbf{c}) =  \begin{vmatrix}
a_1 & a_2 & a_3 \\
b_1 & b_2 & b_3 \\
c_1 & c_2 & c_3 \\
\end{vmatrix}</math>。

''證明''

:<math>\mathbf{a}\cdot(\mathbf{b}\times \mathbf{c})</math>
<math>\begin{align}
& =(a_1\mathbf{i}+a_2\mathbf{j}+a_3\mathbf{k})\cdot \begin{vmatrix}
\mathbf{i} & \mathbf{j} & \mathbf{k} \\
b_1 & b_2 & b_3 \\
c_1 & c_2 & c_3 \\
\end{vmatrix} \\
& =(a_1\mathbf{i}+a_2\mathbf{j}+a_3\mathbf{k})\cdot (\mathbf{i} \begin{vmatrix}
\ b_2 & b_3 \\
c_2 & c_3 \\
\end{vmatrix} - \mathbf{j} \begin{vmatrix}
\ b_1 & b_3 \\
c_1 & c_3 \\
\end{vmatrix} + \mathbf{k} \begin{vmatrix}
\ b_1 & b_2 \\
c_1 & c_2 \\
\end{vmatrix}) \\
& = a_1 \begin{vmatrix}
\ b_2 & b_3 \\
c_2 & c_3 \\
\end{vmatrix} - a_2 \begin{vmatrix}
\ b_1 & b_3 \\
c_1 & c_3 \\
\end{vmatrix} + a_3 \begin{vmatrix}
\ b_1 & b_2 \\
c_1 & c_2 \\
\end{vmatrix} \\
& = \begin{vmatrix}
a_1 & a_2 & a_3 \\
b_1 & b_2 & b_3 \\
c_1 & c_2 & c_3 \\
\end{vmatrix}
\end{align}</math>


利用[[行列式]]的特性，可知順序置換向量的位置不影響标量三重积的值：
::<math>
\mathbf{a}\cdot(\mathbf{b}\times \mathbf{c})=
\mathbf{b}\cdot(\mathbf{c}\times \mathbf{a})=
\mathbf{c}\cdot(\mathbf{a}\times \mathbf{b})
</math>


任意對換兩個向量的位置，标量三重积與原來相差一個負號：
::<math>
 \mathbf{a}\cdot(\mathbf{b}\times \mathbf{c}) =
-\mathbf{a}\cdot(\mathbf{c}\times \mathbf{b})
</math>
::<math>
 \mathbf{a}\cdot(\mathbf{b}\times \mathbf{c}) =
-\mathbf{b}\cdot(\mathbf{a}\times \mathbf{c})
</math>
::<math>
 \mathbf{a}\cdot(\mathbf{b}\times \mathbf{c}) =
-\mathbf{c}\cdot(\mathbf{b}\times \mathbf{a})
</math>


若任意兩個向量相等，則标量三重积等於零：
::<math>
\mathbf{a} \cdot (\mathbf{a} \times \mathbf{b}) =
\mathbf{a} \cdot (\mathbf{b} \times \mathbf{a}) = 
\mathbf{b} \cdot (\mathbf{a} \times \mathbf{a}) = 
\mathbf{b} \cdot \mathbf{0} = 0
</math>

===其他記號===
有時候，純量三重積會以括號表示：
::<math>
[\mathbf{a}\ \mathbf{b} \ \mathbf{c}] =
\mathbf{a}\cdot(\mathbf{b}\times \mathbf{c})=
(\mathbf{a}\times \mathbf{b})\cdot \mathbf{c}
</math>


===幾何意義===
几何上，由三个向量定義的[[平行六面体]]，其[[体积]]等於三個标量标量三重积的[[絕對值]]：
::<math>V = |\mathbf{a}\cdot(\mathbf{b}\times \mathbf{c})|= \left|  \begin{vmatrix}
        a_1 & a_2 & a_3 \\
        b_1 & b_2 & b_3 \\
        c_1 & c_2 & c_3
 \end{vmatrix} \right| </math>

''證明''
[[File:Parallelepiped volume.svg|right|thumb|240px|用向量来定义平行六面体。]]
以 <math>\mathbf{b}</math> 和 <math>\mathbf{c}</math> 来表示底面的边，则根据[[叉积]]的定义，底面的面积 <math>A</math> 为
:<math>A= |\mathbf{b}| |\mathbf{c}| \sin \theta = |\mathbf{b} \times \mathbf{c}|</math> ，
其中 <math>\theta</math> 是 <math>\mathbf{b}</math> 与 <math>\mathbf{c}</math> 之间的角，而高 <math>h</math> 为
:<math>h=|\mathbf{a}| \cos \alpha </math>，
其中 <math>\alpha</math> 是 <math>\mathbf{a}</math> 与 <math>h</math> 之间的角。

从图中我们可以看到， <math>\alpha</math> 的大小限定为 <math>0^\circ \le \alpha < 90^\circ</math> 。而向量 <math>\mathbf{b} \times \mathbf{c}</math> 与 <math>\mathbf{a}</math> 之间的角 <math>\phi</math> 则有可能大于90°（<math>0^\circ \le \phi < 180^\circ</math>）。也就是说，由于 <math>\mathbf{b} \times \mathbf{c}</math> 与 <math>h</math> 平行，  <math>\phi</math>  的值要么等于 <math>\alpha</math> ，要么等于 <math>180^\circ - \alpha</math> 。因此
:<math> \cos \alpha = \pm \cos \phi = |\cos \phi |</math>，
且
:<math>h=|\mathbf{a}| |\cos \phi|</math>。
我们得出结论： 
:<math>V = Ah = |\mathbf{a}| |\mathbf{b} \times \mathbf{c}| |\cos \phi|</math> ，
于是，根据[[點积]]的定义，它等于 <math>\mathbf{a} \cdot (\mathbf{b} \times \mathbf{c})</math> 的绝对值，即
:<math>V = |\mathbf{a} \cdot (\mathbf{b} \times \mathbf{c})| </math>。
证毕。

==向量三重积==
向量三重积是三个向量中的一个和另两个向量的叉积相乘得到的叉积，其结果是个向量。

===定義===
對於三個向量<math>\mathbf{a}</math>、<math>\mathbf{b}</math>、<math>\mathbf{c}</math>，向量三重积的定義為
::<math>\mathbf{a}\times (\mathbf{b}\times \mathbf{c})</math>。

值得注意的是，一般來說，
::<math>\mathbf{a}\times (\mathbf{b}\times \mathbf{c}) \ne (\mathbf{a}\times \mathbf{b}) \times \mathbf{c}</math>。

===特性===
以下恆等式，稱作'''三重積展開'''或'''拉格朗日公式'''，對於任意向量<math>\mathbf{a}</math>、<math>\mathbf{b}</math>、<math>\mathbf{c}</math>均成立：

::<math>\mathbf{a}\times (\mathbf{b}\times \mathbf{c}) = \mathbf{b}(\mathbf{a}\cdot\mathbf{c}) - \mathbf{c}(\mathbf{a}\cdot\mathbf{b})</math>
::<math>\begin{align}
(\mathbf{a}\times \mathbf{b})\times \mathbf{c} & = -\mathbf{c}\times(\mathbf{a}\times \mathbf{b}) \\
& = -\mathbf{a}(\mathbf{c}\cdot\mathbf{b}) + \mathbf{b}(\mathbf{c}\cdot\mathbf{a})
\end{align}</math>

英文中有對於第一式有助記口訣BAC-CAB (BACK-CAB，後面的出租車)<ref>{{cite book|author=[[鄭鈞 (物理學家)|David K. Cheng]]|title=''Field and Wave Electromagnetics''|year=2014|publisher=|isbn=9781292026565|pages=第18頁}}</ref>，但是不容易記住第一式跟第二式的變化，很容易搞混。
觀察兩個公式，可得到以下三點：

* 兩個分項都帶有三個向量 （<math>\mathbf{a}, \mathbf{b}, \mathbf{c}</math>）
* 三重積一定是先做[[叉积]]的兩向量之線性組合
* 中間的向量所帶的係數一定為正（此處為向量<math>\mathbf{b}</math>）

===證明===

我們可以由叉積的定義計算<math>\mathbf{u} \times (\mathbf{v}\times \mathbf{w})</math>的<math>x</math>分量：

:<math>\begin{align}
  (\mathbf{u} \times (\mathbf{v} \times \mathbf{w}))_x
    &= \mathbf{u}_y(\mathbf{v}_x\mathbf{w}_y - \mathbf{v}_y\mathbf{w}_x) - \mathbf{u}_z(\mathbf{v}_z\mathbf{w}_x - \mathbf{v}_x\mathbf{w}_z) \\
    &= \mathbf{v}_x(\mathbf{u}_y\mathbf{w}_y + \mathbf{u}_z\mathbf{w}_z) - \mathbf{w}_x(\mathbf{u}_y\mathbf{v}_y + \mathbf{u}_z\mathbf{v}_z) \\
    &= \mathbf{v}_x(\mathbf{u}_x\mathbf{w}_x + \mathbf{u}_y\mathbf{w}_y + \mathbf{u}_z\mathbf{w}_z) - \mathbf{w}_x(\mathbf{u}_x\mathbf{v}_x + \mathbf{u}_y\mathbf{v}_y + \mathbf{u}_z\mathbf{v}_z) \\
    &= (\mathbf{u}\cdot\mathbf{w})\mathbf{v}_x - (\mathbf{u}\cdot\mathbf{v})\mathbf{w}_x
\end{align}</math>

類推至<math>y</math>和<math>z</math>分量，可得：

:<math>\begin{align}
  (\mathbf{u} \times (\mathbf{v} \times \mathbf{w}))_y &= (\mathbf{u}\cdot\mathbf{w})\mathbf{v}_y - (\mathbf{u}\cdot\mathbf{v})\mathbf{w}_y \\
  (\mathbf{u} \times (\mathbf{v} \times \mathbf{w}))_z &= (\mathbf{u}\cdot\mathbf{w})\mathbf{v}_z - (\mathbf{u}\cdot\mathbf{v})\mathbf{w}_z
\end{align}</math>

所以
:<math>\mathbf{a}\times (\mathbf{b}\times \mathbf{c}) = \mathbf{b}(\mathbf{a}\cdot\mathbf{c}) - \mathbf{c}(\mathbf{a}\cdot\mathbf{b})</math>。


利用上述恆等式，可得以下結果：

::<math>\mathbf{a}\times (\mathbf{b}\times \mathbf{c}) \; + \mathbf{b}\times (\mathbf{c}\times \mathbf{a}) \; + \mathbf{c}\times (\mathbf{a}\times \mathbf{b}) = 0</math> （[[雅可比恆等式]]）
::<math>(\mathbf{a}\times \mathbf{b}) \times \mathbf{c} =  \mathbf{a}\times (\mathbf{b}\times \mathbf{c}) \; - \mathbf{b}\times (\mathbf{a}\times \mathbf{c}) </math>


在[[向量分析]]中，有以下与[[梯度]]相关的一條恆等式：
:<math>  \nabla \times (\nabla \times \mathbf{f}) = \nabla      (\nabla \cdot  \mathbf{f} ) - (\nabla \cdot \nabla) \mathbf{f} 
</math>
这是一个[[拉普拉斯－德拉姆算子]]<math>\Delta= \mathrm{d}\delta+\delta\mathrm{d}</math>的特殊情形。

==參見==
* [[向量]]
* [[點積]]
* [[叉積]]
* [[四重積]] {{link-en|quadruple product|Vector_algebra_relations#Quadruple_product}}

==參考文獻==
<references />

[[Category:向量|S]]
[[Category:向量分析|S]]
[[Category:三元運算]]