オーギュスタン＝ルイ・コーシー
すべての面が同一の正多角形で構成されている立体である正多面体は5つしか知られていなかったが、1619年にケプラーは正十二面体と正二十面体の辺を星型化することにより、2つの星型正多面体を発見した（小星型十二面体と大星型十二面体）。1809年にポアンソがその双対多面体である大十二面体と大二十面体の2種類を発見した。そして1811年に星型正多面体はこの4種類ですべてということがオーギュスタン＝ルイ・コーシーによって証明された。それで、小星型十二面体と大星型十二面体をケプラーの多面体、大十二面体と大二十面体をポアンソの多面体ということもある。