■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  (一致)

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