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