■太鼓の形は聞こえない(その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

になるはずである.

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