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

 E群の基本単体が残された問題となった.

 421の半径^2は2^2=4→2

 頂点間距離^2=4→2(Rと等しい)

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

 R^2=1+1/3+1/6+1/10+1/15+1/21+1/28+a8^2=4

=1+1/3+1/6+1/10+1/15+1/21+2/7+b8^2

 R^2=12/7+2/7+b8^2=12/7+1/28+a8^2=4

 a8^2=(112−48−1)/28=9/4

 b8^2=(28−12−2)/7=2

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

 421の基本単体の頂点は,ρについて

P0(0,0,0,0,0,0,0,0)・・・8次元面の中心

P1(1,0,0,0,0,0,0,0)・・・α7の頂点

P2(1,1/√3,0,0,0,0,0,0)

P3(1,1/√3,1/√6,0,0,0,0,0)

P4(1,1/√3,1/√6,1/√10,0,0,0,0)

P5(1,1/√3,1/√6,1/√10,1/√15,0,0,0)

P6(1,1/√3,1/√6,1/√10,1/√15,1/√21,0,0)・・・5次元面の中心

P7(1,1/√3,1/√6,1/√10,1/√15,1/√21,1/√28,0)・・・6次元面の中心

P8(1,1/√3,1/√6,1/√10,1/√15,1/√21,1/√28,√(9/4))

σについて

P0(0,0,0,0,0,0,0,0)

P1(1,0,0,0,0,0,0,0)

P2(1,1/√3,0,0,0,0,0,0)

P3(1,1/√3,1/√6,0,0,0,0,0)

P4(1,1/√3,1/√6,1/√10,0,0,0,0)

P5(1,1/√3,1/√6,1/√10,1/√15,0,0,0)

P6(1,1/√3,1/√6,1/√10,1/√15,1/√21,0,0)

P7(1,1/√3,1/√6,1/√10,1/√15,1/√21,1/√28,√(2/7),0)

P8(1,1/√3,1/√6,1/√10,1/√15,1/√21,√(2/7),√2)

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