半正多面体

半正多面体 (はんせいためんたい、semi-regular polyhedron) またはアルキメデスの立体 (Archimedean solid) とは、凸な一様多面体のうち、正多面体以外のものである。また、対称性が低い (Dihedral) 角柱・反角柱・ミラーの立体も除く。全部で13種類ある。
一様多面体の条件は、全ての面が正多角形で、頂点形状が合同（頂点に集まる正多角形の種類と順序が同じ）なことである。正多面体（別名：プラトンの立体）は除外するので、半正多面体の面は2種類以上の正多角形で構成される。
準正多面体 (quasi-regular polyhedron) とは、このうち辺の近傍が合同なもので、立方八面体と二十・十二面体が当てはまる。
semi-regular polyhedron のことを準正多面体ということがあるが、数学用語の一般的な訳し方に沿うなら semi-regular polyhedron は半正多面体、quasi-regular polyhedron は準正多面体である。
半正多面体でない多面体.
「面が正多角形で頂点形状が合同」という条件を満たすが、対称性が低いために半正多面体に含められない多面体に、ミラーの立体・アルキメデスの角柱・アルキメデスの反角柱がある。
ミラーの立体は、斜方立方八面体の上部三分の一を45度ひねった多面体である。頂点形状は合同であるが、対称性が2次元的で ("D"4d)、頂点に関する推移性を満たさない。ただし、ミラーの立体を半正多面体に含め、キラルな変形立方体と変形十二面体の鏡像を区別し、半正多面体を16種類とする場合もある。
アルキメデスの正角柱とアルキメデスの反角柱を含めないのは、一般に対称性が2次元的であることの他、種類が無限にあることも理由である。アルキメデスの立体と言った場合は含むこともある。
正多面体からの作製.
半正多面体は、正多面体のいずれかを削って作ると考えて、以下の5種類に分類することができる。
双対.
半正多面体の双対は、アルキメデス双対あるいはカタランの立体と呼ばれる。1種類の正多角形でない面からできており、すべての二面角は等しい。カタランの立体の面心（内接円の中心）を頂点とする立体は半正多面体であるが、半正多面体の面心を頂点とする立体がカタランの立体となるわけではない。