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

 切断面の中心と半立方体の中心を結ぶことによって,D系の基本単体

 δn:aj=(2/j(j+1))^1/2,an=(n−2)/√(2n)

を構成することができた.

 E系でも

 αn:aj=(2/j(j+1))^1/2,an=?

 βn:bj=(2/j(j+1))^1/2,bn-1=√2/(n−1),bn=?

とすることはできないだろうか?

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

 E8では,頂点から中心までの距離を2にすればよい.

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

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

  (1260+420+210+126+84+60)/1260=12/7

  12/7+1/28+a8^2=4,a8^2=4−49/28=9/4→a8=3/2

  12/7+2/7+b8^2=4→b8=√2

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

[まとめ]

 E8の2つの基本単体を求めることができた.しかし,E7,E6では中心までの距離は2ではない.2であるとすると単体と正軸体で空間充填してしまうからである.

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