CIRCLE LINES
   HOME

TheInfoList



OR:

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 r and required to be a positive number. A circle with r=0 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: C = 2\pi r = \pi d.


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: \mathrm = \pi r^2. Equivalently, denoting diameter by ''d'', \mathrm = \frac \approx 0.7854 d^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.


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: \theta = \frac. 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 s = \theta r, and the formula for the area of a circular sector of radius and with central angle of measure is A = \frac \theta r^2. 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 (x - a)^2 + (y - b)^2 = r^2. 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 x^2 + y^2 = r^2.


= 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: \begin y_+(x) = y_0 + \sqrt, \\ muy_-(x) = y_0 - \sqrt, \end 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 \begin x &= a + r\,\cos t, \\ y &= b + r\,\sin t, \end 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 \begin x &= a + r \frac, \\ y &= b + r \frac. \end 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 (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 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 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 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 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. 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 , 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. 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.


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 (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). * 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 (\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 (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: 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 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: \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 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: \bigl, , B; C, Pbigr, = 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 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 \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 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 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 centre is at the centroid of the given points. A generalisation for higher powers of distances is obtained if, instead of 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^ , \quad \text ~ m = 1, 2, \dots, n-1; whose centre is the centroid of the P_n. 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 \left\, x \right\, _p = \left( \left, x_1\^p + \left, x_2\^p + \dotsb + \left, x_n\^p \right) ^ . In Euclidean geometry, ''p'' = 2, giving the familiar \left\, x \right\, _2 = \sqrt . 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 \sqrt r 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 \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 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