「４次元正多胞体は6個より多くは存在しない」ことを証明してみよう。

少なくとも3つの胞が1つの辺に集まらなければならない。

1つの辺に集まる二面角の総計は360°より小さくならなければならないからだ。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

正四面体の二面角はcosδ= 1/3,δ=70.53°である

3個、4個、5個の正四面体をを一つの辺に集めることはできるが、6個はできない

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

こうして正五胞面体、正16胞面体、正600胞体の存在が説明される

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝