■DE群多面体の面数公式(その422)
cosρ=√(4/7)
sinρ=√(3/7)
cosσ=1/√28
cos^2σ=1/28
cos2σ=2cos^2σ−1=−13/14
sin2σ=√27/14
cos(ρ+2σ)=−13・2/14√7−9/14/√7=−5/2√7
ρ+2σ≠π
===================================
cosρ=1/√21
sinρ=√(20/21)
cosσ=√(9/14)
cos^2σ=9/14
cos2σ=2cos^2σ−1=2/7
sin2σ=√45/7
cos(ρ+2σ)=2/7√21−30/7√21=−4/√21
ρ+2σ≠π
===================================
hγ6にはcosρ=3/4,cosσ=1/2√2となる二面角が存在することは確かめられなかった.
===================================