ジョンソンの立体

ジョンソンの立体（ジョンソンのりったい、Johnson solid）、またはザルガラーの多面体（ザルガラーのためんたい、Zalgaller polyhedron）とは、整凸面多面体（せいとつめんためんたい、regular-faced convex polyhedron）のうち、正多面体、半正多面体、アルキメデスの角柱、アルキメデスの反角柱以外のもの。 整凸面多面体とは、全ての面が正多角形で全ての辺の長さが等しい凸多面体である。なお、「ザルガラーの多面体」は整凸面多面体の意味で使うこともある。 ジョンソンの立体は全部で92種類ある。正多面体以外のデルタ多面体、ミラーの立体も含む。 正多面体・半正多面体のリストアップは比較的簡単だが、ジョンソンの立体のリストアップは簡単ではない。1966年、アメリカの数学者ノーマン・ジョンソン(Norman Johnson)が全92種を記した一覧表を発表し、それぞれに番号と名前を与えたが、これで全てだとの証明はされなかった。3年後の1969年、ヴィクター・アブラモヴィッチ・ザルガラー(Victor Abramovich Zalgaller)がコンピュータを駆使して、この一覧表が完全であることを証明した。