■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となる二面角が存在することは確かめられなかった.

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