高1のときに同級生向けに作ったプリントを発掘したので記念にブログに直しておきます. 表現は原文ママなので甘い目で見てください.
あまり知らない人がやるとヤケドします. ご利用は計画的に.
一本だけ求めて終わるミスを犯してしまうことが非常に多い! 両方に垂直なベクトルは, その外積と逆ベクトルとであることに注意すると, 簡単な計算より $$\overrightarrow{a}\times\overrightarrow{b}=\left(\begin{array}{c}4 \cr -4 \cr 4\end{array}\right)$$ となり, 単位ベクトルである必要があるから, $$\frac{1}{4\sqrt{3}}\left(\begin{array}{c}\pm 4\cr\mp 4\cr\pm 4\end{array}\right)=\frac{1}{\sqrt{3}}\left(\begin{array}{c}\pm 1\cr\mp 1\cr\pm 1\end{array}\right)$$ となる (複号同順).
ここで$\dfrac{1}{2}\sqrt{|\overrightarrow{AB}| ^ 2|\overrightarrow{AC}| ^ 2-(\overrightarrow{AB}\cdot\overrightarrow{AC}) ^ 2}$とすると, たしかに計算はいささか簡単かもしれないし, 式自体も非常に自明ではあるものの, やっぱり式の形はキモチワルイ. そこで外積の性質:外積の大きさは, そのベクトルが張る平行四辺形の面積に等しいを使えばよろしい. なぜならばこれを半分にすれば三角形の面積になるからだ. すなわち, $\dfrac{1}{2}|\overrightarrow{AB}\times\overrightarrow{AC}|$を求めればよい. 計算量としては変わらないかもしれないが, 外積の意味をわかっていればこっちのほうが自然だと思える.
このとき, ある実数 $t_0$, $t_1$ が存在して, $\overrightarrow{p_0}=\overrightarrow{x_0}+t_0\overrightarrow{a}$, $\overrightarrow{p_1}=\overrightarrow{x_1}+t_1\overrightarrow{b}$と表せる. ここで初等幾何的な性質:「直線 $\ell$, $m$ のどちらとも直交する線分が距離を最小にする」を認めることにすると, ある実数 $k$ が存在して, $$\overrightarrow{p_0}-\overrightarrow{p_1}=k(\overrightarrow{a}\times\overrightarrow{b})$$が従う.
したがって, $$\begin{aligned} |\overrightarrow{p_0}-\overrightarrow{p_1}|&=\frac{(\overrightarrow{p_0}-\overrightarrow{p_1})\cdot(\overrightarrow{p_0}-\overrightarrow{p_1})}{|\overrightarrow{p_0}-\overrightarrow{p_1}|}\\ &=\frac{(\overrightarrow{x_0}+t_0\overrightarrow{a}-\overrightarrow{x_1}-t_1\overrightarrow{b})\cdot(k(\overrightarrow{a}\times\overrightarrow{b}))}{|k(\overrightarrow{a}\times\overrightarrow{b})|}\\ &=\frac{k(\overrightarrow{x_0}-\overrightarrow{x_1})\cdot(\overrightarrow{a}\times\overrightarrow{b})}{|k||\overrightarrow{a}\times\overrightarrow{b}|}\\ &=\frac{|(\overrightarrow{x_0}-\overrightarrow{x_1})\cdot(\overrightarrow{a}\times\overrightarrow{b})|}{|\overrightarrow{a}\times\overrightarrow{b}|} \end{aligned}$$ ただし3行目で補題1と内積の性質を適宜用いた.
授業のプリントから問題を解いてみよう.
$\overrightarrow{a}\times\overrightarrow{b}=\left(\begin{array}{c}-1\cr -2\cr 1\end{array}\right)$ より, 上の式に代入するだけで即座に $\dfrac{6}{\sqrt{6}}=\sqrt{6}$ が従う.
3次元の場合, 行列式は平行六面体の符号付き体積となっている. したがって, 四面体の体積や平行六面体の体積を求める際にわざわざ外積をとって内積をとって, などということをしなくても行列式を計算すれば一瞬で終わってしまう.
(三次元空間内の四点 $A$, $B$, $C$, $D$が同一平面上にある)
$\iff\det\begin{pmatrix}x_1&y_1&z_1\\x_2&y_2&z_2\\x_3&y_3&z_3\end{pmatrix}=0$
$\det\begin{pmatrix}-3&1&-4\cr 0&1&-3\cr x-1&0&-3\end{pmatrix}=0$を計算して $x=-8$ を得る.
ちなみに, 三次元空間内の四点が同一平面上にあることを一般的に言う際, よく一直線上にある場合を忘れて議論してしまう人が多い. 行列式はその点非常に簡明なのでオススメである.