■n次元平行多面体数(その190)
E8格子において,原点からの距離が√nの点の個数は,
240σ3(n) σ3(n)=nの約数の3乗和
で表されることが知られている.
n=1 → 240・1^3=240個
n=2 → 240・(1^3+2^3)=2160個
n=3 → 240・(1^3+3^3)=6720個
n=4 → 240・(1^3+2^3+4^3)=17520個
である.
以下,30240(n=5),60480(n=6),82560(n=7),140400(n=8),・・・
(その188)で
n=1 → 240・1^3=240個
n=2 → 240・(1^3+2^3)=2160個
n=3 → 240・(1^3+3^3)=6720個
n=4 → 240・(2^3+4^3)=17280個
としたのは,E8格子を構成する正単体α8と正軸体β8の数を求めるために便宜であって,√2に対応するのが正単体,√4=2に対応するのが正軸体である.
===================================