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

  cosθ=bn/{bn-1^2+bn^2}^1/2

を計算してみたい.

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

D6,ρについて

P0(0,0,0,0,0,0)

P1(1,0,0,0,0,0)

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

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

P4(1,1/√3,1/√6,1/√10,0,0)

P5(1,1/√3,1/√6,1/√10,1/√15,0)

P6(1,1/√3,1/√6,1/√10,1/√15,2/√3)

  cosθ=√3/2/{15+3/4}^1/2=√3/63=1/√21

σについて

P0(0,0,0,0,0,0)

P1(1,0,0,0,0,0)

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

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

P4(1,1/√3,1/√6,1/√10,0,0)

P5(1,1/√3,1/√6,1/√10,3/√10,0)

P6(1,1/√3,1/√6,1/√10,3/√10,1/√2)

  cosθ=√2/{10/9+2}^1/2=√2/√28/9)=3/√14

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