■基本単体の二面角(その187)

 ついでに,D3の場合も確認しておきたい.

 (R/ρ)^2=2    (n=3)

 R^2=1+1/3+an^2

 ρ^2=an^2

 (4/3+an^2)/an^2=2→an^2=4/3

 これは(その177)の求めた

 δn:aj=(2/j(j+1))^1/2,an=(n−2)/√(2n)

とは異なっている.

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