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

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

を計算してみたい.

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

 421の基本単体の頂点は,ρについて

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

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

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

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

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

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

P6(1,1/√3,1/√6,1/√10,1/√15,1/√21,0,0)

P7(1,1/√3,1/√6,1/√10,1/√15,1/√21,1/√28,0)

P7(1,1/√3,1/√6,1/√10,1/√15,1/√21,1/√28,√(9/4))

  cosθ=√(4/9)/{28+4/9}^1/2=√(4/9)√(9/256)=√(1/64)=1/8・・・3/4になっていない

σについて

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

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

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

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

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

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

P6(1,1/√3,1/√6,1/√10,1/√15,1/√21,0,0)

P7(1,1/√3,1/√6,1/√10,1/√15,1/√21,1/√28,√(2/7),0)

P8(1,1/√3,1/√6,1/√10,1/√15,1/√21,√(2/7),√2)

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

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