■サマーヴィルの等面四面体(その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
===================================