■DE群多面体の面数公式(その398)
以上により,αとβの接合面はE8の場合でいうと
[8]P0P1P2P3P4P5P6P8を通る超平面
βとβの接合面は
[7]P0P1P2P3P4P5P7P8を通る超平面
であることが明らかとなった.
また,221でいうと,e,fはそれぞれ
[5]P0P1P2P3P5P6を通る超平面(P4を通らない超平面)
[6]P0P1P2P3P4P6を通る超平面(P5を通らない超平面)
であるが,3次元の場合と対応する平面が違っているわけではない.
121の場合はどうだろうか?
===================================
121の場合,ファセットは1辺の長さ2のα4とβ4.a5,b5は121とファセットの中心との距離とすると,
[1]αn:aj=(2/j(j+1))^1/2
[2]βn:aj=(2/j(j+1))^1/2,an=(2/n)^1/2
R^2=1+1/3+1/6+1/10+a5^2=5/2
=1+1/3+1/6+2/4+b5^2
1+1/3+1/6=(6+2+1)/60=3/2
R^2=3/2+2/4+b5^2=3/2+1/10+a5^2=5/2
a5^2=(25−15−1)/10=9/10
b5^2=(25−15−5)/10=1/2
===================================
121の基本単体の頂点は,ρについて
P0(0,0,0,0,0)
P1(1,0,0,0,0)
P2(1,1/√3,0,0,0)
P3(1,1/√3,1/√6,0,0)
P4(1,1/√3,1/√6,1/√10,0)
P5(1,1/√3,1/√6,1/√10,3/√10)
σについて
P0(0,0,0,0,0)
P1(1,0,0,0,0)
P2(1,1/√3,0,0,0)
P3(1,1/√3,1/√6,0,0)
P4(1,1/√3,1/√6,1/√2,0)
P5(1,1/√3,1/√6,1/√2,1/√2)
この二面角を求めるために,5超平面
a1x1+a2x2+a3x3+a4x4+a5x5=d
===================================