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

 上下が逆転しているため,P1を外すことは,下記座標のPn-1を外すことと等しくなるので,接合面は等しくなると考えられるのである.

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

 hγ5の基本単体の頂点は,ρについて

P0(0,0,0,0,0)

P1(1,0,0,0,0)

P2(1,1/√3,0,0,0)

P3(1,1/√3,1/√6,0,0)

P4(1,1/√3,1/√6,1/√10,0)→外す

P5(1,1/√3,1/√6,1/√10,3/√10)

 hγ5の基本単体の頂点は,σについて

P0(0,0,0,0,0)

P1(1,0,0,0,0)

P2(1,1/√3,0,0,0)

P3(1,1/√3,1/√6,0,0)

P4(1,1/√3,1/√6,1/√2,0)→外す

P5(1,1/√3,1/√6,1/√2,1/√2)

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