■単純リー環を使った面数数え上げ(その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

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