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

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

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

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

正八面体の二面角はcosδ= -1/3、δ=109.47°である 3個、4個、5個の正八面体をを一つの辺に集めることはできるが、4個はできない

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

こうして正24胞体の存在が説明される

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