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

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