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

【1】α8

  cosθ=−b8^2/{b7^2+b8^2}^1/2{b8^2}^1/2

=−6/√64=−3/4

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

【2】β8

  cosθ=−b8^2/{b7^2+b8^2}^1/2{b8^2}^1/2

=−2/√32=−1/2√2

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

【3】α8+β8

 arccos(3/4)+arccos(1/√8)=arccos(3/8√2−√7/16・√63/64)

=arccos(3/8√2−3・7/4・8)=arccos(6√2−21)/32

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

【4】α8+2β8

 arccos(3/4)+2arccos(1/√8)

=arccos(3/4)+arccos(−3/4)

=0→直角

 しかし,どのように接合させればよいのかはわからない.

 E8の最長辺の平方和は

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

となるという.この√2は8次元単体のファセットの7次元基本単体の最長辺であるという.

 しかし,

αn:aj=√2/j(j+1)

βn:aj=√2/j(j+1),an=√2/n

より,

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

  1=1/3+1/6+1/10+1/15+1/21+1/28≠2

 一体どうなっているのだろうか.おそらく,E8ではなく,E8~のデータを用いているからである.

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