■サマーヴィルの等面四面体(その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
となります.
===================================