■直観幾何学研究会2023(その23)
【4】星形7/3角形の場合
内接円の中心を原点にとる.外接円との交点をA(x1,−r),B(x2,y2),C(x3,y3),D(0,R+d)とすると,
x1cosθ−rsinθ=r
x2cosθ+y2sinθ=r
x2cosφ+y2sinφ=r
x3cosφ+y3sinφ=r
x3cosψ+y3sinψ=r
(R+d)sinψ=r
また,外接円の中心O(0,d)と点A,点B,点Cとの距離の2乗はR^2となることより
x1^2+(r+d)^2=R^2
x2^2+(y2−d)^2=R^2
x3^2+(y3−d)^2=R^2
実際に定式化してみると,星形7/3角形では星形でない場合とまったく同一の問題になることがわかるだろう.このことにより,星形7/3角形の場合の解はすでに双心n角形の基底の計算の中に現れていたことになる.
星形9/4角形では星形9/2角形の場合とまったく同一の問題になる.また,8角形・10角形に対しては星形8/3,10/3角形も考えられるところであるが,この場合も実際に定式化してみると,星形でない場合とまったく同一の問題になることがわかるだろう.
===================================