■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
になるはずである.
===================================