circumcircle

circumcircle
Inductiveload · Public domain · source
Name	Circumcircle
Caption	Circumcircle of a triangle
Type	Circle
Related	Circumcenter, Circumradius, Triangle, Perpendicular bisector

circumcircle

The circumcircle is the unique circle passing through all vertices of a given triangle. It is determined by the triangle's three vertices and has center at the intersection of the perpendicular bisectors of its sides; the circle's radius is the circumradius. The circumcircle plays a central role across classical Euclidean geometry, contributing to constructions used by practitioners from Euclid to Carl Friedrich Gauss and to modern applications in computational geometry and the study of triangle centers.

Definition and basic properties

For a triangle with vertices at points associated with Pythagoras-era geometry and later formalized by Euclid in the Elements, the circumcircle is defined as the locus equidistant from the three vertices. The center, the circumcenter, is the concurrency point of the three perpendicular bisectors, a fact used by René Descartes and by contributors to analytic geometry like René Descartes and Pierre de Fermat. In an acute triangle the circumcenter lies inside the triangle, in an obtuse triangle it lies outside, and in a right triangle it coincides with the midpoint of the hypotenuse, a property exploited in proofs by Thales of Miletus and revisited by Blaise Pascal in projective contexts. The circumradius R can be expressed using side lengths and area, a relation explored by Leonhard Euler and appearing in identities used by Augustin-Louis Cauchy.

Construction methods

Classical straightedge-and-compass constructions for the circumcircle date to Euclid's corpus and were refined by Rene Descartes and later by Jean-Victor Poncelet. Construct the perpendicular bisectors of two sides and take their intersection as the circumcenter, then draw a circle through any vertex. Alternative constructions use the intersection of perpendiculars from the vertices or intersecting arcs as in methods employed by Niccolò Fontana Tartaglia and in treatises by Gaspard Monge. Algebraic and numerical constructions are implemented via algorithms by researchers in computational geometry such as Donald Knuth and Jack Edmonds, and appear in software packages developed at institutions like MIT and Stanford University.

Relation to triangle centers and special points

The circumcenter is one of the classical triangle centers cataloged in the work of M. Kimberling and studied alongside the centroid, incenter, orthocenter, and nine-point center. The Euler line, discovered by Leonhard Euler, aligns the circumcenter, centroid, and orthocenter; Euler also established the relation between circumradius and nine-point radius. The circumcircle is intimately related to the nine-point circle, the incircle studied by Srinivasa Ramanujan-era formulae, and to the Apollonius circles linked to Apollonius of Perga. Intersections of the circumcircle with cevians, medians, and altitudes produce classical points like the midpoint of arcs and the Miquel point, topics treated in correspondence by geometers such as Giovanni Ceva and Augustin-Louis Cauchy.

Analytical equations and coordinates

In Cartesian coordinates the general equation of a circle through triangle vertices can be derived using determinants and was systematized by proponents of analytic geometry including René Descartes and Pierre-Simon Laplace. For triangle vertices with coordinates from datasets used in studies at Princeton University or Harvard University, the circumcenter coordinates arise from solving linear systems equivalent to perpendicular bisector intersections; barycentric coordinates and trilinears, developed by Joseph-Louis Lagrange and applied by Carl Gustav Jacobi, express the circumcenter compactly in terms of side lengths. Classical formulae relate the circumradius R to side lengths a, b, c and area T via R = abc/(4T), an identity used in investigations by Joseph-Louis Lagrange and in modern expositions at Imperial College London.

Generalizations and related circles

Extensions include the circumcircle of polygons studied by Poncelet in projective settings, the circumconic families examined by Brianchon and Pascal, and the concept of the circumscribed sphere in spatial contexts treated by Carl Friedrich Gauss and Bernhard Riemann. The notion generalizes to the circumcircle of cyclic quadrilaterals, a subject of classical theorems by Brahmagupta and Ptolemy, and to the radical axis and power of a point studied intensively by Michel Chasles. Contemporary generalizations involve Delaunay triangulations and Voronoi diagrams developed by Georges Voronoi and implemented in computational frameworks at ETH Zurich and Bell Labs.

Applications in geometry and problem solving

The circumcircle is a staple in Olympiad geometry problems cataloged by International Mathematical Olympiad committees and authors like Titu Andreescu; it appears in solutions invoking cyclic quadrilaterals, angle chasing, and inversion transformations popularized by Joseph Liouville and Lord Kelvin-era investigators. Engineers and computer scientists use circumcircle computations in mesh generation and finite element methods researched at CERN and Los Alamos National Laboratory, and in graphics algorithms taught in curricula at Carnegie Mellon University. The circumcircle also features in proofs of classical results such as the law of sines, investigations of triangle inequalities by Paul Erdős, and in modern research on triangle center loci published in journals affiliated with American Mathematical Society.

Category:Circles Category:Triangle geometry