Fact-checked by Grok 2 weeks ago

Circle

A circle is a plane figure consisting of all points in a plane that are equidistant from a fixed point called the center. This distance, known as the radius, defines the size of the circle, while the line segment passing through the center and connecting two points on the circumference is the diameter, which is twice the radius. The of a circle, or the distance around its boundary, is given by the formula C = 2\pi r or C = \pi d, where r is the , d is the , and \pi (pi) is a approximately equal to 3.14159 representing the ratio of the circumference to the diameter. The area enclosed by a circle is calculated as A = \pi r^2, a formula derived from integral calculus or geometric approximations using polygons. Key properties include the fact that all radii are equal, angles subtended by the same arc at the circumference are equal, and the circle is the locus of points from the center, making it fundamental in . The concept of the circle dates back to ancient civilizations, with the Babylonians approximating \pi as 3.125 and the Egyptians as approximately 3.16 around 1900–1650 BCE for practical calculations in and astronomy. In , Euclid formalized the definition in his around 300 BCE as a plane figure bounded by a line where all radii from an interior point are equal, laying the groundwork for rigorous geometric proofs. Archimedes later refined \pi's value to between 3 10/71 and 3 1/7 in the 3rd century BCE using inscribed and circumscribed polygons, advancing methods for area and computations that influence modern and .

Terminology and Etymology

Terminology

In geometry, a circle is defined as the set of all points in a plane that are equidistant from a fixed point called the center. This equidistance is known as the radius of the circle. Importantly, the term "circle" refers specifically to the boundary or circumference of this set of points, whereas the "disk" denotes the interior region of the circle, including the boundary itself. The center of a circle is the central point from which the radius is measured to every point on the boundary. The radius represents the constant distance from the center to any point on the circle. The diameter is a straight passing through the center and connecting two points on the circle, with its length equal to twice the radius. The circumference refers to the total length of the of the circle. A is a straight line segment whose endpoints both lie on the circle. An is a portion of the circle's connecting two distinct points, measured by the it subtends. are classified as minor if they subtend a less than 180 degrees, major if greater than 180 degrees, and a if exactly 180 degrees. A sector is the region of the disk bounded by two radii and the arc between their endpoints. A segment is the region of the disk bounded by a chord and the arc connecting its endpoints, typically referring to the smaller area unless specified otherwise.

Etymology

The English word "circle" dates to around 1300, borrowed from Old French cercle (12th century), which in turn derives from Latin circulus, meaning "small ring" or "circular figure," a diminutive form of circus denoting a ring, enclosure, or circular track. This Latin term ultimately traces back to Ancient Greek kirkos (κίρκος), referring to a hoop, ring, or circular band. In late Old English, a direct borrowing from Latin as circul appeared in astronomical contexts, but the Old French influence largely supplanted native terms like hring (ring) and trendel (circle or disk) by the Middle English period. The deeper roots of kirkos lie in the Proto-Indo-European (PIE) root *sker- (or variants like kikro-), which conveyed the idea of "to turn, bend, or ," evoking the encircling motion or of a ring. This root highlights the conceptual link between circular forms and rotational or bending actions in early . Related terms across other branches of the Indo-European family include cakra (चक्र), meaning "wheel" or "," derived from the distinct PIE root kwel-, "to revolve, move around," demonstrating parallel linguistic developments for denoting circular or wheeled objects without direct cognacy to "circle." Historically, the term shifted from primarily describing tangible circular objects—such as hoops, rings, or enclosures—in and Latin texts to a more abstract and precise geometric sense in English by the late medieval and eras, coinciding with the revival of classical and in European scholarship. This evolution reflects broader cultural transitions from practical and symbolic uses of circular forms to formalized mathematical definitions.

History

Early Developments

The earliest known applications of circular forms in ancient civilizations emerged in around 3000 BCE, where circles were employed in practical constructions such as potter's wheels, which facilitated the shaping of clay vessels and represented an early mechanical use of . These tools demonstrated an intuitive understanding of circular motion, though formal geometric study was limited. By the time of the pyramid constructions in (ca. 2686–2181 BCE), incorporated circular approximations in and elements, as evidenced by their mathematical papyri that later formalized area calculations for circles using a value close to 3.16 for π, derived from the Rhind Papyrus (ca. 1650 BCE). In , the Babylonians advanced circular geometry through empirical approximations recorded on clay tablets around 2000 BCE. One notable tablet from ca. 1900–1680 BCE provides an approximation of π as 3.125, obtained by calculating the perimeter of a inscribed in a circle of 60, reflecting their system and applications to astronomy and . This practical approach to π facilitated computations for circular areas and circumferences in engineering contexts, marking a shift toward more systematic numerical methods. Greek mathematicians in the 6th century BCE built upon these foundations with deductive proofs. (ca. 624–546 BCE) is credited with the first known theorem on circles: that the angle inscribed in a is a , a result attributed to him by Eudemus in his , likely derived from observations of ship distances at sea. By ca. 300 BCE, formalized circle properties in Book III of his , defining equal circles by equal , segments, sectors, and tangents, and proving theorems such as the equality of angles in the same segment. of Syracuse (ca. 287–212 BCE) further refined these ideas in his treatise , establishing that the ratio of a circle's to its diameter (π) lies between 223/71 and through the with inscribed and circumscribed polygons, and equating the circle's area to that of a with legs equal to the and . In , around 499 CE, the mathematician and astronomer provided an approximation of π as 62832/20000 ≈ 3.1416 in his Āryabhaṭīya, using it for astronomical calculations involving circles. Similarly, in China during the 5th century CE, approximated π to seven decimal places, between 3.1415926 and 3.1415927, by inscribing and circumscribing polygons with up to 24 sides in his work Zhui Shu, advancing precise computations for circle measurements. During the , scholars integrated Greek geometry with algebraic methods. Muhammad ibn Musa (ca. 780–850 CE) applied algebraic techniques to geometric problems involving circles in his treatise , including mensuration to find areas using approximations of π derived from earlier sources. In the , European mathematicians revived and extended these traditions through . Johannes Müller, known as (1436–1476), developed applications of circular functions in his De triangulis omnimodis (completed 1464), computing chord lengths in unit circles to create sine tables and solve spherical triangles, bridging plane and for astronomical use.

Symbolism and Religious Uses

The circle has long served as a profound across diverse religious and cultural traditions, embodying concepts of , unity, wholeness, and the divine due to its continuous form without beginning or end. In spiritual contexts, it often represents the , , and interconnectedness, transcending material boundaries to evoke the sacred. This appears universally in religious , where the circle signifies the integration of opposites and the eternal cycle of , , and rebirth. In , the —a radiant circular disk encircling the head of holy figures such as Christ, the Virgin Mary, and saints—symbolizes spiritual enlightenment and divine light, distinguishing the sacred from the profane and emphasizing the subject's holiness. This , derived from ancient representations of solar divinity, underscores the circle's association with life and godly presence, appearing in paintings, mosaics, and sculptures from early Byzantine icons to masterpieces. Similarly, in and , the functions as a geometric circular used in rituals and , representing the as a microcosm of divine order and the path to . The concentric circles within mandalas symbolize the , with the outer ring denoting the material world and inner layers progressing toward and nirvana, aiding practitioners in visualizing the interconnectedness of all existence. These designs, often created temporarily with to highlight impermanence, embody the eternal of creation and dissolution central to these faiths. Ancient monuments like , constructed around 2500 BCE in , exemplify the circle's role in prehistoric religious practices, potentially serving as a aligned with solstices and equinoxes to mark cosmic cycles and communal rituals honoring ancestors or celestial deities. The enduring evokes timelessness and immortality, linking earthly structures to heavenly patterns in spirituality. In traditions, interlocking knotwork patterns forming endless loops symbolize the eternal cycles of life, death, and rebirth, often adorning religious artifacts to represent unbreakable unity with the divine and the interconnected web of existence. Islamic architecture frequently incorporates circular motifs in mosque designs, such as domes, arches, and geometric tile patterns, to symbolize paradise as an infinite, harmonious realm of divine unity and the heavens' perfection, adhering to aniconic principles that favor abstract forms evoking God's oneness. These elements, seen in structures like the , create a sense of boundless , mirroring the cyclical nature of and the soul's journey toward the divine. In modern esoteric traditions, the —a or dragon forming a circle by devouring its own tail—emerges as a potent of perpetual renewal and the , representing the transformative from destruction to creation in the quest for the . Psychologist interpreted the as an archetypal signifying the integration of the conscious and unconscious self, or the "shadow," facilitating psychological wholeness and in therapeutic contexts. Contemporary cultural phenomena, such as crop circles—intricate geometric patterns appearing in fields since the late —have entered as enigmatic signs possibly linked to otherworldly forces or natural energies, contrasting with interpretations that view them as manifestations of encoding universal harmonies and spiritual awakenings. These formations, often circular or spiral, inspire festivals and gatherings celebrating cosmic interconnectedness, blending ancient symbolic reverence with modern mystical exploration.

Mathematical Definitions

Basic Definition and Elements

In Euclidean plane geometry, a is defined as the set of all points in a that are at a fixed , known as the r, from a fixed point called , typically denoted as O. This axiomatic establishes the as the locus of points equidistant from , forming the foundational primitive for subsequent geometric constructions and theorems. The primary elements of a circle include the center O, the r (the distance from the center to any point on the circle), the (a passing through the center and connecting two points on the circle, with length $2r), and the (the closed boundary path consisting of all points at distance r from O). These elements capture the circle's structural integrity, where the bisects the circle into two equal semicircles, and the serves as the enclosing curve. Visually, the circle appears as a closed, simple Jordan —meaning a continuous, non-self-intersecting that divides the into an interior bounded region and an exterior unbounded region—with constant throughout its length, distinguishing it from other plane curves like straight lines (zero curvature) or spirals (varying ). This uniform ensures that the circle is the unique of given length that encloses the maximum area in the , underscoring its geometric optimality. As a conic section, the circle represents the special case of an with e = 0, where the foci coincide at the center, eliminating any deviation from . All mathematical properties of the circle discussed herein presuppose the framework of , including its and axioms for and , without which the equidistance property may not hold in curved spaces.

Equations in Coordinate Systems

In the Cartesian coordinate system, the standard equation of a circle with center at the point (h, k) and radius r is given by (x - h)^2 + (y - k)^2 = r^2. This form arises directly from the distance formula, as the set of points (x, y) equidistant from the center (h, k) at distance r satisfies \sqrt{(x - h)^2 + (y - k)^2} = r; squaring both sides yields the equation. For a circle centered at the origin, the equation simplifies to x^2 + y^2 = r^2, which can be derived using the Pythagorean theorem in the right triangle formed by the radius along the axes. To obtain the standard form from a general quadratic equation, one completes the square. Starting from x^2 + y^2 + Dx + Ey + F = 0, rearrange to x^2 + Dx + y^2 + Ey = -F, then add (D/2)^2 and (E/2)^2 to both sides, resulting in (x + D/2)^2 + (y + E/2)^2 = (D/2)^2 + (E/2)^2 - F, identifying the center as (-D/2, -E/2) and radius as the square root of the right-hand side, provided it is positive. In polar coordinates, where x = \rho \cos \theta and y = \rho \sin \theta, the equation of a circle centered at the origin with radius a is simply \rho = a. For a circle not centered at the origin, the equation becomes more complex, such as \rho = 2a \cos \theta for a circle of radius a tangent to the origin./08:_Further_Applications_of_Trigonometry/8.04:Polar_Coordinates-_Graphs) Parametric equations provide a way to describe points on the circle using a parameter, typically the angle \theta. For a circle centered at (h, k) with radius r, the equations are x = h + r \cos \theta, \quad y = k + r \sin \theta, where \theta ranges from $0 to $2\pi. Substituting these into the Cartesian form verifies the relation, as (x - h)^2 + (y - k)^2 = r^2 (\cos^2 \theta + \sin^2 \theta) = r^2. In the , a with c (a ) and r is represented by |z - c| = r, where z is a complex variable. This modulus notation captures the in the plane, equivalent to the Cartesian form when z = x + iy and c = h + ik. Expanding gives |z|^2 - \overline{c} z - c \overline{z} + |c|^2 = r^2, a form useful in . The general conic section equation Ax^2 + Bxy + Cy^2 + Dx + Ey + F = 0 represents a circle when B = 0 and A = C \neq 0, reducing to x^2 + y^2 + Dx + Ey + F = 0 after scaling. The condition for it to be a circle (rather than a point or imaginary) is that the radius squared (D^2 + E^2 - 4F)/4 > 0/11:_Parametric_Equations_and_Polar_Coordinates/11.05:_Conic_Sections) This form encompasses all circles as special degenerate ellipses in conic theory.

Fundamental Properties

Circumference and Arc Length

The circumference of a circle, which measures the total length of its curved boundary, is given by the formula C = 2\pi r, where r is the of the circle, or equivalently C = \pi d, where d = 2r is the . The constant \pi (pi) is defined as the ratio of the to the diameter, \pi = C / d, with a numerical value approximately equal to 3.14159. Early approximations of \pi were developed using polygonal methods. In the third century BCE, Archimedes of Syracuse established bounds for \pi by inscribing and circumscribing regular 96-gons around a circle, proving that $223/71 < \pi < 22/7. These fractions yield approximations of about 3.1408 and 3.1429, respectively, bracketing the true value with an error less than 0.002. The arc length s of a portion of the circle's circumference subtended by a central angle \theta is given by s = r \theta, where \theta is measured in radians. The radian is the natural unit for angular measure in this context, defined such that an angle of one radian subtends an arc equal in length to the radius; the full circumference thus corresponds to $2\pi radians. The term "radian" first appeared in print in 1873, introduced by James Thomson in examination questions at Queen's College, Belfast, though the underlying concept dates to earlier work by mathematicians like Roger Cotes in the 18th century. Further mathematical properties of \pi were established in the modern era. In 1761, Johann Heinrich proved that \pi is irrational, meaning it cannot be expressed as a ratio of two integers. Building on this, Ferdinand von demonstrated in 1882 that \pi is transcendental, implying it is not the root of any non-zero polynomial equation with rational coefficients. These results underscore the fundamental role of \pi in the intrinsic geometry of the circle.

Area Enclosed

The area of the disk bounded by a circle of radius r is A = \pi r^2, where \pi is the mathematical constant approximately equal to 3.14159. This formula yields the measure in square units, such as square meters or square inches, reflecting the two-dimensional nature of the enclosed region. In ancient Greece, derived this result using the method of exhaustion in his treatise , approximating the disk with inscribed and circumscribed regular polygons of increasing sides. He proved that the area equals that of a right triangle with one leg equal to the radius r and the other leg equal to the circumference $2\pi r, establishing A = \frac{1}{2} r \cdot 2\pi r = \pi r^2 without explicitly using the symbol \pi. A modern derivation employs integral calculus. In Cartesian coordinates, the area is the integral of the upper and lower semicircles: A = \int_{-r}^{r} 2 \sqrt{r^2 - x^2} \, dx. This evaluates to \pi r^2 using trigonometric substitution or recognition of the integral as half the area of a unit circle scaled by r^2. In polar coordinates, the area element dA = \rho \, d\rho \, d\theta gives: A = \int_{0}^{2\pi} \int_{0}^{r} \rho \, d\rho \, d\theta = \left[ \frac{\rho^2}{2} \right]_{0}^{r} \cdot [ \theta ]_{0}^{2\pi} = \frac{r^2}{2} \cdot 2\pi = \pi r^2. This approach highlights the rotational symmetry of the circle. For a sector subtended by a central angle \theta in radians, the area is the proportion of the full disk: \frac{\theta}{2\pi} \cdot \pi r^2 = \frac{1}{2} r^2 \theta. This simplifies derivation by integrating in polar coordinates over the angular span \theta, yielding the same formula directly. The constant \pi unifies the area and circumference formulas, as it originates from the ratio of a circle's circumference to its diameter, scaling linearly for boundaries and quadratically for areas due to dimensional differences.

Geometric Properties

Chords and Sectors

A chord of a circle is a straight line segment whose endpoints both lie on the circumference of the circle. The length of a chord subtending a central angle \theta (in radians) in a circle of radius r is given by $2r \sin(\theta/2). The perpendicular from the center of the circle to a chord bisects the chord, dividing it into two equal segments. The longest possible chord is the diameter, which passes through the center and has length $2r. Additionally, equal chords in the same circle subtend equal central angles at the center. A circular sector is the region of a disk bounded by two radii and the arc between them, subtending a central angle \theta < \pi radians. The area of a sector is \frac{1}{2} r^2 \theta. This differs from a circular segment, which is the area between a chord and the corresponding arc. The area of a circular segment is calculated as the area of the sector minus the area of the isosceles triangle formed by the two radii and the chord, yielding \frac{1}{2} r^2 (\theta - \sin \theta).

Tangents and Secants

A tangent to a circle is a straight line that intersects the circle at exactly one point, known as the point of tangency. At this point, the tangent is perpendicular to the radius drawn from the center of the circle. In Cartesian coordinates, for a circle centered at the origin with radius r, the equation of the tangent at a point (x_1, y_1) on the circle is x x_1 + y y_1 = r^2. A secant to a circle is a straight line that intersects the circle at exactly two distinct points. For a secant originating from an external point, the power of that point with respect to the circle relates the lengths of the secant segments to other lines from the same point. The tangent-secant theorem states that if a tangent and a secant are drawn from an external point to a , then the square of the length of the tangent segment equals the product of the entire secant segment and its external part. For two non-intersecting , there can be up to four common tangents: two direct (external) tangents, which do not cross between the circles and intersect at the external center of similitude, and two transverse (internal) tangents, which cross between the circles and intersect at the internal center of similitude. Osculating circles arise as a limiting case of tangents, representing the circle that best approximates a curve at a point by matching both the tangent and the curvature there.

Inscribed and Circumscribed Angles

A central angle has its vertex at the center of the circle and is formed by two radii extending to the endpoints of an arc, measuring the full angular extent of that arc. An inscribed angle is formed by two chords sharing a common endpoint on the circumference of a circle, with the vertex at that endpoint and the sides passing through other points on the circle. This angle intercepts or subtends an arc between the endpoints of the chords. The measure of an inscribed angle is half the measure of the central angle that subtends the same arc; if the central angle is \theta, the inscribed angle measures \frac{\theta}{2}. For instance, if a central angle subtends a 60° arc, any inscribed angle on the remaining circumference subtending that same arc will measure 30°. A special case arises with the semicircle theorem, where an angle inscribed in a semicircle—formed by a diameter and a point on the circumference—is always a right angle of 90°. This follows from the inscribed angle being half of the 180° central angle subtended by the semicircular arc. Inscribed angles subtended by equal arcs are equal in measure, meaning all such angles positioned on the same side of the chord connecting the arc's endpoints share the same value. Circumscribed angles (also known as exterior angles) are positioned outside the circle and formed by two tangents or secants (or a tangent and a secant) intersecting at an external point, subtending an arc. The measure of a circumscribed angle is half the difference of the measures of the intercepted arcs (the far arc minus the near arc). Cyclic quadrilaterals, which are quadrilaterals inscribed in a circle with all vertices on the circumference, feature inscribed angles that subtend the arcs between opposite vertices, providing a framework for understanding angle relationships within the circle.

Theorems and Relations

Central and Inscribed Angle Theorems

The central angle theorem states that the measure of a central angle is equal to the measure of the arc it intercepts. A central angle has its vertex at the center of the circle, with sides that are radii extending to the endpoints of the arc. By definition, the degree measure of the arc is taken to be the same as that of the central angle subtending it, as the angle directly spans the portion of the circumference. The inscribed angle theorem establishes that the measure of an inscribed angle is half the measure of the central angle that subtends the same arc. To prove this, consider a circle with center O and an inscribed angle \angle BAC subtending arc \widehat{BC}. Draw radii OB and OC. For the case where the arc is a semicircle (Thales' theorem, proved below), the inscribed angle is $90^\circ, half of $180^\circ. For the general case, one standard approach is to draw the diameter through one endpoint, say B, to a point E on the circle, forming \angle BAE = 90^\circ by Thales, and decompose \angle BAC = \angle BAE \pm \angle EAC (depending on position), where \angle EAC is another inscribed angle subtending a portion of the arc, reducing recursively to the semicircle case using properties of isosceles triangles formed by radii. Alternatively, using isosceles triangles \triangle OAB and \triangle OAC (with OA = OB = OC), the base angles are equal, and angle calculations show \angle BAC = \frac{1}{2} \angle BOC for the minor arc configuration, with the full proof accounting for the position of O relative to the angle. Thales' theorem, a special case of the inscribed angle theorem, asserts that an angle inscribed in a semicircle is a right angle. Specifically, if AB is a diameter of the circle with center O and C is any point on the circle not on AB, then \angle ACB = 90^\circ. To prove this, note that O is the midpoint of diameter AB, so radii OA = OC = OB. Triangles AOC and BOC are isosceles, with base angles equal: in \triangle AOC, \angle OAC = \angle OCA; in \triangle BOC, \angle OBC = \angle OCB. Since A, O, B are collinear, \angle AOC + \angle COB = 180^\circ. The base angles sum such that \angle OCA = (180^\circ - \angle AOC)/2 and \angle OCB = (180^\circ - \angle COB)/2, so \angle ACB = \angle OCA + \angle OCB = [360^\circ - (\angle AOC + \angle COB)] / 2 = [360^\circ - 180^\circ]/2 = 90^\circ. This forms an isosceles right triangle with the right angle at the circumference. The alternate segment theorem states that the angle between a tangent and a chord equals the inscribed angle subtended by the chord in the alternate segment of the . For a tangent at point B and chord BC, the angle \angle ABC between the tangent and chord equals the angle subtended by arc \widehat{BC} at any point on the remaining part of the . To prove this, draw a diameter through B to point D, making \angle BDC = 90^\circ by . Consider point A on the in the alternate segment subtending arc \widehat{BC}, so \angle BAC = \frac{1}{2} m\widehat{BC} by the inscribed angle theorem. The tangent at B is perpendicular to radius OB, and geometric alignment shows \angle ABC = \angle BAC, hence \angle ABC = \frac{1}{2} m\widehat{BC}. These theorems have applications in locating the center of a circle. The bisector of a central angle is the perpendicular bisector of the chord subtending that arc, and the intersection of such bisectors from two non-parallel chords identifies the center, as it is equidistant from all points on the circle. This method leverages the equality of radii and the arc-central angle relation to construct the locus of points equidistant from chord endpoints.

Power of a Point

The power of a point theorem states that if a point P lies outside, inside, or on a , then the product of the lengths of the line segments formed by lines passing through P and intersecting the circle is constant for that point relative to the circle. Specifically, for two secants from an external point P intersecting the circle at points A, B and C, D respectively (with A and C closer to P), PA \cdot PB = PC \cdot PD; for a tangent from P touching the circle at T and a secant intersecting at A, B, PT^2 = PA \cdot PB; and for two chords intersecting inside the circle at P (say, chords AB and CD), PA \cdot PB = PC \cdot PD. This constant value, known as the power of P with respect to the circle, unifies these geometric configurations. The theorem can be proved using similarity of triangles. For the external secant case, consider secants P-A-B and P-C-D; triangles \triangle APD \sim \triangle CPB because the angle at P is common to both, and \angle PAD = \angle PCB (inscribed angles subtending the same arc BD), yielding the proportion \frac{PA}{PC} = \frac{PD}{PB}, which rearranges to PA \cdot PB = PC \cdot PD. Similarly, for the internal chord case with intersecting chords AB and CD at P, triangles \triangle APD \sim \triangle CPB due to vertically opposite angles at P and inscribed angles subtending the same arcs, leading to \frac{AP}{CP} = \frac{DP}{BP}, or AP \cdot BP = CP \cdot DP. The tangent case follows analogously by considering the tangent-secant configuration, where the tangent length squared equals the secant product. A key application is the intersecting chords theorem, which is the internal case of the power of a point: when two chords intersect inside the circle, the products of the segment lengths are equal, enabling the computation of unknown lengths in circle diagrams. For example, if one chord is divided into segments of lengths 3 and 5, and the other into 2 and an unknown x, then $3 \cdot 5 = 2 \cdot x, so x = 7.5. Algebraically, the power k of a point P(x, y) with respect to a circle centered at the origin with radius r is given by k = x^2 + y^2 - r^2, which equals the constant segment product in the geometric cases and is positive outside the circle, zero on it, and negative inside. For two circles, the locus of points with equal power relative to both is a straight line known as the , derived from setting the algebraic powers equal: if the circles have centers O_1, O_2 and radii r_1, r_2, then |PO_1|^2 - r_1^2 = |PO_2|^2 - r_2^2.

Other Key Theorems

Ptolemy's theorem states that for a cyclic quadrilateral ABCD, the product of the lengths of the diagonals equals the sum of the products of the lengths of the opposite sides: AC \cdot BD = AB \cdot CD + AD \cdot BC. This relation can be proved using similar triangles formed by the intersection of the diagonals and the properties of inscribed angles in the circumcircle. The Simson line theorem asserts that if a point P lies on the circumcircle of triangle ABC, then the feet of the perpendiculars from P to the lines BC, CA, and AB are collinear; this line is known as the Simson line of P with respect to triangle ABC. The Simson line provides a projection property linking the circumcircle to the triangle's sides, with its direction determined by the position of P on the circle. In the context of a complete quadrilateral—formed by four lines with no three concurrent—the Miquel point theorem states that the circumcircles of the four triangles formed by these lines intersect at a single common point, called the Miquel point. This concurrence highlights the role of circles in configurations of lines and underscores symmetries in projective geometry. Carnot's theorem relates the circumcenter O of a triangle ABC to its sides through signed perpendicular distances d_a, d_b, d_c from O to the sides opposite vertices A, B, and C, respectively: d_a + d_b + d_c = R + r, where R is the circumradius and r is the inradius. The signs are positive if O lies on the same side of a line as the triangle's interior and negative otherwise, providing a signed measure that distinguishes acute, right, and obtuse triangles based on the position of O. The nine-point circle theorem establishes that nine specific points associated with any triangle ABC—the midpoints of the sides, the feet of the altitudes, and the midpoints of the segments joining the orthocenter to the vertices—lie on a common circle, known as the . This circle has radius R/2, where R is the circumradius, and its center is the midpoint of the segment joining the circumcenter and .

Constructions and Loci

Compass and Straightedge Constructions

In classical Euclidean geometry, the construction of circles using only a compass and straightedge forms the foundation of many geometric figures, relying on Euclid's postulates and propositions from The Elements. The compass allows for drawing circles with a specified center and radius, while the straightedge enables the creation of straight lines connecting points or extending segments. These tools ensure constructions are exact, without measurement markings, emphasizing geometric precision over numerical computation. The most basic construction involves drawing a circle given its center and a point defining the radius. According to Euclid's Postulate 3 in Book I of The Elements, "To describe a circle with any center and distance," one places the compass point at the given center O and adjusts the pencil to the distance from O to a specified point A on the circumference, then rotates the compass to trace the circle. This postulate assumes the ability to maintain a fixed radius during rotation, enabling the immediate creation of any circle from these elements. Euclid applies this in subsequent propositions, such as Book I Proposition 2, where circles are drawn to construct an equilateral triangle. To construct a circle with a given line segment as diameter, first find the midpoint of the segment, which serves as the center. In The Elements Book I Proposition 10, bisect the segment AB by drawing circles centered at A and B with radius AB, then connecting the intersection points of these circles with a straightedge to form the perpendicular bisector; its intersection with AB is the midpoint M. With the compass set to the radius MA (or MB), draw the circle centered at M. This method ensures the circle passes through A and B with AB as diameter, a technique foundational to later theorems on semicircles and right angles. Constructing a circle passing through three given non-collinear points requires determining the circumcenter as the intersection of perpendicular bisectors. Using Book I Proposition 10 to find the midpoints of segments AB and BC, then Book I Proposition 11 to erect perpendiculars at those midpoints (by drawing equal-radius circles from the endpoints and connecting intersections), the lines intersect at the circumcenter O. Finally, apply Postulate 3 to draw the circle centered at O with radius to one of the points, say A. This composite construction, while not a single proposition in Euclid, underpins his work in Book III on circle properties, such as Proposition 1 for finding a circle's center via similar bisectors. Euclid's Book III extends these tools to circle-specific constructions, including Proposition 25, which completes a given arc into a full circle by finding the center through equal chords and their perpendicular bisectors. Such methods highlight the versatility of compass and straightedge in generating circles central to Euclidean proofs, though certain advanced tasks exceed their capabilities, as explored in later sections.

Loci Involving Circles

A circle is fundamentally defined as the locus of all points in a plane that are equidistant from a fixed point, known as the center, with this constant distance being the radius r. In Cartesian coordinates, with the center at (h, k), this locus satisfies the equation (x - h)^2 + (y - k)^2 = r^2, representing the set of points where the distance to the center equals r. This definition underscores the circle's role as a basic geometric locus tied to a single fixed point. Related loci involve ratios or sums of distances to multiple points. The Apollonius circle arises as the locus of points where the ratio of distances to two fixed points (foci) is constant, say k \neq 1; when k = 1, it degenerates to the perpendicular bisector of the segment joining the foci. More broadly, the serves as the locus of points where the sum of distances to two fixed foci is constant, equal to $2a (with a > c, where $2c is the distance between foci); this constant sum exceeds the focal separation. In the limiting case where the foci coincide (i.e., c = 0), the degenerates into a , with the constant sum becoming twice the radius and the single focus acting as the center. Other circle-defined loci emerge in perpendicular constructions. The pedal circle of a point P with respect to a is the of the pedal triangle formed by the feet of the from P to the triangle's sides, thus serving as the locus of these feet. Its radius can be expressed as r = \frac{A_1 P \cdot A_2 P \cdot A_3 P}{2 (R^2 - OP^2)}, where R is the triangle's circumradius and OP the distance from the circumcenter to P. Similarly, the director circle of a conic section, such as an \frac{x^2}{a^2} + \frac{y^2}{b^2} = 1 with a > b, is the locus of points from which two tangents can be drawn to the conic; for the ellipse, it is the circle x^2 + y^2 = a^2 + b^2 centered at the origin. This property holds analogously for hyperbolas, where the director circle x^2 + y^2 = a^2 - b^2 exists if a > b.

Special Circles and Configurations

Circle of Apollonius

The circle of Apollonius, named after the mathematician , is defined as the locus of all points P in the such that the ratio of the distances from P to two fixed distinct points A and B is a constant k > 0 with k \neq 1, that is, \frac{PA}{PB} = k. This locus forms a circle (or a straight line when k = 1, which is the perpendicular bisector of AB). The condition k \neq 1 ensures the locus is non-degenerate and excludes the perpendicular bisector case. To determine the center and radius explicitly, place A at the origin (0, 0) and B at (d, 0) where d > 0 is the between A and B. The center C of the Apollonius circle lies on the line AB at coordinates \left( \frac{k^2 d}{k^2 - 1}, 0 \right), and the radius r is given by r = \frac{k d}{|k^2 - 1|}. These formulas arise from solving the equation \sqrt{x^2 + y^2} = k \sqrt{(x - d)^2 + y^2} and to obtain the standard circle equation. For k > 1, the center lies beyond B on the line extended from A through B; for $0 < k < 1, it lies between A and B. The circle can be constructed using homothety (similarity transformation). The internal division point D_i divides AB in the ratio k:1 internally, located at \frac{k \cdot B + 1 \cdot A}{k + 1}, and the external division point D_e divides it externally at \frac{k \cdot B - 1 \cdot A}{k - 1}. The Apollonius circle is then the unique circle with diameter D_i D_e, whose midpoint is the center C and whose half-length is the radius r. These points D_i and D_e are the centers of homothety that map a circle centered at A to one centered at B with radius ratio k. Alternatively, via inversion, consider an inversion centered at B with arbitrary radius; the locus \frac{PA}{PB} = k maps to a circle in the inverted plane centered on the line from the inversion center to A, which can then be inverted back to yield the original circle. In inversive geometry, the circle of Apollonius is a circle in the extended plane, invariant as a generalized circle under inversions and thus under the full group of inversive transformations. The defining ratio can be reformulated using cross-ratios in the complex plane: the locus is where the modulus of the cross-ratio (P, B; A, \infty) = \frac{P - B}{A - B} (adjusted for the projective line) equals k, up to scaling. Cross-ratios are invariant under Möbius transformations, which map generalized circles to generalized circles; consequently, the image of an Apollonius circle under a Möbius transformation is another Apollonius circle with respect to the images of A and B. This invariance highlights its role in conformal mappings and projective geometry.

Circles in Polygons and Conics

In polygons, circles can be inscribed or circumscribed in specific ways that relate to the tangential or cyclic properties of the figure. For a triangle, the incircle is the unique circle tangent to all three sides, with its center at the incenter, the intersection of the angle bisectors. The radius r of this incircle is given by the formula r = \frac{A}{s}, where A is the area of the triangle and s is the semiperimeter. This configuration ensures that the points of tangency divide each side into segments equal to the tangents from the vertices, a property fundamental to tangential triangles. Triangles also possess three excircles, each tangent to one side and the extensions of the other two sides. The excircle opposite vertex A (denoted as the A-excircle) has its center at the excenter, the intersection of the internal angle bisector at A and the external angle bisectors at B and C. Its radius r_a is r_a = \frac{A}{s - a}, where a is the length of the side opposite A; similar formulas apply for r_b and r_c. These excircles extend the tangential properties beyond the interior, with the exradii generally larger than the inradius. For quadrilaterals, a circumcircle exists if the quadrilateral is cyclic, meaning all four vertices lie on a single circle. A necessary and sufficient condition for cyclicity is that the sums of each pair of opposite angles equal $180^\circ. This property, central to on cyclic quadrilaterals, allows the circumradius to be computed using extensions of triangle formulas, such as R = \frac{\sqrt{(ab + cd)(ac + bd)(ad + bc)}}{4A}, where a, b, c, d are the side lengths and A is the area, though the focus here is on the angular condition. In conic sections, analogs to the nine-point circle of a triangle appear as the nine-point conic associated with a complete quadrangle. This conic passes through the six midpoints of the sides of the quadrangle and the three diagonal points. Depending on the configuration, the nine-point conic can be an ellipse when the reference point is interior to the triangle formed by three vertices or a hyperbola in other regions, providing a generalization that links Euclidean triangle geometry to projective conic properties. Such constructions, explored by Steiner and later Beltrami, highlight circles as special cases within broader conic families. Circles also play a key role in the geometry of the torus, a surface of revolution generated by rotating a circle around an axis. Meridional circles on the torus are the intersections with planes containing the axis of revolution, forming circles of constant radius equal to the generating circle's radius. Parallel circles, or latitudes, arise from intersections with planes perpendicular to the axis, yielding circles whose radii vary with the distance from the axis, ranging from zero at the inner equator to twice the toroidal radius at the outer equator. These circles parameterize the torus's embeddability and geodesic structures.

Named Circles in Geometry

In geometry, several circles are named for their distinctive properties and associations with triangles or curves, providing insights into geometric configurations. The nine-point circle of a triangle passes through the midpoints of the three sides, the feet of the three altitudes, and the midpoints of the segments joining the orthocenter to the vertices. Its center, known as the nine-point center, is the midpoint of the segment connecting the orthocenter and the circumcenter, and it lies on the Euler line. The radius of the nine-point circle is half the circumradius R of the reference triangle. Also called the Euler circle after Leonhard Euler, who discovered it in 1765, it is further known as the Feuerbach circle due to Johann Feuerbach's 1822 proof that it is tangent to the incircle and the three excircles. The orthic circle, defined for an acute triangle, is the circle passing through the feet of the altitudes from each vertex to the opposite side. In Euclidean geometry, this coincides with the , as the latter also passes through these three feet among its nine characteristic points. The is the circumcircle of the , formed by the points where the excircles touch the sides of the reference triangle. Named after , its center is the , and it intersects the at the and another specific point. This circle relates to the through the extouch points, which lie on the lines from vertices to the incenter. Circles of curvature, or osculating circles, approximate a curve at a point by matching the tangent and curvature there, serving as the second-order Taylor approximation in the plane. For a conic section at a given point, the circle of curvature has radius equal to the reciprocal of the curvature \kappa, with its center along the normal to the curve. These circles highlight local bending properties, such as at vertices or foci of conics where curvature varies.

Advanced and Limiting Cases

Squaring the Circle

The problem of squaring the circle requires constructing a square with area equal to that of a given circle of radius r, yielding a side length of r \sqrt{\pi}. Early attempts to solve this challenge date to ancient Greece. Antiphon, a fifth-century BCE philosopher and mathematician, proposed inscribing a square in the circle and iteratively doubling the number of sides to form polygons with 8, 16, and more sides, claiming the process would eventually exhaust and thus equal the circle's area. Hippocrates of Chios, around 420 BCE, advanced the effort by demonstrating plane constructions to square specific lunes—crescent-shaped regions bounded by two circular arcs—such as a lune equal in area to a circle or segment, though he recognized this did not fully resolve the general problem. In the fourth century BCE, Dinostratus applied the quadratrix, a curve invented by Hippias of Elis, to perform the squaring and related rectifications, but this approach involved mechanical drawing rather than pure compass-and-straightedge methods. The impossibility of the construction was established in 1882 by Ferdinand von Lindemann in his paper "Über die Ludolphsche Zahl," where he proved that \pi is transcendental. This result follows from the Lindemann-Weierstrass theorem, which asserts that if \alpha is a nonzero algebraic number, then e^{\alpha} is transcendental; applying this to e^{i\pi} = -1, an algebraic number, shows that i\pi cannot be algebraic, hence \pi is transcendental. Since lengths constructible by compass and straightedge are algebraic numbers, and \sqrt{\pi} (for r = 1) is transcendental as the square root of a transcendental number that is not the square of an algebraic, no such construction exists. After Lindemann's proof, the focus turned to approximations via numerical computation of \pi. Series expansions, such as those developed by or , enable high-precision values of \pi, from which squares of nearly equal area can be built using standard tools; for example, the fraction \frac{355}{113} \approx 3.1415929 supports geometric approximations accurate to seven decimal places. More elaborate constructions, like those by in 1914 or Dixon in 1991, achieve further refinements, such as \sqrt{\frac{40}{3} - 2\sqrt{3}} \approx 3.141533. The transcendence of \pi extends beyond this geometric impossibility, shaping transcendental number theory by highlighting the algebraic independence of constants like e and \pi, and informing conjectures such as Schanuel's on the transcendence degree of fields generated by exponentials of algebraic numbers.

Limiting Cases of Other Curves

The circle arises as a limiting case of the ellipse when the eccentricity e approaches 0, causing the two foci to coincide at the center and the semi-major and semi-minor axes to become equal. In this degenerate form, the ellipse transitions into a curve where every point is equidistant from the center, preserving rotational symmetry. Similarly, the circle emerges as the limit of a regular n-gon inscribed in or circumscribed about it as the number of sides n tends to infinity, with the polygon's vertices approaching the circle's continuum of points. This polygonal approximation underlies classical methods for estimating the circle's area and circumference through successive refinements. In the context of roulette curves, which trace the path of a point fixed to a curve rolling along another fixed curve without slipping, the circle appears as a special case when the tracing point is the center of the rolling circle. For example, as a circle rolls around a fixed circle, the locus of the rolling circle's center forms a concentric circle with radius equal to the sum or difference of the two radii, depending on whether the motion is external or internal. The involute of a circle, generated by the endpoint of a taut string unwinding from the circle, approaches the original circle in the limit as the unwinding angle tends to zero, where the path remains tangent at the initial contact point. Within projective geometry, the circle can be obtained as a limiting projection of a parabola by transforming the line at infinity such that it becomes tangent to the parabola, effectively closing the curve into a bounded form equivalent to a circle. This interconversion highlights the projective equivalence of conic sections, where parabolas serve as unbounded counterparts that compactify into circles under suitable limits involving the directrix receding to infinity.

Inscription and Circumscription

In geometry, a circle is inscribed in a polygon, known as the incircle, if it is tangent to all sides of the polygon; such polygons are called tangential. For a quadrilateral to have an incircle, the sums of the lengths of its opposite sides must be equal, a condition that ensures the existence of equal tangent segments from each vertex to the points of tangency. This property extends to general tangential polygons, where the tangent lengths from each vertex are equal, though for polygons with more than four sides, additional constraints may apply beyond simple side sum equality. A rhombus always possesses an incircle because all four sides are equal in length, satisfying the opposite sides sum condition automatically. A circle is circumscribed about a polygon, or the polygon is cyclic, if all vertices lie on the circle, making it the circumcircle. For a quadrilateral to be cyclic, the sums of its opposite interior angles must each equal 180 degrees, allowing the vertices to fit on a single circle. Brahmagupta's formula provides the area of such a cyclic quadrilateral with side lengths a, b, c, d and semiperimeter s = (a + b + c + d)/2 as \sqrt{(s - a)(s - b)(s - c)(s - d)}, highlighting the maximal area among quadrilaterals with given sides. Every rectangle is cyclic, as its opposite angles are each 90 degrees, summing to 180 degrees. To determine the inradius r of a tangential polygon, one solves using the formula r = A / s, where A is the area and s is the semiperimeter, derived from the total tangent length equaling the perimeter. For the circumradius R of a cyclic quadrilateral, the formula R = \sqrt{(ab + cd)(ac + bd)(ad + bc)} / (4A) applies, where A is the area computed via , relating side lengths and distances from the center to vertices. These methods involve solving systems based on tangency distances for incircles or perpendicular bisector intersections for circumcircles.

Generalizations

In p-Norms and Metrics

In the context of p-norms, the circle generalizes to the boundary of the unit ball in the \ell_p space, defined for $1 \leq p < \infty as the set of points (x,y) \in \mathbb{R}^2 satisfying |x|^p + |y|^p = 1. For p = \infty, it is the set where \max(|x|, |y|) = 1. This construction arises in normed linear spaces, where the \ell_p norm \|\mathbf{v}\|_p = \left( \sum_i |v_i|^p \right)^{1/p} (with the maximum replacing the sum for p = \infty) defines the geometry, and the unit circle serves as the "standard" closed curve at distance 1 from the origin. The classical Euclidean circle emerges precisely when p=2, as the \ell_2 norm corresponds to the standard inner product and Pythagorean distance in the plane. For other values of p, the shape deviates markedly: when p=1, the unit circle forms a diamond (a square rotated 45 degrees with vertices at (\pm 1, 0) and (0, \pm 1)); when p=\infty, it is a square aligned with the coordinate axes, with vertices at (\pm 1, \pm 1). As p increases from 1 to \infty, the curve transitions smoothly from the diamond to the square, bulging outward near the axes for p>2 and inward near the diagonals for $1<p<2, while remaining strictly convex for $1<p<\infty. For $0<p<1, the \ell_p "norm" fails to satisfy the triangle inequality and produces a non-convex star-shaped curve, rendering it a quasi-norm rather than a true metric. Analogs of perimeter and area for these \ell_p unit circles and disks vary continuously with p and lack a universal constant analogous to \pi, as the ratio of "" to depends on the . In the \ell_p itself, the perimeter ( of the unit ) ranges between 6 and 8 when normalized by the inscribed or Loewner , achieving 8 for both p=1 and p=\infty (where the "\pi_p" is 4) and approximately 6.28 for p=2. The area of the unit disk similarly spans from 2 (for p=1) to \pi \approx 3.14 (for p=2) to 4 (for p=\infty), reflecting how the stretches or contracts relative to the case. These \ell_p circles find applications in optimization, where the unit serves as a constraint set or regularization term; for instance, \ell_1 norms promote sparsity in formulations like the , while \ell_2 norms penalties in least-squares problems. In (p=1), the diamond-shaped circles model shortest paths on grid-based systems, with uses in for Manhattan-distance routing and in VLSI for wirelength minimization. More broadly, \ell_p metrics underpin algorithms in and , balancing robustness to outliers (p=1) against sensitivity to large errors (p=2).

Topological and Higher-Dimensional Circles

In topology, a circle is defined as a space homeomorphic to the 1-sphere S^1, which is the unit circle in the plane consisting of points (x, y) \in \mathbb{R}^2 satisfying x^2 + y^2 = 1. More abstractly, the topological circle is a compact 1-dimensional manifold without boundary, and up to homeomorphism, the only connected such manifold is S^1. This characterization emphasizes that the circle's topological properties—such as continuity and neighborhood structures—are preserved under homeomorphisms, independent of any specific metric or embedding. A key algebraic invariant of the topological circle is its , \pi_1(S^1) \cong \mathbb{Z}, the integers under addition, generated by loops that wind around . This group captures the ways in which loops on can be continuously deformed while based at a fixed point, with the integer n representing the . The universal cover of S^1 is line \mathbb{R}, which is simply connected (its is trivial), projecting onto S^1 via the t \mapsto e^{2\pi i t}; this correspondence classifies all coverings of via subgroups of \mathbb{Z}. The concept of the circle generalizes to higher dimensions through the n-spheres S^n, defined as the set of points in \mathbb{R}^{n+1} at unit distance from the origin: S^n = \{ x \in \mathbb{R}^{n+1} \mid \|x\| = 1 \}. For instance, the 2-sphere S^2 is the boundary of the unit ball in \mathbb{R}^3, a compact 2-manifold without boundary homeomorphic to the surface of a sphere. These n-spheres inherit the topological structure of the circle but in higher dimensions, with \pi_1(S^n) trivial for n \geq 2, reflecting their simple connectedness, while higher homotopy groups \pi_k(S^n) become nontrivial and central to homotopy theory. Embeddings of S^n into \mathbb{R}^{n+1} are standard and metric-independent, preserving the intrinsic topology regardless of the surrounding Euclidean metric. In , topological circles and n-spheres serve as foundational objects for studying equivalences, where spaces are classified up to continuous deformation. For example, the , such as \pi_3(S^2) \cong \mathbb{Z}, arise in analyzing fibrations like the Hopf bundle S^1 \to S^3 \to S^2, enabling computations of invariants for more complex spaces via sequences. These structures underpin theorems like the Brouwer , proved using degree theory on maps S^n \to S^n, and facilitate the classification of covering spaces and fiber bundles in .

References

  1. [1]
    Euclid's Elements, Book I, Definitions 15-18 - Clark University
    A circle is a plane figure contained by one line such that all the straight lines falling upon it from one point among those lying within the figure equal ...
  2. [2]
    [PDF] Circle Definitions and Theorems
    DEFINITIONS. Circle- The set of points in a plane equidistant from a given point(the center of the circle). Radius- A segment from the center of the circle ...
  3. [3]
    Section 2.5: Circles – MAT112 Mathematical Concepts & Applications
    Circumference of a Circle. To find the circumference (C) of a circle, use one of the following formulas: If you know the diameter (d) of a circle: C = πd. If ...
  4. [4]
    [PDF] 17. Four different ways to find the area of a circle - FSU Math
    The area of a circle can be found by using concentric annuli, vertical strips, or horizontal strips. The formula is πr².
  5. [5]
    [PDF] Euclidean Geometry - UCLA Math Circle
    Jan 7, 2024 · A circle is a plane figure contained by a single line, called the circumference, such that all straight line segments from one point, called the ...
  6. [6]
  7. [7]
    A Brief History of Pi (π) - Exploratorium
    The ancient Babylonians calculated the area of a circle by taking 3 times the square of its radius, which gave a value of pi = 3. One Babylonian tablet (ca.
  8. [8]
    Circle -- from Wolfram MathWorld
    ### Summary of Definitions from https://mathworld.wolfram.com/Circle.html
  9. [9]
  10. [10]
    Arc -- from Wolfram MathWorld
    a=2rsin(1/2theta). (2). ArcTheorem. As Archimedes proved, for chords AC and BD which are perpendicular to each other, ...
  11. [11]
    Circle - Etymology, Origin & Meaning
    Originating from Old French and Latin, "circle" means a plane figure with all points equidistant from the center and as a verb, to surround or move around ...
  12. [12]
    Chakra - Etymology, Origin & Meaning
    Originating from Sanskrit cakra meaning "circle, wheel," chakra (1849) refers to spiritual centers of power in the body, derived from PIE root *kwel- ...
  13. [13]
    circle, n. meanings, etymology and more | Oxford English Dictionary
    The earliest known use of the noun circle is in the Old English period (pre-1150). circle is of multiple origins. Partly a borrowing from Latin. Partly a ...
  14. [14]
    (PDF) Tombs in Ancient Egypt - Academia.edu
    The potter's wheels (and later, lathes working on similar principles) were probably the first machines to use the wheel, around 3000 BCE. Much later, a ...
  15. [15]
    Thales of Miletus | Internet Encyclopedia of Philosophy
    Thales is the first person about whom we know to propose explanations of natural phenomena which were materialistic rather than mythological or theological.
  16. [16]
    [PDF] The Quest for Pi - NASA Advanced Supercomputing Division
    Jun 25, 1996 · 4:2). The first rigorous mathematical calculation of the value of π was due to Archimedes of Syracuse (ca. 250 BC), who used a ...
  17. [17]
    [PDF] Islamic Mathematics - University of Illinois
    We begin with a discussion of al-Khwarizmi, the father of algebra. Abu. 'Abdullah Muhammad Ibn Musa Al-Khwarizmi lived about 800-847 CE, but these dates are ...Missing: approaches | Show results with:approaches
  18. [18]
    Religious symbolism and iconography | Description, Meaning ...
    The dove may symbolize the Holy Spirit or the human soul. The wheel or circle can symbolize the universe, the sun, or even the underworld. The encyclopaedic ...Rituals, Art, Beliefs · Icons, Iconography, Systems · The relation of the symbol and...
  19. [19]
    Circle As Symbol - Salem State Vault
    The circle is a universal symbol found in various cultures and historical periods, representing unity, wholeness, and infinity. · In spiritual traditions, the ...
  20. [20]
    Halo | History, Art, & Facts | Britannica
    A halo is a radiant circle or disk surrounding the head of a holy person, representing spiritual character through the symbolism of light.
  21. [21]
    Geometry in Art & Architecture Unit 9 - Dartmouth Mathematics
    In this unit we'll examine the mathematics and the symbolism of the circle, and show how it was prominent in Gothic architecture, especially in the Rose window.Missing: evolution | Show results with:evolution
  22. [22]
    Mandala | Definition, History, Types, Meaning, & Facts - Britannica
    Sep 12, 2025 · Mandala, in Hindu and Buddhist Tantrism, a symbolic diagram used in the performance of sacred rites and as an instrument of meditation.
  23. [23]
    Mandalas: Portals to Enlightenment – Asian Art and Architecture
    The circle in mandalas represents the cosmos while the square represents the symbol of the earth or the man made world. The idea of macrocosms and microcosms ...
  24. [24]
  25. [25]
    Stonehenge stone circle, near Amesbury, Wiltshire, England
    Archaeologist Mike Pitts comments that stone's durability and solidity make it a potent symbol for the timeless and immortal ancestors; certainly it is a clear ...
  26. [26]
    Celtic Knots - Freeman/Lozier Library
    Mar 25, 2015 · Connections to a higher power, to another being, or to the self are the core of knot symbolism. A common Celtic knot is the Triquetra. It was ...
  27. [27]
    The Secret of “Circle” in Islamic Architecture - Academia.edu
    The circle symbolizes divinity and unity in Islamic architecture, emphasizing its philosophical importance. Islamic ornamentation frequently employs circles to ...
  28. [28]
    Reading Mosques: Meaning and Architecture in Islam - jstor
    and decoration in Islamic religious buildings. The circle symbolizes the perfect form and relates to the heavens and to God, while the square, with.Missing: motifs | Show results with:motifs
  29. [29]
    The Union of Opposites: Carl Jung, Folklore, and the Caduceus and ...
    The caduceus and ouroboros in alchemy represent a union of opposites, of the above and the below, of the human with the divine, and this view has remained ...
  30. [30]
    OUROBOROS ESSAY - jstor
    Jung saw the ouroboros as the symbol for the integration of the shadow self—devouring the self in order to give birth to the self. The monster's mother nursed ...
  31. [31]
    Squaring the Circle - Understanding the Alluring Force of Crop Circles
    New Age oriented individuals like believers in the Sacred Geometry consider the crop circle as a visible manifestation of the ancient holy vibration of the ...
  32. [32]
  33. [33]
    The Axioms of Euclidean Plane Geometry - Brown Math
    A circle may be drawn with any given point as center and any given radius. 4. All right angles are equal. But the fifth axiom was a different sort of statement:.
  34. [34]
    Euclid's Elements, Book I - Clark University
    A circle is a plane figure contained by one line such that all the straight lines falling upon it from one point among those lying within the figure equal one ...
  35. [35]
    [PDF] 9. The Jordan Curve Theorem
    A Jordan curve, or simple, closed curve, is a subset C of R2 that is homeomorphic to a circle. A Jordan arc, or simple arc, is a subset of R2 homeomorphic ...
  36. [36]
    [PDF] Lecture Notes 4
    Sep 1, 2025 · 1.9 Curves of Constant Curvature. Here we show that the only curves in the plane with constant curvature are lines and circles.
  37. [37]
    Conic Sections - HyperPhysics
    Each of the conic sections can be described in terms of a semimajor axis a and an eccentricity e. ... Circle: A and C equal and not zero. Ellipse: A and C unequal ...
  38. [38]
    [PDF] The geometry of a circle - Mathcentre
    Thus, using the theorem of Pythagoras, x2 + y2 = r2 , and this is the equation of a circle of radius r whose centre is the origin O(0, 0). The equation of a ...
  39. [39]
    Equation of Circle - Formula, Examples - Cuemath
    The standard equation of a circle with center at (x1,y1) ( x 1 , y 1 ) and radius r is (x−x1)2+(y−y1)2=r2 ( x − x 1 ) 2 + ( y − y 1 ) 2 = r 2 . Different Forms ...
  40. [40]
    Calculus II - Polar Coordinates - Pauls Online Math Notes
    Nov 13, 2023 · The equation of a circle centered at the origin has a very nice equation, unlike the corresponding equation in Cartesian coordinates. r=2acosθ ...
  41. [41]
    [PDF] Coordinate Systems and Parametrizations Circles
    In polar coordinates, the equation of the unit circle with center at the origin is r = 1. x = cosθ y = sinθ. x = acost y = bsint 0 ≤ t ≤ 2π. In polar ...
  42. [42]
    [PDF] Parametric equations of circle of radius r centered at C = (x0,y0)
    The parametric equations are x = x0 + r cos t and y = y0 + r sint, where x0, y0 is the center and r is the radius.
  43. [43]
    [PDF] The Complex Plane
    is called the radius of the circle. The equation for a circle of radius r and center z0 is. |z − z0| = r. A useful characterization of circles and lines. A ...
  44. [44]
    [XML] Circle in the Cartesian plane - EVLM
    A x 2 + A y 2 + D x + E y + F = 0, A ≠ 0. (3). Standard form of the equation of a circle can be derived form the general form of the equation ...
  45. [45]
    General Form of a Conic | CK-12 Foundation
    The general form of the equation is x 2 + y 2 = 16 , which represents a circle with a radius of 4 units centered at the origin (0,0).
  46. [46]
    Pi -- from Wolfram MathWorld
    The constant pi, denoted pi, is a real number defined as the ratio of a circle's circumference C to its diameter d=2r, pi = C/d (1) = C/(2r) (2) pi has ...
  47. [47]
    Arc Length -- from Wolfram MathWorld
    a circle of radius r, the arc length between two points with angles theta_1 and theta_2 (measured in radians) is simply s=r|theta_2-theta_1|. (2) Defining ...
  48. [48]
    Earliest Known Uses of Some of the Words of Mathematics (R)
    The term "radians", used with trigonometric functions. It first appeared in print on June 5, 1873, in examination questions set by James Thomson at Queen's ...
  49. [49]
    What Is Pi, and How Did It Originate? - Scientific American
    May 17, 1999 · Succinctly, pi—which is written as the Greek letter for p, or π—is the ratio of the circumference of any circle to the diameter of that circle ...
  50. [50]
    [PDF] ARCHIMEDES, MEASUREMENT OF A CIRCLE1
    Primary Source 1.3 and 5.1. ARCHIMEDES, MEASUREMENT OF A CIRCLE1. Archimedes (c. 287–c. 212 B.C.) was a leading Hellenistic Greek mathematician, inventor ...
  51. [51]
    MEASUREMENT OF A CIRCLE - The Works of Archimedes
    MEASUREMENT OF A CIRCLE. Published online by Cambridge University Press: 07 September 2010. Archimedes.
  52. [52]
    [PDF] Area of a circle by integration
    The area of a circle can be found by integration using rings, pie slices, or rectangles, resulting in the formula A = πR².
  53. [53]
    [PDF] Area of Part of a Circle - MIT OpenCourseWare
    If we're going to use the substitution y = a sin θ in our integral, we'll also need to replace dy by something in polar coordinates. y = a sin θ dy = a cos θ dθ.
  54. [54]
    Deriving the area of a sector (article) | Khan Academy
    We can find its area by finding the area of the whole circle, then by using the central angle measure (in degrees or radians) to find the fraction of the total ...Missing: source | Show results with:source
  55. [55]
    Chord -- from Wolfram MathWorld
    In plane geometry, a chord is the line segment joining two points on a curve. The term is often used to describe a line segment whose ends lie on a circle.Missing: properties | Show results with:properties
  56. [56]
    Circle Geometry Formulas - Stanford EdTech Lab
    To find the length of a chord within a circle, use the formula: L = 2r sin(θ/2), where L is the chord length, r is the radius, and θ is the central angle in ...
  57. [57]
    Circular Sector -- from Wolfram MathWorld
    A circular sector is a wedge obtained by taking a portion of a disk with central angle theta<pi radians ( 180 degrees ), illustrated above as the shaded region.
  58. [58]
    Circular Segment -- from Wolfram MathWorld
    A portion of a disk whose upper boundary is a (circular) arc and whose lower boundary is a chord making a central angle theta<pi radians ( 180 degrees ).
  59. [59]
    Euclid's Elements, Book III, Proposition 18
    ### Summary of Euclid's Proposition 18
  60. [60]
    Secant Line -- from Wolfram MathWorld
    ### Definition of Secant Line to a Circle
  61. [61]
    Power of a Point Theorem - AoPS Wiki
    ### Power of a Point Theorem Summary
  62. [62]
    Circle-Circle Tangents -- from Wolfram MathWorld
    ### Summary of Direct and Transverse Common Tangents to Two Circles
  63. [63]
    Osculating Circle -- from Wolfram MathWorld
    The osculating circle of a curve C at a given point P is the circle that has the same tangent as C at point P as well as the same curvature.
  64. [64]
    [PDF] Geometry Grade: 9-12 Lesson Name: Inscribed Angles CC ... - eSpace
    Definition: An inscribed angle is an angle formed by two chords in a circle which have a common endpoint. This common endpoint forms the vertex of the ...
  65. [65]
    Central Angles in Circles - MathBitsNotebook(Geo)
    A central angle is formed by two radii with the vertex at the circle's center. Its measure equals the measure of its intercepted arc.<|separator|>
  66. [66]
    Going Full Circle - Andrews University
    An inscribed angle is half the measure of the central angle intercepting the same arc. Since a semicircle is 180° the following is also true. An angle inscribed ...
  67. [67]
    Angle inscribed in a semicircle - Math Open Reference
    The angle inscribed in a semicircle is always a right angle (90°). ... This is a particular case of Thales Theorem, which applies to an entire circle, not just a ...
  68. [68]
    Subtended - Math Steps, Examples & Questions
    A subtended angle of a circle is an angle that is formed by two chords and where the vertex is on the edge of the circle. The angle subtends an arc, meaning ...Missing: definition | Show results with:definition
  69. [69]
    Inscribed (cyclic) quadrilateral - Math Open Reference
    In a cyclic quadrilateral, opposite pairs of interior angles are always supplementary - that is, they always add to 180°. For more on this see Interior angles ...
  70. [70]
  71. [71]
    Inscribed and Central Angles in a Circle
    The two angles, the inscribed angle BAC and the central angle BOC, stand in a simple relationship expressed by the following Theorem ∠BOC = 2∠BAC.
  72. [72]
    [PDF] ORMC AMC 10/12 Group Week 9: Circles - UCLA Math Circle
    (Alternate Segment Theorem) Show that the angle between a tangent and a chord is equal to half of the measure of the arc intercepted by the angle. That is ...
  73. [73]
    Power of a Point Theorem
    The proof is exactly the same in all three cases mentioned above. Since triangles ABP and CDP are similar, the following equality holds: \displaystyle\frac{AP} ...
  74. [74]
    Circle Power -- from Wolfram MathWorld
    The power of a fixed point A with respect to a circle of radius r and center O is defined by the product p=AP×AQ, where P and Q are the intersections of a line ...Missing: diameter arc<|control11|><|separator|>
  75. [75]
    Radical axis - AoPS Wiki
    ### Summary of Power of a Point Definition for Two Circles
  76. [76]
    Ptolemy's Theorem -- from Wolfram MathWorld
    For a cyclic quadrilateral, the sum of the products of the two pairs of opposite sides equals the product of the diagonals AB×CD+BC×DA=AC×BD.
  77. [77]
    Simson Line -- from Wolfram MathWorld
    The Simson lines of two opposite point on the circumcenter of a triangle are perpendicular and meet on the nine-point circle. The angle between the Simson lines ...
  78. [78]
    The Complete Quadrilateral - What Do We Know
    The circumcircles of the four triangles meet in a point, the Miquel point of the complete quadrilateral.
  79. [79]
    Carnot's Theorem -- from Wolfram MathWorld
    Given any triangle ABC, the signed sum of perpendicular distances from the circumcenter O to the sides (i.e., signed lengths of the pedal lines from O) is ...
  80. [80]
    Nine-Point Circle -- from Wolfram MathWorld
    It is orthogonal to the Stevanović circle. The nine-point circle bisects any line from the orthocenter to a point on the circumcircle.
  81. [81]
    Euclid's Elements, Book I, Postulate 3 - Clark University
    This is the third assumed construction in the Elements. It corresponds to drawing a circle with a compass. Circles were defined in Def.I.15 and Def.I.
  82. [82]
    Euclid's Elements, Book I, Proposition 2 - Clark University
    When using a compass and a straightedge to perform this construction there are more circles drawn than shown in the diagram that accompanies the proposition. ...
  83. [83]
  84. [84]
  85. [85]
    Circle Geometry - Australian Mathematical Sciences Institute
    For example, a circle can be defined as the locus of a point that moves so that its distance from some fixed point is constant. The two examples below use ...
  86. [86]
    Apollonius Circle -- from Wolfram MathWorld
    The set of all points whose distances from two fixed points are in a constant ratio 1:mu (Durell 1928, Ogilvy 1990). 2. One of the eight circles that is ...
  87. [87]
    Ellipse - BYJU'S
    An ellipse is the locus of all those points in a plane such that the sum of their distances from two fixed points in the plane, is constant.
  88. [88]
    What Is Ellipse? - Interactive Mathematics Miscellany and Puzzles
    Ellipse is the locus of points whose distances to a fixed point and to a fixed line are in a constant ratio less than 1.
  89. [89]
    Pedal Circle -- from Wolfram MathWorld
    If the pedal point is taken as the incenter, the pedal circle is given by the incircle. The radius of the pedal circle of a point P is. r=(A_1P^_·A_2P^_· ...Missing: quadrilateral | Show results with:quadrilateral<|control11|><|separator|>
  90. [90]
    Director Circle of Ellipse, Hyperbola & Parabola - Testbook
    The director circle is the locus of points from which two perpendicular tangents can be drawn to a conic section. For a Circle: If the original circle has the ...
  91. [91]
    Equation of Director Circle of Hyperbola - BYJU'S
    The director circle of the hyperbola is defined as a locus of the point of intersection of the two perpendicular tangents to the hyperbola. We know that the ...
  92. [92]
    Solution 2 | The circle of Apollonius... coordinate edition
    Dec 12, 2016 · We can therefore use Pythagoras's Theorem: CM2=CN2+MN2. Since we know the coordinates of C from the first part of ...
  93. [93]
    [PDF] Homothetic centers of three circles and their three-dimensional ...
    The locus of a point which moves so that the ratio of its distances from and is constant is the circle with diameter and where is the internal division and ...
  94. [94]
    Apollonius circle, its radius and center - Mathematics Stack Exchange
    Oct 9, 2013 · Write w=(z−a)/(z−b). Then |w|=k, and so, the locus of w is C(0,k), where C(c,r) is the circle of radius r centered at c.Problem of Apollonius with 3 circles of equal radiusApollonius circles theorem proof - geometry - Math Stack ExchangeMore results from math.stackexchange.com
  95. [95]
    [PDF] 9. Circles and lines Back to the cross-ratio. Suppose we have z1, z2 ...
    The points on the circle are a fixed ratio from two points p and q; classically these are known as the circles of Apollonius. In fact, there is another way to ...
  96. [96]
    Incircle -- from Wolfram MathWorld
    An incircle is an inscribed circle of a polygon, ie, a circle that is tangent to each of the polygon's sides.
  97. [97]
  98. [98]
    Exradius -- from Wolfram MathWorld
    The radius of an excircle. Let a triangle have exradius r_A (sometimes denoted rho_A), opposite side of length a and angle A, area Delta, and semiperimeter ...
  99. [99]
  100. [100]
    Cyclic Quadrilateral -- from Wolfram MathWorld
    r=sqrt(((ad+bc)(ab+cd)). (7). This allows the area formula to be written in the particularly beautiful and simple form ...
  101. [101]
    Brahmagupta's derivation of the area of a cyclic quadrilateral
    The study of the cyclic quadrilateral was taken up in the 14th century. These works, which led to the recognition that Brahmagupta's formula is correct for an ...
  102. [102]
    Nine-Point Conic -- from Wolfram MathWorld
    A conic section on which the midpoints of the sides of any complete quadrangle lie. The three diagonal points P, Q, and R also lie on this conic.
  103. [103]
    Historical origins of the nine-point conic. The contribution of Eugenio ...
    In this paper, we examine the evolution of a specific mathematical problem, ie the nine-point conic, a generalisation of the nine-point circle due to Steiner.
  104. [104]
    Torus - MATHCURVE.COM
    The torus is a fourfold circled surface: except the meridians (sections by the planes passing by the axis of revolution) and the parallels (sections by the ...Missing: geometry | Show results with:geometry<|control11|><|separator|>
  105. [105]
    Nine-Point Center -- from Wolfram MathWorld
    The nine-point center N (sometimes instead denoted F) is the center of the nine-point circle. It has equivalent triangle center functions alpha_5 = cos(B-C) ...Missing: properties | Show results with:properties
  106. [106]
    Fate of the Euler Line and the Nine-Point Circle on the Sphere
    The orthic circle is the circle passing through the three feet of the altitudes. In Euclidean geometry, it coincides with the nine-point circle. In ...
  107. [107]
    Mandart Circle -- from Wolfram MathWorld
    The Mandart circle is the circumcircle of the extouch triangle. It has center at Kimberling center X_(1158), which has trilinear center function alpha_(1158).
  108. [108]
    Extouch Triangle -- from Wolfram MathWorld
    The circumcircle of the extouch triangle is known as the Mandart circle. The following table gives all centers of the extouch triangle in terms of the ...
  109. [109]
    Radius of Curvature -- from Wolfram MathWorld
    The radius of curvature is given by R=1/(|kappa|), where kappa is the curvature. At a given point on a curve, R is the radius of the osculating circle.
  110. [110]
    Curvature -- from Wolfram MathWorld
    The curvature of a two-dimensional curve is related to the radius of curvature of the curve's osculating circle.
  111. [111]
    Squaring the circle - MacTutor History of Mathematics
    Hippocrates was the first to actually use a plane construction to find a square with area equal to a figure with circular sides. He squared certain lunes, and ...
  112. [112]
    [PDF] An elementary, self-contained proof that π is transcendental
    Feb 17, 2025 · This question was finally settled in 1882 when Lindemann proved that π is transcendental. His result also settled the ancient Greek question of ...
  113. [113]
    Circle Squaring -- from Wolfram MathWorld
    Construct a square equal in area to a circle using only a straightedge and compass. This was one of the three geometric problems of antiquity.
  114. [114]
    [PDF] Math 249A Fall 2010: Transcendental Number Theory - Mathematics
    If this conjecture is true, we can take α1 = 1,α2 = πi to find that Q(π, e) has transcendence degree 2. This is an open problem! Theorem 6 (Baker's Theorem).
  115. [115]
    Degenerate -- from Wolfram MathWorld
    A limiting case in which a class of object changes its nature so as to ... circle is a degenerate form of an ellipse as the eccentricity approaches 0.
  116. [116]
    [PDF] The idea of a group - Purdue Math
    We will say more about this example and generalizations for regular polygons later. In the limit, as the number of vertices go to infinity, we get the circle.<|control11|><|separator|>
  117. [117]
    How to prove the infinite number of sides in a circle?
    Feb 25, 2015 · As n approaches infinity, the n-sided regular polygon approaches a circle. ... A circle is a regular polygon with an infinite number of sides.Proving that a regular polygon with infinite sides is a circle by using ...Proving a circle's sides approach infinity, is my proof correct?More results from math.stackexchange.com
  118. [118]
    8.2 Roulettes (Spirograph Curves) - The Geometry Center
    One also usually takes k=b, so that P lies on the rolling circle; the curve in this case is called an epicycloid. The middle diagram in Figure 2 shows the case ...<|control11|><|separator|>
  119. [119]
    Coding Curves 09: Roulette Curves - BIT-101 [2017-2023]
    Dec 15, 2022 · In geometry, a cycloid is the curve traced by a point on a circle as it rolls along a straight line without slipping.
  120. [120]
    Involute of a circle - MATHCURVE.COM
    The involute of a circle is the curve for which all the normals are tangent to a fixed circle. More practically, it is the curve traced by a hand unwinding a ...
  121. [121]
    Understanding Projective Geometry; images of circles becoming ...
    Jan 31, 2017 · In projective geometry, a circle becomes an ellipse if a non-intersecting line is mapped to infinity, a parabola if a tangent line, and a ...Projective transformation with parabola and circleProjective transformation a parabola to a circle - Math Stack ExchangeMore results from math.stackexchange.com
  122. [122]
    conic section - PlanetMath
    Mar 22, 2013 · ... circle; still, the circle can be thought of as a limiting case: eccentricity zero, directrix at infinity , and two ...Missing: geometry | Show results with:geometry
  123. [123]
    Which Quadrilaterals Have Inscribed Circles? - Expii
    A tangential quadrilateral has an inscribed circle. A necessary and sufficient condition is that the sums of opposite sides are equal.
  124. [124]
    Around the Incircle in a Polygon
    For a quadrilateral, the condition is both necessary and sufficient for having an incircle. For larger n, the condition is only necessary. I.e., there exist n- ...
  125. [125]
    Rhombus. Formulas, characterizations and properties of rhombus
    Incircle of a rhombus is the largest circle contained in the rhombus and it touches the four sides of a rhombus. The center of the incircle is called the ...
  126. [126]
    Cyclic Quadrilateral - Properties, Definition, Examples - Cuemath
    A cyclic quadrilateral means a quadrilateral that is inscribed in a circle ... Let ∠A, ∠B, ∠C, and ∠D be the four angles of an inscribed quadrilateral.
  127. [127]
    Brahmagupta's Formula | Brilliant Math & Science Wiki
    Brahmagupta's formula is a special case of Bretschneider's formula as applied to cyclic quadrilaterals. Δ 2 = ( s − a ) ( s − b ) ( s − c ) ( s − d ) − a b c d ...
  128. [128]
    Cyclic Quadrilateral - Definition, Properties & Examples - Workybooks
    Example 2: Rectangle - All rectangles are cyclic quadrilaterals. The opposite angles are both 90°, and 90° + 90° = 180°, satisfying the opposite angles theorem.
  129. [129]
    Inradius -- from Wolfram MathWorld
    The radius of a polygon's incircle or of a polyhedron's insphere, denoted r or sometimes rho ... Rr_d=rho^2. (14). See also. Carnot's Theorem, Circumradius, Euler ...
  130. [130]
    Circumradius of a Cyclic Quadrilateral using the length of Sides
    Jun 3, 2024 · Calculate the semiperimeter of the cyclic quadrilateral with sides A, B, C and D by using the equation: S e m i p e r i m e t e r ( s ) = a + ...
  131. [131]
    [PDF] A Fine Use of Transformations
    Affine transformations are excellent for problems involving ellipses, since an ellipse is the image of a circle under an affine transformation. Example 2.2 ( ...
  132. [132]
    p-norm in nLab
    Jan 3, 2024 · For p = 2 p = 2 the p p -norm is the standard Euclidean norm, defining Euclidean spaces and Hilbert spaces of square integrable functions. For p ...
  133. [133]
    [PDF] The geometry of Minkowski spaces — a survey. Part I - arXiv
    Aug 21, 2007 · The unit circle S of a Minkowski plane M, parametrized as a curve, has a length. ℓ(S), called its circumference. We use the following notation: ...
  134. [134]
    [PDF] Taxi Cab Geometry: History and Applications!
    Dec 9, 2003 · What do familiar geometric figures look like in taxicab geometry. We have already seen that circles in taxicab geometry look like squares.<|control11|><|separator|>
  135. [135]
    [PDF] Applications of lp-Norms and their Smooth Approximations for ...
    The larger p the more important great variations become in a single dimension. For p < 1 small variations, are emphasized and the unit 'circle' becomes concave, ...
  136. [136]
    [PDF] Algebraic Topology - Cornell Mathematics
    This book was written to be a readable introduction to algebraic topology with rather broad coverage of the subject. The viewpoint is quite classical in ...