■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
===================================