■n次元平行多面体数(その160)

 n次元多面体Pのデーン不変量は

  D(P)=Σ(n−2次元面体積)×(二面角)

で定義される.

 αn:cosδ=1/n,tanδ=(n^2−1)^1/2

 βn:cosδ=(2−n)/m,tanδ=2(n−1)^1/2/(2−n)

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

 pαn±qβn=±rπ

が成り立つのは

n=3のとき(p,q,r)=(2,2,2)

n=4のとき(p,q,r)=(0,3,2)

n=8のとき(p,q,r)=(2,1,2)

 また,

 xD(αn)+yD(βn)=0   (modπ)

n=3のとき(x,y)=(2,1)

n=4のとき(x,y)=(0,1)

n=8のとき(x,y)=(1920,135)

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