共円

初等幾何学における与えられた点の集合が共円（きょうえん、）であるとは、それらの点が全て同一円周上にあることを言う。
明らかに、共円である点とそれらが共有する円の中心との距離はどの点でも同じになる（円の半径に等しい）。平面上の同一直線上にない三点は必ず共円となるが、四点より多くの点では必ずしも共円とならない。
二等分線.
一般に、円の中心 と円周上の点 があれば、必ず線分の長さ と は等しくなければならないから（円の半径）、中心 は線分 の垂直二等分線上にある。
相異なる 点に対しては、 本の二等分線が引けるが、これらの点の共円条件はそれら二等分線がただ一点（それは共有する円の中心 となるべき点である）で交わることと述べられる。
共円多角形.
三角形の場合.
任意の三角形に対しその三つの頂点は必ず同一円周上にある（それがゆえに、「共円性」の定義としてより限定的に「四点より多くの点が同一円周上にあることと」とする文献もある）。三角形の三つの頂点がすべて載っている円は、その三角形の外接円と呼ばれる。与えられたひとつの三角形から導出できる頂点とは異なる複数の点の集合が（異なる複数の円に対して）共円になるということも起きる（九点円 やレスターの定理などを参照）。
共円点の集合が共有する円の半径は、定義により、それら共円点のうちの三つを頂点とする任意の円の外接円の半径に等しい。そのような三点の各二点間の距離を とすれば、共有円の半径は formula_1 で与えられる（三角形の外接円の方程式、半径および中心座標を表す式は外接円#三角形の外接円の項を参照）。
共円四角形.
四角形 のすべての頂点が共円であるとき、共円四辺形という。共円となるための必要十分条件は formula_2（円周角の定理の逆）であり、このような条件が満たされるにはその四角形の向かい合う内角が互いに補角となっていることが必要十分である。共円四辺形の辺の長さが隣り合う順に であり、半周長を と書くならば、外接円の半径を formula_3 で与えることができる。この式は15世紀のインドの数学者まで遡れる。
トレミーの定理により、四つの頂点 がこの順で並ぶ四辺形の、各二頂点間の距離が与えられているとき、その四辺形が共円となる必要十分条件は、対角線の長さの積が二組の対辺の積の和に等しいこと: formula_4 である。
ふたつの直線が、一方は線分 を含み他方は線分 を含んで、点 で交わるならば、四点 が共円となるための必要十分条件は formula_5 が満たされることである。このとき、交点 は共有円の内部にあるかもしれないし外部にあるかもしれない。これは方冪の定理である。
一般の多角形の場合.
より一般に、すべての頂点が共円であるような多角形は共円多角形または円内接多角形と言う。多角形が共円であるための必要十分条件は、そのすべての辺の垂直二等分線が共点直線族となることである
各種幾何学における共円性.
文献によっては共線点族（同一直線上に載っている点からなる集合）を共円点族の特別の場合とみなすこともある（これは直線を半径無限大の円と考える場合には自然な考えである）。このように考えることは、射影幾何学的な観点から、円に関する反転やメビウス変換を扱う場合には有意である（これらの変換は、この拡張した意味での共円性を保つ）。
複素数平面（複素数の実部および虚部をデカルト平面の -座標および -座標と見なしてできる平面）において、共円性はとくに簡単な定式化をもつ。複素数平面上の四点が共円または共線となるための必要十分条件は、それらの複比が実数となることである。
その他の性質.
五つ以上の点を含む点集合が共円となるための必要十分条件は、その任意の四点部分集合が共円となることである。この性質を、凸集合のもつの共円性版と見なすことができる。