星型正多面体
星型正多面体(ほしがたせいためんたい)は、ドイツの数学者ヨハネス・ケプラーが最初に発見した、各面が互いに交差する凸でない正多面体である。ケプラー・ポアンソの立体と呼ばれることもある。これらは正多面体を星型化することによって作ることができる。
すべての面が同一の正多角形で構成されている立体である正多面体は5つしか知られていなかったが、1619年にケプラーは正十二面体と正二十面体の辺を星型化することにより、2つの星型正多面体を発見した(小星型十二面体と大星型十二面体)。1809年にポアンソがその双対多面体である大十二面体と大二十面体の2種類を発見した。そして1811年に星型正多面体はこの4種類ですべてということがオーギュスタン=ルイ・コーシーによって証明された。それで、小星型十二面体と大星型十二面体をケプラーの多面体、大十二面体と大二十面体をポアンソの多面体ということもある。