HOME

TheInfoList



OR:

A circle is a
shape A shape or figure is a graphical representation of an object or its external boundary, outline, or external surface, as opposed to other properties such as color, texture, or material type. A plane shape or plane figure is constrained to lie ...
consisting of all
points Point or points may refer to: Places * Point, Lewis, a peninsula in the Outer Hebrides, Scotland * Point, Texas, a city in Rains County, Texas, United States * Point, the NE tip and a ferry terminal of Lismore, Inner Hebrides, Scotland * Points ...
in a plane that are at a given distance from a given point, the
centre Center or centre may refer to: Mathematics *Center (geometry), the middle of an object * Center (algebra), used in various contexts ** Center (group theory) ** Center (ring theory) * Graph center, the set of all vertices of minimum eccentricity ...
. Equivalently, it is the curve traced out by a point that moves in a plane so that its distance from a given point is constant. The distance between any point of the circle and the centre is called the
radius In classical geometry, a radius (plural, : radii) of a circle or sphere is any of the line segments from its Centre (geometry), center to its perimeter, and in more modern usage, it is also their length. The name comes from the latin ''radius'', ...
. Usually, the radius is required to be a positive number. A circle with r=0 (a single point) is a
degenerate case In mathematics, a degenerate case is a limiting case of a class of objects which appears to be qualitatively different from (and usually simpler than) the rest of the class, and the term degeneracy is the condition of being a degenerate case. ...
. This article is about circles in
Euclidean geometry Euclidean geometry is a mathematical system attributed to ancient Greek mathematician Euclid, which he described in his textbook on geometry: the '' Elements''. Euclid's approach consists in assuming a small set of intuitively appealing axioms ...
, and, in particular, the
Euclidean plane In mathematics, the Euclidean plane is a Euclidean space of dimension two. That is, a geometric setting in which two real quantities are required to determine the position of each point ( element of the plane), which includes affine notions ...
, except where otherwise noted. Specifically, a circle is a
simple Simple or SIMPLE may refer to: *Simplicity, the state or quality of being simple Arts and entertainment * ''Simple'' (album), by Andy Yorke, 2008, and its title track * "Simple" (Florida Georgia Line song), 2018 * "Simple", a song by Johnn ...
closed
curve In mathematics, a curve (also called a curved line in older texts) is an object similar to a line, but that does not have to be straight. Intuitively, a curve may be thought of as the trace left by a moving point. This is the definition that ...
that divides the plane into two regions: an interior and an exterior. In everyday use, the term "circle" may be used interchangeably to refer to either the boundary of the figure, or to the whole figure including its interior; in strict technical usage, the circle is only the boundary and the whole figure is called a '' disc''. A circle may also be defined as a special kind of
ellipse In mathematics, an ellipse is a plane curve surrounding two focal points, such that for all points on the curve, the sum of the two distances to the focal points is a constant. It generalizes a circle, which is the special type of ellipse in ...
in which the two foci are coincident, the eccentricity is 0, and the semi-major and semi-minor axes are equal; or the two-dimensional shape enclosing the most area per unit perimeter squared, using
calculus of variations The calculus of variations (or Variational Calculus) is a field of mathematical analysis that uses variations, which are small changes in functions and functionals, to find maxima and minima of functionals: mappings from a set of functions t ...
.


Euclid's definition


Topological definition

In the field of
topology In mathematics, topology (from the Greek words , and ) is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, without closing ...
, a circle is not limited to the geometric concept, but to all of its
homeomorphism In the mathematical field of topology, a homeomorphism, topological isomorphism, or bicontinuous function is a bijective and continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isom ...
s. Two topological circles are equivalent if one can be transformed into the other via a deformation of R3 upon itself (known as an
ambient isotopy In the mathematical subject of topology, an ambient isotopy, also called an ''h-isotopy'', is a kind of continuous distortion of an ambient space, for example a manifold, taking a submanifold to another submanifold. For example in knot theory ...
).


Terminology

*
Annulus Annulus (or anulus) or annular indicates a ring- or donut-shaped area or structure. It may refer to: Human anatomy * ''Anulus fibrosus disci intervertebralis'', spinal structure * Annulus of Zinn, a.k.a. annular tendon or ''anulus tendineus com ...
: a ring-shaped object, the region bounded by two
concentric In geometry, two or more objects are said to be concentric, coaxal, or coaxial when they share the same center or axis. Circles, regular polygons and regular polyhedra, and spheres may be concentric to one another (sharing the same center p ...
circles. * Arc: any connected part of a circle. Specifying two end points of an arc and a center allows for two arcs that together make up a full circle. * Centre: the point equidistant from all points on the circle. * Chord: a line segment whose endpoints lie on the circle, thus dividing a circle into two segments. *
Circumference In geometry, the circumference (from Latin ''circumferens'', meaning "carrying around") is the perimeter of a circle or ellipse. That is, the circumference would be the arc length of the circle, as if it were opened up and straightened out ...
: the length of one circuit along the circle, or the distance around the circle. *
Diameter In geometry, a diameter of a circle is any straight line segment that passes through the center of the circle and whose endpoints lie on the circle. It can also be defined as the longest chord of the circle. Both definitions are also valid f ...
: a line segment whose endpoints lie on the circle and that passes through the centre; or the length of such a line segment. This is the largest distance between any two points on the circle. It is a special case of a chord, namely the longest chord for a given circle, and its length is twice the length of a radius. * Disc: the region of the plane bounded by a circle. *
Lens A lens is a transmissive optical device which focuses or disperses a light beam by means of refraction. A simple lens consists of a single piece of transparent material, while a compound lens consists of several simple lenses (''elements ...
: the region common to (the intersection of) two overlapping discs. * Passant: a coplanar straight line that has no point in common with the circle. * Radius: a line segment joining the centre of a circle with any single point on the circle itself; or the length of such a segment, which is half (the length of) a diameter. *
Sector Sector may refer to: Places * Sector, West Virginia, U.S. Geometry * Circular sector, the portion of a disc enclosed by two radii and a circular arc * Hyperbolic sector, a region enclosed by two radii and a hyperbolic arc * Spherical sector, a po ...
: a region bounded by two radii of equal length with a common center and either of the two possible arcs, determined by this center and the endpoints of the radii. * Segment: a region bounded by a chord and one of the arcs connecting the chord's endpoints. The length of the chord imposes a lower boundary on the diameter of possible arcs. Sometimes the term ''segment'' is used only for regions not containing the center of the circle to which their arc belongs to. * Secant: an extended chord, a coplanar straight line, intersecting a circle in two points. *
Semicircle In mathematics (and more specifically geometry), a semicircle is a one-dimensional locus of points that forms half of a circle. The full arc of a semicircle always measures 180° (equivalently, radians, or a half-turn). It has only one line o ...
: one of the two possible arcs determined by the endpoints of a diameter, taking its midpoint as center. In non-technical common usage it may mean the interior of the two dimensional region bounded by a diameter and one of its arcs, that is technically called a half-disc. A half-disc is a special case of a segment, namely the largest one. *
Tangent In geometry, the tangent line (or simply tangent) to a plane curve at a given point is the straight line that "just touches" the curve at that point. Leibniz defined it as the line through a pair of infinitely close points on the curve. Mo ...
: a coplanar straight line that has one single point in common with a circle ("touches the circle at this point"). All of the specified regions may be considered as ''open'', that is, not containing their boundaries, or as ''closed'', including their respective boundaries.


History

The word ''circle'' derives from the
Greek Greek may refer to: Greece Anything of, from, or related to Greece, a country in Southern Europe: *Greeks, an ethnic group. *Greek language, a branch of the Indo-European language family. **Proto-Greek language, the assumed last common ancestor ...
κίρκος/κύκλος (''kirkos/kuklos''), itself a metathesis of the
Homeric Greek Homeric Greek is the form of the Greek language that was used by Homer in the '' Iliad'', '' Odyssey'', and Homeric Hymns. It is a literary dialect of Ancient Greek consisting mainly of Ionic, with some Aeolic forms, a few from Arcadocypriot, ...
κρίκος (''krikos''), meaning "hoop" or "ring". The origins of the words ''
circus A circus is a company of performers who put on diverse entertainment shows that may include clowns, acrobats, trained animals, trapeze acts, musicians, dancers, hoopers, tightrope walkers, jugglers, magicians, ventriloquists, and unicyclis ...
'' and '' circuit'' are closely related. The circle has been known since before the beginning of recorded history. Natural circles would have been observed, such as the Moon, Sun, and a short plant stalk blowing in the wind on sand, which forms a circle shape in the sand. The circle is the basis for the
wheel A wheel is a circular component that is intended to rotate on an axle bearing. The wheel is one of the key components of the wheel and axle which is one of the six simple machines. Wheels, in conjunction with axles, allow heavy objects to be ...
, which, with related inventions such as
gear A gear is a rotating circular machine part having cut teeth or, in the case of a cogwheel or gearwheel, inserted teeth (called ''cogs''), which mesh with another (compatible) toothed part to transmit (convert) torque and speed. The basic ...
s, makes much of modern machinery possible. In mathematics, the study of the circle has helped inspire the development of geometry,
astronomy Astronomy () is a natural science that studies celestial objects and phenomena. It uses mathematics, physics, and chemistry in order to explain their origin and evolution. Objects of interest include planets, moons, stars, nebulae, g ...
and
calculus Calculus, originally called infinitesimal calculus or "the calculus of infinitesimals", is the mathematics, mathematical study of continuous change, in the same way that geometry is the study of shape, and algebra is the study of generalizati ...
. Early
science Science is a systematic endeavor that builds and organizes knowledge in the form of testable explanations and predictions about the universe. Science may be as old as the human species, and some of the earliest archeological evidence ...
, particularly
geometry Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is c ...
and astrology and astronomy, was connected to the divine for most medieval scholars, and many believed that there was something intrinsically "divine" or "perfect" that could be found in circles. Some highlights in the history of the circle are: * 1700 BCE – The Rhind papyrus gives a method to find the area of a circular field. The result corresponds to (3.16049...) as an approximate value of . * 300 BCE – Book 3 of Euclid's ''Elements'' deals with the properties of circles. * In
Plato Plato ( ; grc-gre, Πλάτων ; 428/427 or 424/423 – 348/347 BC) was a Greek philosopher born in Athens during the Classical period in Ancient Greece. He founded the Platonist school of thought and the Academy, the first institution ...
's Seventh Letter there is a detailed definition and explanation of the circle. Plato explains the perfect circle, and how it is different from any drawing, words, definition or explanation. * 1880 CE –
Lindemann Lindemann is a German surname. Persons Notable people with the surname include: Arts and entertainment * Elisabeth Lindemann, German textile designer and weaver *Jens Lindemann, trumpet player * Julie Lindemann, American photographer * Maggie ...
proves that is transcendental, effectively settling the millennia-old problem of squaring the circle.


Analytic results


Circumference

The ratio of a circle's circumference to its diameter is (pi), an
irrational Irrationality is cognition, thinking, talking, or acting without inclusion of rationality. It is more specifically described as an action or opinion given through inadequate use of reason, or through emotional distress or cognitive deficiency. T ...
constant approximately equal to 3.141592654. Thus the circumference ''C'' is related to the radius ''r'' and diameter ''d'' by: :C = 2\pi r = \pi d.\,


Area enclosed

As proved by
Archimedes Archimedes of Syracuse (;; ) was a Greek mathematician, physicist, engineer, astronomer, and inventor from the ancient city of Syracuse in Sicily. Although few details of his life are known, he is regarded as one of the leading scientis ...
, in his Measurement of a Circle, the area enclosed by a circle is equal to that of a triangle whose base has the length of the circle's circumference and whose height equals the circle's radius, which comes to multiplied by the radius squared: :\mathrm = \pi r^2.\, Equivalently, denoting diameter by ''d'', :\mathrm = \frac \approx 07854d^2, that is, approximately 79% of the circumscribing square (whose side is of length ''d''). The circle is the plane curve enclosing the maximum area for a given arc length. This relates the circle to a problem in the calculus of variations, namely the
isoperimetric inequality In mathematics, the isoperimetric inequality is a geometric inequality involving the perimeter of a set and its volume. In n-dimensional space \R^n the inequality lower bounds the surface area or perimeter \operatorname(S) of a set S\subset\R^n ...
.


Equations


Cartesian coordinates

;Equation of a circle In an ''x''–''y''
Cartesian coordinate system A Cartesian coordinate system (, ) in a plane is a coordinate system that specifies each point uniquely by a pair of numerical coordinates, which are the signed distances to the point from two fixed perpendicular oriented lines, measured in ...
, the circle with centre
coordinates In geometry, a coordinate system is a system that uses one or more numbers, or coordinates, to uniquely determine the position of the points or other geometric elements on a manifold such as Euclidean space. The order of the coordinates is sig ...
(''a'', ''b'') and radius ''r'' is the set of all points (''x'', ''y'') such that : (x - a)^2 + (y - b)^2 = r^2. This
equation In mathematics, an equation is a formula that expresses the equality of two expressions, by connecting them with the equals sign . The word ''equation'' and its cognates in other languages may have subtly different meanings; for example, in F ...
, known as the ''equation of the circle'', follows from the
Pythagorean theorem In mathematics, the Pythagorean theorem or Pythagoras' theorem is a fundamental relation in Euclidean geometry between the three sides of a right triangle. It states that the area of the square whose side is the hypotenuse (the side opposit ...
applied to any point on the circle: as shown in the adjacent diagram, the radius is the hypotenuse of a right-angled triangle whose other sides are of length , ''x'' − ''a'', and , ''y'' − ''b'', . If the circle is centred at the origin (0, 0), then the equation simplifies to : x^2 + y^2 = r^2. ;Parametric form The equation can be written in parametric form using the
trigonometric function In mathematics, the trigonometric functions (also called circular functions, angle functions or goniometric functions) are real functions which relate an angle of a right-angled triangle to ratios of two side lengths. They are widely used in a ...
s sine and cosine as : x = a + r\,\cos t, : y = b + r\,\sin t, where ''t'' is a parametric variable in the range 0 to 2, interpreted geometrically as the
angle In Euclidean geometry, an angle is the figure formed by two rays, called the '' sides'' of the angle, sharing a common endpoint, called the ''vertex'' of the angle. Angles formed by two rays lie in the plane that contains the rays. Angles ...
that the ray from (''a'', ''b'') to (''x'', ''y'') makes with the positive ''x'' axis. An alternative parametrisation of the circle is : x = a + r \frac, : y = b + r \frac. In this parameterisation, the ratio of ''t'' to ''r'' can be interpreted geometrically as the
stereographic projection In mathematics, a stereographic projection is a perspective projection of the sphere, through a specific point on the sphere (the ''pole'' or ''center of projection''), onto a plane (the ''projection plane'') perpendicular to the diameter thro ...
of the line passing through the centre parallel to the ''x'' axis (see Tangent half-angle substitution). However, this parameterisation works only if ''t'' is made to range not only through all reals but also to a point at infinity; otherwise, the leftmost point of the circle would be omitted. ;3-point form The equation of the circle determined by three points (x_1, y_1), (x_2, y_2), (x_3, y_3) not on a line is obtained by a conversion of the ''3-point form of a circle equation'': : \frac = \frac . ;Homogeneous form In
homogeneous coordinates In mathematics, homogeneous coordinates or projective coordinates, introduced by August Ferdinand Möbius in his 1827 work , are a system of coordinates used in projective geometry, just as Cartesian coordinates are used in Euclidean geometr ...
, each
conic section In mathematics, a conic section, quadratic curve or conic is a curve obtained as the intersection of the surface of a cone with a plane. The three types of conic section are the hyperbola, the parabola, and the ellipse; the circle is a ...
with the equation of a circle has the form : x^2 + y^2 - 2axz - 2byz + cz^2 = 0. It can be proven that a conic section is a circle exactly when it contains (when extended to the complex projective plane) the points ''I''(1: ''i'': 0) and ''J''(1: −''i'': 0). These points are called the
circular points at infinity In projective geometry, the circular points at infinity (also called cyclic points or isotropic points) are two special points at infinity in the complex projective plane that are contained in the complexification of every real circle. Coordi ...
.


Polar coordinates

In
polar coordinates In mathematics, the polar coordinate system is a two-dimensional coordinate system in which each point on a plane is determined by a distance from a reference point and an angle from a reference direction. The reference point (analogous to th ...
, the equation of a circle is : r^2 - 2 r r_0 \cos(\theta - \phi) + r_0^2 = a^2, where ''a'' is the radius of the circle, (r, \theta) are the polar coordinates of a generic point on the circle, and (r_0, \phi) are the polar coordinates of the centre of the circle (i.e., ''r''0 is the distance from the origin to the centre of the circle, and ''φ'' is the anticlockwise angle from the positive ''x'' axis to the line connecting the origin to the centre of the circle). For a circle centred on the origin, i.e. , this reduces to . When , or when the origin lies on the circle, the equation becomes : r = 2 a\cos(\theta - \phi). In the general case, the equation can be solved for ''r'', giving : r = r_0 \cos(\theta - \phi) \pm \sqrt. Note that without the ± sign, the equation would in some cases describe only half a circle.


Complex plane

In the
complex plane In mathematics, the complex plane is the plane formed by the complex numbers, with a Cartesian coordinate system such that the -axis, called the real axis, is formed by the real numbers, and the -axis, called the imaginary axis, is formed by the ...
, a circle with a centre at ''c'' and radius ''r'' has the equation : , z - c, = r. In parametric form, this can be written as : z = re^ + c. The slightly generalised equation : pz\overline + gz + \overline = q for real ''p'', ''q'' and complex ''g'' is sometimes called a
generalised circle In geometry, a generalized circle, also referred to as a "cline" or "circline", is a straight line or a circle. The concept is mainly used in inversive geometry, because straight lines and circles have very similar properties in that geometry and ...
. This becomes the above equation for a circle with p = 1,\ g = -\overline,\ q = r^2 - , c, ^2, since , z - c, ^2 = z\overline - \overlinez - c\overline + c\overline. Not all generalised circles are actually circles: a generalised circle is either a (true) circle or a
line Line most often refers to: * Line (geometry), object with zero thickness and curvature that stretches to infinity * Telephone line, a single-user circuit on a telephone communication system Line, lines, The Line, or LINE may also refer to: Art ...
.


Tangent lines

The
tangent line In geometry, the tangent line (or simply tangent) to a plane curve at a given point is the straight line that "just touches" the curve at that point. Leibniz defined it as the line through a pair of infinitely close points on the curve. Mo ...
through a point ''P'' on the circle is perpendicular to the diameter passing through ''P''. If and the circle has centre (''a'', ''b'') and radius ''r'', then the tangent line is perpendicular to the line from (''a'', ''b'') to (''x''1, ''y''1), so it has the form . Evaluating at (''x''1, ''y''1) determines the value of ''c'', and the result is that the equation of the tangent is : (x_1 - a)x + (y_1 - b)y = (x_1 - a)x_1 + (y_1 - b)y_1, or : (x_1 - a)(x - a) + (y_1 - b)(y - b) = r^2. If , then the slope of this line is : \frac = -\frac. This can also be found using implicit differentiation. When the centre of the circle is at the origin, then the equation of the tangent line becomes : x_1 x + y_1 y = r^2, and its slope is : \frac = -\frac.


Properties

* The circle is the shape with the largest area for a given length of perimeter (see
Isoperimetric inequality In mathematics, the isoperimetric inequality is a geometric inequality involving the perimeter of a set and its volume. In n-dimensional space \R^n the inequality lower bounds the surface area or perimeter \operatorname(S) of a set S\subset\R^n ...
). * The circle is a highly symmetric shape: every line through the centre forms a line of
reflection symmetry In mathematics, reflection symmetry, line symmetry, mirror symmetry, or mirror-image symmetry is symmetry with respect to a reflection. That is, a figure which does not change upon undergoing a reflection has reflectional symmetry. In 2D the ...
, and it has
rotational symmetry Rotational symmetry, also known as radial symmetry in geometry, is the property a shape has when it looks the same after some rotation by a partial turn. An object's degree of rotational symmetry is the number of distinct orientations in which ...
around the centre for every angle. Its
symmetry group In group theory, the symmetry group of a geometric object is the group of all transformations under which the object is invariant, endowed with the group operation of composition. Such a transformation is an invertible mapping of the amb ...
is the
orthogonal group In mathematics, the orthogonal group in dimension , denoted , is the group of distance-preserving transformations of a Euclidean space of dimension that preserve a fixed point, where the group operation is given by composing transformations. ...
O(2,''R''). The group of rotations alone is the
circle group In mathematics, the circle group, denoted by \mathbb T or \mathbb S^1, is the multiplicative group of all complex numbers with absolute value 1, that is, the unit circle in the complex plane or simply the unit complex numbers. \mathbb T = \. ...
T. * All circles are similar. ** A circle circumference and radius are proportional. ** The
area Area is the quantity that expresses the extent of a region on the plane or on a curved surface. The area of a plane region or ''plane area'' refers to the area of a shape or planar lamina, while '' surface area'' refers to the area of an op ...
enclosed and the square of its radius are proportional. ** The constants of proportionality are 2 and respectively. * The circle that is centred at the origin with radius 1 is called the
unit circle In mathematics, a unit circle is a circle of unit radius—that is, a radius of 1. Frequently, especially in trigonometry, the unit circle is the circle of radius 1 centered at the origin (0, 0) in the Cartesian coordinate system in the Eucli ...
. ** Thought of as a
great circle In mathematics, a great circle or orthodrome is the circular intersection of a sphere and a plane passing through the sphere's center point. Any arc of a great circle is a geodesic of the sphere, so that great circles in spherical geome ...
of the
unit sphere In mathematics, a unit sphere is simply a sphere of radius one around a given center. More generally, it is the set of points of distance 1 from a fixed central point, where different norms can be used as general notions of "distance". A unit ...
, it becomes the Riemannian circle. * Through any three points, not all on the same line, there lies a unique circle. In Cartesian coordinates, it is possible to give explicit formulae for the coordinates of the centre of the circle and the radius in terms of the coordinates of the three given points. See
circumcircle In geometry, the circumscribed circle or circumcircle of a polygon is a circle that passes through all the vertices of the polygon. The center of this circle is called the circumcenter and its radius is called the circumradius. Not every polyg ...
.


Chord

* Chords are equidistant from the centre of a circle if and only if they are equal in length. * The
perpendicular bisector In geometry, bisection is the division of something into two equal or congruent parts, usually by a line, which is then called a ''bisector''. The most often considered types of bisectors are the ''segment bisector'' (a line that passes through ...
of a chord passes through the centre of a circle; equivalent statements stemming from the uniqueness of the perpendicular bisector are: ** A perpendicular line from the centre of a circle bisects the chord. ** The
line segment In geometry, a line segment is a part of a straight line that is bounded by two distinct end points, and contains every point on the line that is between its endpoints. The length of a line segment is given by the Euclidean distance between i ...
through the centre bisecting a chord is
perpendicular In elementary geometry, two geometric objects are perpendicular if they intersect at a right angle (90 degrees or π/2 radians). The condition of perpendicularity may be represented graphically using the '' perpendicular symbol'', ⟂. It c ...
to the chord. * If a central angle and an
inscribed angle In geometry, an inscribed angle is the angle formed in the interior of a circle when two chords intersect on the circle. It can also be defined as the angle subtended at a point on the circle by two given points on the circle. Equivalently, an in ...
of a circle are subtended by the same chord and on the same side of the chord, then the central angle is twice the inscribed angle. * If two angles are inscribed on the same chord and on the same side of the chord, then they are equal. * If two angles are inscribed on the same chord and on opposite sides of the chord, then they are supplementary. ** For a
cyclic quadrilateral In Euclidean geometry, a cyclic quadrilateral or inscribed quadrilateral is a quadrilateral whose vertices all lie on a single circle. This circle is called the ''circumcircle'' or ''circumscribed circle'', and the vertices are said to be ''c ...
, the
exterior angle In geometry, an angle of a polygon is formed by two sides of the polygon that share an endpoint. For a simple (non-self-intersecting) polygon, regardless of whether it is convex or non-convex, this angle is called an interior angle (or ) i ...
is equal to the interior opposite angle. * An inscribed angle subtended by a diameter is a right angle (see
Thales' theorem In geometry, Thales's theorem states that if A, B, and C are distinct points on a circle where the line is a diameter, the angle ABC is a right angle. Thales's theorem is a special case of the inscribed angle theorem and is mentioned and proved ...
). * The diameter is the longest chord of the circle. ** Among all the circles with a chord AB in common, the circle with minimal radius is the one with diameter AB. * If the intersection of any two chords divides one chord into lengths ''a'' and ''b'' and divides the other chord into lengths ''c'' and ''d'', then . * If the intersection of any two perpendicular chords divides one chord into lengths ''a'' and ''b'' and divides the other chord into lengths ''c'' and ''d'', then equals the square of the diameter. * The sum of the squared lengths of any two chords intersecting at right angles at a given point is the same as that of any other two perpendicular chords intersecting at the same point and is given by 8''r''2 − 4''p''2, where ''r'' is the circle radius, and ''p'' is the distance from the centre point to the point of intersection. * The distance from a point on the circle to a given chord times the diameter of the circle equals the product of the distances from the point to the ends of the chord.


Tangent

* A line drawn perpendicular to a radius through the end point of the radius lying on the circle is a tangent to the circle. * A line drawn perpendicular to a tangent through the point of contact with a circle passes through the centre of the circle. * Two tangents can always be drawn to a circle from any point outside the circle, and these tangents are equal in length. * If a tangent at ''A'' and a tangent at ''B'' intersect at the exterior point ''P'', then denoting the centre as ''O'', the angles ∠''BOA'' and ∠''BPA'' are supplementary. * If ''AD'' is tangent to the circle at ''A'' and if ''AQ'' is a chord of the circle, then .


Theorems

* The chord theorem states that if two chords, ''CD'' and ''EB'', intersect at ''A'', then . * If two secants, ''AE'' and ''AD'', also cut the circle at ''B'' and ''C'' respectively, then (corollary of the chord theorem). * A tangent can be considered a limiting case of a secant whose ends are coincident. If a tangent from an external point ''A'' meets the circle at ''F'' and a secant from the external point ''A'' meets the circle at ''C'' and ''D'' respectively, then (tangent–secant theorem). * The angle between a chord and the tangent at one of its endpoints is equal to one half the angle subtended at the centre of the circle, on the opposite side of the chord (tangent chord angle). * If the angle subtended by the chord at the centre is 90 °, then , where ''ℓ'' is the length of the chord, and ''r'' is the radius of the circle. * If two secants are inscribed in the circle as shown at right, then the measurement of angle ''A'' is equal to one half the difference of the measurements of the enclosed arcs (\overset and \overset). That is, 2\angle = \angle - \angle, where ''O'' is the centre of the circle (secant–secant theorem).


Inscribed angles

An inscribed angle (examples are the blue and green angles in the figure) is exactly half the corresponding
central angle A central angle is an angle whose apex (vertex) is the center O of a circle and whose legs (sides) are radii intersecting the circle in two distinct points A and B. Central angles are subtended by an arc between those two points, and the arc le ...
(red). Hence, all inscribed angles that subtend the same arc (pink) are equal. Angles inscribed on the arc (brown) are supplementary. In particular, every inscribed angle that subtends a diameter is a
right angle In geometry and trigonometry, a right angle is an angle of exactly 90 degrees or radians corresponding to a quarter turn. If a ray is placed so that its endpoint is on a line and the adjacent angles are equal, then they are right angles. Th ...
(since the central angle is 180°).


Sagitta

The
sagitta Sagitta is a dim but distinctive constellation in the northern sky. Its name is Latin for 'arrow', not to be confused with the significantly larger constellation Sagittarius 'the archer'. It was included among the 48 constellations listed by t ...
(also known as the versine) is a line segment drawn perpendicular to a chord, between the midpoint of that chord and the arc of the circle. Given the length ''y'' of a chord and the length ''x'' of the sagitta, the Pythagorean theorem can be used to calculate the radius of the unique circle that will fit around the two lines: : r = \frac + \frac. Another proof of this result, which relies only on two chord properties given above, is as follows. Given a chord of length ''y'' and with sagitta of length ''x'', since the sagitta intersects the midpoint of the chord, we know that it is a part of a diameter of the circle. Since the diameter is twice the radius, the "missing" part of the diameter is () in length. Using the fact that one part of one chord times the other part is equal to the same product taken along a chord intersecting the first chord, we find that (. Solving for ''r'', we find the required result.


Compass and straightedge constructions

There are many
compass-and-straightedge construction In geometry, straightedge-and-compass construction – also known as ruler-and-compass construction, Euclidean construction, or classical construction – is the construction of lengths, angles, and other geometric figures using only an ideali ...
s resulting in circles. The simplest and most basic is the construction given the centre of the circle and a point on the circle. Place the fixed leg of the
compass A compass is a device that shows the cardinal directions used for navigation and geographic orientation. It commonly consists of a magnetized needle or other element, such as a compass card or compass rose, which can pivot to align itself with ...
on the centre point, the movable leg on the point on the circle and rotate the compass.


Construction with given diameter

* Construct the midpoint of the diameter. * Construct the circle with centre passing through one of the endpoints of the diameter (it will also pass through the other endpoint).


Construction through three noncollinear points

* Name the points , and , * Construct the
perpendicular bisector In geometry, bisection is the division of something into two equal or congruent parts, usually by a line, which is then called a ''bisector''. The most often considered types of bisectors are the ''segment bisector'' (a line that passes through ...
of the segment . * Construct the
perpendicular bisector In geometry, bisection is the division of something into two equal or congruent parts, usually by a line, which is then called a ''bisector''. The most often considered types of bisectors are the ''segment bisector'' (a line that passes through ...
of the segment . * Label the point of intersection of these two perpendicular bisectors . (They meet because the points are not
collinear In geometry, collinearity of a set of points is the property of their lying on a single line. A set of points with this property is said to be collinear (sometimes spelled as colinear). In greater generality, the term has been used for aligned o ...
). * Construct the circle with centre passing through one of the points , or (it will also pass through the other two points).


Circle of Apollonius

Apollonius of Perga Apollonius of Perga ( grc-gre, Ἀπολλώνιος ὁ Περγαῖος, Apollṓnios ho Pergaîos; la, Apollonius Pergaeus; ) was an Ancient Greek geometer and astronomer known for his work on conic sections. Beginning from the contributio ...
showed that a circle may also be defined as the set of points in a plane having a constant ''ratio'' (other than 1) of distances to two fixed foci, ''A'' and ''B''. (The set of points where the distances are equal is the perpendicular bisector of segment ''AB'', a line.) That circle is sometimes said to be drawn ''about'' two points. The proof is in two parts. First, one must prove that, given two foci ''A'' and ''B'' and a ratio of distances, any point ''P'' satisfying the ratio of distances must fall on a particular circle. Let ''C'' be another point, also satisfying the ratio and lying on segment ''AB''. By the
angle bisector theorem In geometry, the angle bisector theorem is concerned with the relative lengths of the two segments that a triangle's side is divided into by a line that bisects the opposite angle. It equates their relative lengths to the relative lengths of ...
the line segment ''PC'' will bisect the interior angle ''APB'', since the segments are similar: :\frac = \frac. Analogously, a line segment ''PD'' through some point ''D'' on ''AB'' extended bisects the corresponding exterior angle ''BPQ'' where ''Q'' is on ''AP'' extended. Since the interior and exterior angles sum to 180 degrees, the angle ''CPD'' is exactly 90 degrees; that is, a right angle. The set of points ''P'' such that angle ''CPD'' is a right angle forms a circle, of which ''CD'' is a diameter. Second, see for a proof that every point on the indicated circle satisfies the given ratio.


Cross-ratios

A closely related property of circles involves the geometry of the
cross-ratio In geometry, the cross-ratio, also called the double ratio and anharmonic ratio, is a number associated with a list of four collinear points, particularly points on a projective line. Given four points ''A'', ''B'', ''C'' and ''D'' on a line, t ...
of points in the complex plane. If ''A'', ''B'', and ''C'' are as above, then the circle of Apollonius for these three points is the collection of points ''P'' for which the absolute value of the cross-ratio is equal to one: : \big,
, B; C, P The comma is a punctuation mark that appears in several variants in different languages. It has the same shape as an apostrophe or single closing quotation mark () in many typefaces, but it differs from them in being placed on the baseline ...
big, = 1. Stated another way, ''P'' is a point on the circle of Apollonius if and only if the cross-ratio is on the unit circle in the complex plane.


Generalised circles

If ''C'' is the midpoint of the segment ''AB'', then the collection of points ''P'' satisfying the Apollonius condition :\frac = \frac is not a circle, but rather a line. Thus, if ''A'', ''B'', and ''C'' are given distinct points in the plane, then the locus of points ''P'' satisfying the above equation is called a "generalised circle." It may either be a true circle or a line. In this sense a line is a generalised circle of infinite radius.


Inscription in or circumscription about other figures

In every
triangle A triangle is a polygon with three edges and three vertices. It is one of the basic shapes in geometry. A triangle with vertices ''A'', ''B'', and ''C'' is denoted \triangle ABC. In Euclidean geometry, any three points, when non- colline ...
a unique circle, called the
incircle In geometry, the incircle or inscribed circle of a triangle is the largest circle that can be contained in the triangle; it touches (is tangent to) the three sides. The center of the incircle is a triangle center called the triangle's incenter. ...
, can be inscribed such that it is tangent to each of the three sides of the triangle. About every triangle a unique circle, called the circumcircle, can be circumscribed such that it goes through each of the triangle's three vertices. A
tangential polygon In Euclidean geometry, a tangential polygon, also known as a circumscribed polygon, is a convex polygon that contains an inscribed circle (also called an ''incircle''). This is a circle that is tangent to each of the polygon's sides. The dual pol ...
, such as a
tangential quadrilateral In Euclidean geometry, a tangential quadrilateral (sometimes just tangent quadrilateral) or circumscribed quadrilateral is a convex quadrilateral whose sides all can be tangent to a single circle within the quadrilateral. This circle is called ...
, is any
convex polygon In geometry, a convex polygon is a polygon that is the boundary of a convex set. This means that the line segment between two points of the polygon is contained in the union of the interior and the boundary of the polygon. In particular, it is a ...
within which a circle can be inscribed that is tangent to each side of the polygon. Every
regular polygon In Euclidean geometry, a regular polygon is a polygon that is direct equiangular (all angles are equal in measure) and equilateral (all sides have the same length). Regular polygons may be either convex, star or skew. In the limit, a sequence ...
and every triangle is a tangential polygon. A
cyclic polygon In geometry, the circumscribed circle or circumcircle of a polygon is a circle that passes through all the vertices of the polygon. The center of this circle is called the circumcenter and its radius is called the circumradius. Not every poly ...
is any convex polygon about which a circle can be circumscribed, passing through each vertex. A well-studied example is the cyclic quadrilateral. Every regular polygon and every triangle is a cyclic polygon. A polygon that is both cyclic and tangential is called a
bicentric polygon In geometry, a bicentric polygon is a tangential polygon (a polygon all of whose sides are tangent to an inner incircle) which is also cyclic — that is, inscribed in an outer circle that passes through each vertex of the polygon. All tria ...
. A hypocycloid is a curve that is inscribed in a given circle by tracing a fixed point on a smaller circle that rolls within and tangent to the given circle.


Limiting case of other figures

The circle can be viewed as a limiting case of each of various other figures: * A Cartesian oval is a set of points such that a weighted sum of the distances from any of its points to two fixed points (foci) is a constant. An ellipse is the case in which the weights are equal. A circle is an ellipse with an eccentricity of zero, meaning that the two foci coincide with each other as the centre of the circle. A circle is also a different special case of a Cartesian oval in which one of the weights is zero. * A superellipse has an equation of the form \left, \frac\^n\! + \left, \frac\^n\! = 1 for positive ''a'', ''b'', and ''n''. A supercircle has . A circle is the special case of a supercircle in which . * A Cassini oval is a set of points such that the product of the distances from any of its points to two fixed points is a constant. When the two fixed points coincide, a circle results. * A
curve of constant width In geometry, a curve of constant width is a simple closed curve in the plane whose width (the distance between parallel supporting lines) is the same in all directions. The shape bounded by a curve of constant width is a body of constant width ...
is a figure whose width, defined as the perpendicular distance between two distinct parallel lines each intersecting its boundary in a single point, is the same regardless of the direction of those two parallel lines. The circle is the simplest example of this type of figure.


In other ''p''-norms

Defining a circle as the set of points with a fixed distance from a point, different shapes can be considered circles under different definitions of distance. In ''p''-norm, distance is determined by : \left\, x \right\, _p = \left( , x_1, ^p + , x_2, ^p + \dotsb + , x_n, ^p \right) ^ . In Euclidean geometry, ''p'' = 2, giving the familiar : \left\, x \right\, _2 = \sqrt . In
taxicab geometry A taxicab geometry or a Manhattan geometry is a geometry whose usual distance function or metric of Euclidean geometry is replaced by a new metric in which the distance between two points is the sum of the absolute differences of their Cartesian c ...
, ''p'' = 1. Taxicab circles are
square In Euclidean geometry, a square is a regular quadrilateral, which means that it has four equal sides and four equal angles (90- degree angles, π/2 radian angles, or right angles). It can also be defined as a rectangle with two equal-length a ...
s with sides oriented at a 45° angle to the coordinate axes. While each side would have length \sqrtr using a
Euclidean metric In mathematics, the Euclidean distance between two points in Euclidean space is the length of a line segment between the two points. It can be calculated from the Cartesian coordinates of the points using the Pythagorean theorem, therefore occ ...
, where ''r'' is the circle's radius, its length in taxicab geometry is 2''r''. Thus, a circle's circumference is 8''r''. Thus, the value of a geometric analog to \pi is 4 in this geometry. The formula for the unit circle in taxicab geometry is , x, + , y, = 1 in Cartesian coordinates and :r = \frac in polar coordinates. A circle of radius 1 (using this distance) is the
von Neumann neighborhood In cellular automata, the von Neumann neighborhood (or 4-neighborhood) is classically defined on a two-dimensional square lattice and is composed of a central cell and its four adjacent cells. The neighborhood is named after John von Neumann, ...
of its center. A circle of radius ''r'' for the Chebyshev distance ( L metric) on a plane is also a square with side length 2''r'' parallel to the coordinate axes, so planar Chebyshev distance can be viewed as equivalent by rotation and scaling to planar taxicab distance. However, this equivalence between L1 and L metrics does not generalize to higher dimensions.


Locus of constant sum

Consider a finite set of n points in the plane. The locus of points such that the sum of the squares of the distances to the given points is constant is a circle, whose center is at the centroid of the given points. A generalization for higher powers of distances is obtained if under n points the vertices of the regular polygon P_n are taken. The locus of points such that the sum of the (2m)-th power of distances d_i to the vertices of a given regular polygon with circumradius R is constant is a circle, if :\sum_^n d_i^> nR^, where m=1,2,…, n-1; whose center is the centroid of the P_n. In the case of the
equilateral triangle In geometry, an equilateral triangle is a triangle in which all three sides have the same length. In the familiar Euclidean geometry, an equilateral triangle is also equiangular; that is, all three internal angles are also congruent to each oth ...
, the loci of the constant sums of the second and fourth powers are circles, whereas for the square, the loci are circles for the constant sums of the second, fourth, and sixth powers. For the regular pentagon the constant sum of the eighth powers of the distances will be added and so forth.


Squaring the circle

Squaring the circle is the problem, proposed by
ancient Ancient history is a time period from the beginning of writing and recorded human history to as far as late antiquity. The span of recorded history is roughly 5,000 years, beginning with the Sumerian cuneiform script. Ancient history cov ...
geometers A geometer is a mathematician whose area of study is geometry. Some notable geometers and their main fields of work, chronologically listed, are: 1000 BCE to 1 BCE * Baudhayana (fl. c. 800 BC) – Euclidean geometry, geometric algebra ...
, of constructing a square with the same area as a given circle by using only a finite number of steps with
compass and straightedge In geometry, straightedge-and-compass construction – also known as ruler-and-compass construction, Euclidean construction, or classical construction – is the construction of lengths, angles, and other geometric figures using only an ideali ...
. In 1882, the task was proven to be impossible, as a consequence of the Lindemann–Weierstrass theorem, which proves that pi () is a
transcendental number In mathematics, a transcendental number is a number that is not algebraic—that is, not the root of a non-zero polynomial of finite degree with rational coefficients. The best known transcendental numbers are and . Though only a few classes ...
, rather than an algebraic irrational number; that is, it is not the
root In vascular plants, the roots are the organs of a plant that are modified to provide anchorage for the plant and take in water and nutrients into the plant body, which allows plants to grow taller and faster. They are most often below the su ...
of any
polynomial In mathematics, a polynomial is an expression consisting of indeterminates (also called variables) and coefficients, that involves only the operations of addition, subtraction, multiplication, and positive-integer powers of variables. An exampl ...
with
rational Rationality is the quality of being guided by or based on reasons. In this regard, a person acts rationally if they have a good reason for what they do or a belief is rational if it is based on strong evidence. This quality can apply to an abi ...
coefficients. Despite the impossibility, this topic continues to be of interest for pseudomath enthusiasts.


Significance in art and symbolism

From the time of the earliest known civilisations – such as the Assyrians and ancient Egyptians, those in the Indus Valley and along the Yellow River in China, and the Western civilisations of ancient Greece and Rome during classical Antiquity – the circle has been used directly or indirectly in visual art to convey the artist's message and to express certain ideas. However, differences in worldview (beliefs and culture) had a great impact on artists’ perceptions. While some emphasised the circle's perimeter to demonstrate their democratic manifestation, others focused on its centre to symbolise the concept of cosmic unity. In mystical doctrines, the circle mainly symbolises the infinite and cyclical nature of existence, but in religious traditions it represents heavenly bodies and divine spirits. The circle signifies many sacred and spiritual concepts, including unity, infinity, wholeness, the universe, divinity, balance, stability and perfection, among others. Such concepts have been conveyed in cultures worldwide through the use of symbols, for example, a compass, a halo, the vesica piscis and its derivatives (fish, eye, aureole, mandorla, etc.), the ouroboros, the
Dharma wheel The dharmachakra (Sanskrit: धर्मचक्र; Pali: ''dhammacakka'') or wheel of dharma is a widespread symbol used in Indian religions such as Hinduism, Jainism, and especially Buddhism.John C. Huntington, Dina Bangdel, ''The Circle o ...
, a rainbow, mandalas, rose windows and so forth.


See also

* Affine sphere *
Apeirogon In geometry, an apeirogon () or infinite polygon is a generalized polygon with a countably infinite number of sides. Apeirogons are the two-dimensional case of infinite polytopes. In some literature, the term "apeirogon" may refer only to t ...
* Circle fitting * Gauss circle problem * Inversion in a circle * Line–circle intersection * List of circle topics *
Sphere A sphere () is a geometrical object that is a three-dimensional analogue to a two-dimensional circle. A sphere is the set of points that are all at the same distance from a given point in three-dimensional space.. That given point is the c ...
* Three points determine a circle *
Translation of axes In mathematics, a translation of axes in two dimensions is a mapping from an ''xy''-Cartesian coordinate system to an ''x'y-Cartesian coordinate system in which the ''x axis is parallel to the ''x'' axis and ''k'' units away, and the ''y ...


Specially named circles

* Apollonian circles *
Archimedean circle In geometry, an Archimedean circle is any circle constructed from an arbelos that has the same radius as each of Archimedes' twin circles. If the arbelos is normed such that the diameter of its outer (largest) half circle has a length of 1 and ...
*
Archimedes' twin circles In geometry, the twin circles are two special circles associated with an arbelos. An arbelos is determined by three collinear points , , and , and is the curvilinear triangular region between the three semicircles that have , , and as their dia ...
*
Bankoff circle In geometry, the Bankoff circle or Bankoff triplet circle is a certain Archimedean circle that can be constructed from an arbelos; an Archimedean circle is any circle with area equal to each of Archimedes' twin circles. The Bankoff circle was fir ...
* Carlyle circle * Chromatic circle * Circle of antisimilitude * Ford circle *
Geodesic circle A geodesic circle is either "the locus on a surface at a constant geodesic distance from a fixed point" or a curve of constant geodesic curvature. A geodesic disk is the region on a surface bounded by a geodesic circle. In contrast with the ord ...
* Johnson circles *
Schoch circles In geometry, the Schoch circles are twelve Archimedean circles constructed by Thomas Schoch. History In 1979, Thomas Schoch discovered a dozen new Archimedean circles; he sent his discoveries to '' Scientific Americans "Mathematical Games" editor ...
*
Woo circles In geometry, the Woo circles, introduced by Peter Y. Woo, are a set of infinitely many Archimedean circles. Construction Form an arbelos with the two inner semicircles tangent at point ''C''. Let ''m'' denote any nonnegative real number. Dr ...


Of a triangle

* Apollonius circle of the excircles *
Brocard circle In geometry, the Brocard circle (or seven-point circle) is a circle derived from a given triangle. It passes through the circumcenter and symmedian of the triangle, and is centered at the midpoint of the line segment joining them (so that this ...
*
Excircle In geometry, the incircle or inscribed circle of a triangle is the largest circle that can be contained in the triangle; it touches (is tangent to) the three sides. The center of the incircle is a triangle center called the triangle's incenter. ...
*
Incircle In geometry, the incircle or inscribed circle of a triangle is the largest circle that can be contained in the triangle; it touches (is tangent to) the three sides. The center of the incircle is a triangle center called the triangle's incenter. ...
* Lemoine circle * Lester circle * Malfatti circles * Mandart circle *
Nine-point circle In geometry, the nine-point circle is a circle that can be constructed for any given triangle. It is so named because it passes through nine significant concyclic points defined from the triangle. These nine points are: * The midpoint of ea ...
*
Orthocentroidal circle In geometry, the orthocentroidal circle of a non-equilateral triangle is the circle that has the triangle's orthocenter and centroid at opposite ends of its diameter. This diameter also contains the triangle's nine-point center and is a sub ...
*
Parry circle In geometry, the Parry point is a special point associated with a plane triangle. It is the triangle center designated X(111) in Clark Kimberling's Encyclopedia of Triangle Centers. The Parry point and Parry circle are named in honor of the Eng ...
*
Polar circle (geometry) In geometry, the polar circle of a triangle is the circle whose center is the triangle's orthocenter and whose squared radius is : \begin r^2 & = HA\times HD=HB\times HE=HC\times HF \\ & =-4R^2\cos A \cos B \cos C=4R^2-\frac(a^2+b^2+c^2), \end ...
* Spieker circle * Van Lamoen circle


Of certain quadrilaterals

*
Eight-point circle In Euclidean geometry, an orthodiagonal quadrilateral is a quadrilateral in which the diagonals cross at right angles. In other words, it is a four-sided figure in which the line segments between non-adjacent vertices are orthogonal (perpendi ...
of an orthodiagonal quadrilateral


Of a conic section

*
Director circle In geometry, the director circle of an ellipse or hyperbola (also called the orthoptic circle or Fermat–Apollonius circle) is a circle consisting of all points where two perpendicular tangent lines to the ellipse or hyperbola cross each oth ...
* Directrix circle


Of a torus

* Villarceau circles


References


Further reading

*
"Circle" in The MacTutor History of Mathematics archive


External links

* * * * * * {{Authority control Elementary shapes Conic sections Pi