■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に対応するのが正軸体である.

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