■DE群多面体の面数公式(その942)
t1α4の基本単体の頂点は,σについて
P0(0,0,0,0)
P1(1,0,0,0)
P2(1,1/√3,0,0)
P3(1,1/√3,√(2/3),0)
P4(1,1/√3,√(2/3),2/√10)
a1x1+a2x2+a3x3+a4x4=d
===================================
[1]P1P2P3P4を通る超平面:
a1=1,a2〜a4=0,d=1
[2]P0P2P3P4を通る超平面
d=0,a1=1とする.
a1+a2/√3=0,a2=−√3
a3〜a4=0
[3]P0P1P3P4を通る超平面
d=0,a1=0,a2=1とする
a2/√3+a3・√(2/3)=0,a3=−a2/√2=−1/√2
a4=0
[4]P0P1P2P4を通る超平面
d=0,a1=0,a2=0,a3=1とする
a1+a2/√3+a3・√(2/3)+a4・2/√10=0,a4=−√(5/3)
[5]P0P1P2P3P4を通る超平面
a4=1,a1〜a3=0,d=0
===================================
a=(1,0,0,0)
b=(1,−√3,0,0)
c=(0,1,−1/√2,0)
d=(0,0,1,−√(5/3))
e=(0,0,0,0,1)
を正規化すると
a=(1,0,0,0)
b=(1/2,−√3/2,0,0)
c=(0,√(2/3),−√(1/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/√8 (OK)
c・e=0
d・e=−√(5/8) (一致)
===================================