next up previous 次: 直辺四面体 上: 四面体の諸命題 前: 空間でのチャップル型定理

等面四面体への応用

南海  以下に述べることは, 故栗田稔先生の『初等数学15講』(1990年3月,自費出版)に教えられたことである.

補題 2        $[\overrightarrow{a},\ \overrightarrow{b},\ \overrightarrow{c}]> 0$とする.また

\begin{displaymath}
\overrightarrow{b}\times\overrightarrow{c}=\overrightarrow{...
...overrightarrow{a}\times\overrightarrow{b}=\overrightarrow{z}
\end{displaymath}

とおく.このとき

\begin{displaymath}[\overrightarrow{x},\ \overrightarrow{y},\ \overrightarrow{z}...
...verrightarrow{a},\ \overrightarrow{b},\ \overrightarrow{c}]^2
\end{displaymath}

であり.

\begin{displaymath}
\overrightarrow{a}
=\dfrac{1}{\sqrt{[\overrightarrow{x},\ ...
...rrightarrow{z}]}}
\overrightarrow{x}\times\overrightarrow{y}
\end{displaymath}

が成り立つ. ■

証明      補題(1)より

\begin{eqnarray*}
\overrightarrow{y}\times\overrightarrow{z}&=&
\overrightarro...
...a},\ \overrightarrow{b},\ \overrightarrow{c}]\overrightarrow{a}
\end{eqnarray*}

したがって

\begin{displaymath}
\overrightarrow{a}
=\dfrac{1}{[\overrightarrow{a},\ \overr...
...errightarrow{c}]}
\overrightarrow{y}\times\overrightarrow{z}
\end{displaymath}

同様に

\begin{displaymath}
\overrightarrow{b}
=\dfrac{1}{[\overrightarrow{a},\ \overr...
...errightarrow{c}]}
\overrightarrow{x}\times\overrightarrow{y}
\end{displaymath}

ところが

\begin{eqnarray*}
\vert\overrightarrow{x},\ \overrightarrow{y},\ \overrightarro...
...\overrightarrow{a},\ \overrightarrow{b},\ \overrightarrow{c}]^2
\end{eqnarray*}

$[\overrightarrow{a},\ \overrightarrow{b},\ \overrightarrow{c}]> 0$なので

\begin{displaymath}
\overrightarrow{a}
=\dfrac{1}{\sqrt{[\overrightarrow{x},\ ...
...rrightarrow{z}]}}
\overrightarrow{x}\times\overrightarrow{y}
\end{displaymath}

が成立する.□

この補題を用いると,空間図形のいろんな性質が簡明に示される. いくつか例示する.

命題 2        4つの面の面積が等しい四面体(等積四面体)は, 各面が合同な四面体(等面四面体)である. ■

南海  これは『数学対話』−「等積四面体と等面四面体」で証明したことである. その別証明を外積を用いておこなう.

証明

四面体$\mathrm{OABC}$

\begin{displaymath}
\overrightarrow{a}=\overrightarrow{\mathrm{OA}},\
\overri...
...thrm{OB}},\
\overrightarrow{c}=\overrightarrow{\mathrm{OC}}
\end{displaymath}

とし,

\begin{displaymath}
\overrightarrow{x}=\overrightarrow{b}\times\overrightarrow{...
...\overrightarrow{z}=\overrightarrow{a}\times\overrightarrow{b}
\end{displaymath}

とおく. さらに

\begin{eqnarray*}
\overrightarrow{u}&=&\overrightarrow{\mathrm{AC}}\times\overr...
...errightarrow{a})
\times(\overrightarrow{b}-\overrightarrow{a})
\end{eqnarray*}

とする.

このとき

\begin{eqnarray*}
\overrightarrow{u}&=&
(\overrightarrow{c}-\overrightarrow{a}...
...
&=&-\overrightarrow{x}-\overrightarrow{y}-\overrightarrow{z}
\end{eqnarray*}

つまり

\begin{displaymath}
\overrightarrow{x}+\overrightarrow{y}+\overrightarrow{z}+\overrightarrow{u}=0
\end{displaymath}

である.

注意 1.1        これは一般の四面体で成立する.
  四面体$\mathrm{OABC}$の4つの面の面積が

\begin{displaymath}
\dfrac{1}{2}\vert\overrightarrow{x}\vert,\
\dfrac{1}{2}\v...
...ghtarrow{z}\vert,\
\dfrac{1}{2}\vert\overrightarrow{u}\vert
\end{displaymath}

であるから,等積四面体では

\begin{displaymath}
\vert\overrightarrow{x}\vert=
\vert\overrightarrow{y}\vert=
\vert\overrightarrow{z}\vert=
\vert\overrightarrow{u}\vert
\end{displaymath}

が成り立つ.任意の点$\mathrm{K}$に対し

\begin{displaymath}
\overrightarrow{\mathrm{KL}}=\overrightarrow{x},\
\overri...
...tarrow{y},\
\overrightarrow{\mathrm{MN}}=\overrightarrow{z}
\end{displaymath}

で点 $\mathrm{L},\ \mathrm{M},\ \mathrm{N}$を定めると, $\overrightarrow{x}+\overrightarrow{y}+\overrightarrow{z}+\overrightarrow{u}=0$ より

\begin{displaymath}
\overrightarrow{\mathrm{NK}}=\overrightarrow{u}
\end{displaymath}

となる.

この四面体は4辺の長さが等しく正四面体である. したがって4つの面の面積も等しい. つまり

\begin{displaymath}
\vert\overrightarrow{x}\times\overrightarrow{y}\vert=
\ver...
...}\vert=
\vert\overrightarrow{u}\times\overrightarrow{x}\vert
\end{displaymath}

ここで補題(2)より

\begin{displaymath}
\overrightarrow{y}\times\overrightarrow{z}=
[\overrightarr...
...,\ \overrightarrow{b},\ \overrightarrow{c}]\overrightarrow{a}
\end{displaymath}

また

\begin{eqnarray*}
\overrightarrow{x}\times\overrightarrow{u}&=&
\overrightarro...
...,\ \overrightarrow{c}]
(\overrightarrow{b}-\overrightarrow{c})
\end{eqnarray*}

この結果

\begin{displaymath}
\vert\overrightarrow{a}\vert=\vert\overrightarrow{b}-\overrightarrow{c}\vert
\end{displaymath}

つまり

\begin{displaymath}
\mathrm{OA}=\mathrm{BC}
\end{displaymath}

同様に

\begin{displaymath}
\mathrm{OB}=\mathrm{CA},\ \mathrm{OC}=\mathrm{AB}
\end{displaymath}

となり,四面体$\mathrm{OABC}$は等面四面体である.□


next up previous 次: 直辺四面体 上: 四面体の諸命題 前: 空間でのチャップル型定理
Aozora 2018-08-31