■基本単体の二面角(その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であるとすると単体と正軸体で空間充填してしまうからである.
===================================