多面体のすべての頂点が、同一の
球面上に位置しているとき、その
球面を「外接
球面(がいせつきゅうめん)」と呼びます。この
球面の半径は「外半径(がいはんけい)」、中心は「外心(がいしん)」と呼ばれます。
この幾何学的な概念は、平面図形である多角形における「
外接円」を三次元の
多面体に応用したものです。
外接円が多角形のすべての頂点を通る円であるのと同様に、外接
球面は
多面体のすべての頂点を通る
球面として定義されます。
存在の条件
すべての
多面体に対して、必ずしも外接
球面が存在するわけではありません。特に、高い対称性を持つ正
多面体(例:正四面体、立方体、正八面体、正十二面体、正二十面体)には、必ず外接
球面が存在します。
しかし、ほとんどの非正
多面体には外接
球面が存在しません。これは、
多面体のすべての頂点が偶然にも一つの
球面上に正確に位置するという状況は、一般的な
多面体においては稀であるためです。外接
球面が存在するためには、
多面体の頂点の配置に特定の幾何学的条件が満たされる必要があります。
包含球面との違い
外接
球面は、その
多面体を内部に含む「包含
球面(ほうがんきゅうめん)」の一種です。しかし、外接
球面が存在する場合であっても、それが必ずしも
多面体を包む
球面のなかで最も小さいもの、すなわち「最小包含
球面(さいしょうほうがんきゅうめん)」であるとは限りません。
例えば、一つの立方体を考えます。この立方体には外接
球面が存在します。次に、この立方体の一つの頂点を選び、それに隣接する三つの頂点と合わせて合計四つの頂点を結んでできる四面体を考えてみましょう。この四面体は、もとの立方体と同じ外接
球面を持ちます。ところが、この四面体は、元の立方体の外接
球面よりも小さな
球面に包含されることがあります。具体的には、三つの隣接する頂点がその小さな
球面の赤道上に位置するような
球面が存在します。
最小包含
球面は、与えられた図形を包含する最も小さい
球面のことで、任意の
多面体に対して常に存在し、一意に定まります。外接
球面とは異なり、最小包含
球面は常に計算可能です。興味深い性質として、任意の
多面体の最小包含
球面は、その
多面体の頂点集合の適当な部分集合の凸包の外接
球面として得られる場合があります。
その他の関連する球面
多面体に関連する特別な
球面は、外接
球面以外にも存在します。
「内接
球面(ないせつきゅうめん)」は、
多面体のすべての面に接する
球面のことを指します。内接
球面が存在する
多面体も、外接
球面と同様に限定されています。
また、「中点
球面(ちゅうてんきゅうめん)」は、
多面体のすべての辺に接する
球面のことを指します。この
球面も、特定の種類の
多面体にのみ存在します。
これらの三つの
球面(内接
球面、中点
球面、外接
球面)がすべて存在するのは、正
多面体の場合です。さらに、正
多面体においては、これらの三つの
球面の中心はすべて同じ位置にあります。つまり、正
多面体の内接
球面、中点
球面、外接
球面は同心となります。