# concyclic

In any geometry where a circle is defined, a collection of points are said to be concyclic if there is a circle that is incident with all the points.

Remarks. Suppose all points being considered below lie in a Euclidean plane.

• Any two points $P,Q$ are concyclic. In fact, there are infinitely many circles that are incident to both $P$ and $Q$. If $P\neq Q$, then the pencil $\mathfrak{P}$ of circles incident with $P$ and $Q$ share the property that their centers are collinear. It is easy to see that any point on the perpendicular bisector of $\overline{PQ}$ serves as the center of a unique circle in $\mathfrak{P}$.

• Any three non-collinear points $P,Q,R$ are concyclic to a unique circle $c$. From the three points, take any two perpendicular bisectors, say of $\overline{PQ}$ and $\overline{PR}$. Then their intersection $O$ is the center of $c$, whose radius is $|OP|$.

• Four distinct points $A,B,C,D$ are concyclic iff $\angle CAD=\angle CBD$.

Title concyclic Concyclic 2013-03-22 16:07:58 2013-03-22 16:07:58 CWoo (3771) CWoo (3771) 7 CWoo (3771) Definition msc 51-00
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 18, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}