A circle is a
shape
A shape is a graphics, graphical representation of an object's form or its external boundary, outline, or external Surface (mathematics), surface. It is distinct from other object properties, such as color, Surface texture, texture, or material ...
consisting of all
points in a
plane that are at a given distance from a given point, the
centre. The distance between any point of the circle and the centre is called the
radius
In classical geometry, a radius (: radii or radiuses) 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 radius of a regular polygon is th ...
. The length of a line segment connecting two points on the circle and passing through the centre is called the
diameter
In geometry, a diameter of a circle is any straight line segment that passes through the centre of the circle and whose endpoints lie on the circle. It can also be defined as the longest Chord (geometry), chord of the circle. Both definitions a ...
. A circle bounds a region of the plane called a
disc.
The circle has been known since before the beginning of recorded history. Natural circles are common, such as the
full moon or a slice of round fruit. The circle is the basis for the
wheel
A wheel is a rotating component (typically circular in shape) that is intended to turn on an axle Bearing (mechanical), bearing. The wheel is one of the key components of the wheel and axle which is one of the Simple machine, six simple machin ...
, which, with related inventions such as
gear
A gear or gearwheel is a rotating machine part typically used to transmit rotational motion and/or torque by means of a series of teeth that engage with compatible teeth of another gear or other part. The teeth can be integral saliences or ...
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 the phenomena that occur in the cosmos. It uses mathematics, physics, and chemistry in order to explain their origin and their overall evolution. Objects of interest includ ...
and
calculus
Calculus 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 generalizations of arithmetic operations.
Originally called infinitesimal calculus or "the ...
.
Terminology
*
Annulus: a ring-shaped object, the region bounded by two
concentric
In geometry, two or more objects are said to be ''concentric'' when they share the same center. Any pair of (possibly unalike) objects with well-defined centers can be concentric, including circles, spheres, regular polygons, regular polyh ...
circles.
*
Arc: any
connected part of a circle. Specifying two end points of an arc and a centre 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 () is the perimeter of a circle or ellipse. The circumference is the arc length of the circle, as if it were opened up and straightened out to a line segment. More generally, the perimeter is the curve length arou ...
: the
length
Length is a measure of distance. In the International System of Quantities, length is a quantity with Dimension (physical quantity), dimension distance. In most systems of measurement a Base unit (measurement), base unit for length is chosen, ...
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 centre of the circle and whose endpoints lie on the circle. It can also be defined as the longest Chord (geometry), chord of the circle. Both definitions a ...
: 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. In strict mathematical usage, a circle is only the boundary of the disc (or disk), while in everyday use the term "circle" may also refer to a disc.
*
Lens
A lens is a transmissive optical device that 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.
*
Radius
In classical geometry, a radius (: radii or radiuses) 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 radius of a regular polygon is th ...
: 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. Usually, the radius is denoted
and required to be a positive number. A circle with
is a
degenerate case consisting of a single point.
*
Sector: a region bounded by two radii of equal length with a common centre and either of the two possible arcs, determined by this centre 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 centre of the circle to which their arc belongs.
*
Secant: an extended chord, a coplanar straight line, intersecting a circle in two points.
*
Semicircle: one of the two possible arcs determined by the endpoints of a diameter, taking its midpoint as centre. 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, intuitively, the straight line that "just touches" the curve at that point. Leibniz defined it as the line through a pair of infinitely close points o ...
: 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.
Etymology
The word ''circle'' derives from the
Greek κίρκος/κύκλος (''kirkos/kuklos''), itself a
metathesis of the
Homeric Greek
Homeric Greek is the form of the Greek language that was used in the ''Iliad'', ''Odyssey'', and ''Homeric Hymns''. It is a literary dialect of Ancient Greek consisting mainly of an archaic form of Ionic, with some Aeolic forms, a few from Ar ...
κρίκος (''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 unicy ...
'' and ''
circuit'' are closely related.
History

Prehistoric people made
stone circle
A stone circle is a ring of megalithic standing stones. Most are found in Northwestern Europe – especially Stone circles in the British Isles and Brittany – and typically date from the Late Neolithic and Early Bronze Age, with most being ...
s and
timber circles, and circular elements are common in
petroglyph
A petroglyph is an image created by removing part of a rock surface by incising, picking, carving, or abrading, as a form of rock art. Outside North America, scholars often use terms such as "carving", "engraving", or other descriptions ...
s and
cave painting
In archaeology, cave paintings are a type of parietal art (which category also includes petroglyphs, or engravings), found on the wall or ceilings of caves. The term usually implies prehistoric art, prehistoric origin. These paintings were often c ...
s. Disc-shaped prehistoric artifacts include the
Nebra sky disc and jade discs called
Bi.
The Egyptian
Rhind papyrus, dated to 1700 BCE, gives a method to find the area of a circle. The result corresponds to (3.16049...) as an approximate value of
.
Book 3 of
Euclid's ''Elements'' deals with the properties of circles. Euclid's definition of a circle is:
In
Plato
Plato ( ; Greek language, Greek: , ; born BC, died 348/347 BC) was an ancient Greek philosopher of the Classical Greece, Classical period who is considered a foundational thinker in Western philosophy and an innovator of the writte ...
'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. Early
science
Science is a systematic discipline that builds and organises knowledge in the form of testable hypotheses and predictions about the universe. Modern science is typically divided into twoor threemajor branches: the natural sciences, which stu ...
, particularly
geometry
Geometry (; ) is a branch of mathematics concerned with properties of space such as the distance, shape, size, and relative position of figures. Geometry is, along with arithmetic, one of the oldest branches of mathematics. A mathematician w ...
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.
In 1880 CE,
Ferdinand von Lindemann proved that is
transcendental, proving that the millennia-old problem of
squaring the circle
Squaring the circle is a problem in geometry first proposed in Greek mathematics. It is the challenge of constructing a square (geometry), square with the area of a circle, area of a given circle by using only a finite number of steps with a ...
cannot be performed with straightedge and compass.
With the advent of
abstract art
Abstract art uses visual language of shape, form, color and line to create a Composition (visual arts), composition which may exist with a degree of independence from visual references in the world. ''Abstract art'', ''non-figurative art'', ''non- ...
in the early 20th century, geometric objects became an artistic subject in their own right.
Wassily Kandinsky
Wassily Wassilyevich Kandinsky ( – 13 December 1944) was a Russian painter and art theorist. Kandinsky is generally credited as one of the pioneers of abstract art, abstraction in western art. Born in Moscow, he spent his childhood in ...
in particular often used circles as an element of his compositions.
Symbolism and religious use
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, a rainbow, mandalas, rose windows and so forth.
Magic circles are part of some traditions of
Western esotericism
Western esotericism, also known as the Western mystery tradition, is a wide range of loosely related ideas and movements that developed within Western society. These ideas and currents are united since they are largely distinct both from orthod ...
.
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 rationality.
Irrationality often has a negative connotation, as thinking and actions that are less useful or more illogical than other more rational alternatives. The concept of ...
constant approximately equal to 3.141592654. The ratio of a circle's circumference to its radius is . Thus the circumference ''C'' is related to the radius ''r'' and diameter ''d'' by:
Area enclosed
As proved by
Archimedes
Archimedes of Syracuse ( ; ) was an Ancient Greece, Ancient Greek Greek mathematics, mathematician, physicist, engineer, astronomer, and Invention, inventor from the ancient city of Syracuse, Sicily, Syracuse in History of Greek and Hellenis ...
, 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:
Equivalently, denoting diameter by ''d'',
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.
Radian
If a circle of radius is centred at the
vertex of an
angle
In Euclidean geometry, an angle can refer to a number of concepts relating to the intersection of two straight Line (geometry), lines at a Point (geometry), point. Formally, an angle is a figure lying in a Euclidean plane, plane formed by two R ...
, and that angle intercepts an
arc of the circle with an
arc length
Arc length is the distance between two points along a section of a curve. Development of a formulation of arc length suitable for applications to mathematics and the sciences is a problem in vector calculus and in differential geometry. In the ...
of , then the
radian
The radian, denoted by the symbol rad, is the unit of angle in the International System of Units (SI) and is the standard unit of angular measure used in many areas of mathematics. It is defined such that one radian is the angle subtended at ...
measure of the angle is the ratio of the arc length to the radius:
The circular arc is said to
subtend the angle, known as the
central angle, at the centre of the circle. One radian is the measure of the central angle subtended by a circular arc whose length is equal to its radius. The angle subtended by a complete circle at its centre is a
complete angle, which measures radians, 360
degrees, or one
turn.
Using radians, the formula for the arc length of a circular arc of radius and subtending a central angle of measure is
and the formula for the area of a
circular sector of radius and with central angle of measure is
In the special case , these formulae yield the circumference of a complete circle and area of a complete disc, respectively.
Equations
Cartesian coordinates
= Equation of a circle
=
In an ''x''–''y''
Cartesian coordinate system
In geometry, a Cartesian coordinate system (, ) in a plane (geometry), plane is a coordinate system that specifies each point (geometry), point uniquely by a pair of real numbers called ''coordinates'', which are the positive and negative number ...
, the circle with centre
coordinates
In geometry, a coordinate system is a system that uses one or more numbers, or coordinates, to uniquely determine and standardize the Position (geometry), position of the Point (geometry), points or other geometric elements on a manifold such as ...
(''a'', ''b'') and radius ''r'' is the set of all points (''x'', ''y'') such that
This
equation
In mathematics, an equation is a mathematical 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 ...
, 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 opposite t ...
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
= One coordinate as a function of the other
=

The circle of radius with center at in the – plane can be broken into two semicircles each of which is the
graph of a function
In mathematics, the graph of a function f is the set of ordered pairs (x, y), where f(x) = y. In the common case where x and f(x) are real numbers, these pairs are Cartesian coordinates of points in a plane (geometry), plane and often form a P ...
, and , respectively:
for values of ranging from to .
= 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 all ...
s sine and cosine as
where ''t'' is a
parametric variable in the range 0 to 2, interpreted geometrically as the
angle
In Euclidean geometry, an angle can refer to a number of concepts relating to the intersection of two straight Line (geometry), lines at a Point (geometry), point. Formally, an angle is a figure lying in a Euclidean plane, plane formed by two R ...
that the ray from (''a'', ''b'') to (''x'', ''y'') makes with the positive ''x'' axis.
An alternative parametrisation of the circle is
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 transform, perspective projection of the sphere, through a specific point (geometry), point on the sphere (the ''pole'' or ''center of projection''), onto a plane (geometry), plane (th ...
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
not on a line is obtained by a conversion of the
''3-point form of a circle equation'':
= 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 geometry. ...
, each
conic section
A conic section, conic or a quadratic curve is a curve obtained from a cone's surface intersecting a plane. The three types of conic section are the hyperbola, the parabola, and the ellipse; the circle is a special case of the ellipse, tho ...
with the equation of a circle has the form
It can be proven that a conic section is a circle exactly when it contains (when extended to the
complex projective plane
In mathematics, the complex projective plane, usually denoted or is the two-dimensional complex projective space. It is a complex manifold of complex dimension 2, described by three complex coordinates
:(Z_1,Z_2,Z_3) \in \C^3, \qquad (Z_1,Z_2, ...
) the points ''I''(1: ''i'': 0) and ''J''(1: −''i'': 0). These points are called the
circular points at infinity.
Polar coordinates
In
polar coordinates
In mathematics, the polar coordinate system specifies a given point (mathematics), point in a plane (mathematics), plane by using a distance and an angle as its two coordinate system, coordinates. These are
*the point's distance from a reference ...
, the equation of a circle is
where ''a'' is the radius of the circle,
are the polar coordinates of a generic point on the circle, and
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
In the general case, the equation can be solved for ''r'', giving
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 (geometry), plane formed by the complex numbers, with a Cartesian coordinate system such that the horizontal -axis, called the real axis, is formed by the real numbers, and the vertical -axis, call ...
, a circle with a centre at ''c'' and radius ''r'' has the equation
In parametric form, this can be written as
The slightly generalised equation
for real ''p'', ''q'' and complex ''g'' is sometimes called a
generalised circle. This becomes the above equation for a circle with
, since
. Not all generalised circles are actually circles: a generalised circle is either a (true) circle or a
line.
Tangent lines
The
tangent line
In geometry, the tangent line (or simply tangent) to a plane curve at a given point is, intuitively, the straight line that "just touches" the curve at that point. Leibniz defined it as the line through a pair of infinitely close points o ...
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
or
If , then the slope of this line is
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
and its slope is
Properties
* The circle is the shape with the largest area for a given length of perimeter (see
Isoperimetric inequality).
* 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 (mathematics), reflection. That is, a figure which does not change upon undergoing a reflection has reflecti ...
, and it has
rotational symmetry
Rotational symmetry, also known as radial symmetry in geometry, is the property a shape (geometry), shape has when it looks the same after some rotation (mathematics), rotation by a partial turn (angle), turn. An object's degree of rotational s ...
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 (mathematics), group of isometry, distance-preserving transformations of a Euclidean space of dimension that preserve a fixed point, where the group operation is given by ...
O(2,''R''). The group of rotations alone is the
circle group T.
* All circles are
similar.
** A circle circumference and radius are
proportional.
** The
area
Area is the measure of a region's size on a 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 open surface or the boundary of a three-di ...
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.
Discussion
Any arc of a great circle is a geodesic of the sphere, so that great circles in spher ...
of the
unit sphere
In mathematics, a unit sphere is a sphere of unit radius: the locus (mathematics), set of points at Euclidean distance 1 from some center (geometry), center point in three-dimensional space. More generally, the ''unit -sphere'' is an n-sphere, -s ...
, 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 triangle is a circle that passes through all three vertex (geometry), vertices. The center of this circle is called the circumcenter of the triangle, and its radius is called the circumrad ...
.
Chord
* Chords are equidistant from the centre of a circle if and only if they are equal in length.
* The
perpendicular bisector 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 line (mathematics), straight line that is bounded by two distinct endpoints (its extreme points), and contains every Point (geometry), point on the line that is between its endpoints. It is a special c ...
through the centre bisecting a chord is
perpendicular
In geometry, two geometric objects are perpendicular if they intersect at right angles, i.e. at an angle of 90 degrees or π/2 radians. The condition of perpendicularity may be represented graphically using the '' perpendicular symbol'', � ...
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 ...
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 geometry, a cyclic quadrilateral or inscribed quadrilateral is a quadrilateral (four-sided polygon) whose vertex (geometry), vertices all lie on a single circle, making the sides Chord (geometry), chords of the circle. This circle is called ...
, the
exterior angle 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 , , and are distinct points on a circle where the line is a diameter, the angle is a right angle. Thales's theorem is a special case of the inscribed angle theorem and is mentioned and proved as pa ...
).
* 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 (
and
). That is,
, 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 (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 Degree (angle), degrees or radians corresponding to a quarter turn (geometry), turn. If a Line (mathematics)#Ray, ray is placed so that its endpoint is on a line and the ad ...
(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:
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 constructions 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 No ...
on the centre point, the movable leg on the point on the circle and rotate the compass.
Construction with given diameter
* Construct the
midpoint
In geometry, the midpoint is the middle point of a line segment. It is equidistant from both endpoints, and it is the centroid both of the segment and of the endpoints. It bisects the segment.
Formula
The midpoint of a segment in ''n''-dim ...
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 of the segment .
* Construct the
perpendicular bisector 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 Point (geometry), points is the property of their lying on a single Line (geometry), line. A set of points with this property is said to be collinear (sometimes spelled as colinear). In greater generality, t ...
).
* 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 ( ; ) was an ancient Greek geometer and astronomer known for his work on conic sections. Beginning from the earlier contributions of Euclid and Archimedes on the topic, he brought them to the state prior to the invention o ...
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 the line segment ''PC'' will bisect the
interior angle ''APB'', since the segments are similar:
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 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:
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
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 corners and three sides, one of the basic shapes in geometry. The corners, also called ''vertices'', are zero-dimensional points while the sides connecting them, also called ''edges'', are one-dimension ...
a unique circle, called the
incircle, 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 po ...
, such as a
tangential quadrilateral, 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 ...
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 Equiangular polygon, direct equiangular (all angles are equal in measure) and Equilateral polygon, equilateral (all sides have the same length). Regular polygons may be either ''convex ...
and every triangle is a tangential polygon.
A
cyclic polygon
In geometry, a set (mathematics), set of point (geometry), points are said to be concyclic (or cocyclic) if they lie on a common circle. A polygon whose vertex (geometry), vertices are concyclic is called a cyclic polygon, and the circle is cal ...
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.
A
hypocycloid
In geometry, a hypocycloid is a special plane curve generated by the trace of a fixed point on a small circle that rolls within a larger circle. As the radius of the larger circle is increased, the hypocycloid becomes more like the cycloid creat ...
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 various other figures:
* The series of
regular polygon
In Euclidean geometry, a regular polygon is a polygon that is Equiangular polygon, direct equiangular (all angles are equal in measure) and Equilateral polygon, equilateral (all sides have the same length). Regular polygons may be either ''convex ...
s with ''n'' sides has the circle as its limit as ''n'' approaches infinity. This fact was applied by
Archimedes
Archimedes of Syracuse ( ; ) was an Ancient Greece, Ancient Greek Greek mathematics, mathematician, physicist, engineer, astronomer, and Invention, inventor from the ancient city of Syracuse, Sicily, Syracuse in History of Greek and Hellenis ...
to
approximate π.
* 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
In mathematics, an ellipse is a plane curve surrounding two focus (geometry), 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 ty ...
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
A superellipse, also known as a Lamé curve after Gabriel Lamé, is a closed curve resembling the ellipse, retaining the geometric features of semi-major axis and semi-minor axis, and symmetry about them, but defined by an equation that allows ...
has an equation of the form
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 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.
Locus of constant sum
Consider a finite set of
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 centre is at the centroid of the given points.
A generalisation for higher powers of distances is obtained if, instead of
points, the vertices of the regular polygon
are taken.
The locus of points such that the sum of the
-th power of distances
to the vertices of a given regular polygon with circumradius
is constant is a circle, if
whose centre is the centroid of the
.
In the case of the
equilateral triangle
An equilateral triangle is a triangle in which all three sides have the same length, and all three angles are equal. Because of these properties, the equilateral triangle is a regular polygon, occasionally known as the regular triangle. It is the ...
, 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
In geometry, a pentagon () is any five-sided polygon or 5-gon. The sum of the internal angles in a simple polygon, simple pentagon is 540°.
A pentagon may be simple or list of self-intersecting polygons, self-intersecting. A self-intersecting ...
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 through late antiquity. The span of recorded history is roughly 5,000 years, beginning with the development of Sumerian cuneiform script. Ancient h ...
geometers, 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 Idealiz ...
.
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 real or complex number that is not algebraic: that is, not the root of a non-zero polynomial with integer (or, equivalently, rational) coefficients. The best-known transcendental numbers are and . ...
, rather than an
algebraic irrational number; that is, it is not the
root
In vascular plants, the roots are the plant organ, 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 bel ...
of any
polynomial
In mathematics, a polynomial is a Expression (mathematics), mathematical expression consisting of indeterminate (variable), indeterminates (also called variable (mathematics), variables) and coefficients, that involves only the operations of addit ...
with
rational
Rationality is the quality of being guided by or based on reason. 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 ...
coefficients. Despite the impossibility, this topic continues to be of interest for
pseudomath enthusiasts.
Generalisations
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
In Euclidean geometry, ''p'' = 2, giving the familiar
In
taxicab geometry, ''p'' = 1. Taxicab circles are
square
In geometry, a square is a regular polygon, regular quadrilateral. It has four straight sides of equal length and four equal angles. Squares are special cases of rectangles, which have four equal angles, and of rhombuses, which have four equal si ...
s with sides oriented at a 45° angle to the coordinate axes. While each side would have length
using a
Euclidean metric
In mathematics, the Euclidean distance between two points in Euclidean space is the length of the line segment between them. It can be calculated from the Cartesian coordinates of the points using the Pythagorean theorem, and therefore is oc ...
, 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
is 4 in this geometry. The formula for the unit circle in taxicab geometry is
in Cartesian coordinates and
in polar coordinates.
A circle of radius 1 (using this distance) is the
von Neumann neighborhood of its centre.
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 ''L''
1 and ''L''
∞ metrics does not generalise to higher dimensions.
Topological definition
The circle is the
one-dimensional hypersphere (the 1-sphere).
In
topology
Topology (from the Greek language, Greek words , and ) is the branch of mathematics concerned with the properties of a Mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformat ...
, a circle is not limited to the geometric concept, but to all of its
homeomorphism
In mathematics and more specifically in topology, a homeomorphism ( from Greek roots meaning "similar shape", named by Henri Poincaré), also called topological isomorphism, or bicontinuous function, is a bijective and continuous function ...
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).
Specially named circles
*
Apollonian circles
*
Archimedean circle
*
Archimedes' twin circles
*
Bankoff circle
*
Carlyle circle
In mathematics, a Carlyle circle is a certain circle in a coordinate plane associated with a quadratic equation; it is named after Thomas Carlyle. The circle has the property that the equation solving, solutions of the quadratic equation are the ho ...
*
Chromatic circle
*
Circle of antisimilitude
*
Ford circle
*
Geodesic circle
*
Johnson circles
*
Schoch circles
*
Woo circles
Of a triangle
*
Apollonius circle of the excircles
*
Brocard circle
*
Excircle
*
Incircle
*
Lemoine circle
*
Lester circle
*
Malfatti circles
*
Mandart circle
*
Nine-point circle
*
Orthocentroidal circle
*
Parry circle
*
Polar circle (geometry)
*
Spieker circle
*
Van Lamoen circle
Of certain quadrilaterals
*
Eight-point circle of an orthodiagonal quadrilateral
Of a conic section
*
Director circle
*
Directrix circle
Of a torus
*
Villarceau circles
See also
*
*
*
*
*
*
*
*
*
*
*
Notes
References
Further reading
*
External links
*
*
*
*
*
*
{{Authority control
Elementary shapes
Conic sections
Pi