■DE群多面体の面数公式(その405)
t1α4の基本単体の頂点は,ρについて
P0(0,0,0,0)
P1(1,0,0,0)
P2(1,1/√3,0,0)
P4(1,1/√3,1/√6,3/√10)
σについて
P0(0,0,0,0)
P1(1,0,0,0)
P2(1,1/√3,0,0)
P4(1,1/√3,√(2/3),2/√10)
===================================
1/6+9/10=32/30
2/3+4/10=32/30 (一致)
===================================