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

D4,ρについて

P0(0,0,0,0)

P1(1,0,0,0)

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

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

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

  cosθ=6/{3+6}^1/2{6+2}^1/2=1/2

  cosθ=√2/{6+2}^1/2=1/2

σについて

P0(0,0,0,0)

P1(1,0,0,0)

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

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

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

  cosθ=6/{3+6}^1/2{6+2}^1/2=1/√2

  cosθ=√2/{6+2}^1/2=1/2

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