■オイラーの定理とフースの定理(その6)

 一般的なアルゴリズムを導き出すには,フースの定理の別証が参考になるものと思われる.それにしたがって,オイラーの定理の別証を書き換えてみたい.

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

【2】n=5の場合

 内接円の中心を原点にとる.外接円との交点をA(x1,−r),B(x2,y2),C(0,R+d)とすると,

  x1cosθ−rsinθ=r

  x2cosθ+y2sinθ=r

  x2cosφ+y2sinφ=r

  (R+d)sinφ=r

 また,外接円の中心O(0,d)と点A,点Bとの距離の2乗はR^2となることより

  x1^2+(r+d)^2=R^2

  x2^2+(y2−d)^2=R^2

 θとφを消去するにはどうしたらよいか?

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

【3】n=6の場合

 内接円の中心を原点にとる.外接円との交点をA(x1,−r),B(x2,y2),C(x3,r)とすると,

  x1cosθ−rsinθ=r

  x2cosθ+y2sinθ=r

  x2cosφ+y2sinφ=r

  x3cosφ+rsinφ=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+(r+d)^2=R^2

 θとφを消去するにはどうしたらよいか?

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