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

 hγ5=(16,80,160,120,16+10)の大域幾何.

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

 頂点次数をmとして

  f1=m/2・f0

 2次元:m=1

 3次元:m=3

 4次元:m=6

 5次元:m=10→f1=80

 6次元:m=15

 7次元:m=21

一般に,m=n(n−1)/2

  f2=k/3・f0

 3次元:k=3

 4次元:k=12

 5次元:k=30→f2=160

 6次元:k=60

 7次元:k=105

一般に,k=n(n−1)(n−2)/2,n>3

 f3はどちらの方法でも求めることができるが,ここでは

  f3=k/4・f0

を用いる.

 3次元:k=4

 4次元:k=8

 5次元:k=30

 6次元:k=80

 7次元:k=175

 この一般式は

  k(n,k)+(n,k)

において,k=n−3としたものになるから,

  (n−2)(n,3)=n(n−1)(n−2)^2/6,n>3

になるはずである.

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