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