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

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