■DE群多面体の面数公式(その913)
αとβの接合面はE8の場合でいうと
[8]P0P1P2P3P4P5P6P8を通る超平面
βとβの接合面は
[7]P0P1P2P3P4P5P7P8を通る超平面
であることが確かめられた.
===================================
最大斜面は,ρについて
P0P6^2=1+1/3+1/6+1/10+1/15+1
P1P6^2=1/3+1/6+1/10+1/15+1
P2P6^2=1/6+1/10+1/15+1
P3P6^2=1/10+1/15+1
P4P6^2=1/15+1=16/15
σについて
P0P6^2=1+1/3+1/6+1/10+2/5+2/3
P1P6^2=1/3+1/6+1/10+2/5+3/2
P2P6^2=1/6+1/10+2/5+2/3
P3P6^2=1/10+2/5+2/3
P4P6^2=2/5+2/3==16/15 (一致)
===================================