■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)
===================================