ポンスレーの定理は三角形に限らず，一般のｎ角形についても成り立つ．また，２つの円を２つの楕円ばかりか，どんな円錐曲線に置き換えても成立する．

　解析幾何学を用いると

　　Ｒ^2−２Ｒｒ＝ｄ^2　　　（オイラーの定理）

　　２ｒ^2（Ｒ^2＋ｄ^2）＝（Ｒ^2−ｄ^2）^2 　　　（フースの定理）

は大学入試程度の問題に還元できることがわかった．フースは双心五角形，六角形，七角形，八角形に関する同様の公式も見つけているが，その論文（Nova Acta Petropol XIII, 1798）を入手するのは難しそうである．そこで，今回のコラムでは，解析幾何学を用いて，双心五角形，六角形，七角形，八角形，（九角形，十角形，・・・）の場合を扱ってみたい．

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

【１】アルゴリズム

　外接円：ｘ^2＋ｙ^2＝Ｒ^2

上の２点を（ｘk，ｙk），（ｘk+1，ｙk+1）とおく．

　　ｘk^2＋ｙk^2＝Ｒ^2

　　ｘk+1^2＋ｙk+1^2＝Ｒ^2

　この２点を結ぶ直線：

　　ｙ−ｙk＝ｍk（ｘ−ｘk），ｍk＝（ｙk+1−ｙk）／（ｘk+1−ｘk）

が，

　　内接円：（ｘ−ｄ）^2＋ｙ^2＝ｒ^2

に接することから，判別式＝０とおいて，

　　｛ｄ＋ｍk（ｍkｘk−ｙk）｝^2−（１＋ｍk^2）｛ｄ^2＋（ｍkｘk−ｙk）^2−ｒ^2｝＝０

が得られる．

　初期値（ｘ0，ｙ0）＝（Ｒ，０）から始まって，（ｘ1，ｙ1），（ｘ2，ｙ2），・・・が満たす連立方程式を求める．

［１］ｘk+1＝ｄ−ｒとなるときの（Ｒ，ｒ，ｄ）の関係式を求める．

　　ｋ＝０（ｎ＝３）

　　ｋ＝１（ｎ＝５）

　　ｋ＝２（ｎ＝７）

　　ｋ＝３（ｎ＝９）

［２］ｘk+1＝−Ｒ，ｙk+1＝０となるときの（Ｒ，ｒ，ｄ）の関係式を求める．

　　ｋ＝１（ｎ＝４）

　　ｋ＝２（ｎ＝６）

　　ｋ＝３（ｎ＝８）

　　ｋ＝４（ｎ＝１０）

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

【２】ｎ＝５の場合

　外接円：ｘ^2＋ｙ^2＝Ｒ^2

上の２点を（ｘk，ｙk），（ｘk+1，ｙk+1）とおく．

　　ｘk^2＋ｙk^2＝Ｒ^2

　　ｘk+1^2＋ｙk+1^2＝Ｒ^2

　この２点を結ぶ直線：

　　ｙ−ｙk＝ｍk（ｘ−ｘk），ｍk＝（ｙk+1−ｙk）／（ｘk+1−ｘk）

が，

　　内接円：（ｘ−ｄ）^2＋ｙ^2＝ｒ^2

に接することから，判別式＝０とおいて，

　　｛ｄ＋ｍk（ｍkｘk−ｙk）｝^2−（１＋ｍk^2）｛ｄ^2＋（ｍkｘk−ｙk）^2−ｒ^2｝＝０が得られる．

　初期値（ｘ0，ｙ0）＝（Ｒ，０）から始まって，（ｘ1，ｙ1），（ｘ2，ｙ2），・・・が満たす連立方程式を求める．

　ｘk+1＝ｄ−ｒとなるときの（Ｒ，ｒ，ｄ）の関係式を求める（ｋ＝１，ｎ＝５）．ｄ＝０とおいたとき，

　　ｒ／Ｒ＝ｃｏｓ（π／５）

であれば，正解が得られていることが確認できる．

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

【３】ｎ＝６の場合

　外接円：ｘ^2＋ｙ^2＝Ｒ^2

上の２点を（ｘk，ｙk），（ｘk+1，ｙk+1）とおく．

　　ｘk^2＋ｙk^2＝Ｒ^2

　　ｘk+1^2＋ｙk+1^2＝Ｒ^2

　この２点を結ぶ直線：

　　ｙ−ｙk＝ｍk（ｘ−ｘk），ｍk＝（ｙk+1−ｙk）／（ｘk+1−ｘk）

が，

　　内接円：（ｘ−ｄ）^2＋ｙ^2＝ｒ^2

に接することから，判別式＝０とおいて，

　　｛ｄ＋ｍk（ｍkｘk−ｙk）｝^2−（１＋ｍk^2）｛ｄ^2＋（ｍkｘk−ｙk）^2−ｒ^2｝＝０が得られる．

　初期値（ｘ0，ｙ0）＝（Ｒ，０）から始まって，（ｘ1，ｙ1），（ｘ2，ｙ2），・・・が満たす連立方程式を求める．

　ｘk+1＝−Ｒ，ｙk+1＝０となるときの（Ｒ，ｒ，ｄ）の関係式を求める（ｋ＝２，ｎ＝６）．ｄ＝０とおいたとき，

　　ｒ／Ｒ＝ｃｏｓ（π／６）

であれば，正解が得られていることが確認できる．

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