<?xml version="1.0" encoding="UTF-8"?>

<record version="10" id="899">
 <title>triple scalar product</title>
 <name>TripleScalarProduct</name>
 <created>2001-11-16 14:38:11</created>
 <modified>2007-11-18 20:41:37</modified>
 <type>Definition</type>
 <creator id="78" name="slider142"/>
 <author id="78" name="slider142"/>
 <classification>
	<category scheme="msc" code="11H46"/>
	<category scheme="msc" code="46M05"/>
	<category scheme="msc" code="47A05"/>
 </classification>
 <synonyms>
	<synonym concept="triple scalar product" alias="scalar triple product"/>
	<synonym concept="triple scalar product" alias="determinant in R^3"/>
 </synonyms>
 <related>
	<object name="DotProduct"/>
	<object name="CrossProduct"/>
 </related>
 <keywords>
	<term>scalar triple product</term>
	<term>volume of parallelepiped</term>
	<term>volume of rectangloid</term>
	<term>volume of brick</term>
 </keywords>
 <preamble>\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{graphicx}
\usepackage{xypic}</preamble>
 <content>\PMlinkescapeword{extension}
\PMlinkescapeword{onto}

The triple scalar product of three vectors is defined in $\mathbb{R}^3$ as
$$\det\left[\begin{array}{ccc}a_1&amp;b_1&amp;c_1\\a_2&amp;b_2&amp;c_2\\a_3&amp;b_3&amp;c_3\end{array}\right]=\vec{a}\cdot(\vec{b}\times\vec{c})\\=a_1\det\left[\begin{array}{cc}b_2 &amp; c_2\\ b_3 &amp; c_3\end{array}\right] - a_2\det\left[\begin{array}{cc}b_1 &amp; c_1\\ b_3 &amp; c_3\end{array}\right] + a_3\det\left[\begin{array}{cc}b_1 &amp; c_1\\ b_2 &amp; c_2\end{array}\right]$$
The determinant above is positive if the three vectors satisfy the right-hand rule and negative otherwise. Recall that the magnitude of the cross product of two vectors is equivalent to the area of the parallelogram they form, and the dot product is equivalent to the product of the projection of one vector onto another with the length of the vector projected upon. Putting these two ideas together, we can see that 
$$|\vec{a}\cdot(\vec{b}\times\vec{c})|=|\vec{b}\times\vec{c}||\vec{a}|\cos\theta=\text{base}\cdot\text{height}=\text{Volume of parallelepiped}$$
Thus, the magnitude of the triple scalar product is equivalent to the volume of the parallelepiped formed by the three vectors. It follows that the triple scalar product of three coplanar or collinear vectors is then 0. When we keep the sign of the volume, we preserve orientation.
\begin{center}
\includegraphics{TripleScalarProduct}\\
\PMlinktofile{View SVG}{TripleScalarProduct.svg}
\end{center}
Note that there is no rigid motion, barring reflection, that will allow you to move/rotate the left parallelepiped so that the respective vectors coincide. This is the sense of orientation that is used in differential geometry.

\textbf{Identities related to the triple scalar product:}\\

\begin{itemize}
\item $(\vec{A}\times\vec{B})\cdot\vec{C}=(\vec{B}\times\vec{C})\cdot\vec{A}=(\vec{C}\times\vec{A})\cdot\vec{B}$\\
\item $\vec{A}\cdot(\vec{B}\times\vec{C})=-\vec{A}\cdot(\vec{C}\times\vec{B})$\\
\end{itemize}
The latter is implied by the properties of the cross product.

\textbf{Generalization:}

Given a metrizable manifold $M$, the scalar n-product of an ordered list of n vectors $(\vec{v_1}, \vec{v_2}, \dotsc, \vec{v_n})$ corresponds to the signed n-volume of the n-paralleletope spanned by the vectors and is calculated by:
$$\ast(\bigvee\limits_{i=1}^n\vec{v_i})$$
where $\ast$ is the Hodge star operator and $\vee$ is the exterior product. Note that this simply corresponds to the determinant of the list in n-dimensional Euclidean space.</content>
</record>
