■DE群多面体の面数公式(その930)
2ρ,2σ,ρ+σのいずれも可能であることが確かめられた.
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)
===================================