■DE群多面体の面数公式(その274)
cos2ρ=1/8,cos^2σ=1/8,cosσ=1/2√2
cos2ρ=2cos^2ρ−1=1/8,cos^2σ=1/8
cosρ=3/4,cos2σ=2cos^2σ−1=−3/4
sinρ=√7/4,sin2σ=√7/4
cos(ρ+2σ)=−9/16−7/16=−1
ρ+2σ=π
E群のαn-1にはcosρ=3/4
βn-1にはcosσ=1/2√2
となる二面角が存在することが確かめられた.
それらはαn-1,βn-1のn−1次元面の中心,n−2次元面の中心を抜いた辺面同士の二面角であった.
===================================