■単純リー環を使った面数数え上げ(その139)
h=24/(10−p−q)−2 (スタインバーグの公式)
を用いると
sin(π/h)={1−cos^2(π/p)−cos^2(π/q)}^1/2
cos^2(π/h)=cos^2(π/p)+cos^2(π/q)
となるので,
P0P1=1
P1P2=cot(π/p)
P0P2=cosec(π/p)=1/sin(π/p)
P0P3=sin(π/q)
P2P3=cos(π/p)cos(π/q)/sin(π/p)sin(π/h)
P1P3=cos(π/p)/sin(π/h)
正12面体{p,q}={5,3}
正20面体{p,q}={3,5}
とも,
h=10
===================================