■基本単体の二面角(その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
となることとよく符合している.
===================================