空間図形の証明問題の中でも、「四面体の各辺の垂直二等分面が一点で交わる」ことは、平面図形の外心の性質を立体へ拡張する典型的なテーマです。本記事では、三角形の外心の証明との対応関係を意識しながら、四面体の場合の証明の考え方を整理して解説します。
三角形の外心証明の本質を整理する
まず三角形△ABCでは、辺ABとBCの垂直二等分線の交点Oを考えます。
OはABの垂直二等分線上にあるためOA＝OB、BCの垂直二等分線上にあるためOB＝OCとなります。
したがってOA＝OB＝OCとなり、Oは3点から等距離となります。
この「等距離の伝播」が外心証明の本質です。
四面体で対応する対象は「垂直二等分面」
四面体ABCDでは、辺に対して垂直二等分線ではなく「垂直二等分面」を考えます。
例えば辺ABの垂直二等分面は、ABの中点を通りABに垂直な平面です。
この平面上の点はすべてAとBから等距離になります。
したがって、三角形のときの「直線」から「平面」に次元が上がったと考えます。
2つの垂直二等分面の交線を考える
辺ABとBCの垂直二等分面をそれぞれα、βとします。
α上ではPA＝PB、β上ではPB＝PCが成り立ちます。
よって両方を満たす交線l上の点PではPA＝PB＝PCが成立します。
ここで「2条件を満たす集合の交わり」を考えるのがポイントです。
3つ目の条件で一点に収束する構造
次に、AB・BC・CAに対応する3つの垂直二等分面を考えます。
それぞれの2つの交線で得られた性質を組み合わせると、すべての頂点から等距離の点が導かれます。
さらに空間では、3つの非平行な平面の一般的位置関係から、交点は高々1点に定まります。
したがって四面体の外心Oが一意に存在します。
4点から等距離であることの証明
OがAB・BC・CDなど各辺の垂直二等分面上にあると仮定します。
するとOA＝OB、OB＝OC、OC＝ODが順に成立します。
これを連鎖させることでOA＝OB＝OC＝ODが得られます。
よってOは四面体の4頂点すべてから等距離である点になります。
三角形との対応で見る本質
三角形では「直線2本の交点」、四面体では「平面3つの交点」という構造の違いがあります。
しかし本質はどちらも「距離が等しい点の集合の交わり」です。
次元が上がっても考え方は同じで、対象が直線から平面へ拡張されているだけです。
まとめ
四面体の垂直二等分面の交点が一点に定まり、各頂点から等距離になる性質は、三角形の外心の証明をそのまま次元拡張したものと捉えられます。
「等距離になる集合の交わり」という視点を持つことで、平面図形と空間図形の証明は統一的に理解できます。
コメント