■サマーヴィルの等面四面体(その433)

 コクセターの論文覚え書き.

 分数,たとえば,

  x1−1/(x2−1/x3)

=x1−x3/(x2x3−1)

=(x1x2x3−x1−x3)/(x2x3−1)

であるが,連分数とは,これを

  x1−1/x2−1/x3

と記述している.

  1−cp/1−cq/1−crでは

=1−cp/(1−cq/(1−cr))

=1−cp(1−cr)/(1−cr−cq)

={1−cr−cq−cp(1−cr)}/(1−cr−cq)

 cp=1/4,cq=1/4とおくと

={4−4cr−1−(1−cr)}/(4−4cr−1)

=(2−3cr)/(3−4cr)

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

 cr=cos^2π/r=2/3のとき,

  1−cp/1−cq/1−cr=0

  π/r=arccos(√(2/3))

  r=π/arccos(√(2/3))=5.1043

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