■基本単体の二面角(その186)
Dnでは(R/ρ)^2=n/2 (n≧4)
(R/ρ)^2=2 (n=3)
===================================
αn:aj=(2/j(j+1))^1/2,an=?
2/j(j+1)=2/j−2/(j+1)
R^2=1+1/3+1/6+1/10+・・・+2/n(n−1)+an^2
=2−2/n+an^2
ρ^2=an^2
(2−2/n+an^2)/an^2=n/2→an^2=4(n−1)/n(n−2)
===================================
[まとめ]
これは(その177)の求めた
δn:aj=(2/j(j+1))^1/2,an=(n−2)/√(2n)
とは異なっているが,(その177)は有限鏡映群であるのに対して,ここでは無限鏡映群を考えてるからであろう.
(その183)〜(その185)も無限鏡映群に対するものであろう.
===================================