■DE群多面体の面数公式(その512)

[3]142:(17280,240(132)+2160hγ7)

[6]142の17280頂点

 (±4,0,0,0,0,0,0,0)16

 (±2,±2,±2,±2,0,0,0,0)11120

 (±3,±1,±1,±1,±1,±1,±1,±1)2048

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

 したがって,半径^2は4^2=16→4

 頂点間距離^2=2^2=4→2

 頂点間距離が2のとき,半径は4

 R^2=1+1/3+1/6+1/10+1/15+1/21+25/14+a8^2=16

 132の基本単体もD群のように求めることができるのだろうか?

 1+1/3+1/6+1/10+1/15+1/21

={2/1・2+2/2・3+2/3・4+2/4・5+2/5・6+1/6・7

=2{1−1/7}=12/7

 R^2=24/14+25/14+a8^2=16

 a7^2=224/14−49/14=175/14=25/2

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