半正多面体是使用两种或以上的正多边形为面的凸多面体。半正多面体的每个顶点的情况相同，共有13种。阿基米德曾研究半正多面体（虽然其研究纪录已佚），故有人将半正多面体唤作阿基米德立体。因为面是由正多边形组成的，每个相邻的正多边形的边长相等，故半正多面体的边均有相同长度。