■DE群多面体の面数公式(その383)

 再計算.hγnの中心からαn-1面の中心までの距離(Dnの基本単体)は,αn-1の基本単体に

  {n(1−2/n)^2}^1/2/√2=(n−2)/√(2n)

 δn:aj=(2/j(j+1))^1/2,an=(n−2)/√(2n)

[1]n=3:an=1/√6→α3と一致

[2]n=4:an=2/√8=1/√2→β4と一致

[3]n=5:an=3/√10

 これは辺の長さが2のときのデータである.

===================================