■単純リー環を使った面数数え上げ(その178)
tan54°=τ(τ^2+1)^1/2/√5={(5+2√5)/5}^1/2
を使って,デルタ10面体の鋭角の二面角を求めてみよう.
===================================
1辺の長さを2とする正五角錐の高さは,ピタゴラスの定理より
H^2=3−(5+2√5)/5=(10−2√5)/5
二面角をδとすると,
δ/2=arctan(H/{(5+2√5)/5}^1/2)
δ/2=arctan(3−√5)
δ=2arctan(3−√5)=74.7548
===================================