■DE群多面体の面数公式(その442)
また,対応相手がずれているようだ.ABCDを描いた図において
A=P0
B=Pn-1
C=Pn-2
D=P0
E=P1〜Pn-3
F=Pn-1
となる.
すると
P0・Pn-2=1/2
が成り立たないといけないが,これは二面角の条件を満たしていない.
===================================