■DE群多面体の面数公式(その370)
対応がずれている可能性があり,全数調べてみる.
===================================
【1】α4
P0(0,0,0,0)
P1(1,0,0,0)
P2(1,√(1/3),0,0)
P3(1,√(1/3),√(1/6),0)
P4(1,√(1/3),√(1/6),√(1/10))
a1x1+a2x2+a3x3+a4x4=d
===================================
[1]P1P2P3P4を通る超平面:
a1=1,a2=a3=a4=0
[2]P0P2P3P4を通る超平面:
d=0
a1+a2/√3=0→a1=1,a2=−√3
a1+a2/√3+a3/√6=0→a3=0
a1+a2/√3+a3/√6+a4/√10=0→a4=0
[3]P0P1P3P4を通る超平面:
d=0
a1=0
a1+a2/√3+a3/√6=0→a2=1,a3=−a2√2=−√2
a1+a2/√3+a3/√6+a4/√10=0→a4=0
[4]P0P1P2P4を通る超平面:
d=0
a1=0
a1+a2/√3=0→a2=0
a1+a2/√3+a3/√6+a4/√10=0→a3=1,a4=−√(5/3)
[5]P0P1P2P3を通る超平面:
a1=a2=a3=0,a4=1
===================================
a=(1,0,0,0)
b=(1,−√3,0,0)
c=(0,1,−√2,0)
d=(0,0,1,−√(5/3))
e(0,0,0,1)
を正規化すると
a=(1,0,0,0)
b=(1/2,−√3/2,0,0)
c=(0,1/√3,−√(2/3),0)
d=(0,0,√(3/8),−√(5/8)
e=(0,0,0,1)
a・b=1/2,a・c=0,a・d=0,a・e=0
b・c=−1/2,b・d=0,b・e=0
c・d=−1/2,c・e=0
d・e=−√(5/8)
===================================