Fact-checked by Grok 2 weeks ago

Circumcircle

In , the circumcircle of a is the unique that passes through all three vertices of the triangle. Its center, known as the circumcenter, is the point equidistant from all vertices and lies at the of the bisectors of the triangle's sides. The radius of this circle, called the circumradius and denoted by R, measures the distance from the circumcenter to any vertex. The existence and uniqueness of the circumcircle for any were established in ancient Greek geometry, specifically in Proposition 5 of Book IV of Euclid's Elements, which provides a using the bisectors to locate the circumcenter and draw the circle. Key properties include the fact that the circumcenter's position relative to the varies: it lies inside acute triangles, on the hypotenuse of right triangles, and outside obtuse triangles. Additionally, the circumcircle plays a central role in theorems, such as the extended , which states that for a with sides a, b, c opposite angles A, B, C respectively, a / \sin A = b / \sin B = c / \sin C = 2R. Notable applications of the circumcircle extend to cyclic polygons, where all vertices lie on , enabling properties such as opposite angles in cyclic quadrilaterals summing to 180 degrees. It also underlies advanced concepts, such as the empty circumcircle property in Delaunay triangulations, in which the circumcircle of every contains no other points in its interior. The circumradius R = \frac{abc}{4K}, where K is the 's area, further quantifies its size based on side lengths and area.

Fundamentals

Definition

In , the circumcircle of a is defined as the unique that passes through all three vertices of the triangle. This circle is said to circumscribe the triangle, or equivalently, the triangle is inscribed within the circle. The center of the circumcircle is known as the circumcenter, which is the point equidistant from all three vertices. The distance from the circumcenter to any vertex is the circumradius, representing the radius of the circumcircle. Visually, the inscribed divides the circumcircle into three , each corresponding to the between two vertices, with the sides of the triangle serving as chords of . The concept of the circumcircle originates in , where described its construction in his , Book IV, Proposition 5, around 300 BCE. In contrast, the incircle of a is the circle tangent to all three sides.

Existence and Uniqueness

The existence of a circumcircle for a relies on the fundamental assumption that the triangle is non-degenerate, meaning its three vertices are not collinear. In , any three non-collinear points in the plane determine a unique that passes through all three, which serves as the circumcircle of the triangle formed by those points. To establish existence, consider the perpendicular bisectors of the triangle's sides—these are lines perpendicular to each side at its . The of any two such bisectors yields a point equidistant from all three vertices, forming the center of a that passes through them. This point lies on the third bisector as well, confirming the circle's validity for the entire triangle. Uniqueness follows directly from the geometric property that only one point in the can be from three given non-collinear points. If another circle existed with a different from the vertices, it would contradict the sole intersection of the bisectors, as proven by assuming a second and showing it must coincide with the first. In degenerate cases, such as three collinear points, no circumcircle exists because no finite circle can pass through all three without violating the non-collinear requirement; the perpendicular bisectors would be parallel or coincident, failing to intersect at a single point. For an , the circumcenter coincides with the , reinforcing the theorem's applicability across all non-degenerate configurations.

Constructions

Straightedge and Compass Construction

The of the circumcircle for a given ABC proceeds by first locating the circumcenter, the point equidistant from all three , through the of bisectors. Begin by drawing the using the . Then, construct the bisector of at least two sides, say AB and BC. To construct the bisector of AB, place the point at A and draw an with greater than half of AB; repeat from B with the same to the previous at two points, then connect these points with the to form the bisector line. Repeat the process for side BC. The of these two bisectors is the circumcenter O. Finally, place the point at O with equal to the distance from O to any , such as A, and draw the circle, which passes through A, B, and C. This method works because the perpendicular bisector of a side, such as AB, is the locus of all points from A and B, as any point on the bisector forms congruent right triangles with the endpoints by the congruence criterion. Thus, the intersection O of two such bisectors is from A and B (from the first bisector) and from B and C (from the second), and by extension from A and C, ensuring the circle centered at O with radius OA passes through all vertices. The construction adheres strictly to Euclidean tools: an unmarked straightedge for drawing lines between existing points and a collapsible compass for transferring distances without numerical measurement, limiting operations to intersections of lines and circles. A common pitfall arises in obtuse triangles, where the circumcenter lies outside the triangle, potentially making the bisectors' intersection harder to locate accurately if arcs are not drawn with sufficient radius or if the external position is overlooked, leading to imprecise vertex-to-center distances.

Alternative Constructions

One efficient geometric method to locate the circumcenter involves constructing only two bisectors of the triangle's sides, as their determines the center; the third bisector serves merely for verification and is unnecessary for the construction itself. This approach reduces steps compared to drawing all three, while preserving the standard and tools. In special cases, such as equilateral triangles, the circumcenter coincides with the , allowing the use of angle bisectors alongside or instead of perpendicular bisectors for efficiency, since the angle bisector from any passes through the midpoint of the opposite side and the circumcenter. An alternative to the and method is the compass-only construction, enabled by the Mohr-Mascheroni theorem, which states that any Euclidean construction achievable with both tools can be performed using a compass alone. To construct the circumcircle this way, first use intersecting circles to find midpoints of the sides (simulating perpendicular bisectors via circle inversions and intersections), then locate their concurrency point as the center, and finally draw the circle with radius equal to the distance from the center to a —all without straight lines. This pure geometric approach highlights the theorem's power for theoretical or constrained settings, such as when a is unavailable. Historically, provided the foundational construction in his (Book IV, Proposition 5), where the circumcircle is obtained by erecting perpendicular bisectors at the midpoints of two sides (found via equal-radius circles centered at endpoints) and drawing the circle through the vertices from their . This method, dating to around 300 BCE, remains the seminal ancient technique and differs subtly from modern presentations by integrating constructions explicitly. For special cases involving advanced figures, the —formed by the feet of perpendiculars from a point on the circumcircle to the triangle's sides—can aid verification or in configurations where the point is known, though it is not a primary construction tool. In modern , software like approximates the circumcircle by solving for the perpendicular bisector intersections algebraically from coordinates, offering rapid but diverging from classical geometric purity.

Geometric Location

Position Relative to the Triangle

The position of the circumcenter, defined as the center of the circle passing through all three vertices of a triangle, varies depending on the triangle's angle measures. In an acute triangle, where all angles are less than 90 degrees, the circumcenter lies inside the triangle, typically near the centroid due to the balanced distribution of perpendicular bisectors. This internal placement ensures the circumcircle encompasses the triangle without extending beyond its boundaries in a way that displaces the center outward. For a , with one exactly 90 degrees, the circumcenter is located at the midpoint of the , positioning it on the boundary of the rather than inside or outside. This specific location arises because the serves as the of the circumcircle, as established by the that an inscribed in a is a . In an obtuse triangle, featuring one greater than 90 degrees, the circumcenter resides outside the , generally on the side opposite the obtuse , where the extension of the perpendicular bisectors intersects beyond the vertices. This external position reflects the elongated geometry caused by the large , pulling the center away from the triangle's interior. A special case occurs in equilateral triangles, where all angles are 60 degrees; here, the circumcenter coincides exactly with the , orthocenter, and at the triangle's geometric center, owing to the high degree of symmetry. Diagrams illustrating these positions typically depict the triangle with its perpendicular bisectors drawn as dashed lines converging at the circumcenter: for acute triangles, the intersection is centrally within the shaded interior; for right triangles, it marks the on the with the circle's aligned; for obtuse triangles, the point lies externally near the acute angles' extension; and for equilateral, a single central point surrounded by symmetric bisectors.

Circumradius and Circumcenter

The circumcenter O of a is the point of intersection of the perpendicular bisectors of its sides, serving as the center of the circumcircle that passes through all three . The circumradius R, denoted as the radius of this circumcircle, is the constant distance from the circumcenter to each , ensuring all vertices lie equidistant on the circle's . A fundamental geometric relation for the circumradius in a with side a opposite A is given by R = \frac{a}{2 \sin A}. This formula highlights the direct between the side and the radius, modulated by the sine of the opposite . Consequently, for a fixed side a, R is minimized when A = 90°, with R = a/2, and increases as A deviates from 90° in either direction (toward more acute or more obtuse), reflecting the circle's adjustment to encompass the vertices. Key properties of the circumcenter and circumradius include the equidistance of vertices from O, which defines the circle uniquely. Additionally, if one side of the serves as the of the circumcircle, the subtended at the opposite is a , as per Thales' theorem, which states that an in a measures 90 degrees. In obtuse triangles, where the circumcenter lies outside the , the circumradius tends to be larger compared to acute triangles of similar side lengths, due to the extended positioning required to pass through all vertices. This relation underscores how the circumradius provides insight into the 's angular configuration and overall scale relative to its area.

Angular Properties

Inscribed Angles

An is formed by two chords sharing a common endpoint on the of a circle, with the angle subtending a specific between the other two endpoints. The inscribed angle theorem states that the measure of such an angle is half the measure of the that subtends the same . This relationship holds because the central angle encompasses the full , while the inscribed angle views it from the periphery. In the context of a triangle inscribed in its circumcircle, each interior angle at a vertex serves as an inscribed angle subtending the arc formed by the opposite side. Thus, the measure of each triangle angle is half the measure of the arc opposite to it on the circumcircle. For example, in triangle \triangle ABC with circumcircle centered at O, the angle at vertex A subtends arc BC, so \angle BAC = \frac{1}{2} (measure of arc BC). Similarly, \angle ABC = \frac{1}{2} (arc AC) and \angle ACB = \frac{1}{2} (arc AB). This property directly links the triangle's angular measures to the geometry of its circumcircle. A standard proof of the inscribed angle theorem relies on properties of isosceles triangles. Consider points A, B, and C on with center O, where \angle ABC is the inscribed angle subtending arc AC (assuming B is on the major arc for the minor arc AC). Draw radii OA, OB, and OC, each equal in length. Triangles \triangle OAB and \triangle OCB are isosceles, so their base angles are equal: let \angle OAB = \angle OBA = \alpha in \triangle OAB, and \angle OCB = \angle OBC = \beta in \triangle OCB. The inscribed angle \angle ABC = \alpha + \beta. The central angles are \angle AOB = 180^\circ - 2\alpha and \angle COB = 180^\circ - 2\beta, so their sum \angle AOB + \angle COB = 360^\circ - 2(\alpha + \beta), which equals the major arc from A to C via B. Thus, the minor central angle \angle AOC = 360^\circ - (\angle AOB + \angle COB) = 2(\alpha + \beta) = 2 \angle ABC.

Central Angles and Arcs

In the context of a 's circumcircle, a is formed by two radii connecting the circumcenter O to two vertices of the triangle, subtending the between those vertices on the circumcircle. The measure of this is equal to the measure of the it subtends, providing a direct way to quantify portions of the circle. For a ABC with circumcenter O, the \angle BOC subtended by side BC (opposite A) measures twice the \angle BAC at A, as established by the inscribed theorem. This relationship holds because both intercept the same arc BC, with the capturing the full arc measure while the inscribed captures half. Thus, \angle BOC = 2\angle A, and similarly for the other central \angle COA = 2\angle B and \angle AOB = 2\angle C. The sum of these central is $2(\angle A + \angle B + \angle C) = 360^\circ, confirming that the arcs between the vertices partition the full circumcircle. The arcs between the vertices exhibit properties tied to the triangle's : the intercepted arc BC (subtended by \angle A, not containing A) has measure $2\angle A; the other arc BC (containing A) has measure $360^\circ - 2\angle A. The intercepted arc is minor if \angle A < 90^\circ, major if \angle A > 90^\circ. The three intercepted arcs sum to $360^\circ. These arc measures facilitate applications in circle theorems and trigonometric identities within the triangle. A key theorem linking central angles, sides, and the circumradius R is the extended law of sines, stated as \frac{a}{\sin A} = \frac{b}{\sin B} = \frac{c}{\sin C} = 2R, where a, b, c are the sides opposite angles A, B, C. To derive R = \frac{a}{2 \sin A}, consider AOB where OA = OB = R and base AB = c. The \angle AOB = 2\angle C, so dropping a from O to AB at M bisects \angle AOB into two angles of \angle C and AM = \frac{c}{2}. In AOM, \sin C = \frac{AM}{OA} = \frac{c/2}{R}, yielding R = \frac{c}{2 \sin C}. gives the full form, establishing the $2R as the constant ratio in the . This derivation applies to acute, right, and obtuse triangles, with adjustments for obtuse angles using supplementary properties in the formed by the .

Equations

Cartesian Coordinates

The circumcenter O(x, y) of a with vertices A(x_a, y_a), B(x_b, y_b), and C(x_c, y_c) in the Cartesian plane is the unique point from all three vertices, serving as the center of the circumcircle. To derive its coordinates, set the squared distances equal: OA^2 = OB^2 and OB^2 = OC^2. This yields the linear equations $2x(x_b - x_a) + 2y(y_b - y_a) = x_b^2 + y_b^2 - x_a^2 - y_a^2, $2x(x_c - x_b) + 2y(y_c - y_b) = x_c^2 + y_c^2 - x_b^2 - y_b^2. Solving this 2×2 system via or inversion produces the explicit coordinates of O. The closed-form expressions are \begin{align*} x &= \frac{(x_a^2 + y_a^2)(y_b - y_c) + (x_b^2 + y_b^2)(y_c - y_a) + (x_c^2 + y_c^2)(y_a - y_b)}{D}, \\ y &= \frac{(x_a^2 + y_a^2)(x_c - x_b) + (x_b^2 + y_b^2)(x_a - x_c) + (x_c^2 + y_c^2)(x_b - x_a)}{D}, \end{align*} where D = 2[x_a(y_b - y_c) + x_b(y_c - y_a) + x_c(y_a - y_b)] = 4 \times (signed area of \triangle ABC). These formulas arise directly from expanding and solving the bisector intersections in coordinate form, avoiding . For illustration, consider \triangle ABC with A(0,0), B(4,0), C(0,3). Compute D = 2[0(0-3) + 4(3-0) + 0(0-0)] = 24. Then, x = \frac{(0+0)(0-3) + (16+0)(3-0) + (0+9)(0-0)}{24} = \frac{48}{24} = 2, y = \frac{(0+0)(0-4) + (16+0)(0-0) + (0+9)(4-0)}{24} = \frac{36}{24} = 1.5. Thus, O = (2, 1.5), which matches the of BC since \triangle ABC is right-angled at A. This example confirms the formula's accuracy for a standard case. Numerical implementation of these formulas requires caution, as D approaches zero for nearly collinear points, causing by a small number and magnifying errors in floating-point computations. Such is well-documented in geometric algorithms, where degenerate or near-degenerate demand robust predicates or alternative methods like exact arithmetic.

Parametric Equations

The parametric equations of the circumcircle of a triangle provide a way to describe points on the circle using a θ, typically ranging from 0 to 2π, with the circle centered at the circumcenter (h, k) and radius R equal to the circumradius. These equations are given by x(\theta) = h + R \cos \theta, \quad y(\theta) = k + R \sin \theta. This form traces the entire circle as θ varies, starting from the point (h + R, k) when θ = 0 and proceeding counterclockwise. The vertices of the triangle lie on this circumcircle at specific values of θ, determined by the directions from the circumcenter to each vertex. The angular separation between the parameters θ corresponding to two vertices equals the central angle subtended by the arc between them, which is twice the measure of the inscribed angle at the third vertex subtended by the same arc, according to the central angle theorem. For example, if the vertices are labeled A, B, and C, one can assign θ_A, θ_B, and θ_C such that the differences θ_B - θ_A = 2∠C and similarly for the other pairs, ensuring the parametrization aligns with the triangle's geometry. In , this parametric representation offers advantages for dynamic applications, such as animating rotations around the circumcenter or interpolating points along arcs between vertices for smooth transitions in visualizations. It allows efficient computation of positions at arbitrary angles without solving implicit equations, facilitating tasks like path planning or graphical rendering. Equivalently, the position of a point on the circumcircle can be expressed in vector form as \mathbf{P}(\theta) = \mathbf{O} + R (\cos \theta, \sin \theta), where \mathbf{O} = (h, k) is the position of the circumcenter. This notation is particularly useful in -based computations, such as those involving transformations or simulations in .

Trilinear and Barycentric Coordinates

In x : y : z, the equation of the circumcircle of a with side lengths a, b, c opposite vertices A, B, C respectively is given by a y z + b z x + c x y = 0. This homogeneous quadratic equation defines the locus of points on the circumcircle relative to the reference , where the coordinates represent signed distances to the sides. In barycentric coordinates \alpha : \beta : \gamma, which are proportional to the signed areas of the sub-triangles formed by a point and the vertices, the circumcircle equation takes the form a^2 \beta \gamma + b^2 \gamma \alpha + c^2 \alpha \beta = 0. This representation arises naturally from the area-based nature of barycentric coordinates and is equivalent to the trilinear form under the standard transformation. The relationship between trilinear and barycentric coordinates is given by \alpha = a x, \beta = b y, \gamma = c z, allowing direct conversion between the two systems while preserving the intrinsic geometry of the triangle. These coordinate systems offer advantages in triangle geometry, as their equations depend solely on the side lengths a, b, c and are independent of any external Cartesian embedding, facilitating computations invariant under similarity transformations.

Higher Dimensions

In higher dimensions, the concept of the circumcircle generalizes to the circumhypersphere of an , which is the unique (n-1)-sphere passing through all n+1 vertices of the simplex in . This hypersphere, often simply called the circumsphere, serves as the higher-dimensional analogue to the circumcircle of a , with its center known as the circumcenter. The circumcenter of an n-simplex with vertices \mathbf{v}_0, \mathbf{v}_1, \dots, \mathbf{v}_n is the point \mathbf{C} equidistant from all vertices, satisfying \|\mathbf{C} - \mathbf{v}_i\| = r for all i, where r is the circumradius. This condition leads to a derived from the bisector hyperplanes of the edges: for $1 \leq i \leq n, (\mathbf{v}_i - \mathbf{v}_0) \cdot (\mathbf{C} - \mathbf{v}_0) = \frac{1}{2} \|\mathbf{v}_i - \mathbf{v}_0\|^2. In matrix form, this is M (\mathbf{C} - \mathbf{v}_0) = \mathbf{b}, where M is the n \times n with rows \mathbf{v}_i - \mathbf{v}_0 and \mathbf{b} has entries \frac{1}{2} \|\mathbf{v}_i - \mathbf{v}_0\|^2; solving yields \mathbf{C} = \mathbf{v}_0 + M^{-1} \mathbf{b}, assuming M is invertible. For non-degenerate simplices, where the vertices are affinely independent, the circumhypersphere exists and is unique, as the perpendicular bisector hyperplanes intersect at a single point. The circumradius r can be computed as r = \|\mathbf{C} - \mathbf{v}_0\|, or more directly via determinant-based formulas involving the Cayley-Menger of squared edge lengths, such as those using the inner Cayley-Menger determinant for the general n-dimensional case. In , circumspheres of simplices, particularly tetrahedra in 3D, are essential for algorithms like and Voronoi diagrams, where they determine empty sphere criteria for and proximity computations.

Circumcenter Coordinates

Cartesian Coordinates

The circumcenter O(x, y) of a with vertices A(x_a, y_a), B(x_b, y_b), and C(x_c, y_c) in the Cartesian plane is the unique point equidistant from all three vertices, serving as the center of the circumcircle. To derive its coordinates, set the squared distances equal: OA^2 = OB^2 and OB^2 = OC^2. This yields the linear equations $2x(x_b - x_a) + 2y(y_b - y_a) = x_b^2 + y_b^2 - x_a^2 - y_a^2, $2x(x_c - x_b) + 2y(y_c - y_b) = x_c^2 + y_c^2 - x_b^2 - y_b^2. Solving this 2×2 system via or matrix inversion produces the explicit coordinates of O. The closed-form expressions are \begin{align*} x &= \frac{(x_a^2 + y_a^2)(y_b - y_c) + (x_b^2 + y_b^2)(y_c - y_a) + (x_c^2 + y_c^2)(y_a - y_b)}{D}, \\ y &= \frac{(x_a^2 + y_a^2)(x_c - x_b) + (x_b^2 + y_b^2)(x_a - x_c) + (x_c^2 + y_c^2)(x_b - x_a)}{D}, \end{align*} where D = 2[x_a(y_b - y_c) + x_b(y_c - y_a) + x_c(y_a - y_b)] = 4 \times (signed area of \triangle [ABC](/page/ABC)). These formulas arise directly from expanding and solving the bisector intersections in coordinate form, avoiding . For illustration, consider \triangle ABC with A(0,0), B(4,0), C(0,3). Compute D = 2[0(0-3) + 4(3-0) + 0(0-0)] = 24. Then, x = \frac{(0+0)(0-3) + (16+0)(3-0) + (0+9)(0-0)}{24} = \frac{48}{24} = 2, y = \frac{(0+0)(0-4) + (16+0)(0-0) + (0+9)(4-0)}{24} = \frac{36}{24} = 1.5. Thus, O = (2, 1.5), which matches the midpoint of hypotenuse BC since \triangle ABC is right-angled at A. This example confirms the formula's accuracy for a standard case. Numerical implementation of these formulas requires caution, as D approaches zero for nearly collinear points, causing division by a small number and magnifying rounding errors in floating-point computations. Such instability is well-documented in geometric algorithms, where degenerate or near-degenerate triangles demand robust predicates or alternative methods like exact arithmetic.

Trilinear Coordinates

In trilinear coordinates, the circumcenter O of a triangle ABC with side lengths a = BC, b = AC, c = AB, and angles A, B, C opposite these sides respectively, is given by the homogeneous coordinates \cos A : \cos B : \cos C. These coordinates represent the ratios of the signed perpendicular distances from O to the sides of the triangle. The derivation arises from the geometric properties of the circumcircle. The perpendicular distance from O to side BC (opposite vertex A) is R \cos A, where R is the circumradius, because the projection of the radius OB (or OC) onto the perpendicular to BC yields this value via the angle at A. Similarly, the distances to sides AC and AB are R \cos B and R \cos C. Since trilinear coordinates are homogeneous, the common factor R cancels, resulting in \cos A : \cos B : \cos C. For acute triangles, all cosines are positive, placing O inside the triangle; in obtuse triangles, the negative cosine for the obtuse angle indicates a signed distance outside. The "exact" or actual-distance trilinear coordinates, which specify the absolute signed distances rather than ratios, are R \cos A : R \cos B : R \cos C. Normalization may vary by context: the homogeneous form is scale-invariant and preferred for barycentric conversions or cevian computations, while normalized forms (e.g., dividing by the sum \cos A + \cos B + \cos C) are used when areal interpretations are needed. These coordinates remain invariant under similarity transformations, emphasizing their utility in triangle geometry relative to the sides.

Barycentric Coordinates

In a triangle with side lengths a, b, and c opposite vertices A, B, and C respectively, the homogeneous barycentric coordinates of the circumcenter O are given by (a^2 (b^2 + c^2 - a^2) : b^2 (c^2 + a^2 - b^2) : c^2 (a^2 + b^2 - c^2)). These coordinates reflect the weighted areas associated with the vertices, where the weights incorporate the geometry of the perpendicular bisectors intersecting at O. An equivalent trigonometric form expresses the coordinates as (\sin 2A : \sin 2B : \sin 2C), leveraging the and double-angle identities to relate side lengths to angles. This form arises because a \cos A = 2R \sin A \cos A = R \sin 2A, where R is the circumradius, linking the barycentric weights directly to angular measures at the vertices. The derivation of these coordinates can proceed via area proportions: the areas of triangles OBC, OCA, and OAB are proportional to \sin A \cos A : \sin B \cos B : \sin C \cos C, which simplifies to the \sin 2A form after accounting for the twice-area factor $2\Delta = bc \sin A. Alternatively, since O is the isogonal conjugate of the orthocenter H (with barycentric coordinates (\tan A : \tan B : \tan C)), applying the isogonal map (x : y : z) \mapsto (a^2 / x : b^2 / y : c^2 / z) yields the side-length formula for O. In absolute (normalized) barycentric coordinates, these weights sum to 1, providing the position vector \mathbf{O} = \alpha \mathbf{A} + \beta \mathbf{B} + \gamma \mathbf{C} with \alpha + \beta + \gamma = 1. The circumcenter O lies on the , collinear with the G (coordinates $1:1:1) and orthocenter H, such that G divides the segment OH in the ratio OG : GH = 1 : 2. Unlike the , which equally weights the vertices as the balance point of uniform , the circumcenter's coordinates vary with side lengths or angles, emphasizing its role as the equidistant center from the vertices rather than a . Barycentric coordinates differ from the dual trilinear system by using area-based weights instead of distances to sides.

Vector and Product Formulations

The circumcenter \mathbf{O} of a with vertices at position \mathbf{A}, \mathbf{B}, and \mathbf{C} can be determined using by leveraging the equidistance property |\mathbf{O} - \mathbf{A}| = |\mathbf{O} - \mathbf{B}| = |\mathbf{O} - \mathbf{C}|. Expanding |\mathbf{O} - \mathbf{A}|^2 = |\mathbf{O} - \mathbf{B}|^2 yields the equation $2\mathbf{O} \cdot (\mathbf{A} - \mathbf{B}) = |\mathbf{A}|^2 - |\mathbf{B}|^2, where \cdot denotes the and |\cdot|^2 is the squared magnitude. Similar equations follow from the other pairs: $2\mathbf{O} \cdot (\mathbf{B} - \mathbf{C}) = |\mathbf{B}|^2 - |\mathbf{C}|^2 and $2\mathbf{O} \cdot (\mathbf{C} - \mathbf{A}) = |\mathbf{C}|^2 - |\mathbf{A}|^2. These form a that can be solved for \mathbf{O} in the of the triangle, providing a direct method to compute the position without explicit coordinate solving. A closed-form vector expression for the circumcenter is given by \mathbf{O} = \frac{|\mathbf{A}|^2 (\mathbf{B} - \mathbf{C}) + |\mathbf{B}|^2 (\mathbf{C} - \mathbf{A}) + |\mathbf{C}|^2 (\mathbf{A} - \mathbf{B})}{2 (\mathbf{A} \times \mathbf{B} + \mathbf{B} \times \mathbf{C} + \mathbf{C} \times \mathbf{A})}, where \times represents the (a scalar in via the A_x B_y - A_y B_x, or a perpendicular to the plane in for coplanar points). This formula arises from combining the perpendicular bisector conditions in form and is applicable in both and settings for planar triangles. In , the cross products serve as oriented areas, with the denominator equaling twice the signed area of the triangle multiplied by 2. These and product formulations offer computational efficiency, particularly in programming and physics simulations, as and products are primitive operations in linear algebra libraries, enabling robust numerical implementation with reduced risk of through area checks. For instance, in engines, this approach facilitates real-time computation of circumcircles for processing or .

Special Points

Triangle Centers on the Circumcircle

The three vertices of a are the fundamental triangle centers located on its circumcircle, as the circumcircle is defined as the unique passing through all three vertices. These points serve as the foundational anchors for the circle's and are essential for defining other properties, such as the circumradius R = a / (2 \sin A), where a is the side opposite angle A. The reflections of the orthocenter H (X(4) in the ) over the 's sides lie on the circumcircle for any , a property arising from the symmetries of the orthocentric system. Specifically, the reflection of H over side BC coincides with the second intersection of the altitude from A with the circumcircle. These points satisfy key properties, including forming 90-degree arcs with the vertices and serving as centers for certain spiral similarities mapping the to itself. Another notable example is the Tarry point (X(98) in the Encyclopedia of Triangle Centers), which lies on the circumcircle and represents the point diametrically opposite to the Steiner point (X(99)) on that circle. The Tarry point is the intersection of the lines joining each vertex to the opposite Steiner point in the tangential triangle and exhibits properties related to Brocard geometry, such as being the perspector for the reference triangle and its circumcevian triangle. It satisfies trigonometric conditions like barycentric coordinates \sec(A + \omega) : \sec(B + \omega) : \sec(C + \omega), where \omega is the Brocard angle. The , maintained by Kimberling and updated regularly since the early 2000s, catalogs thousands of such points on the circumcircle. As of 2025, it lists over 68,000 triangle centers, many of which lie on the circumcircle, including intersections with conics like the Jerabek hyperbola (e.g., X(74)) and various Euler-related configurations. These centers often share properties involving equal angular distances or isogonal symmetries, enabling classifications based on their trilinear or barycentric coordinates. Modern extensions emphasize computational discovery of points satisfying distance or angle conditions on the circumcircle, expanding beyond classical examples like those from Euler.

Intersections with Other Elements

The circumcircle of a intersects each of the three sides only at the , as each side forms a of the circle connecting two . Each altitude of the intersects the circumcircle at the corresponding and a second point. This second intersection point is the of the orthocenter over the opposite side. The segment joining the orthocenter to this second point is bisected by the . In a with the at C and hypotenuse AB, the altitude from C to AB passes through the circumcenter (the of AB) and intersects the circumcircle again at the point diametrically opposite to C. The , which passes through the circumcenter and orthocenter, intersects the circumcircle at two points symmetric with respect to the circumcenter, located at a distance equal to the circumradius along the line from the circumcenter. The and the circumcircle generally do not intersect, but they are related through the Euler points—the midpoints of the segments joining each to the orthocenter—which lie on the nine-point circle and connect to points on the circumcircle via the altitudes. The Simson line arises in connection with the circumcircle: for any point P on the circumcircle, the feet of the perpendiculars from P to the sides (or their extensions) are collinear, forming the . When P is the orthocenter (which lies on the circumcircle in a ), this projection degenerates into the altitude from the right-angled vertex. The circumcircle intersects each excircle at two points in general, though these points lack specific geometric significance in standard triangle theory beyond the circles' relative positions determined by the excenters.

Generalizations

Cyclic Polygons

A cyclic is a whose vertices all lie on a single , called the circumcircle. This property generalizes the case of , where every possesses a circumcircle, to polygons with n \geq 4 sides. For such polygons, the circumcircle is unique when it exists, and the vertices are said to be concyclic. A necessary and sufficient condition for a to be cyclic is that the sums of its opposite interior angles each equal $180^\circ. provides another characterization: in a cyclic with side lengths a, b, c, d and diagonals p, q, the product of the diagonals equals the sum of the products of opposite sides, pq = ac + bd. For even-sided cyclic polygons more generally, the sums of alternating interior angles are equal. Key properties of cyclic polygons include the inscribed angle theorem, whereby angles subtended by the same arc at the circumference are equal, leading to symmetries in angle measures across the polygon. The area of a cyclic quadrilateral with side lengths a, b, c, d and semiperimeter s = (a + b + c + d)/2 is given by : \sqrt{(s - a)(s - b)(s - c)(s - d)}, which yields the maximum possible area for given side lengths among all quadrilaterals. These properties extend to higher even n, where conformable cyclic polygons with identical angle sequences exist infinitely many. The circumcircle of a cyclic can be constructed by finding the circumcenter, equidistant from all vertices, as the of bisectors of the sides. For polygons with an even number of sides, this involves selecting bisectors from non-adjacent sides to ensure concurrency, analogous to the triangular case but requiring verification of cyclicity. The bisectors are concurrent the is cyclic. In , methods for fitting circles to point sets, including those forming irregular polygons, are used in applications.

Extensions to Other Figures

In the context of , extensions of the circumcircle concept include analogs involving the for tangential quadrilaterals, where the figure admits an incircle tangent to all four sides. A quadrilateral ABCD is tangential the sums of the radii of the s of its opposite triangles (ABC and ADC, or ABD and BCD) are equal, providing a geometric that parallels triangle properties but adapted to the quadrilateral's tangential nature. For cyclic quadrilaterals, which lie on a single circumcircle by , further extensions explore interactions like the of s of the quadrilateral's triangular partitions at specific points, enhancing concurrency properties beyond triangular cases. For conics and other curves, the smallest enclosing circle serves as a practical analog to the , representing the minimal-radius that contains all points of the curve or set of curves. This problem, computationally significant for bounding irregular shapes, can be solved iteratively by considering the minimum enclosing circle of incrementally added curves, ensuring the final circle passes through boundary points analogous to a circumcircle's vertices. Algorithms for this extension, such as those based on Welzl's method adapted for curves, achieve expected linear for planar sets, highlighting its efficiency over exhaustive searches. In , the Argand plane treats points as complex numbers, allowing the circumcircle of three non-collinear points z_1, z_2, z_3 to be defined by the equation |z - c| = r, where the center c is computed via the of perpendicular bisectors expressed in complex arithmetic. This formulation leverages the geometry of complex numbers to determine the circle passing through the points, with the circumradius r derived from distances in the plane. Such representations facilitate algebraic manipulations of circumcircle properties, including transformations under mappings that preserve circles. Modern applications in since the 2010s utilize the circumcircle criterion of —the empty circle property ensuring no other point lies inside a triangle's circumcircle—for tasks like spatial . In facial expression recognition, extracts feature points via circumcircle constraints, enabling classifiers to achieve accuracies exceeding 90% on benchmark datasets. In , particularly hyperbolic spaces, the circumcircle of a in the appears as a entirely within the unit disk, but its hyperbolic radius r_h satisfies \sinh(r_h) = \frac{r_e}{\sqrt{1 - r_e^2}}, where r_e is the radius, adapting the circumcircle to the constant negative . This extension preserves concyclicity for hyperbolic polygons while altering metric properties, as explored in cyclic configurations within the model.