カーライル円

カーライル円（カーライルえん、）とは、数学において座標平面上で二次方程式と関連した円である。トーマス・カーライル (1795–1881) にちなんで名づけられた。カーライル円は、その二次方程式の（実数）解が水平な座標軸の交点の座標として現れるという性質を持っている。カーライル円は、正多角形を定規とコンパスのみを用いて作図するために使われる。 
定義.
二次方程式
のカーライル円とは、座標平面上の円で、2点 A(0, 1), B("s", "p") を結ぶ線分が直径であるようなものをいう
定義と方程式の関係.
線分ABを直径に持つ円の方程式は以下のようになる。
この円の "x" 切片（"x" 軸との交点）の満たす方程式は、上の方程式に "y" = 0 を代入することで得られる。すると、対応する二次方程式に一致すること分かる。
正多角形の作図.
正五角形.
正五角形の作図は、次の方程式の複素数解を求める問題と同値である:
この解のひとつは、 であり、これは点 に対応する。この解に対応する因数 で左辺を割ると、方程式は以下のようになる。
ここで、方程式の解は formula_1 を用いて と書ける。これらに対応する点を とする。さらに
とおくと、
これにより、 は次の二次方程式の解と分かる。（formula_2 より が実数であることに注意)
この二次方程式のカーライル円は、 線分 (0, 1) (−1, −1) を直径にもつ、すなわち中心を (−1/2, 0) にもつ円である。このカーライル円を使って、点 ("p", 0) および 点 ("p", 0) を作図することができる。定義より、 "p" と "p" は以下の式を満たす
これを使うことで を作図することができる。
カーライル円を使った正五角形の作図法の詳細は以下のとおりである。
正十七角形.
おなじようにして、正十七角形を作図することができる。作図法は、画像にあるとおりである。
正257角形.
正257角形の作図には、24 ものカーライル円が使われる。このなかには二次方程式 を解くものがある。
正65537角形.
カーライル円を用いて正65537角形を作図する方法が存在する。ただし、現実の操作としてこれを行うとすると実際上の問題に直面することになる。その一つは、 に対応する巨大な円を書かなければならない点である。
歴史.
Howard Eves (1911–2004) いわく、数学者 John Leslie (1766–1832) が幾何学的な二次方程式の解の作図法を書籍" "Elements of Geometry"" の中で生徒 トーマス・カーライル (1795–1881) のアイディアに基づいたという注記とともに記した。ただし、Leslieの本では現在のカーライル円に相当する方法での作図法を述べてはいるものの、初等幾何的な用語のみを用いて説明されており、直交座標系や二次方程式とその根による記法はない。
1867年にオーストリアのエンジニア Eduard Lill は多項式の根を得る図形的な方法を発表した(Lillの方法)。この方法を二次関数に用いると、Leslie の問題に対するカーライルの解の作図において、斜辺がカーライル円の直径となっている台形（図では茶色の台形）を得る。G. A. Miller（1925）は、Lillの方法を規格化された（2次の係数を1にした）二次方程式に用いれば、その方程式の根を得ることができることを示し、のちにカーライル円として知られる現代的な定義を明示した。
Eves は "Introduction to the History of Mathematics" (1953) の中で、現代的な意味でのカーライル円を練習問題で使い、この円が Leslie や Carlyle と関連していることを述べた。 後の出版物では、この円を""Carly circle", "Carlyle method" あるいは "Carlyle algorithm", ドイツ語圏においては "Lill circle" ("Lill-Kreis")" などとも読んだ。DeTemple (1989, 1991) は、カーライル円を使った定規とコンパスによる正多角形（特に、正五角形、正十七角形、正二百五十七角形、正六万五千五百三十七角形）の作図法を考案した。Ladislav Beran (1999) は、カーライル円を使って規格化された二次方程式の複素数根を作図する方法を示した。