■太鼓の形は聞こえない(その41)
3次元:(f0,f1,f2)=(4,6,4) (正四面体)
4次元:(f0,f1,f2,f3)=(8,24,32,16) (正16胞体)
5次元:(f0,f1,f2,f3,f4)=(16,80,160,120,16+10)
6次元:(f0,f1,f2,f3,f4,f5)=(32,240,640,640,192+60,32+12)
7次元:(f0,f1,f2,f3,f4,f5,f6)=(64,672,2240,2800,1344+280,448+84,64+14)
f2は正三角形,f3は正四面体,f4以上で2種類の形の各々の和
である.
===================================
頂点次数をmとして
f1=m/2・f0
2次元:m=1
3次元:m=3
4次元:m=6
5次元:m=10
6次元:m=15
7次元:m=21
一般に,m=n(n−1)/2
f2=k/3・f0
3次元:k=3
4次元:k=12
5次元:k=30
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
になるはずである.
===================================