共円

初等幾何学における与えられた点の集合が共円（きょうえん、英: concyclic, cocyclic）であるとは、それらの点が全て同一円周上にあることを言う。 明らかに、共円である点とそれらが共有する円の中心との距離はどの点でも同じになる（円の半径に等しい）。平面上の同一直線上にない三点は必ず共円となるが、四点より多くの点では必ずしも共円とならない。 一般に、円の中心 O と円周上の点 P, Q があれば、必ず線分の長さ OP と OQ は等しくなければならないから（円の半径）、中心 O は線分 PQ の垂直二等分線上にある。 相異なる n 点に対しては、n(n − 1)/2 本の二等分線が引けるが、これらの点の共円条件はそれら二等分線がただ一点（それは共有する円の中心 O となるべき点である）で交わることと述べられる。 任意の三角形に対しその三つの頂点は必ず同一円周上にある（それがゆえに、「共円性」の定義として狭義的に「四点より多くの点が同一円周上にあることと」とする文献もある）。三角形の三つの頂点がすべて載っている円は、その三角形の外接円と呼ばれる。与えられたひとつの三角形から導出できる頂点とは異なる複数の点の集合が（異なる複数の円に対して）共円になるということも起きる（九点円 やレスターの定理などを参照）。 共円点の集合が共有する円の半径は、定義により、それら共円点のうちの三つを頂点とする任意の円の外接円の半径に等しい。そのような三点の各二点間の距離を a, b, c とすれば、共有円の半径は R = a 2 b 2 c 2 ( a + b + c ) ( − a + b + c ) ( a − b + c ) ( a + b − c ) {\displaystyle R={\sqrt {\frac {a^{2}b^{2}c^{2}}{(a+b+c)(-a+b+c)(a-b+c)(a+b-c)}}}} で与えられる（三角形の外接円の方程式、半径および中心座標を表す式は外接円#三角形の外接円の項を参照）。 四角形 ABCD のすべての頂点が共円であるとき、共円四辺形という。共円となるための必要十分条件は ∠ C A D = ∠ C B D {\textstyle \angle CAD=\angle CBD} （円周角の定理の逆）であり、このような条件が満たされるにはその四角形の向かい合う内角が互いに補角となっていることが必要十分である。共円四辺形の辺の長さが隣り合う順に a, b, c, d であり、半周長を s (≔ (a+b+c+d)/2) と書くならば、外接円の半径を R = 1 4 ( a b + c d ) ( a c + b d ) ( a d + b c ) ( s − a ) ( s − b ) ( s − c ) ( s − d ) {\displaystyle R={\frac {1}{4}}{\sqrt {\frac {(ab+cd)(ac+bd)(ad+bc)}{(s-a)(s-b)(s-c)(s-d)}}}} で与えることができる。この式は15世紀のインドの数学者パラメーシュヴァラ（英語版）まで遡れる。 トレミーの定理により、四つの頂点 A, B, C, D がこの順で並ぶ四辺形の、各二頂点間の距離が与えられているとき、その四辺形が共円となる必要十分条件は、対角線の長さの積が二組の対辺の積の和に等しいこと: A C ⋅ B D = A B ⋅ C D + B C ⋅ A D {\displaystyle AC\cdot BD=AB\cdot CD+BC\cdot AD} である。 ふたつの直線が、一方は線分 AC を含み他方は線分 BD を含んで、点 X で交わるならば、四点 A, B, C, D が共円となるための必要十分条件は A X ⋅ X C = B X ⋅ X D {\displaystyle AX\cdot XC=BX\cdot XD} が満たされることである。このとき、交点 X は共有円の内部にあるかもしれないし外部にあるかもしれない。これは方冪の定理である。 より一般に、すべての頂点が共円であるような多角形は共円多角形または円内接多角形と言う。多角形が共円であるための必要十分条件は、そのすべての辺の垂直二等分線が共点直線族となることである 文献によっては共線点族（同一直線上に載っている点からなる集合）を共円点族の特別の場合とみなすこともある（これは直線を半径無限大の円と考える場合には自然な考えである）。このように考えることは、射影幾何学的な観点から、円に関する反転やメビウス変換を扱う場合には有意である（これらの変換は、この拡張した意味での共円性を保つ）。 複素数平面（複素数の実部および虚部をデカルト平面の x-座標および y-座標と見なしてできる平面）において、共円性はとくに簡単な定式化をもつ。複素数平面上の四点が共円または共線となるための必要十分条件は、それらの複比が実数となることである。 五つ以上の点を含む点集合が共円となるための必要十分条件は、その任意の四点部分集合が共円となることである。この性質を、凸集合のもつヘリー性（英語版）の共円性版と見なすことができる。 任意の三角形において九点円と呼ばれる円を共有する九つの共円点が存在する。それら九点は: 各辺の中点、各頂垂線の足、各頂点と垂心の中点である。 レスターの定理の述べるところによれば、任意の不等辺三角形において、二つのフェルマー点、九点中心（英語版）（九点円の中心）、外心が共円である。 三角形の各辺に平行でルモワーヌ点を通るように三つの直線を引くならば、それら直線ともとの三角形の辺との交点として得られる六点は共円で、共有する円はルモワーヌ円と呼ばれる。 任意の三角形 T に付随するヴァン・ラモン円は、与えられた三角形の三つの中線によって T の内側に描かれる六つの三角形の外心をすべて周上に含む。 三角形の外心、ルモワーヌ点および最初のふたつのブロカール点は共円で、共有する円は外心とルモワーヌ点を結ぶ線分を直径とする。 多角形が共円であることは、そのすべての頂点が共円となることとして定義されるのであった。例えば任意の辺の数の正多角形は常にそのすべての頂点が共円である。 円外接多角形は、そのすべての辺に接するという意味で内接する内接円を持つ多角形のことである。したがって、それらすべての接点は内接円上で共円ということになる。 凸四辺形が直交対角線（英語版）である（つまり、たがいに直交する対角線を持つ）ための必要十分条件は、四つある各辺の中点と四つある中垂線（英語版）（中点から降ろした垂線）の足の八点が（「八点円」と呼ばれる円上で）共円となることである。 [脚注の使い方] ^ ホモロジー代数におけるコサイクル (cocycle) と混同してはならない。 ^ Libeskind 2008, p. 21. ^ Elliott 1902, p. 126. ^ Isaacs 2009, p. 63. ^ Yiu 2010. ^ Pedoe 1997, p. xxii. ^ Alsina & Nelsen2007. ^ Hoehn 2000. ^ Bradley 2007, p. 179. ^ Byer, Lazebnik & Smeltzer 2010, p. 77. ^ Zwikker 2005, p. 24. ^ Hahn 1996, p. 65. ^ Pedoe 1988, p. 431. ^ Scott 1999. AlsinaClaudi; NelsenRoger B.「On the diagonals of a cyclic quadrilateral」（PDF）『Forum Geometricorum』第7巻、147–149頁、2007年。http://forumgeom.fau.edu/FG2007volume7/FG200720.pdf。  Bradley, Christopher J. (2 007), The Algebra of Geometry: Cartesian, Areal and Projective Co-Ordinates, Highperception, ISBN 1906338000, OCLC 213434422  Byer, Owen; Lazebnik, Felix; Smeltzer, Deirdre L. (2010), Methods for Euclidean Geometry, Mathematical Association of America, ISBN 9780883857632  Elliott, John (1902), Elementary Geometry, Swan Sonnenschein & co.  Hahn, Liang-shin (1996), Complex Numbers and Geometry, MAA Spectrum (2nd ed.), Cambridge University Press, ISBN 9780883855102  Hoehn, Larry (March 2000), “Circumradius of a cyclic quadrilateral”, Mathematical Gazette 84 (499): 69–70, JSTOR 3621477, https://jstor.org/stable/3621477  Isaacs, I. Martin (2009), Geometry for College Students, Pure and Applied Undergraduate Texts, 8, American Mathematical Society, ISBN 9780821847947  Libeskind, Shlomo (2008), Euclidean and Transformational Geometry: A Deductive Inquiry, Jones & Bartlett Learning, ISBN 9780763743666  Pedoe, Dan (1988), Geometry: A Comprehensive Course, Courier Dover Publications, ISBN 9780486658124  Pedoe, Dan (1997), Circles: A Mathematical View, MAA Spectrum (2nd ed.), Cambridge University Press, ISBN 9780883855188  Scott, J. A. (November 1999), “Some examples of the use of areal coordinates in triangle geometry”, Mathematical Gazette 83: 472–477  YiuPaul「The circles of Lester, Evans, Parry, and their generalizations」『Forum Geometricorum』第10巻、175–209頁、2010年。MR2868943。http://forumgeom.fau.edu/FG2010volume10/FG201020.pdf。  Zwikker, C. (2005), The Advanced Geometry of Plane Curves and Their Applications, Courier Dover Publications, ISBN 9780486442761  Weisstein, Eric W. "Concyclic". mathworld.wolfram.com (英語). concyclic - PlanetMath.（英語） Definition:Concyclic at ProofWiki Four Concyclic Points by Michael Schreiber, The Wolfram Demonstrations Project. ウィキメディア・コモンズには、共円に関連するカテゴリがあります。