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

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