■基本単体の二面角(その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)も無限鏡映群に対するものであろう.

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