■基本単体の二面角(その25)

α8:a1=1,a2=1/√3,a3=1/√6,a4=1/√10,a5=1/√15,a6=1/√21,a7=1/√28,a8=1/6

β8:a1=1,a2=1/√3,a3=1/√6,a4=1/√10,a5=1/√15,a6=1/√21,a7=1/√28,a8=1/2

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

  P2(1/2,1/2,0,0,0,0,0,0)

  P3(2/3,1/3,1/3,0,0,0,0,0)

  P4(3/4,1/4,1/4,1/4,0,0,0,0)

  P5(4/5,1/5,1/5,1/5,1/5,0,0,0)

  P6(5/6,1/6,1/6,1/6,1/6,1/6,0,0)

  P7(5/6,1/6,1/6,1/6,1/6,1/6,1/6,1/6)

  P8(7/8,1/8,1/8,1/8,1/8,1/8,1/8,−1/8)

がα8,β8の基本単体に分解されるかどうかを調べてみたい.

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

 P1とそれぞれの頂点間距離は

1/√3,1/2,1/√5,1/√6,√8/6,1/√8

 残りは面倒になるが

√2/j(j+1),j=1,2,3,4,5

すなわち,1〜1/√15を生ずる.また,1/√24も生ずるが,これが1/√12の元になっていることは確かである.

 これらはα8,β8に近いようにみえるが,E8の最長辺の平方和は

  1+1/3+1/6+1/10+1/15+1/12+1/4=2

となることとよく符合している.

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