そろそろ計算量の限界にさしかかるかもしれんが，ｎ＝９の場合にとりかかりたい．条件式はｎ＝７をもとに変数を増やす（推して知るべし）ということであろう．　　（阪本ひろむ）

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【１】ｎ＝９の場合

　内接円の中心を原点にとる．外接円との交点をＡ（ｘ1，−ｒ），Ｂ（ｘ2，ｙ2），Ｃ（ｘ3，ｙ3），Ｄ（ｘ4，ｙ4），Ｅ（０，Ｒ＋ｄ）とすると，

　　ｘ1ｃｏｓα−ｒｓｉｎα＝ｒ

　　ｘ2ｃｏｓα＋ｙ2ｓｉｎα＝ｒ

　　ｘ2ｃｏｓβ＋ｙ2ｓｉｎβ＝ｒ

　　ｘ3ｃｏｓβ＋ｙ3ｓｉｎβ＝ｒ

　　ｘ3ｃｏｓγ＋ｙ3ｓｉｎγ＝ｒ

　　ｘ4ｃｏｓγ＋ｙ4ｓｉｎγ＝ｒ

　　ｘ4ｃｏｓδ＋ｙ4ｓｉｎδ＝ｒ

　　（Ｒ＋ｄ）ｓｉｎδ＝ｒ

　また，外接円の中心Ｏ（０，ｄ）と点Ａ，点Ｂ，点Ｃ，点Ｄとの距離の２乗はＲ^2となることより

　　ｘ1^2＋（ｒ＋ｄ）^2＝Ｒ^2

　　ｘ2^2＋（ｙ2−ｄ）^2＝Ｒ^2

　　ｘ3^2＋（ｙ3−ｄ）^2＝Ｒ^2

　　ｘ4^2＋（ｙ4−ｄ）^2＝Ｒ^2

　α，β，γ，δを消去するにはどうしたらよいか？

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【２】ｎ＝１０の場合

　内接円の中心を原点にとる．外接円との交点をＡ（ｘ1，−ｒ），Ｂ（ｘ2，ｙ2），Ｃ（ｘ3，ｙ3），Ｄ（ｘ4，ｙ4），Ｅ（ｘ5，ｒ）とすると，

　　ｘ1ｃｏｓα−ｒｓｉｎα＝ｒ

　　ｘ2ｃｏｓα＋ｙ2ｓｉｎα＝ｒ

　　ｘ2ｃｏｓβ＋ｙ2ｓｉｎβ＝ｒ

　　ｘ3ｃｏｓβ＋ｙ3ｓｉｎβ＝ｒ

　　ｘ3ｃｏｓγ＋ｙ3ｓｉｎγ＝ｒ

　　ｘ4ｃｏｓγ＋ｙ4ｓｉｎγ＝ｒ

　　ｘ4ｃｏｓδ＋ｙ4ｓｉｎδ＝ｒ

　　ｘ5ｃｏｓδ＋ｒｓｉｎδ＝ｒ

　また，外接円の中心Ｏ（０，−ｄ）と点Ａ，点Ｂ，点Ｃ，点Ｄとの距離の２乗はＲ^2となることより

　　ｘ1^2＋（ｒ−ｄ）^2＝Ｒ^2

　　ｘ2^2＋（ｙ2＋ｄ）^2＝Ｒ^2

　　ｘ3^2＋（ｙ3＋ｄ）^2＝Ｒ^2

　　ｘ4^2＋（ｙ4＋ｄ）^2＝Ｒ^2

　　ｘ5^2＋（ｒ＋ｄ）^2＝Ｒ^2

　α，β，γ，δを消去するにはどうしたらよいか？

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝