垂線の足が対面の外心である四面体［2016 京都大・理］

　四面体OABCが次の条件を満たすならば、それは正四面体であることを示せ。
　条件：頂点A, B, C からそれぞれの対面を含む平面へ下ろした垂線は対面の外心を通る
ただし、四面体のある頂点の対面とは、その頂点を除く他の3つの頂点がなす三角形のことをいう。

［2016 京都大・理］

イズミの解答への道

　京大の頻出問題である、図形に関する証明問題です。この問題は素直で易しいので取り組んでもらいたい。
　実は文系では条件が「対面の重心を通る」となった問題が出題されており、こちらはもう少し骨が折れる。

解答

　頂点Aから下ろした垂線と対面OBCが交わる点をHとする。Hは外心だから、
　　HO = HB = HC
また、AH⊥平面OBCだから、
　　∠AHO = ∠AHB = ∠AHC = 90°
である。よって、AHが共通であることを加味すると、
　　△AHO ≡ △AHB ≡ △AHC
がいえる。よって、OA = AB = AC である。
　同様に B , C から垂線を下ろした場合にも、
　　BO = BA = BC
　　CO = CA = CB
がいえるので、これらより、
　　AB = AC = AO = BC = BO = CO
となり、すべての面が正三角形である。よって四面体OABCは正四面体である。

解説

類題

　同じく2016年の京都大の文系の問題を見てみよう。

　四面体OABCが次の条件を満たすならば、それは正四面体であることを示せ。
　条件：頂点A, B, C からそれぞれの対面を含む平面へ下ろした垂線は対面の重心を通る
ただし、四面体のある頂点の対面とは、その頂点を除く他の3つの頂点がなす三角形のことをいう。

［2016 京都大・文］

【解答】
　頂点Aから対面に下ろした垂線の足をG_A、頂点Bから対面に下ろした垂線の足をG_Bとする。
　G_AとG_Bはそれぞれ対面の重心であるから、線分AG_Aと線分BG_Bは、四面体OABCの重心Gで交わる。つまり、線分AG_Aと線分BG_Bは一つの平面上にある。そしてその平面とは、OCの中点をMとしたときに、△ABMで表される（△ABMを含む平面）。
　次に、AG_Aと面BCOは垂直だから、
　　AG_A⊥CO
であり、BG_Bと面ACOは垂直だから、
　　AG_B⊥CO
であるから、COと△ABMは垂直である。よって、
　　CO⊥BM
であり、MはCOの中点であることから、BMはCOの垂直二等分線であるといえる。よって、
　　BC = BO
である。
　すべての2つの垂線から同様の議論をすることができ、これにより、すべての辺が等しいことが示される。よって、四面体OABCは正四面体であることが示される。

別解：ベクトルで

　このような問題が出たとき、「こうすれば必ず解ける」という王道はないのだが、今回紹介した2問は、ベクトルで進めればなんとかなる。以下ではその計算を紹介しておこう。ゴリ押しではあるが、受験本番では一つの候補となるだろう。

【冒頭の問題の別解】
　まず、 $\overrightarrow{\text{OA}} = \overrightarrow{a},\overrightarrow{\text{OB}} = \overrightarrow{b},\overrightarrow{\text{OC}} = \overrightarrow{c}$ とおく。
　Aから下ろした垂線の足を H_A とおくと、 H_A は△OBCの外心となるので、
　　H_AO = H_AB = H_AC
であるから、 $\overrightarrow{\text{OH}_A} = \overrightarrow{h_a}$ とおくと、

$| \overrightarrow{h_a} | = |\overrightarrow{b} -\overrightarrow{h_a} | = |\overrightarrow{c} -\overrightarrow{h_a}|$

となる。これより、

$\begin{align*} | \overrightarrow{h_a}|^2 &= |\overrightarrow{b}|^2 - 2 \overrightarrow{b} \cdot \overrightarrow{h_a} + |\overrightarrow{h_a}|^2 \\ &=|\overrightarrow{c}|^2 - 2 \overrightarrow{c} \cdot \overrightarrow{h_a} + |\overrightarrow{h_a}|^2 \end{align*}$

となるので、

(a) $|\overrightarrow{b}|^2 - 2 \overrightarrow{b} \cdot \overrightarrow{h_a} = 0$

(b) $|\overrightarrow{c}|^2 - 2 \overrightarrow{c} \cdot \overrightarrow{h_a} = 0$

となる。
　また、AH_Aは垂線であるから、 $\overrightarrow{\text{AH}_A}$ ⊥平面OCB であることから、

$\overrightarrow{\text{AH}_A} \cdot \overrightarrow{\text{OB}} = \overrightarrow{\text{AH}_A} \cdot \overrightarrow{\text{OC}} = 0$

である。これより、

$(\overrightarrow{h_a} - \overrightarrow{a} ) \cdot \overrightarrow{b} = 0 , \quad (\overrightarrow{h_a} - \overrightarrow{a} ) \cdot \overrightarrow{c} = 0$

すなわち、

$\overrightarrow{h_a} \cdot \overrightarrow{b} = \overrightarrow{a} \cdot \overrightarrow{b} , \quad \overrightarrow{h_a} \cdot \overrightarrow{c} = \overrightarrow{a} \cdot \overrightarrow{c}$

であるから、これを(a)式、(b)式に代入して、

(a’) $|\overrightarrow{b}|^2 = 2\overrightarrow{a} \cdot \overrightarrow{b}$

(b’) $|\overrightarrow{c}|^2 = 2\overrightarrow{a} \cdot \overrightarrow{c}$

となる。
　同様に、Bから下ろした垂線、Cから下ろした垂線についても同様に計算すると、

(d) $|\overrightarrow{c}|^2 = 2\overrightarrow{b} \cdot \overrightarrow{c}$

(e) $|\overrightarrow{a}|^2 = 2\overrightarrow{c} \cdot \overrightarrow{a}$

(f) $|\overrightarrow{b}|^2 = 2\overrightarrow{c} \cdot \overrightarrow{b}$

が成り立つ。
　これらより、 $|\overrightarrow{a}|^2=|\overrightarrow{b}|^2=|\overrightarrow{c}|^2 ( = 2\overrightarrow{a} \cdot \overrightarrow{b} )$ となり、

$\begin{align*} |\overrightarrow{\text{AB}}|^2 &= |\overrightarrow{b} - \overrightarrow{a}|^2 \\ &=|\overrightarrow{b}|^2 - 2 \overrightarrow{a} \cdot \overrightarrow{b} + |\overrightarrow{a}|^2 \\ &=|\overrightarrow{a}|^2 \end{align*}$

であり、同様に、 $|\overrightarrow{\text{BC}}|^2 = |\overrightarrow{\text{CA}}|^2 = |\overrightarrow{a}|^2$ が示される。
　以上より、
　　OA = OB = OC = AB = BC = AC
であるから、四面体OABCは正四面体であることが示された。
　
　
【類題の別解】
まず、 $\overrightarrow{\text{OA}} = \overrightarrow{a},\overrightarrow{\text{OB}} = \overrightarrow{b},\overrightarrow{\text{OC}} = \overrightarrow{c}$ とおく。
　Aから下ろした垂線の足を G_A とおき、 $\overrightarrow{\text{OG}_A} = \oveerightarrow{g_a}$ とおく。 G_A は△OBCの重心となるので、

(a) $\overrightarrow{g_a} = \frac{\overrightarrow{b}+\overrightarrow{c}}{3}$

となる。
　また、AG_Aは垂線であるから、 $\overrightarrow{\text{AG}_A}$ ⊥平面OCB であることから、

$\overrightarrow{\text{AG}_A} \cdot \overrightarrow{\text{OB}} = \overrightarrow{\text{AG}_A} \cdot \overrightarrow{\text{OC}} = 0$

である。これより、

$(\overrightarrow{g_a} - \overrightarrow{a} ) \cdot \overrightarrow{b} = 0 , \quad (\overrightarrow{g_a} - \overrightarrow{a} ) \cdot \overrightarrow{c} = 0$

であり、(a)式を代入して整理すると、

$\begin{align*} &\left( \frac{\overrightarrow{b}+\overrightarrow{c}}{3} - \overrightarrow{a} \right) \cdot \overrightarrow{b} = 0 \\ &\left( \frac{\overrightarrow{b}+\overrightarrow{c}}{3} - \overrightarrow{a} \right) \cdot \overrightarrow{c} = 0 \end{align*}$

すなわち、

(b) $|\overrightarrow{b}|^2 + \overrightarrow{b} \cdot \overrightarrow{c} = 3 \overrightarrow{a} \cdot \overrightarrow{b}$

(c) $|\overrightarrow{c}|^2 + \overrightarrow{b} \cdot \overrightarrow{c} = 3 \overrightarrow{a} \cdot \overrightarrow{c}$

となる。
　同様に、Bから下ろした垂線、Cから下ろした垂線についても同様に計算すると、

$\begin{align*} &\left( \frac{\overrightarrow{a}+\overrightarrow{c}}{3} - \overrightarrow{b} \right) \cdot \overrightarrow{a} = 0, \quad \left( \frac{\overrightarrow{a}+\overrightarrow{c}}{3} - \overrightarrow{b} \right) \cdot \overrightarrow{c} = 0, \\ &\left( \frac{\overrightarrow{a}+\overrightarrow{b}}{3} - \overrightarrow{c} \right) \cdot \overrightarrow{a} = 0, \quad \left( \frac{\overrightarrow{a}+\overrightarrow{b}}{3} - \overrightarrow{c} \right) \cdot \overrightarrow{b} = 0 \end{align*}$