■正多胞体の不変量(その104)
0qr=trαn
pq0=αp+q+1,p11=βp+3,1q1=hγq+3
pqrのファセットはp(q-1)rとpq(r-1)
pqrの頂点図形は(p−1)qr
であるから,
D4=111,D5=211について,
111のファセットは101と110=hγ3=α3
211のファセットは201と210=α4・・・とはならない.
===================================
D4=hγ4=β4のファセットはα3であるが,
D5=hγ5のファセットはα4とhγ4=β4であるであるからである.この意味で,D5=E5といえる.
===================================