■サマーヴィルの等面四面体(その464)

 (その463)の答えとなる行列式はコクセターの論文に与えられている.

  cp=cos(π/p),cq=cos(π/q)

  cr=cos(π/r),cs=cos(π/s)

と定義するが,行列C

  [0 cp 0 0    0 ]

  [cp 0 cq 0      ]

  [0 cq 0 cr    ]

[0 0 cr 0      ]

  [        0  cs ]

  [0       cs 0 ]

の固有多項式

  Ps(λ)=det(λI−C)

において,λ=1とおくと

  Pn(1)=△(p1,p2,・・・,pn-1)

が成り立ちます.

[1]正単体について,

  △(3,3,・・・,3)=(n+1)/2^n

[2]正軸体,立方体について,

  △(3,3,・・・,4)=1/2^n-1

[3]空間充填形については

  △(4,3,・・・,4)=0

となります.

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