カーライル円とは - わかりやすく解説 Weblio辞書

カーライル円

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/07/25 13:24 UTC 版)

カーライル円（カーライルえん、英: Carlyle circle）とは、数学において座標平面上で二次方程式と関連した円である。トーマス・カーライル (1795–1881) にちなんで名づけられた。カーライル円は、その二次方程式の（実数）解が水平な座標軸の交点の座標として現れるという性質を持っている。カーライル円は、正多角形を定規とコンパスのみを用いて作図するために使われる。

定義

二次方程式

x 2 - sx + p = 0

のカーライル円とは、座標平面上の円で、2点 A(0, 1), B(s, p) を結ぶ線分が直径であるようなものをいう^[1] ^[2] ^[3]。

定義と方程式の関係

線分ABを直径に持つ円の方程式は以下のようになる。

x (x - s) + (y - 1)(y - p) = 0.

この円の x 切片（x 軸との交点）の満たす方程式は、上の方程式に y = 0 を代入することで得られる。すると、対応する二次方程式に一致すること分かる。

x 2 - sx + p = 0.

正多角形の作図

カーライル円を使った正五角形の作図

カーライル円を使った正十七角形の作図

カーライル円を使った正257角形の作図

正五角形

正五角形の作図は、次の方程式の複素数解を求める問題と同値である:

z 5 - 1 = 0.

この解のひとつは、 $z 0 = 1$ であり、これは点 $P 0 (1, 0)$ に対応する。この解に対応する因数 $(x - 1)$ で左辺を割ると、方程式は以下のようになる。

z 4 + z 3 + z 2 + z + 1 = 0.

ここで、方程式の解は $\omega =\exp(2\pi i/5)$

Leslie の問題に対する、カーライルの解法。与えられた長方形CEFD（赤）に面積が等しく、与えられた線分BCと隣り合う2辺の長さの和が等しい、長方形BHIK（緑）を作図している。

Howard Eves (1911–2004) いわく、数学者 John Leslie (1766–1832) が幾何学的な二次方程式の解の作図法を書籍 "Elements of Geometry" の中で生徒トーマス・カーライル (1795–1881) のアイディアに基づいたという注記とともに記した^[4]。ただし、Leslieの本では現在のカーライル円に相当する方法での作図法を述べてはいるものの、初等幾何的な用語のみを用いて説明されており、直交座標系や二次方程式とその根による記法はない^[5]。

1867年にオーストリアのエンジニア Eduard Lill は多項式の根を得る図形的な方法を発表した(Lillの方法)。この方法を二次関数に用いると、Leslie の問題に対するカーライルの解の作図において、斜辺がカーライル円の直径となっている台形（図では茶色の台形）を得る。G. A. Miller（1925）は、Lillの方法を規格化された（2次の係数を1にした）二次方程式に用いれば、その方程式の根を得ることができることを示し、のちにカーライル円として知られる現代的な定義を明示した^[6]。

Eves は "Introduction to the History of Mathematics" (1953) の中で、現代的な意味でのカーライル円を練習問題で使い、この円が Leslie や Carlyle と関連していることを述べた。^[4] 後の出版物では、この円を"Carly circle", "Carlyle method" あるいは "Carlyle algorithm", ドイツ語圏においては "Lill circle (Lill-Kreis)" などとも読んだ^[7]。DeTemple (1989, 1991) は、カーライル円を使った定規とコンパスによる正多角形（特に、正五角形、正十七角形、正二百五十七角形、正六万五千五百三十七角形）の作図法を考案した。Ladislav Beran (1999) は、カーライル円を使って規格化された二次方程式の複素数根を作図する方法を示した^[8]。

出典

^ E. John Hornsby, Jr.: Geometrical and Graphical Solutions of Quadratic Equations.
^ Weisstein, Eric W. “Carlyle Circle”. From MathWorld—A Wolfram Web Resource. 2013年5月21日閲覧。
^ ^a ^b ^c ^d ^e DeTemple, Duane W. (Feb 1991). “Carlyle circles and Lemoine simplicity of polygon constructions”. The American Mathematical Monthly 98 (2): 97–208. doi:10.2307/2323939. オリジナルの2016-01-31時点によるアーカイブ。 2011年11月6日閲覧。.
^ ^a ^b See for instance Hornsby, DeTemple or Howard Eves: An Introduction into the History of Mathematics.
^ John Leslie: Elements of geometry and plane trigonometry: With an appendix, and copious notes and illustrations.
^ G. A. Miller: Geometric Solution of the Quadratic Equation.
^ Rainer Kaenders (ed.), Reinhard Schmidt (ed.): Mit GeoGebra mehr Mathematik verstehen. Springer Spektrum, 2nd edition, 2014, ISBN 978-3-658-04222-6, pp. 68-71 (German)
^ Ladislav Beran: The Complex Roots of a Quadratic from a Circle.

カーライル円とは？わかりやすく解説