■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を外しても接合しない.
===================================