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

D5,ρについて

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)

σについて

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)→E5に一致

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

P1を外してみると

D5,ρについて

P0(0,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)

P0P5^2=1+1/3+1/6+1/10+9/10

P2P5^2=1/6+1/10+9/10

P3P5^2=1/10+9/10

P4P5^2=9/10

σについて

P0(0,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)→E5に一致

P0P5^2=1+1/3+1/6+1/2+1/2

P2P5^2=1/6+1/2+1/2

P3P5^2=1/2+1/2

P4P5^2=1/2***ここが異なっている.

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

[まとめ]Pn-1を外した面では接合するが,P1を外しても接合しない.

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