■五芒星と掛谷の問題(その10)
n芒星、m/n角形、m=(n-1)/2を描くために最初に用いた方法は
ポンスレーの定理から
大円R, 小円r, R=rsec(mπ/n)
であった。R=1とするとr=cos(mπ/n)
このとき小円の外接円の半径は
r=cos(mπ/n)/cos(π/n)
で与えられる。
===================================
これでよしと思ったのだが、得られたrはやや小さい値であった。
===================================