■オイラーの定理とフースの定理(その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
θとφを消去するにはどうしたらよいか?
===================================