■DE群多面体の面数公式(その406)

 正三角柱の基本単体の頂点は,ρについて

P0(0,0,0)

P1(1,0,0)

P3(1,1/√3,1)

σについて

P0(0,0,0)

P1(1,0,0)

P3(1,1,1/√3)

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

1/3+1=4/3

1+1/3=4/3  (一致)

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