■DE群多面体の面数公式(その858)

2arccosx=arccos(2x^2−1)

arccosx+arccosy=arccos(xy−√(1−x^2)√(1−y^2))

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

[1]221

ρについて

  cosθ=1/{16}^1/2=1/4

σについて

  cosθ=√(3/2)/{5/2+3/2}^1/2=√(3/2)√(1/4)=√(3/8)

ρ=arccos(1/4)

σ=arccos(√(3/8))とおくと,

2ρ=arccos(−7/8)

2σ=arccos(−1/4)

ρ+σ

=arccos(1/4・√(3/8)−√(15/16)・√(5/8)

==arccos(1/4・√(3/8)−5/4・√(3/8)

=arccos(−√(3/8))

[2]321

ρについて

  cosθ=√(7/9)/{21+7/9}^1/2=√(7/9)√(9/196)=√(1/28)

σについて

  cosθ=1/{3+1}^1/2=1/2

ρ=arccos(1/√28)

σ=arccos(1/2)とおくと,

2ρ=arccos(−13/14)

2σ=arccos(−1/2)

ρ+σ

=arccos(√(1/28)・1/2−√(27/28)・√3/2)=arccos(√(1/28)・1/2−9/2・√(1/28))

=arccos(−4/√28)

[3]421

ρについて

  cosθ=√(4/9)/{28+4/9}^1/2=√(4/9)√(9/256)=√(1/64)=1/8・・・3/4になっていない

σについて

  cosθ=1/√2/{7/2+1/2}^1/2=1/2√2

ρ=arccos(1/8)

σ=arccos(1/√8)とおくと,

2ρ=arccos(−31/32)

2σ=arccos(−3/4)

ρ+σ

=arccos(1/8・1/√8−√(63/64)・√(7/8))

=arccos(1/8・1/√8−21/8・1/√8)

=arccos(−20/8・1/√8)

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