■DE群多面体の面数公式(その865)
3次元の場合はともかくとして,二面角が直角以下になることは考えにくいだろう.
===================================
[2]E4
ρについて
cosθ=√10/3/{6+10/9}^1/2=√10/8
σについて
cosθ=√10/2/{3/2+10/4}^1/2=√10/4
ρ=arccos(√10/8)
σ=arccos(√10/4)とおくと,
2ρ=arccos(−44/64)
2σ=arccos(4/16)・・・考えにくい
ρ+σ
=arccos(√10/8・√10/4−√54/8・√6/4)
=arccos{(10−6・9)/32}
=arccos(−44/32)
[3]E5
ρについて
cosθ=1/√10
σについて
cosθ=1/√2
ρ=arccos(1/√10)
σ=arccos(1/√2)とおくと,
2ρ=arccos(−8/10)
2σ=arccos(0)・・・考えにくい
ρ+σ
=arccos(1/√10・1/√2−3/√10・1/√2)
=arccos(−2/√20)
=arccos(−1/√5)
===================================