■ＤＥ群多面体の面数公式（その３５８）
ｃｏｓρ＝２／３
ｓｉｎρ＝√５／３
ｃｏｓ２σ＝２ｃｏｓ^2σ−１＝−２／３
ｓｉｎ２σ＝√５／３
ｃｏｓ（ρ＋２σ）＝−４／９−５／９＝−１
次元によってρとσの値が異なる．
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
